docs(p022): record the campaigns and bring the status surfaces level (#260 acc.6)

Fourteen mutation campaigns, all re-run on a clean tree at one commit, and the
surfaces that describe what they and the compare gate measured.

THE CAMPAIGNS. Two are new — the artifact format and the byte attestation
(B-2, B-3), and the scope, the boundary policy, the derived surface and the
driver (D-4..D-7, R-1, R-2). Twelve are re-runs, and the re-running is the
point rather than the ceremony: a recorded result stays valid for the commit it
names and says nothing about this tree, and this tree collapsed a duplicated
line reader, widened a reduction scope, added a judgement field and grew a
driver. Every one now names the same commit, no mutation survived, and every
expected catcher fired.

The policy mutations are the ones acc-2 exists for and they behave as D-5
requires: OD-1 attached to a `changed` observation and OD-1 attached to a
`projection` observation both stay RED, on both sides. A class is not a token
that excuses whatever it is pinned to.

WHAT THE CAMPAIGNS FOUND, and it is six things review did not. Two enforcement
points of one rule with a control that could not tell them apart — the round-1
`-0` shape, arriving again in the base64 decoder. A measurement that measured
its own harness rather than the reader it claimed to measure. A regeneration
that erased the other engine's column, because the render happened inside the
`open` that truncates the file it reads back. A control group that depended on
build state nobody declared. A mutation recorded as CAUGHT by a rule it never
expressed, because `re.sub` expanded an escape and a spawned child died of a
SyntaxError. And an identity check CPython can hide, beside a domain bound the
corpus cannot reach. Each is written out in the note's §5; each was fixed in
the code rather than described, and the two that needed a control got one.

THE SURFACES. The owner-decision ledger gains D-4..D-7, B-2, B-3, R-1 and R-2
verbatim as ratified, in the same file as the infrastructure slice's, because a
decision an agent may not reopen has to be readable in one place. It also
records the one place a decision's own text met a measurement that did not match
it: D-6 expects `not-comparable` exactly on the OD-1 documents, and the corpus
has two shapes of it.

`spec/Bridge.md` §6 goes from five points to seven. The two that changed are the
ones this work inverted: the reducer's scope is now every layer, and "same
input" now means the byte sequence rather than canonical document identity —
the weaker reading it used to carry is on the record as B-1 rather than quietly
overwritten. The two that are new are D-5's acceptance field and D-6's derived
surface.

P-022 row 7a, the proposals index and the preferred queue say the same thing in
their own registers: the acceptance decisions are landed over the committed
corpus, and what #260's final acceptance now waits on is a measurement rather
than a decision — the five-repository sweep and the large-solution controls its
test matrix also names. Neither is taken here.

THE CHURN, against the budget written before anything moved: 43 files under
`tests/fixtures/`, every one of them under `tests/fixtures/repro/`, and none
anywhere else — the verdict, lowered, summaries and rendered families did not
move. All 98 digest records in the digest ledger are byte-identical to the
branch base; its single changed line is the `repro_version` stamp both sides
assert equals the emitter's version.

No count is typed on any of these surfaces. Every one is a link into
`docs/generated/`, rendered from the committed evidence and held in sync by the
gate.

Refs #260, #269, #259, #250

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Vrki29iyQ552FHufYRuDgb

Author: claude

docs/evidence/p022-coord-1.result.json

@@ -4,9 +4,9 @@
   "campaign": "p022-coord-1",
   "definition": "docs/evidence/p022-coord-1.json",
   "definition_sha256": "5f2587e9f495e5bfe5d702615889e346c733e4b5db3c8a17c734eea99ede3c1f",
-  "source_commit": "3af8ead18d423d9de760ecbf180ed5ca0ef68dad",
+  "source_commit": "4c1c9d81972171c3d9c8c1d814debb73a4e471f5",
   "dirty": false,
-  "recorded_at": "2026-09-07T10:31:54Z",
+  "recorded_at": "2026-09-07T14:42:58Z",
   "layers": [
     "py-limits",
     "py-ledger",
@@ -17,7 +17,7 @@
     "id": "M00",
     "outcome": "survived",
     "catchers": [],
-    "elapsed_seconds": 0.6
+    "elapsed_seconds": 1.0
   },
   "mutations": [
     {
@@ -27,7 +27,7 @@
         "py-ledger::ledger-stale",
         "py-limits::line-domain"
       ],
-      "elapsed_seconds": 0.6
+      "elapsed_seconds": 0.8
     },
     {
       "id": "M02",
@@ -36,7 +36,7 @@
         "py-ledger::ledger-stale",
         "py-limits::line-domain"
       ],
-      "elapsed_seconds": 1.0
+      "elapsed_seconds": 1.4
     },
     {
       "id": "M03",
@@ -48,7 +48,7 @@
         "py-limits::nesting",
         "py-limits::tolerances"
       ],
