@openwop/openwop-conformance 2.46.35 → 2.46.37

package/requirements.json

@@ -2,11 +2,11 @@
   "$comment": "GENERATED by conformance/scripts/generate-requirement-registry.mjs — do not edit. One record per it()/test() in src/scenarios. Ids: openwop.it.<file-stem>.<title-slug>[~n] (src/lib/requirement-ids.ts). A record with id null has an interpolated title; its run-time row is keyed by the rendered title and maps here by file+line only. Renamed ids need a row in requirement-aliases.json.",
   "generatedFrom": "src/scenarios/*.test.ts",
   "counts": {
-    "files": 753,
-    "tests": 2877,
-    "withStableId": 2877,
+    "files": 747,
+    "tests": 2855,
+    "withStableId": 2855,
     "interpolatedTitles": 0,
-    "explicitIds": 2750
+    "explicitIds": 2725
   },
   "records": [
     {
@@ -25259,7 +25259,7 @@
     {
       "id": "openwop.it.stream-text-fixture.delivers-the-mocked-tokens-in-order-terminates-with-islast-meta-and-server-close",
       "file": "stream-text-fixture.test.ts",
-      "line": 95,
+      "line": 103,
       "title": "delivers the mocked tokens in order, terminates with isLast + meta, and server-closes",
       "explicitId": "openwop.it.stream-text-fixture.delivers-the-mocked-tokens-in-order-terminates-with-islast-meta-and-server-close",
       "citations": [
@@ -25312,7 +25312,7 @@
     {
       "id": "openwop.it.stream-text-fixture.an-unknown-mockprovider-id-is-rejected-with-400-unsupported-mock-provider",
       "file": "stream-text-fixture.test.ts",
-      "line": 198,
+      "line": 206,
       "title": "an unknown mockProvider.id is rejected with 400 unsupported_mock_provider",
       "explicitId": "openwop.it.stream-text-fixture.an-unknown-mockprovider-id-is-rejected-with-400-unsupported-mock-provider",
       "citations": [
@@ -27812,215 +27812,6 @@
         }
       ]
     },
-    {
-      "id": "openwop.it.v2-a2ui-v09-surface.a-version-2-envelope-carrying-a-version-1-body-is-refused-the-positive-is-admitt",
-      "file": "v2-a2ui-v09-surface.test.ts",
-      "line": 131,
-      "title": "a version-2 envelope carrying a version-1 body is refused; the positive is admitted; above the floor is refused; below it follows envelopeStrictness",
-      "explicitId": "openwop.requirement.0209.version-selects-branch",
-      "citations": [
-        {
-          "section": "RFC 0209 §A.1",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "api/seams-v2.yaml emitA2uiSurface",
-          "requirement": "a 201 names the recording event sequence"
-        },
-        {
-          "section": "RFC 0209 §A.1",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "spec/v2/ext/a2uiSurface/README.md §Versions",
-          "requirement": "the refusal is envelope_invalid"
-        },
-        {
-          "section": "events.md §\"The envelope-kind catalog\"",
-          "requirement": "a schemaVersion above the floor MUST be refused with unknown_schema_version whatever the strictness"
-        },
-        {
-          "section": "events.md §\"The envelope-kind catalog\"",
-          "requirement": "under strict, a schemaVersion 1 envelope below floor 2 MUST be refused with unknown_schema_version"
-        },
-        {
-          "section": "events.md §\"The envelope-kind catalog\"",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "RFC 0209 §A.1",
-          "requirement": "under warn, a schemaVersion 1 envelope with a payloadV1 body is validated against version 2 and MUST be refused"
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-a2ui-v09-surface.no-first-createsurface-a-message-after-deletesurface-and-a-second-createsurface",
-      "file": "v2-a2ui-v09-surface.test.ts",
-      "line": 157,
-      "title": "no first createSurface, a message after deleteSurface, and a second createSurface are each refused; the valid steps are admitted",
-      "explicitId": "openwop.requirement.0209.fold-guarded",
-      "citations": [
-        {
-          "section": "RFC 0209 §C.9",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-a2ui-v09-surface.a-createsurface-catalogid-differing-from-the-payload-catalogid-is-refused",
-      "file": "v2-a2ui-v09-surface.test.ts",
-      "line": 182,
-      "title": "a createSurface.catalogId differing from the payload catalogId is refused",
-      "explicitId": "openwop.requirement.0209.catalog-equality",
-      "citations": [
-        {
-          "section": "RFC 0209 §A.2",
-          "requirement": "a createSurface.catalogId MUST equal the payload catalogId; a differing one is refused, not recorded"
-        },
-        {
-          "section": "RFC 0209 §A.2",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-a2ui-v09-surface.a-message-whose-surfaceid-differs-from-the-payload-surfaceid-is-refused",
-      "file": "v2-a2ui-v09-surface.test.ts",
-      "line": 196,
-      "title": "a message whose surfaceId differs from the payload surfaceId is refused",
-      "explicitId": "openwop.it.v2-a2ui-v09-surface.surface-id-equality",
-      "citations": [
-        {
-          "section": "RFC 0209 §A.2",
-          "requirement": "every message surfaceId MUST equal the payload surfaceId — the schema cannot express it, so the engine MUST refuse a mismatch"
-        },
-        {
-          "section": "RFC 0209 §A.2",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-a2ui-v09-surface.a-recorded-version-2-surface-is-returned-byte-equal-on-poll-and-carried-by-a-for",
-      "file": "v2-a2ui-v09-surface.test.ts",
-      "line": 214,
-      "title": "a recorded version-2 surface is returned byte-equal on poll and carried by a fork at a later fromSeq",
-      "explicitId": "openwop.it.v2-a2ui-v09-surface.recorded-as-recorded",
-      "citations": [
-        {
-          "section": "RFC 0209 §C.11",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "RFC 0209 §C.11",
-          "requirement": "the run's poll MUST return the recorded surface payload unchanged as JSON (JCS-equal; member order carries no meaning) — no surface is regenerated"
-        },
-        {
-          "section": "RFC 0209 §C.9",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "api/seams-v2.yaml emitA2uiSurface",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "RFC 0209 §C.11",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "RFC 0209 §C.11",
-          "requirement": "a fork at a fromSeq after the surface MUST carry it unchanged"
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-a2ui-v09-surface.a-version-1-surface-recorded-at-floor-1-is-returned-byte-equal-on-poll-and-carri",
-      "file": "v2-a2ui-v09-surface.test.ts",
-      "line": 241,
-      "title": "a version-1 surface recorded at floor 1 is returned byte-equal on poll and carried by a fork",
-      "explicitId": "openwop.requirement.0209.legacy-readable",
-      "citations": [
-        {
-          "section": "RFC 0209 §C.11",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "RFC 0209 §C.11",
-          "requirement": "the poll MUST return the version-1 surface unchanged as JSON (JCS-equal)"
-        },
-        {
-          "section": "RFC 0209 §C.11",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "api/seams-v2.yaml emitA2uiSurface",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "RFC 0209 §C.11",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "RFC 0209 §C.11",
-          "requirement": "a fork at a later fromSeq MUST carry the version-1 surface unchanged"
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-a2ui-v09-surface.one-untrusted-update-taints-a-trusted-surface-a-later-trusted-update-does-not-la",
-      "file": "v2-a2ui-v09-surface.test.ts",
-      "line": 265,
-      "title": "one untrusted update taints a trusted surface, a later trusted update does not launder it, and the approval does not advance; an all-trusted surface does",
-      "explicitId": "openwop.requirement.0209.taint-sticky",
-      "citations": [
-        {
-          "section": "RFC 0209 §C.12",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-a2ui-v09-surface.records-why-render-needs-root-has-no-server-side-witness-and-where-its-witness-l",
-      "file": "v2-a2ui-v09-surface.test.ts",
-      "line": 304,
-      "title": "records why render-needs-root has no server-side witness, and where its witness lives",
-      "explicitId": "openwop.requirement.0209.render-needs-root",
-      "citations": [
-        {
-          "section": "RFC 0209 §C.9",
-          "requirement": "a renderer does not render a surface before its root component exists"
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-a2ui-v09-surface.a-version-2-surface-is-admitted-and-a-version-1-body-under-schema-version-2-is-r",
-      "file": "v2-a2ui-v09-surface.test.ts",
-      "line": 311,
-      "title": "a version-2 surface is admitted and a version-1 body under schema version 2 is refused, in the same run",
-      "explicitId": "openwop.family.a2uiSurface",
-      "citations": [
-        {
-          "section": "spec/v2/ext/a2uiSurface/README.md §Conformance",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
     {
       "id": "openwop.it.v2-advertised-fixtures-exist.a-sampled-advertised-fixture-is-actually-creatable-not-just-listed",
       "file": "v2-advertised-fixtures-exist.test.ts",
@@ -28167,20 +27958,6 @@
         }
       ]
     },
-    {
-      "id": "openwop.it.v2-ai-envelope-advertisement.the-aienvelope-record-validates-against-its-capabilities-schema-seat",
-      "file": "v2-ai-envelope-advertisement.test.ts",
-      "line": 35,
-      "title": "the aiEnvelope record validates against its capabilities-schema seat",
-      "explicitId": "openwop.requirement.ai-envelope.advert-record-schema",
-      "citations": [
-        {
-          "section": null,
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
     {
       "id": "openwop.it.v2-ai-providers-advertisement.the-aiproviders-record-validates-against-its-capabilities-schema-seat",
       "file": "v2-ai-providers-advertisement.test.ts",
@@ -29436,6 +29213,28 @@
         }
       ]
     },
+    {
+      "id": "openwop.it.v2-clarification-resume-answers.a-clarification-resolves-with-answers-id-answer-and-the-run-completes",
+      "file": "v2-clarification-resume-answers.test.ts",
+      "line": 51,
+      "title": "a clarification resolves with { answers: [{ id, answer }] } and the run completes",
+      "explicitId": "openwop.requirement.interrupt.clarification-resume-answers",
+      "citations": [
+        {
+          "section": "spec/v2/core/interrupt.md §Re-entry and resume values",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "spec/v2/core/interrupt.md §Re-entry and resume values",
+          "requirement": "the resolve MUST be a 2xx"
+        },
+        {
+          "section": "spec/v2/core/interrupt.md §Re-entry and resume values",
+          "requirement": "the resolved run MUST complete"
+        }
+      ]
+    },
     {
       "id": "openwop.it.v2-client-version-header.a-client-at-the-floor-is-not-below-it-equal-on-major-minor-the-patch-never-decid",
       "file": "v2-client-version-header.test.ts",
@@ -30813,196 +30612,15 @@
       ]
     },
     {
-      "id": "openwop.it.v2-envelope-contracts-advertisement.the-envelopecontracts-record-validates-against-its-capabilities-schema-seat",
-      "file": "v2-envelope-contracts-advertisement.test.ts",
-      "line": 32,
-      "title": "the envelopeContracts record validates against its capabilities-schema seat",
-      "explicitId": "openwop.requirement.envelope-contracts.advert-record-schema",
-      "citations": [
-        {
-          "section": null,
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelope-contracts-advertisement.envelopecontracts-advertised-is-not-false-a-host-that-does-not-offer-the-family",
-      "file": "v2-envelope-contracts-advertisement.test.ts",
-      "line": 41,
-      "title": "envelopeContracts.advertised is not false: a host that does not offer the family omits it",
-      "explicitId": "openwop.requirement.0237.no-false-advertisement",
-      "citations": [
-        {
-          "section": "RFC 0237 §C; capabilities.md §2",
-          "requirement": "envelopeContracts.advertised: false is not a v2 state; a host that does not offer the family MUST omit it"
-        }
-      ]
-    },
-    {
-      "id": "openwop.requirement.envelopes.reasoning-declared-optional-string",
-      "file": "v2-envelope-reasoning-shape.test.ts",
-      "line": 45,
-      "title": null,
-      "explicitId": "openwop.requirement.envelopes.reasoning-declared-optional-string",
-      "citations": [
-        {
-          "section": "events.md §envelopes",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "events.md §envelopes",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "events.md §envelopes",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelope-reasoning-shape.schema-response-does-not-declare-reasoning-a-side-channel-ack",
-      "file": "v2-envelope-reasoning-shape.test.ts",
-      "line": 55,
-      "title": "schema.response does not declare reasoning (a side-channel ack)",
-      "explicitId": "openwop.requirement.envelopes.reasoning-omitted-from-schema-response",
-      "citations": [
-        {
-          "section": "RFC 0030 §A",
-          "requirement": "schemas/v2/envelopes/schema.response.schema.json MUST exist"
-        },
-        {
-          "section": "RFC 0030 §A",
-          "requirement": "schema.response MUST NOT declare reasoning"
-        }
-      ]
-    },
-    {
-      "id": "openwop.requirement.envelopes.reasoning-absent-accepted",
-      "file": "v2-envelope-reasoning-shape.test.ts",
-      "line": 67,
-      "title": null,
-      "explicitId": "openwop.requirement.envelopes.reasoning-absent-accepted",
-      "citations": [
-        {
-          "section": "events.md §envelopes",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.requirement.envelopes.reasoning-present-accepted",
-      "file": "v2-envelope-reasoning-shape.test.ts",
-      "line": 72,
-      "title": null,
-      "explicitId": "openwop.requirement.envelopes.reasoning-present-accepted",
-      "citations": [
-        {
-          "section": "events.md §envelopes",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.requirement.envelopes.reasoning-non-string-rejected",
-      "file": "v2-envelope-reasoning-shape.test.ts",
-      "line": 77,
-      "title": null,
-      "explicitId": "openwop.requirement.envelopes.reasoning-non-string-rejected",
-      "citations": [
-        {
-          "section": "events.md §envelopes",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelope-tier-one-subset-static.a-host-advertising-tieronesubsetcompliance-strict-has-advertised-kinds-whose-cor",
-      "file": "v2-envelope-tier-one-subset-static.test.ts",
-      "line": 43,
-      "title": "a host advertising tierOneSubsetCompliance strict has advertised kinds whose corpus schemas satisfy the Tier-1 intersection",
-      "explicitId": "openwop.requirement.envelopes.tier-one-strict-advertised-kinds",
-      "citations": [
-        {
-          "section": "capabilities.schema.json §envelopes.tierOneSubsetCompliance",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelopes-advertisement.the-envelopes-record-validates-against-its-capabilities-schema-seat",
-      "file": "v2-envelopes-advertisement.test.ts",
-      "line": 46,
-      "title": "the envelopes record validates against its capabilities-schema seat",
-      "explicitId": "openwop.requirement.envelopes.advert-record-schema",
-      "citations": [
-        {
-          "section": null,
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelopes-advertisement.envelopes-reasoning-promptdirective-is-mandatory-advisory-or-off",
-      "file": "v2-envelopes-advertisement.test.ts",
-      "line": 54,
-      "title": "envelopes.reasoning.promptDirective is mandatory, advisory or off",
-      "explicitId": "openwop.requirement.envelopes.reasoning-advert-shape",
-      "citations": [
-        {
-          "section": null,
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelopes-advertisement.envelopes-tieronesubsetcompliance-is-strict-warn-or-off",
-      "file": "v2-envelopes-advertisement.test.ts",
-      "line": 62,
-      "title": "envelopes.tierOneSubsetCompliance is strict, warn or off",
-      "explicitId": "openwop.requirement.envelopes.tier-one-subset-compliance-value",
-      "citations": [
-        {
-          "section": null,
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelopes-advertisement.envelopes-reliability-events-lists-only-reliability-events-and-includes-retry-ex",
-      "file": "v2-envelopes-advertisement.test.ts",
-      "line": 70,
-      "title": "envelopes.reliability.events lists only reliability events and includes retry-exhausted and refusal",
-      "explicitId": "openwop.requirement.envelopes.reliability-events-advert",
-      "citations": [
-        {
-          "section": null,
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelopes-advertisement.envelopes-reliability-completion-distinguishestruncation-is-a-boolean",
-      "file": "v2-envelopes-advertisement.test.ts",
-      "line": 78,
-      "title": "envelopes.reliability.completion.distinguishesTruncation is a boolean",
-      "explicitId": "openwop.requirement.envelopes.completion-advert-shape",
+      "id": "openwop.it.v2-envelope-surfaces-absent.the-discovery-document-publishes-no-deleted-envelope-family-or-limit",
+      "file": "v2-envelope-surfaces-absent.test.ts",
+      "line": 49,
+      "title": "the discovery document publishes no deleted envelope family or limit",
+      "explicitId": "openwop.requirement.0255.surfaces-absent",
       "citations": [
         {
-          "section": null,
-          "requirement": null,
-          "interpolated": true
+          "section": "RFC 0255 §A",
+          "requirement": "a v2 discovery document MUST NOT publish a family or limit RFC 0255 deleted"
         }
       ]
     },
@@ -32812,6 +32430,72 @@
         }
       ]
     },
+    {
+      "id": "openwop.it.v2-interrupt-form-rules.a-clarification-raised-with-a-form-carries-it-unchanged-beside-questions-in-a-va",
+      "file": "v2-interrupt-form-rules.test.ts",
+      "line": 98,
+      "title": "a clarification raised with a form carries it unchanged, beside questions, in a valid InterruptPayload",
+      "explicitId": null,
+      "citations": [
+        {
+          "section": "spec/v2/core/interrupt.md §Forms (RFC 0255 §E)",
+          "requirement": "the suspended run MUST record interrupt.requested { kind: \"clarification\" }"
+        },
+        {
+          "section": "spec/v2/core/interrupt.md §Forms (RFC 0255 §E)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "spec/v2/core/interrupt.md §Forms (RFC 0255 §E)",
+          "requirement": "questions MUST stay beside the form as its fallback"
+        },
+        {
+          "section": "spec/v2/core/interrupt.md §Forms (RFC 0255 §E)",
+          "requirement": "data.form MUST be the fixture's form, unchanged"
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-interrupt-form-rules.a-form-resolves-with-answers-id-answer-and-the-run-completes",
+      "file": "v2-interrupt-form-rules.test.ts",
+      "line": 111,
+      "title": "a form resolves with { answers: [{ id, answer }] } and the run completes",
+      "explicitId": null,
+      "citations": [
+        {
+          "section": "spec/v2/core/interrupt.md §Forms (RFC 0255 §E)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "spec/v2/core/interrupt.md §Forms (RFC 0255 §E)",
+          "requirement": "the resolve MUST be a 2xx"
+        },
+        {
+          "section": "spec/v2/core/interrupt.md §Forms (RFC 0255 §E)",
+          "requirement": "the resolved run MUST complete"
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-interrupt-form-rules.a-form-that-fails-the-schema-or-binds-an-input-to-no-question-is-never-raised",
+      "file": "v2-interrupt-form-rules.test.ts",
+      "line": 124,
+      "title": "a form that fails the schema or binds an input to no question is never raised",
+      "explicitId": null,
+      "citations": [
+        {
+          "section": "spec/v2/core/interrupt.md §Forms (RFC 0255 §E)",
+          "requirement": "control: the positive fixture MUST raise its form, or a host raising none would pass"
+        },
+        {
+          "section": "spec/v2/core/interrupt.md §Forms (RFC 0255 §E)",
+          "requirement": null,
+          "interpolated": true
+        }
+      ]
+    },
     {
       "id": "openwop.it.v2-interrupt-resolve-terminal.a-run-scoped-resolve-after-the-run-was-cancelled-is-409-interrupt-already-resolv",
       "file": "v2-interrupt-resolve-terminal.test.ts",
@@ -33051,9 +32735,9 @@
       ]
     },
     {
-      "id": "openwop.it.v2-limits-envelope-caps-advertisement.limits-clarificationrounds-is-present-and-a-non-negative-integer",
-      "file": "v2-limits-envelope-caps-advertisement.test.ts",
-      "line": 38,
+      "id": "openwop.it.v2-limits-clarification-rounds-advertisement.limits-clarificationrounds-is-present-and-a-non-negative-integer",
+      "file": "v2-limits-clarification-rounds-advertisement.test.ts",
+      "line": 35,
       "title": "limits.clarificationRounds is present and a non-negative integer",
       "explicitId": "openwop.requirement.limits.clarification-rounds-advertised",
       "citations": [
@@ -33064,34 +32748,6 @@
         }
       ]
     },
-    {
-      "id": "openwop.it.v2-limits-envelope-caps-advertisement.limits-schemarounds-is-present-and-a-non-negative-integer",
-      "file": "v2-limits-envelope-caps-advertisement.test.ts",
-      "line": 46,
-      "title": "limits.schemaRounds is present and a non-negative integer",
-      "explicitId": "openwop.requirement.limits.schema-rounds-advertised",
-      "citations": [
-        {
-          "section": null,
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-limits-envelope-caps-advertisement.limits-envelopesperturn-is-present-and-a-non-negative-integer",
-      "file": "v2-limits-envelope-caps-advertisement.test.ts",
-      "line": 54,
-      "title": "limits.envelopesPerTurn is present and a non-negative integer",
-      "explicitId": "openwop.requirement.limits.envelopes-per-turn-advertised",
-      "citations": [
-        {
-          "section": null,
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
     {
       "id": "openwop.it.v2-localized-content-delivery.the-v2-content-record-requires-baselocale-and-supportedlocales-and-has-no-suppor",
       "file": "v2-localized-content-delivery.test.ts",
@@ -36516,6 +36172,76 @@
         }
       ]
     },
+    {
+      "id": "openwop.it.v2-provider-output-reliability.a-truncated-reply-emits-envelope-truncated-and-the-retried-call-completes",
+      "file": "v2-provider-output-reliability.test.ts",
+      "line": 61,
+      "title": "a truncated reply emits envelope.truncated and the retried call completes",
+      "explicitId": "openwop.requirement.0255.provider-output-truncation",
+      "citations": [
+        {
+          "section": "host-services.md §Structured output",
+          "requirement": "a truncated reply MUST emit envelope.truncated"
+        },
+        {
+          "section": "host-services.md §Structured output",
+          "requirement": null,
+          "interpolated": true
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-provider-output-reliability.when-the-repair-budget-runs-out-the-node-fails-envelope-invalid-after-retry-exha",
+      "file": "v2-provider-output-reliability.test.ts",
+      "line": 72,
+      "title": "when the repair budget runs out the node fails envelope_invalid after retry-exhausted and cap.breached schema",
+      "explicitId": "openwop.requirement.0255.provider-output-exhaustion",
+      "citations": [
+        {
+          "section": "host-services.md §Structured output",
+          "requirement": "a call whose every reply violates the schema MUST fail"
+        },
+        {
+          "section": "host-services.md §Structured output",
+          "requirement": "the node MUST fail with envelope_invalid"
+        },
+        {
+          "section": "host-services.md §Structured output",
+          "requirement": "exhaustion MUST emit envelope.retry-exhausted"
+        },
+        {
+          "section": "host-services.md §Structured output",
+          "requirement": null,
+          "interpolated": true
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-provider-output-reliability.a-refusal-fails-the-node-envelope-refusal-after-envelope-refusal-and-is-never-re",
+      "file": "v2-provider-output-reliability.test.ts",
+      "line": 83,
+      "title": "a refusal fails the node envelope_refusal after envelope.refusal and is never retried",
+      "explicitId": "openwop.requirement.0255.provider-output-refusal",
+      "citations": [
+        {
+          "section": "host-services.md §Structured output",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "host-services.md §Structured output",
+          "requirement": "the node MUST fail with envelope_refusal"
+        },
+        {
+          "section": "host-services.md §Structured output",
+          "requirement": "a refusal MUST emit envelope.refusal"
+        },
+        {
+          "section": "host-services.md §Structured output",
+          "requirement": "a host MUST NOT retry a refusal"
+        }
+      ]
+    },
     {
       "id": "openwop.it.v2-provider-usage-advertisement.the-providerusage-record-validates-against-its-capabilities-schema-seat",
       "file": "v2-provider-usage-advertisement.test.ts",
@@ -38271,6 +37997,76 @@
         }
       ]
     },
+    {
+      "id": "openwop.it.v2-structured-output-advertisement.the-aiproviders-record-validates-against-its-capabilities-schema-seat",
+      "file": "v2-structured-output-advertisement.test.ts",
+      "line": 43,
+      "title": "the aiProviders record validates against its capabilities-schema seat",
+      "explicitId": "openwop.requirement.aiProviders.structured-output-record",
+      "citations": [
+        {
+          "section": null,
+          "requirement": null,
+          "interpolated": true
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-structured-output-advertisement.aiproviders-reasoning-promptdirective-is-mandatory-advisory-or-off",
+      "file": "v2-structured-output-advertisement.test.ts",
+      "line": 51,
+      "title": "aiProviders.reasoning.promptDirective is mandatory, advisory or off",
+      "explicitId": "openwop.requirement.aiProviders.reasoning-advert-shape",
+      "citations": [
+        {
+          "section": null,
+          "requirement": null,
+          "interpolated": true
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-structured-output-advertisement.aiproviders-tieronesubsetcompliance-is-strict-warn-or-off",
+      "file": "v2-structured-output-advertisement.test.ts",
+      "line": 59,
+      "title": "aiProviders.tierOneSubsetCompliance is strict, warn or off",
+      "explicitId": "openwop.requirement.aiProviders.tier-one-subset-compliance-value",
+      "citations": [
+        {
+          "section": null,
+          "requirement": null,
+          "interpolated": true
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-structured-output-advertisement.aiproviders-reliability-events-lists-only-reliability-events-and-includes-retry",
+      "file": "v2-structured-output-advertisement.test.ts",
+      "line": 67,
+      "title": "aiProviders.reliability.events lists only reliability events and includes retry-exhausted and refusal",
+      "explicitId": "openwop.requirement.aiProviders.reliability-events-advert",
+      "citations": [
+        {
+          "section": null,
+          "requirement": null,
+          "interpolated": true
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-structured-output-advertisement.aiproviders-reliability-completion-distinguishestruncation-is-a-boolean",
+      "file": "v2-structured-output-advertisement.test.ts",
+      "line": 75,
+      "title": "aiProviders.reliability.completion.distinguishesTruncation is a boolean",
+      "explicitId": "openwop.requirement.aiProviders.completion-advert-shape",
+      "citations": [
+        {
+          "section": null,
+          "requirement": null,
+          "interpolated": true
+        }
+      ]
+    },
     {
       "id": "openwop.it.v2-sub-workflow-advertisement.the-subworkflow-record-validates-against-its-capabilities-schema-seat",
       "file": "v2-sub-workflow-advertisement.test.ts",
@@ -42422,32 +42218,32 @@
       ]
     },
     {
-      "id": "openwop.it.a2ui-v09-profile.the-vendored-upstream-files-are-the-pinned-bytes-every-positive-validates-agains",
+      "id": "openwop.it.a2ui-v09-profile.the-vendored-upstream-files-are-the-pinned-bytes-every-positive-is-a-valid-form",
       "file": "a2ui-v09-profile.test.ts",
-      "line": 95,
-      "title": "the vendored upstream files are the pinned bytes; every positive validates against payloadV2 and each of its messages against upstream",
-      "explicitId": "openwop.requirement.0209.profile-subset-of-upstream",
+      "line": 88,
+      "title": "the vendored upstream files are the pinned bytes; every positive is a valid form and each of its messages against upstream",
+      "explicitId": "openwop.requirement.0255.interrupt-form-profile",
       "citations": [
         {
-          "section": "RFC 0209 §References",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         },
         {
-          "section": "RFC 0209 §A.2",
+          "section": "interrupt.md §Forms",
           "requirement": "the vendored basic catalog $id IS the catalogId the profile pins"
         },
         {
-          "section": "RFC 0209 §B.4",
+          "section": "interrupt.md §Forms",
           "requirement": "fixtures/a2ui-v09/ MUST carry at least one positive surface"
         },
         {
-          "section": "RFC 0209 §A.2",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         },
         {
-          "section": "RFC 0209 §B.4",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         }
@@ -42456,22 +42252,22 @@
     {
       "id": "openwop.it.a2ui-v09-profile.a-functioncall-action-openurl-and-an-event-name-outside-the-allowlist-are-refuse",
       "file": "a2ui-v09-profile.test.ts",
-      "line": 115,
+      "line": 109,
       "title": "a functionCall action (openUrl) and an event.name outside the allowlist are refused, and only because of $defs/action",
-      "explicitId": "openwop.requirement.0209.action-confined",
+      "explicitId": "openwop.requirement.0255.interrupt-form-profile",
       "citations": [
         {
-          "section": "RFC 0209 §B.7",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         },
         {
-          "section": "RFC 0209 §B.7",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         },
         {
-          "section": "RFC 0209 §Examples",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         }
@@ -42480,21 +42276,21 @@
     {
       "id": "openwop.it.a2ui-v09-profile.textfield-variant-obscured-is-refused-and-only-because-the-variant-enum-excludes",
       "file": "a2ui-v09-profile.test.ts",
-      "line": 128,
+      "line": 123,
       "title": "TextField.variant \"obscured\" is refused, and only because the variant enum excludes it",
-      "explicitId": "openwop.requirement.0209.no-secret-input",
+      "explicitId": "openwop.requirement.0255.interrupt-form-profile",
       "citations": [
         {
-          "section": "RFC 0209 §B.8",
-          "requirement": "negative-textfield-obscured MUST fail $defs/payloadV2 (a2ui-surface-no-secret-input)"
+          "section": "interrupt.md §Forms",
+          "requirement": "negative-textfield-obscured MUST fail interrupt-form.schema.json (interrupt-form-no-secret-input)"
         },
         {
-          "section": "RFC 0209 §B.8",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         },
         {
-          "section": "RFC 0209 §Examples",
+          "section": "interrupt.md §Forms",
           "requirement": "upstream A2UI accepts an obscured TextField — the refusal is the profile's"
         }
       ]
@@ -42502,38 +42298,38 @@
     {
       "id": "openwop.it.a2ui-v09-profile.image-and-theme-iconurl-are-refused-each-only-because-of-its-exclusion-no-url-fe",
       "file": "a2ui-v09-profile.test.ts",
-      "line": 139,
+      "line": 135,
       "title": "Image and theme.iconUrl are refused, each only because of its exclusion; no URL-fetching component is in the profile",
-      "explicitId": "openwop.requirement.0209.no-egress-components",
+      "explicitId": "openwop.requirement.0255.interrupt-form-profile",
       "citations": [
         {
-          "section": "RFC 0209 §B.6",
-          "requirement": "negative-image-component MUST fail $defs/payloadV2 (a2ui-surface-no-network-egress)"
+          "section": "interrupt.md §Forms",
+          "requirement": "negative-image-component MUST fail interrupt-form.schema.json (interrupt-form-no-network-egress)"
         },
         {
-          "section": "RFC 0209 §B.6",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         },
         {
-          "section": "RFC 0209 §Examples",
+          "section": "interrupt.md §Forms",
           "requirement": "upstream A2UI accepts an Image component — the refusal is the profile's"
         },
         {
-          "section": "RFC 0209 §B.5",
-          "requirement": "negative-theme-iconurl MUST fail $defs/payloadV2"
+          "section": "interrupt.md §Forms",
+          "requirement": "negative-theme-iconurl MUST fail interrupt-form.schema.json"
         },
         {
-          "section": "RFC 0209 §B.5",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         },
         {
-          "section": "RFC 0209 §Examples",
+          "section": "interrupt.md §Forms",
           "requirement": "upstream A2UI accepts theme.iconUrl — the refusal is the profile's"
         },
         {
-          "section": "RFC 0209 §B.6",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         }
@@ -42542,21 +42338,21 @@
     {
       "id": "openwop.it.a2ui-v09-profile.a-foreign-catalogid-is-refused-and-only-because-catalogid-is-an-enum",
       "file": "a2ui-v09-profile.test.ts",
-      "line": 167,
+      "line": 164,
       "title": "a foreign catalogId is refused, and only because catalogId is an enum",
-      "explicitId": "openwop.requirement.0209.catalog-pinned",
+      "explicitId": "openwop.requirement.0255.interrupt-form-profile",
       "citations": [
         {
-          "section": "RFC 0209 §A.2",
-          "requirement": "negative-foreign-catalog MUST fail $defs/payloadV2 — catalogId is the host-pinned set, never a free string"
+          "section": "interrupt.md §Forms",
+          "requirement": "negative-foreign-catalog MUST fail interrupt-form.schema.json — catalogId is the host-pinned set, never a free string"
         },
         {
-          "section": "RFC 0209 §A.2",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         },
         {
-          "section": "RFC 0209 §A.2",
+          "section": "interrupt.md §Forms",
           "requirement": "the pinned set is exactly the basic catalog today"
         }
       ]
@@ -42564,75 +42360,118 @@
     {
       "id": "openwop.it.a2ui-v09-profile.an-extra-component-property-and-a-formatstring-text-value-are-refused-the-second",
       "file": "a2ui-v09-profile.test.ts",
-      "line": 178,
+      "line": 176,
       "title": "an extra component property and a formatString text value are refused (the second is accepted upstream)",
       "explicitId": "openwop.it.a2ui-v09-profile.closed-components-no-function-values",
       "citations": [
         {
-          "section": "RFC 0209 §B.6",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         },
         {
-          "section": "RFC 0209 §B.6",
+          "section": "interrupt.md §Forms",
           "requirement": "negative-formatstring-label MUST pass once dynString admits a FunctionCall"
         },
         {
-          "section": "RFC 0209 §Examples",
+          "section": "interrupt.md §Forms",
           "requirement": "upstream A2UI accepts a formatString text value — the refusal is the profile's"
         },
         {
-          "section": "RFC 0209 §Examples",
+          "section": "interrupt.md §Forms",
           "requirement": "upstream A2UI also refuses an extra property (unevaluatedProperties: false)"
         }
       ]
     },
     {
-      "id": "openwop.it.a2ui-v09-profile.defs-payloadv1-equals-the-v1-kind-schema-only-component-renamed-and-the-two-bran",
+      "id": "openwop.it.a2ui-v09-profile.every-positive-surface-is-a-valid-form-every-negative-is-refused-and-the-form-re",
       "file": "a2ui-v09-profile.test.ts",
-      "line": 190,
-      "title": "$defs/payloadV1 equals the v1 kind schema (only `component` renamed), and the two branches are disjoint",
-      "explicitId": "openwop.it.a2ui-v09-profile.v1-branch-unchanged",
+      "line": 208,
+      "title": "every positive surface is a valid form, every negative is refused, and the form refuses an exchange target",
+      "explicitId": "openwop.requirement.0255.interrupt-form-profile",
       "citations": [
         {
-          "section": "RFC 0209 §A.1",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         },
         {
-          "section": "RFC 0209 §A.1",
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         },
         {
-          "section": "RFC 0209 §A.1",
-          "requirement": "a version-1 surface MUST validate against $defs/payloadV1"
+          "section": "interrupt.md §Forms",
+          "requirement": "control: the form admits an exchange action once `exchange` joins the event name enum"
+        },
+        {
+          "section": "interrupt.md §Forms",
+          "requirement": "a form action MUST resolve only its own interrupt — `exchange` is refused"
         },
         {
-          "section": "RFC 0209 §A.1",
-          "requirement": "a version-1 surface MUST NOT validate against $defs/payloadV2 — the branches are disjoint"
+          "section": "interrupt.md §Forms",
+          "requirement": "negative-textfield-obscured MUST pass the form once \"obscured\" is restored — the variant enum alone refuses it"
         },
         {
-          "section": "RFC 0209 §A.1",
-          "requirement": "a version-2 surface MUST NOT validate against $defs/payloadV1"
+          "section": "interrupt.md §Forms",
+          "requirement": null,
+          "interpolated": true
         }
       ]
     },
     {
-      "id": "openwop.it.a2ui-v09-profile.every-v2-envelope-kind-is-universal-or-ui-media-and-events-md-states-the-carve-o",
+      "id": "openwop.it.a2ui-v09-profile.a-form-can-appear-only-on-a-clarification-so-it-can-never-resolve-an-approval",
       "file": "a2ui-v09-profile.test.ts",
-      "line": 211,
-      "title": "every v2 envelope kind is universal or ui.* / media.*, and events.md states the carve-out",
-      "explicitId": "openwop.requirement.0209.kind-carve-out",
+      "line": 233,
+      "title": "a form can appear only on a clarification, so it can never resolve an approval",
+      "explicitId": "openwop.requirement.0255.interrupt-form-never-resolves-approval",
       "citations": [
         {
-          "section": "RFC 0209 §D.14",
+          "section": "interrupt.md §Forms",
+          "requirement": "ClarificationData MUST be the only interrupt data shape carrying `form`"
+        },
+        {
+          "section": "interrupt.md §Forms",
+          "requirement": "ClarificationData.form MUST be the interrupt-form schema"
+        },
+        {
+          "section": "interrupt.md §Forms",
+          "requirement": "the only form action in either version MUST be `resume`"
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.a2ui-v09-profile.the-form-fixtures-bind-their-inputs-to-questions-and-each-probe-is-refused-for-e",
+      "file": "a2ui-v09-profile.test.ts",
+      "line": 244,
+      "title": "the form fixtures bind their inputs to questions, and each probe is refused for exactly one reason",
+      "explicitId": "openwop.requirement.0255.interrupt-form-bound-to-questions",
+      "citations": [
+        {
+          "section": "interrupt.md §Forms",
           "requirement": null,
           "interpolated": true
         },
         {
-          "section": "RFC 0209 §D.14",
-          "requirement": "events.md §\"AI envelopes\" MUST except the ui.* and media.* families from the <org>. namespacing rule, or no v2 host could advertise a kind v2 ships"
+          "section": "interrupt.md §Forms",
+          "requirement": "every input id MUST be a questions[].id"
+        },
+        {
+          "section": "interrupt.md §Forms",
+          "requirement": "-refused MUST fail the form schema, and only because of the obscured variant"
+        },
+        {
+          "section": "interrupt.md §Forms",
+          "requirement": "-refused MUST otherwise bind to its questions"
+        },
+        {
+          "section": "interrupt.md §Forms",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "interrupt.md §Forms",
+          "requirement": "-unbound MUST carry an input bound to no question"
         }
       ]
     },
@@ -42867,10 +42706,10 @@
       ]
     },
     {
-      "id": "openwop.it.bundle-maturity-gate.the-count-is-derived-promoting-one-family-in-the-declaration-drops-38-to-37",
+      "id": "openwop.it.bundle-maturity-gate.the-count-is-derived-promoting-one-family-in-the-declaration-drops-36-to-35",
       "file": "bundle-maturity-gate.test.ts",
       "line": 102,
-      "title": "the count is DERIVED — promoting one family in the declaration drops 38 to 37",
+      "title": "the count is DERIVED — promoting one family in the declaration drops 36 to 35",
       "explicitId": "openwop.requirement.0197.bundle-maturity-bound",
       "citations": [
         {
@@ -42888,7 +42727,7 @@
       "id": "openwop.it.bundle-maturity-gate.a-bundle-whose-suite-is-below-the-rfc-s-is-reported-not-failed-even-with-the-sam",
       "file": "bundle-maturity-gate.test.ts",
       "line": 110,
-      "title": "a bundle whose suite is BELOW the RFC’s is reported, not failed, even with the same 38",
+      "title": "a bundle whose suite is BELOW the RFC’s is reported, not failed, even with the same 36",
       "explicitId": "openwop.requirement.0197.bundle-maturity-bound",
       "citations": [
         {
@@ -42898,7 +42737,7 @@
         },
         {
           "section": "spec/v2/core/capabilities.md §8 (RFC 0197 §C.7)",
-          "requirement": "the same 38 are still counted and printed; reported is not the same as unmeasured"
+          "requirement": "the same 36 are still counted and printed; reported is not the same as unmeasured"
         },
         {
           "section": "spec/v2/core/capabilities.md §8 (RFC 0197 §C.7)",
@@ -47352,109 +47191,92 @@
       ]
     },
     {
-      "id": "openwop.it.v2-ai-envelope-shape-static.ai-envelope-schema-json-compiles-under-ajv-2020",
-      "file": "v2-ai-envelope-shape-static.test.ts",
-      "line": 63,
-      "title": "ai-envelope.schema.json compiles under Ajv 2020",
-      "explicitId": "openwop.requirement.ai-envelope.schemas-compile",
-      "citations": [
-        {
-          "section": "events.md §AI envelopes: E1–E5",
-          "requirement": "schemas/v2/ai-envelope.schema.json MUST compile"
-        }
-      ]
-    },
-    {
-      "id": "openwop.requirement.ai-envelope.schemas-compile",
-      "file": "v2-ai-envelope-shape-static.test.ts",
-      "line": 69,
-      "title": null,
-      "explicitId": "openwop.requirement.ai-envelope.schemas-compile",
+      "id": "openwop.it.v2-alias-covers-reword.the-corpus-gate-script-exits-0",
+      "file": "v2-alias-covers-reword.test.ts",
+      "line": 44,
+      "title": "the corpus gate script exits 0",
+      "explicitId": "openwop.requirement.0168.alias-covers-reword",
       "citations": [
         {
-          "section": "events.md §AI envelopes: E1–E5",
+          "section": "RFC 0168 §A.1",
           "requirement": null,
           "interpolated": true
         }
       ]
     },
     {
-      "id": "openwop.it.v2-ai-envelope-shape-static.accepts-a-well-formed-envelope-carrying-correlationid-and-meta-source",
-      "file": "v2-ai-envelope-shape-static.test.ts",
-      "line": 79,
-      "title": "accepts a well-formed envelope carrying correlationId and meta.source",
-      "explicitId": "openwop.requirement.ai-envelope.well-formed-accepted",
+      "id": "openwop.it.v2-alias-covers-reword.a-published-id-the-sources-no-longer-mint-with-no-alias-or-tombstone-fails-check",
+      "file": "v2-alias-covers-reword.test.ts",
+      "line": 80,
+      "title": "a published id the sources no longer mint, with no alias or tombstone, fails --check and --write refuses without writing",
+      "explicitId": "openwop.requirement.0255.requirement-tombstone",
       "citations": [
         {
-          "section": "events.md §AI envelopes: E1–E5",
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
           "requirement": null,
           "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-ai-envelope-shape-static.rejects-an-envelope-missing-meta",
-      "file": "v2-ai-envelope-shape-static.test.ts",
-      "line": 85,
-      "title": "rejects an envelope missing meta",
-      "explicitId": "openwop.requirement.ai-envelope.meta-required",
-      "citations": [
+        },
         {
-          "section": "events.md §AI envelopes: E1–E5",
-          "requirement": "an envelope without meta MUST be rejected"
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-ai-envelope-shape-static.rejects-an-envelope-with-an-unknown-top-level-property",
-      "file": "v2-ai-envelope-shape-static.test.ts",
-      "line": 90,
-      "title": "rejects an envelope with an unknown top-level property",
-      "explicitId": "openwop.requirement.ai-envelope.top-level-closed",
-      "citations": [
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": "the failure must name the id"
+        },
         {
-          "section": "schemas/v2/ai-envelope.schema.json",
-          "requirement": "the envelope is closed: an unknown top-level property MUST be rejected"
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-ai-envelope-shape-static.rejects-an-envelope-missing-correlationid",
-      "file": "v2-ai-envelope-shape-static.test.ts",
-      "line": 95,
-      "title": "rejects an envelope missing correlationId",
-      "explicitId": "openwop.requirement.ai-envelope.correlation-id-required",
-      "citations": [
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": "the failure must name the remedy"
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": "the refusal must say nothing was written"
+        },
         {
-          "section": "events.md §AI envelopes: E1–E5",
-          "requirement": "correlationId is REQUIRED on every envelope at v2 — an envelope without it MUST be rejected, never synthesized"
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": "conformance/requirements.json must be byte-identical after a refused --write"
         }
       ]
     },
     {
-      "id": "openwop.it.v2-ai-envelope-shape-static.rejects-an-envelope-whose-meta-carries-no-source",
-      "file": "v2-ai-envelope-shape-static.test.ts",
-      "line": 100,
-      "title": "rejects an envelope whose meta carries no source",
-      "explicitId": "openwop.requirement.ai-envelope.meta-source-required",
+      "id": "openwop.it.v2-alias-covers-reword.positive-control-a-tombstone-naming-a-steward-deletion-row-retires-the-id",
+      "file": "v2-alias-covers-reword.test.ts",
+      "line": 93,
+      "title": "POSITIVE CONTROL — a tombstone naming a steward-deletion row retires the id",
+      "explicitId": "openwop.requirement.0255.requirement-tombstone",
       "citations": [
         {
-          "section": "events.md §AI envelopes: E1–E5",
-          "requirement": "meta.source is REQUIRED on every envelope at v2 — an envelope without it MUST be rejected"
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
         }
       ]
     },
     {
-      "id": "openwop.it.v2-alias-covers-reword.the-corpus-gate-script-exits-0",
+      "id": "openwop.it.v2-alias-covers-reword.a-tombstone-naming-a-non-steward-row-or-a-live-id-is-refused",
       "file": "v2-alias-covers-reword.test.ts",
-      "line": 32,
-      "title": "the corpus gate script exits 0",
-      "explicitId": "openwop.requirement.0168.alias-covers-reword",
+      "line": 99,
+      "title": "a tombstone naming a non-steward row, or a live id, is REFUSED",
+      "explicitId": "openwop.requirement.0255.requirement-tombstone",
       "citations": [
         {
-          "section": "RFC 0168 §A.1",
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
           "requirement": null,
           "interpolated": true
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": "the refusal must say the row is not a steward deletion"
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": "the refusal must name the live id"
         }
       ]
     },
@@ -47910,151 +47732,6 @@
         }
       ]
     },
-    {
-      "id": "openwop.it.v2-envelope-catalog.each-of-the-three-carries-its-seat",
-      "file": "v2-envelope-catalog.test.ts",
-      "line": 64,
-      "title": "each of the three carries its seat",
-      "explicitId": "openwop.requirement.0193.seats-present",
-      "citations": [
-        {
-          "section": "RFC 0193 §B",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelope-catalog.no-seat-is-required-a-published-record-without-one-stays-valid",
-      "file": "v2-envelope-catalog.test.ts",
-      "line": 73,
-      "title": "no seat is required — a published record without one stays valid",
-      "explicitId": "openwop.requirement.0193.seats-optional",
-      "citations": [
-        {
-          "section": "RFC 0193 §B",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelope-catalog.the-generator-refuses-a-family-whose-payload-it-cannot-carry",
-      "file": "v2-envelope-catalog.test.ts",
-      "line": 82,
-      "title": "the generator refuses a family whose payload it cannot carry",
-      "explicitId": "openwop.requirement.0193.generator-refuses",
-      "citations": [
-        {
-          "section": "RFC 0193 §A/§B",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelope-catalog.an-absent-catalog-is-stated-to-fail-closed",
-      "file": "v2-envelope-catalog.test.ts",
-      "line": 95,
-      "title": "an absent catalog is stated to fail CLOSED",
-      "explicitId": "openwop.requirement.0193.absence-is-closed",
-      "citations": [
-        {
-          "section": "RFC 0193 §C",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelope-catalog.both-refusal-codes-are-registered-at-major-2",
-      "file": "v2-envelope-catalog.test.ts",
-      "line": 106,
-      "title": "both refusal codes are registered at major 2",
-      "explicitId": "openwop.requirement.0193.codes-registered",
-      "citations": [
-        {
-          "section": "RFC 0193 §F",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelope-catalog.versioning-axis-6-no-longer-contradicts-the-record",
-      "file": "v2-envelope-catalog.test.ts",
-      "line": 116,
-      "title": "versioning axis 6 no longer contradicts the record",
-      "explicitId": "openwop.requirement.0193.axis-6-agrees",
-      "citations": [
-        {
-          "section": "RFC 0193 §D",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.requirement.envelopes.tier-one-load-bearing-universal-kinds",
-      "file": "v2-envelope-tier-one-universal-static.test.ts",
-      "line": 30,
-      "title": null,
-      "explicitId": "openwop.requirement.envelopes.tier-one-load-bearing-universal-kinds",
-      "citations": [
-        {
-          "section": "RFC 0030 §B",
-          "requirement": null,
-          "interpolated": true
-        },
-        {
-          "section": "RFC 0030 §B",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-envelope-variant-discriminator-static.schemas-v2-envelopes-carries-a-payload-schema-for-each-universal-kind",
-      "file": "v2-envelope-variant-discriminator-static.test.ts",
-      "line": 47,
-      "title": "schemas/v2/envelopes carries a payload schema for each universal kind",
-      "explicitId": "openwop.requirement.envelopes.payload-schemas-present",
-      "citations": [
-        {
-          "section": "RFC 0031 §A",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.requirement.envelopes.variant-no-oneof",
-      "file": "v2-envelope-variant-discriminator-static.test.ts",
-      "line": 53,
-      "title": null,
-      "explicitId": "openwop.requirement.envelopes.variant-no-oneof",
-      "citations": [
-        {
-          "section": "RFC 0031 §A",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.requirement.envelopes.variant-anyof-discriminated",
-      "file": "v2-envelope-variant-discriminator-static.test.ts",
-      "line": 59,
-      "title": null,
-      "explicitId": "openwop.requirement.envelopes.variant-anyof-discriminated",
-      "citations": [
-        {
-          "section": "RFC 0031 §A",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
     {
       "id": "openwop.it.v2-eos-clock.the-clock-file-is-current-with-the-matrix-and-the-public-history",
       "file": "v2-eos-clock.test.ts",
@@ -48574,74 +48251,6 @@
         }
       ]
     },
-    {
-      "id": "openwop.requirement.media.payload-schemas-compile",
-      "file": "v2-media-inline-cap-static.test.ts",
-      "line": 42,
-      "title": null,
-      "explicitId": "openwop.requirement.media.payload-schemas-compile",
-      "citations": [
-        {
-          "section": "host-services.md §aiProviders",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-media-inline-cap-static.accepts-a-url-reference-image-payload",
-      "file": "v2-media-inline-cap-static.test.ts",
-      "line": 48,
-      "title": "accepts a URL-reference image payload",
-      "explicitId": "openwop.requirement.media.url-reference-accepted",
-      "citations": [
-        {
-          "section": "host-services.md §aiProviders",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-media-inline-cap-static.accepts-an-inline-base64-audio-payload",
-      "file": "v2-media-inline-cap-static.test.ts",
-      "line": 54,
-      "title": "accepts an inline-base64 audio payload",
-      "explicitId": "openwop.requirement.media.inline-base64-accepted",
-      "citations": [
-        {
-          "section": "host-services.md §aiProviders",
-          "requirement": null,
-          "interpolated": true
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-media-inline-cap-static.rejects-a-media-payload-missing-bytes",
-      "file": "v2-media-inline-cap-static.test.ts",
-      "line": 60,
-      "title": "rejects a media payload missing bytes",
-      "explicitId": "openwop.requirement.media.bytes-required",
-      "citations": [
-        {
-          "section": "host-services.md §aiProviders",
-          "requirement": "bytes is required on a media payload — it is what the inline cap is judged against"
-        }
-      ]
-    },
-    {
-      "id": "openwop.it.v2-media-inline-cap-static.rejects-a-media-payload-with-an-unknown-property",
-      "file": "v2-media-inline-cap-static.test.ts",
-      "line": 65,
-      "title": "rejects a media payload with an unknown property",
-      "explicitId": "openwop.requirement.media.payload-closed",
-      "citations": [
-        {
-          "section": "host-services.md §aiProviders",
-          "requirement": "a media payload is closed: an unknown property MUST be rejected"
-        }
-      ]
-    },
     {
       "id": "openwop.it.v2-normative-home-gate.a-refused-home-class-is-refused-by-name",
       "file": "v2-normative-home-gate.test.ts",
@@ -49071,7 +48680,7 @@
     {
       "id": "openwop.it.v2-retirement-gate.the-committed-corpus-passes-and-the-gate-prints-its-inputs-rather-than-a-silent",
       "file": "v2-retirement-gate.test.ts",
-      "line": 148,
+      "line": 157,
       "title": "the committed corpus passes, and the gate prints its inputs rather than a silent zero",
       "explicitId": "openwop.requirement.0197.retirement-predicate",
       "citations": [
@@ -49089,7 +48698,7 @@
     {
       "id": "openwop.it.v2-retirement-gate.the-base-fixture-a-full-honest-retirement-is-reported-retirable-and-the-gate-exi",
       "file": "v2-retirement-gate.test.ts",
-      "line": 156,
+      "line": 165,
       "title": "the base fixture — a full, honest retirement — is reported `retirable` and the gate exits 0",
       "explicitId": "openwop.requirement.0197.retirement-predicate",
       "citations": [
@@ -49112,7 +48721,7 @@
     {
       "id": "openwop.requirement.0197.retirement-predicate",
       "file": "v2-retirement-gate.test.ts",
-      "line": 165,
+      "line": 174,
       "title": null,
       "explicitId": "openwop.requirement.0197.retirement-predicate",
       "citations": [
@@ -49136,7 +48745,7 @@
     {
       "id": "openwop.it.v2-retirement-gate.a-4-a-corrections-row-whose-prior-shape-a-committed-bundle-carried-is-refused",
       "file": "v2-retirement-gate.test.ts",
-      "line": 174,
+      "line": 183,
       "title": "§A.4 — a corrections row whose prior shape a committed bundle carried is REFUSED",
       "explicitId": "openwop.requirement.0197.correction-unevidenced",
       "citations": [
@@ -49154,7 +48763,7 @@
     {
       "id": "openwop.it.v2-retirement-gate.a-4-a-corrections-row-with-a-null-manifest-census-is-refused-and-a-drifted-compa",
       "file": "v2-retirement-gate.test.ts",
-      "line": 187,
+      "line": 196,
       "title": "§A.4 — a corrections row with a NULL manifest census is REFUSED, and a drifted COMPATIBILITY entry too",
       "explicitId": "openwop.requirement.0197.correction-unevidenced",
       "citations": [
@@ -49178,6 +48787,148 @@
         }
       ]
     },
+    {
+      "id": "openwop.it.v2-retirement-gate.positive-control-a-new-steward-deletion-row-whose-census-matches-the-scan-is-adm",
+      "file": "v2-retirement-gate.test.ts",
+      "line": 235,
+      "title": "POSITIVE CONTROL — a new steward-deletion row whose census matches the scan is admitted",
+      "explicitId": "openwop.requirement.0255.steward-deletion-licence",
+      "citations": [
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": "the report must show the typed and the scanned census side by side"
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-retirement-gate.a-typed-census-of-0-is-re-measured-and-refused-when-a-bundle-carries-the-removed",
+      "file": "v2-retirement-gate.test.ts",
+      "line": 242,
+      "title": "a typed census of 0 is re-measured and REFUSED when a bundle carries the removed surface, for either class",
+      "explicitId": "openwop.requirement.0255.steward-deletion-licence",
+      "citations": [
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-retirement-gate.a-new-row-is-refused-while-a-tier-3-host-is-listed-a-published-row-is-not-re-jud",
+      "file": "v2-retirement-gate.test.ts",
+      "line": 251,
+      "title": "a new row is REFUSED while a tier-3 host is listed; a published row is NOT re-judged",
+      "explicitId": "openwop.requirement.0255.steward-deletion-licence",
+      "citations": [
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": "the refusal must name the tier-3 host"
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": "the report must still show typed and scanned side by side"
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": "the refusal must say the scan may not rise above the census"
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-retirement-gate.a-new-row-is-refused-while-the-interop-matrix-names-an-independent-host",
+      "file": "v2-retirement-gate.test.ts",
+      "line": 272,
+      "title": "a new row is REFUSED while the INTEROP-MATRIX names an independent host",
+      "explicitId": "openwop.requirement.0255.steward-deletion-licence",
+      "citations": [
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": "the refusal must quote the matrix cell"
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-retirement-gate.a-new-row-is-refused-while-a-committed-bundle-comes-from-an-origin-nobody-lists",
+      "file": "v2-retirement-gate.test.ts",
+      "line": 279,
+      "title": "a new row is REFUSED while a committed bundle comes from an origin nobody lists",
+      "explicitId": "openwop.requirement.0255.steward-deletion-licence",
+      "citations": [
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": "the refusal must name the bundle and its origin"
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-retirement-gate.a-row-removing-a-reader-for-persisted-data-is-refused-and-so-is-one-naming-no-rf",
+      "file": "v2-retirement-gate.test.ts",
+      "line": 286,
+      "title": "a row removing a reader for persisted data is REFUSED, and so is one naming no RFC",
+      "explicitId": "openwop.requirement.0255.steward-deletion-licence",
+      "citations": [
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": "the refusal must name the reader"
+        },
+        {
+          "section": "COMPATIBILITY.md §3a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        }
+      ]
+    },
     {
       "id": "openwop.it.v2-seams-not-in-canonical.the-corpus-gate-script-exits-0",
       "file": "v2-seams-not-in-canonical.test.ts",
@@ -49590,6 +49341,47 @@
         }
       ]
     },
+    {
+      "id": "openwop.it.v2-surface-monotone-gate.a-property-deleted-with-its-baseline-regenerated-in-the-same-change-is-refused-a",
+      "file": "v2-surface-monotone-gate.test.ts",
+      "line": 313,
+      "title": "a property deleted with its baseline regenerated in the same change is REFUSED against the published baseline",
+      "explicitId": "openwop.requirement.0255.baseline-regeneration-refused",
+      "citations": [
+        {
+          "section": "spec/v2/core/overview.md §0a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "spec/v2/core/overview.md §0a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "spec/v2/core/overview.md §0a (RFC 0255 §D)",
+          "requirement": "the refusal must name the removed property"
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-surface-monotone-gate.positive-control-the-same-removal-named-by-a-steward-deletion-row-is-licensed",
+      "file": "v2-surface-monotone-gate.test.ts",
+      "line": 322,
+      "title": "POSITIVE CONTROL — the same removal named by a steward-deletion row is licensed",
+      "explicitId": "openwop.requirement.0255.baseline-regeneration-refused",
+      "citations": [
+        {
+          "section": "spec/v2/core/overview.md §0a (RFC 0255 §D)",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "spec/v2/core/overview.md §0a (RFC 0255 §D)",
+          "requirement": "the gate must say what licensed it"
+        }
+      ]
+    },
     {
       "id": "openwop.it.v2-threat-model-template.the-corpus-gate-script-exits-0",
       "file": "v2-threat-model-template.test.ts",