-      "elapsed_seconds": 1.0
+      "elapsed_seconds": 1.4
     },
     {
       "id": "M04",
@@ -57,7 +57,7 @@
         "py-ledger::ledger-stale",
         "py-limits::line-domain"
       ],
-      "elapsed_seconds": 1.0
+      "elapsed_seconds": 1.4
     },
     {
       "id": "M05",
@@ -66,7 +66,7 @@
         "py-ledger::ledger-stale",
         "py-limits::line-domain"
       ],
-      "elapsed_seconds": 1.0
+      "elapsed_seconds": 1.3
     },
     {
       "id": "M06",
@@ -75,7 +75,7 @@
         "py-ledger::ledger-stale",
         "py-limits::line-domain"
       ],
-      "elapsed_seconds": 1.0
+      "elapsed_seconds": 1.4
     },
     {
       "id": "M07",
@@ -84,7 +84,7 @@
         "py-ledger::ledger-stale",
         "py-limits::line-domain"
       ],
-      "elapsed_seconds": 1.0
+      "elapsed_seconds": 1.3
     },
     {
       "id": "M08",
@@ -95,7 +95,7 @@
         "py-limits::line-type",
         "py-limits::nesting"
       ],
-      "elapsed_seconds": 1.0
+      "elapsed_seconds": 1.3
     },
     {
       "id": "M09",
@@ -104,7 +104,7 @@
         "py-ledger::ledger-stale",
         "py-limits::line-type"
       ],
-      "elapsed_seconds": 1.1
+      "elapsed_seconds": 1.2
     },
     {
       "id": "M10",
@@ -113,7 +113,7 @@
         "py-ledger::ledger-stale",
         "py-limits::line-domain"
       ],
-      "elapsed_seconds": 1.0
+      "elapsed_seconds": 1.3
     },
     {
       "id": "M11",
@@ -122,7 +122,7 @@
         "py-ledger::ledger-stale",
         "py-limits::column-domain"
       ],
-      "elapsed_seconds": 1.0
+      "elapsed_seconds": 1.2
     },
     {
       "id": "M12",
@@ -131,7 +131,7 @@
         "py-ledger::ledger-stale",
         "py-limits::column-domain"
       ],
-      "elapsed_seconds": 1.0
+      "elapsed_seconds": 1.3
     },
     {
       "id": "M13",
@@ -140,7 +140,7 @@
         "py-ledger::ledger-stale",
         "py-limits::line-domain"
       ],
-      "elapsed_seconds": 1.1
+      "elapsed_seconds": 1.2
     },
     {
       "id": "M14",
@@ -150,7 +150,7 @@
         "rust-door/tests/validation_replay.rs::the_coordinate_rules_report_the_axis_they_are_on",
         "rust-door/tests/validation_replay.rs::the_two_loaders_accept_the_same_language"
       ],
-      "elapsed_seconds": 1.3
+      "elapsed_seconds": 1.5
     },
     {
       "id": "M15",
@@ -160,7 +160,7 @@
         "rust-door/tests/validation_replay.rs::the_coordinate_rules_report_the_axis_they_are_on",
         "rust-door/tests/validation_replay.rs::the_two_loaders_accept_the_same_language"
       ],
-      "elapsed_seconds": 1.3
+      "elapsed_seconds": 1.7
     },
     {
       "id": "M16",
@@ -174,7 +174,7 @@
         "rust-door/tests/validation_replay.rs::the_coordinate_rules_report_the_axis_they_are_on",
         "rust-door/tests/validation_replay.rs::the_two_loaders_accept_the_same_language"
       ],
-      "elapsed_seconds": 1.4
+      "elapsed_seconds": 1.8
     },
     {
       "id": "M17",
@@ -184,7 +184,7 @@
         "rust-door/tests/validation_replay.rs::the_coordinate_rules_report_the_axis_they_are_on",
         "rust-door/tests/validation_replay.rs::the_two_loaders_accept_the_same_language"
       ],
-      "elapsed_seconds": 1.4
+      "elapsed_seconds": 1.8
     },
     {
       "id": "M18",
@@ -194,7 +194,7 @@
         "rust-door/tests/validation_replay.rs::the_coordinate_rules_report_the_axis_they_are_on",
         "rust-door/tests/validation_replay.rs::the_two_loaders_accept_the_same_language"
       ],
-      "elapsed_seconds": 1.5
+      "elapsed_seconds": 1.7
     },
     {
       "id": "M19",
@@ -203,15 +203,15 @@
         "rust-door/src/lib.rs::protocol::tests::an_absent_line_is_zero_and_an_out_of_domain_one_follows_the_door",
         "rust-door/tests/validation_replay.rs::the_coordinate_rules_report_the_axis_they_are_on"
       ],
-      "elapsed_seconds": 1.3
+      "elapsed_seconds": 1.6
     },
     {
       "id": "M20",
       "outcome": "caught",
       "catchers": [
         "rust-door/tests/validation_replay.rs::the_two_loaders_accept_the_same_language"
       ],
-      "elapsed_seconds": 1.2
+      "elapsed_seconds": 1.6
     },
     {
       "id": "M21",
@@ -220,23 +220,23 @@
         "rust-door/tests/validation_replay.rs::the_coordinate_rules_report_the_axis_they_are_on",
         "rust-door/tests/validation_replay.rs::the_two_loaders_accept_the_same_language"
       ],
-      "elapsed_seconds": 1.2
+      "elapsed_seconds": 1.8
     },
     {
       "id": "M22",
       "outcome": "caught",
       "catchers": [
         "rust-door/tests/validation_replay.rs::the_two_loaders_accept_the_same_language"
       ],
-      "elapsed_seconds": 1.2
+      "elapsed_seconds": 1.7
     },
     {
       "id": "M23",
       "outcome": "caught",
       "catchers": [
         "rust-door/tests/validation_replay.rs::the_two_loaders_accept_the_same_language"
       ],
-      "elapsed_seconds": 1.3
+      "elapsed_seconds": 1.7
     },
     {
       "id": "M24",
@@ -245,7 +245,7 @@
         "rust-door/tests/validation_replay.rs::the_coordinate_rules_report_the_axis_they_are_on",
         "rust-door/tests/validation_replay.rs::the_two_loaders_accept_the_same_language"
       ],
-      "elapsed_seconds": 1.2
+      "elapsed_seconds": 1.7
     },
     {
       "id": "M25",
@@ -254,7 +254,7 @@
         "rust-door/tests/validation_replay.rs::the_coordinate_rules_report_the_axis_they_are_on",
         "rust-door/tests/validation_replay.rs::the_two_loaders_accept_the_same_language"
       ],
-      "elapsed_seconds": 1.2
+      "elapsed_seconds": 1.7
     },
     {
       "id": "M26",
@@ -263,7 +263,7 @@
         "rust-door/src/lib.rs::protocol::tests::an_absent_line_is_zero_and_an_out_of_domain_one_follows_the_door",
         "rust-door/tests/validation_replay.rs::the_two_loaders_accept_the_same_language"
       ],
-      "elapsed_seconds": 1.4
+      "elapsed_seconds": 1.9
     }
   ]
 }