@openwop/openwop-conformance 2.46.19 → 2.46.21

package/CHANGELOG.md

@@ -1,3 +1,19 @@
+## [2.46.21] — 2026-10-24 — RFC 0249 Active: v2 proposal operations
+
+- **New scenario `v2-proposal-lifecycle`.** One client-submitted `prompt-template` proposal is driven through submit, revise and apply. The legs are `0249.shape` (server-free), `submit-kind-refused`, `draft-inert`, `apply-stale-refused`, `apply-unscoped-refused`, `apply-installs`, `readback-byte-match`, `terminal-refused` and `cross-tenant-not-found`. Judges are in `lib/proposal-lifecycle-witness.ts`, whose self-tests fail each wrong host answer, including a hash passed off as an install.
+- **Fix before release (found by openwop-app's pre-release run):** the judges read error codes from a nested `{error: {code}}`. The v2 envelope is flat (`{error: "<code>", message, details?}`), so three legs failed on a correct host. They now use `readErrorCode` and read `details` at the root; self-tests cover the flat form.
+- **`0249.unadvertised-not-found`** in `v2-unadvertised-operation-not-found`: `GET /proposals` on a host without `agents.proposals` answers `404 not_found`.
+- **Gating.** The host legs need `agents.proposals` with `clientDrafts: true` and `readback` ∋ `prompt-template`, plus `OPENWOP_TEST_LOW_SCOPE_KEY` (read and write, no `proposals:apply`) and `OPENWOP_TEST_TENANT_B_API_KEY`. An unset key records `blocked`.
+- **Invariants.** `proposal-inert-until-applied` and `proposal-no-resynthesis` move `seam-gated` → `witnessable-gated`.
+- **New top-level name `proposals`** is pinned in `check-manifest-top-level-segments`. No host in INTEROP-MATRIX serves `/proposals` unversioned: openwop-app's proposals are under `/host/openwop-app/`, and MyndHyve's v1 surface was `/v1/host/sample/proposals`.
+- **Host impact:** none today. No host advertises `clientDrafts`. MyndHyve advertises `agents.proposals` without it, so its legs are `inapplicable`.
+
+## [2.46.20] — 2026-10-24 — RFC 0081 eval envelope legs; RFC 0249 Draft
+
+- **Two new legs in `v2-eval-trajectory-trials` (RFC 0081 §C)**, on the existing `conformance-eval-trajectory` run, so no extra run: `0081.eval-envelope` (one `eval.started` and one `eval.completed` bracket every `eval.scored`, `eval.completed` precedes `run.completed`, and its counts equal the summary's) and `0081.summary-served` (the served `EvalSummary` validates and its counts match its rows). Judges in `lib/eval-envelope-witness.ts`, whose self-tests fail each wrong host answer. Before this, no v2 leg read `eval.completed`.
+- **Host impact:** hosts that advertise `agents.evalSuite.trajectory` and list the fixture (openwop-app, MyndHyve) run both legs. A host that omits `eval.completed` fails `0081.eval-envelope`.
+- RFC 0249 (v2 proposal operations and an install read-back for RFC 0096) is filed as `Draft`. Its gap register lands in the packed `spec/v1/gaps.json`, which opened this cycle.
+
 ## [2.46.19] — 2026-10-22 — RFC 0248: ctx.callAI attempt accounting and retry policy
 
 - **New scenario `v2-callai-attempt-accounting`** with eight legs: `0248.attempts-count`, `output-tokens-sum`, `usage-incomplete`, `structured-output`, `attempts-replayed`, `max-attempts-cap`, `no-budget-growth` and `retry-malformed-refused`. They are gated on `aiProviders.callAccounting.attempts` / `.retryPolicy` and the fixture.

package/README.md

@@ -137,7 +137,7 @@ Each scenario file records its disposition and assertion count in `<report-dir>/
 
 ## What's Covered
 
-The current suite has 659 scenario files under `src/scenarios/`. By target major ([`scenario-majors.json`](./scenario-majors.json)): 219 files run against a v2 host and 455 against a v1 host; 15 of them run at both.
+The current suite has 660 scenario files under `src/scenarios/`. By target major ([`scenario-majors.json`](./scenario-majors.json)): 220 files run against a v2 host and 455 against a v1 host; 15 of them run at both.
 
 The v2 scenarios (`src/scenarios/v2-*.test.ts`) cover, by area:
 
@@ -166,7 +166,7 @@ Three kinds of scenario share the tree:
 - **Host** checks drive a live host over HTTP.
 - **Gated** checks run only when the host advertises the family, profile or fixture they need, and otherwise record `inapplicable` or `blocked` with a reason. `--require-behavior` turns an advertised-but-unwitnessable behaviour into a failure.
 
-Current source tree: 659 scenario files. [`coverage.md`](./coverage.md) maps each spec document and every OpenAPI operation to its scenarios. [`CHANGELOG.md`](./CHANGELOG.md) records when each scenario landed.
+Current source tree: 660 scenario files. [`coverage.md`](./coverage.md) maps each spec document and every OpenAPI operation to its scenarios. [`CHANGELOG.md`](./CHANGELOG.md) records when each scenario landed.
 
 ## How the 2.x suite is built
 

package/dist/spec-artifacts.lock.json

@@ -1,5 +1,5 @@
 {
   "package": "@openwop/spec-artifacts",
-  "version": "2.46.19",
-  "stampSha256": "8b0bfeeda6c1a1e8bbac41bc73b01f70e71ad88ca5dc98aee4a373b6611db396"
+  "version": "2.46.21",
+  "stampSha256": "bf5d66dc96dadf165262981562db0cb1a45b8fca7d4eb0910b6c60e6e0c5b7ad"
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@openwop/openwop-conformance",
-  "version": "2.46.19",
+  "version": "2.46.21",
   "description": "Black-box conformance suite for OpenWOP hosts (v2 current; v1 scenarios retained for the frozen v1 tree).",
   "repository": {
     "type": "git",
@@ -56,6 +56,6 @@
     "@openwop/spec-artifacts": "file:../spec-artifacts"
   },
   "peerDependencies": {
-    "@openwop/spec-artifacts": "2.46.19"
+    "@openwop/spec-artifacts": "2.46.21"
   }
 }

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": 747,
-    "tests": 2822,
-    "withStableId": 2822,
+    "files": 748,
+    "tests": 2834,
+    "withStableId": 2834,
     "interpolatedTitles": 0,
-    "explicitIds": 2695
+    "explicitIds": 2707
   },
   "records": [
     {
@@ -31092,7 +31092,7 @@
     {
       "id": "openwop.it.v2-eval-trajectory-trials.the-rfc-0244-suite-summary-and-event-fields-validate-and-the-negatives-are-refus",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 150,
+      "line": 162,
       "title": "the RFC 0244 suite, summary and event fields validate and the negatives are refused",
       "explicitId": "openwop.requirement.0244.wire-shape",
       "citations": [
@@ -31131,7 +31131,7 @@
     {
       "id": "openwop.it.v2-eval-trajectory-trials.the-rfc-0244-additions-are-content-free-eval-summary-no-content-leak",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 173,
+      "line": 185,
       "title": "the RFC 0244 additions are content-free (eval-summary-no-content-leak)",
       "explicitId": "openwop.requirement.0244.content-free",
       "citations": [
@@ -31148,7 +31148,7 @@
     {
       "id": "openwop.it.v2-eval-trajectory-trials.the-eval-suite-fixtures-validate-against-the-v2-suite-schema",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 180,
+      "line": 192,
       "title": "the eval-suite fixtures validate against the v2 suite schema",
       "explicitId": "openwop.requirement.0244.fixtures-valid",
       "citations": [
@@ -31162,7 +31162,7 @@
     {
       "id": "openwop.it.v2-eval-trajectory-trials.the-rfc-0246-gating-fields-validate-and-stay-in-0-1",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 187,
+      "line": 199,
       "title": "the RFC 0246 gating fields validate and stay in 0–1",
       "explicitId": "openwop.requirement.0246.gated-fields-shape",
       "citations": [
@@ -31184,7 +31184,7 @@
     {
       "id": "openwop.it.v2-eval-trajectory-trials.a-fixture-entry-may-be-marked-iserror-and-only-as-a-boolean-rfc-0245-a",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 195,
+      "line": 207,
       "title": "a fixture entry may be marked isError, and only as a boolean (RFC 0245 §A)",
       "explicitId": "openwop.requirement.0245.fixture-error-shape",
       "citations": [
@@ -31206,7 +31206,7 @@
     {
       "id": "openwop.it.v2-eval-trajectory-trials.a-trajectory-suite-is-graded-per-the-reference-grader",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 205,
+      "line": 217,
       "title": "a trajectory suite is graded per the reference grader",
       "explicitId": "openwop.requirement.0244.trajectory-graded",
       "citations": [
@@ -31237,10 +31237,38 @@
         }
       ]
     },
+    {
+      "id": "openwop.it.v2-eval-trajectory-trials.an-eval-run-brackets-its-scores-with-one-eval-started-and-one-eval-completed-rfc",
+      "file": "v2-eval-trajectory-trials.test.ts",
+      "line": 251,
+      "title": "an eval run brackets its scores with one eval.started and one eval.completed (RFC 0081 §C)",
+      "explicitId": "openwop.requirement.0081.eval-envelope",
+      "citations": [
+        {
+          "section": "run-event-payloads evalStarted / evalCompleted, eval-summary.schema.json (RFC 0081 §C)",
+          "requirement": null,
+          "interpolated": true
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-eval-trajectory-trials.the-served-evalsummary-validates-and-its-counts-match-its-rows-rfc-0081-c",
+      "file": "v2-eval-trajectory-trials.test.ts",
+      "line": 259,
+      "title": "the served EvalSummary validates and its counts match its rows (RFC 0081 §C)",
+      "explicitId": "openwop.requirement.0081.summary-served",
+      "citations": [
+        {
+          "section": "run-event-payloads evalStarted / evalCompleted, eval-summary.schema.json (RFC 0081 §C)",
+          "requirement": null,
+          "interpolated": true
+        }
+      ]
+    },
     {
       "id": "openwop.it.v2-eval-trajectory-trials.repeated-trials-emit-one-eval-scored-per-task-per-trial",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 241,
+      "line": 280,
       "title": "repeated trials emit one eval.scored per task per trial",
       "explicitId": "openwop.requirement.0244.trials-per-task",
       "citations": [
@@ -31258,7 +31286,7 @@
     {
       "id": "openwop.it.v2-eval-trajectory-trials.the-per-task-trials-block-and-trialstats-follow-the-b-formulas",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 252,
+      "line": 291,
       "title": "the per-task trials block and trialStats follow the §B formulas",
       "explicitId": "openwop.requirement.0244.trial-stats-formula",
       "citations": [
@@ -31297,7 +31325,7 @@
     {
       "id": "openwop.it.v2-eval-trajectory-trials.a-fixture-miss-under-onmiss-fail-fails-the-trial-and-is-counted",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 275,
+      "line": 314,
       "title": "a fixture miss under onMiss \"fail\" fails the trial and is counted",
       "explicitId": "openwop.requirement.0244.fixture-miss-fails",
       "citations": [
@@ -31334,7 +31362,7 @@
     {
       "id": "openwop.it.v2-eval-trajectory-trials.a-suite-using-an-unadvertised-rfc-0244-feature-is-refused-at-createrun",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 295,
+      "line": 334,
       "title": "a suite using an unadvertised RFC 0244 feature is refused at createRun",
       "explicitId": "openwop.requirement.0244.unadvertised-feature-refused",
       "citations": [
@@ -31352,7 +31380,7 @@
     {
       "id": "openwop.it.v2-eval-trajectory-trials.under-passrule-mean-a-task-whose-trials-failed-their-trajectory-does-not-pass-rf",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 311,
+      "line": 350,
       "title": "under passRule \"mean\" a task whose trials failed their trajectory does not pass (RFC 0246)",
       "explicitId": "openwop.requirement.0246.mean-gated",
       "citations": [
@@ -31366,7 +31394,7 @@
     {
       "id": "openwop.it.v2-eval-trajectory-trials.a-suite-whose-tasks-failed-their-trajectory-does-not-pass-on-the-output-scores-r",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 324,
+      "line": 363,
       "title": "a suite whose tasks failed their trajectory does not pass on the output scores (RFC 0246)",
       "explicitId": "openwop.requirement.0246.suite-gated",
       "citations": [
@@ -31380,7 +31408,7 @@
     {
       "id": "openwop.it.v2-eval-trajectory-trials.a-fixture-entry-marked-iserror-is-replayed-as-a-tool-error-not-a-success-rfc-024",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 335,
+      "line": 374,
       "title": "a fixture entry marked isError is replayed as a tool error, not a success (RFC 0245)",
       "explicitId": "openwop.requirement.0245.fixture-error-replayed",
       "citations": [
@@ -31394,7 +31422,7 @@
     {
       "id": "openwop.it.v2-eval-trajectory-trials.a-suite-using-iserror-is-refused-at-createrun-without-fixtureerrors-rfc-0245-c",
       "file": "v2-eval-trajectory-trials.test.ts",
-      "line": 349,
+      "line": 388,
       "title": "a suite using isError is refused at createRun without fixtureErrors (RFC 0245 §C)",
       "explicitId": "openwop.requirement.0245.unadvertised-refused",
       "citations": [
@@ -35818,6 +35846,111 @@
         }
       ]
     },
+    {
+      "id": "openwop.it.v2-proposal-lifecycle.the-submit-revise-and-apply-bodies-and-installedartifact-validate-and-the-negati",
+      "file": "v2-proposal-lifecycle.test.ts",
+      "line": 186,
+      "title": "the submit, revise and apply bodies and installedArtifact validate, and the negatives are refused",
+      "explicitId": "openwop.requirement.0249.shape",
+      "citations": [
+        {
+          "section": "proposal-submit / proposal-revise / proposal-apply / proposal.schema.json (RFC 0249)",
+          "requirement": "a minimal submit MUST validate"
+        },
+        {
+          "section": "proposal-submit / proposal-revise / proposal-apply / proposal.schema.json (RFC 0249)",
+          "requirement": "an unknown kind MUST be refused"
+        },
+        {
+          "section": "proposal-submit / proposal-revise / proposal-apply / proposal.schema.json (RFC 0249)",
+          "requirement": "a submit carrying state MUST be refused (closed body)"
+        },
+        {
+          "section": "proposal-submit / proposal-revise / proposal-apply / proposal.schema.json (RFC 0249)",
+          "requirement": "an empty revise MUST be refused"
+        },
+        {
+          "section": "proposal-submit / proposal-revise / proposal-apply / proposal.schema.json (RFC 0249)",
+          "requirement": "a sha256 digest MUST validate"
+        },
+        {
+          "section": "proposal-submit / proposal-revise / proposal-apply / proposal.schema.json (RFC 0249)",
+          "requirement": "a digest without the sha256: prefix and 64 hex MUST be refused"
+        },
+        {
+          "section": "proposal-submit / proposal-revise / proposal-apply / proposal.schema.json (RFC 0249)",
+          "requirement": "a minimal installedArtifact MUST validate"
+        },
+        {
+          "section": "proposal-submit / proposal-revise / proposal-apply / proposal.schema.json (RFC 0249)",
+          "requirement": "installedArtifact is closed"
+        }
+      ]
+    },
+    {
+      "id": "openwop.it.v2-proposal-lifecycle.a-kind-outside-artifactkinds-is-refused-at-submit",
+      "file": "v2-proposal-lifecycle.test.ts",
+      "line": 204,
+      "title": "a kind outside artifactKinds is refused at submit",
+      "explicitId": "openwop.requirement.0249.submit-kind-refused",
+      "citations": []
+    },
+    {
+      "id": "openwop.it.v2-proposal-lifecycle.a-draft-prompt-template-is-not-served-listed-or-renderable",
+      "file": "v2-proposal-lifecycle.test.ts",
+      "line": 213,
+      "title": "a draft prompt-template is not served, listed or renderable",
+      "explicitId": "openwop.requirement.0249.draft-inert",
+      "citations": []
+    },
+    {
+      "id": "openwop.it.v2-proposal-lifecycle.a-revision-re-digests-and-an-apply-bound-to-the-old-bytes-is-stale",
+      "file": "v2-proposal-lifecycle.test.ts",
+      "line": 221,
+      "title": "a revision re-digests, and an apply bound to the old bytes is stale",
+      "explicitId": "openwop.requirement.0249.apply-stale-refused",
+      "citations": []
+    },
+    {
+      "id": "openwop.it.v2-proposal-lifecycle.an-apply-without-proposals-apply-is-refused-and-installs-nothing",
+      "file": "v2-proposal-lifecycle.test.ts",
+      "line": 229,
+      "title": "an apply without proposals:apply is refused and installs nothing",
+      "explicitId": "openwop.requirement.0249.apply-unscoped-refused",
+      "citations": []
+    },
+    {
+      "id": "openwop.it.v2-proposal-lifecycle.an-authorized-current-apply-names-the-read-that-serves-the-installed-template",
+      "file": "v2-proposal-lifecycle.test.ts",
+      "line": 239,
+      "title": "an authorized, current apply names the read that serves the installed template",
+      "explicitId": "openwop.requirement.0249.apply-installs",
+      "citations": []
+    },
+    {
+      "id": "openwop.it.v2-proposal-lifecycle.the-installed-template-is-the-reviewed-revision-byte-for-byte",
+      "file": "v2-proposal-lifecycle.test.ts",
+      "line": 248,
+      "title": "the installed template is the reviewed revision, byte for byte",
+      "explicitId": "openwop.requirement.0249.readback-byte-match",
+      "citations": []
+    },
+    {
+      "id": "openwop.it.v2-proposal-lifecycle.an-applied-proposal-is-terminal",
+      "file": "v2-proposal-lifecycle.test.ts",
+      "line": 257,
+      "title": "an applied proposal is terminal",
+      "explicitId": "openwop.requirement.0249.terminal-refused",
+      "citations": []
+    },
+    {
+      "id": "openwop.it.v2-proposal-lifecycle.another-tenant-sees-the-proposal-and-the-installed-template-as-unknown-ids",
+      "file": "v2-proposal-lifecycle.test.ts",
+      "line": 266,
+      "title": "another tenant sees the proposal and the installed template as unknown ids",
+      "explicitId": "openwop.requirement.0249.cross-tenant-not-found",
+      "citations": []
+    },
     {
       "id": "openwop.it.v2-protected-resource-metadata.serves-rfc-9728-metadata-unauthenticated-at-the-uri-derived-from-its-resource-id",
       "file": "v2-protected-resource-metadata.test.ts",
@@ -38289,7 +38422,7 @@
     {
       "id": "openwop.it.v2-unadvertised-operation-not-found.get-prompts-answers-404-not-found-when-prompts-endpointssupported-is-not-adverti",
       "file": "v2-unadvertised-operation-not-found.test.ts",
-      "line": 43,
+      "line": 45,
       "title": "GET /prompts answers 404 not_found when prompts.endpointsSupported is not advertised",
       "explicitId": "openwop.requirement.0228.unadvertised-prompts-not-found",
       "citations": [
@@ -38307,7 +38440,7 @@
     {
       "id": "openwop.it.v2-unadvertised-operation-not-found.get-content-settings-answers-404-not-found-when-content-is-not-advertised",
       "file": "v2-unadvertised-operation-not-found.test.ts",
-      "line": 54,
+      "line": 56,
       "title": "GET /content/settings answers 404 not_found when content is not advertised",
       "explicitId": "openwop.requirement.0228.unadvertised-content-not-found",
       "citations": [
@@ -38322,6 +38455,24 @@
         }
       ]
     },
+    {
+      "id": "openwop.it.v2-unadvertised-operation-not-found.get-proposals-answers-404-not-found-when-agents-proposals-is-not-advertised-rfc",
+      "file": "v2-unadvertised-operation-not-found.test.ts",
+      "line": 66,
+      "title": "GET /proposals answers 404 not_found when agents.proposals is not advertised (RFC 0249)",
+      "explicitId": "openwop.requirement.0249.unadvertised-not-found",
+      "citations": [
+        {
+          "section": "spec/v2/core/errors.md §Unadvertised operations",
+          "requirement": null,
+          "interpolated": true
+        },
+        {
+          "section": "spec/v2/core/errors.md §Unadvertised operations",
+          "requirement": "the 404 for an unadvertised gated operation MUST carry the registered code not_found"
+        }
+      ]
+    },
     {
       "id": "openwop.it.v2-unmapped-type-refused.poll-over-a-log-with-an-unmapped-unprefixed-type-fails-with-500-event-type-unmap",
       "file": "v2-unmapped-type-refused.test.ts",

package/scenario-majors.json

@@ -1,9 +1,9 @@
 {
   "$comment": "GENERATED by conformance/scripts/generate-scenario-majors.mjs (RFC 0168 §D.3). Do not edit; add a file to BOTH_MAJORS in the generator to target both majors.",
   "counts": {
-    "files": 659,
+    "files": 660,
     "v1": 455,
-    "v2": 219
+    "v2": 220
   },
   "majors": {
     "a2a-1-0-agent-card.test.ts": [
@@ -1686,6 +1686,9 @@
     "v2-prompt-template-shape.test.ts": [
       2
     ],
+    "v2-proposal-lifecycle.test.ts": [
+      2
+    ],
     "v2-protected-resource-metadata.test.ts": [
       2
     ],

package/schemas/CORPUS-STAMP.json

@@ -1,17 +1,17 @@
 {
   "_comment": "Provenance of @openwop/spec-artifacts (RFC 0168 §D.2). files: SHA-256 per file; the conformance suite compares the installed peer against dist/spec-artifacts.lock.json at start.",
   "package": "@openwop/spec-artifacts",
-  "version": "2.46.19",
-  "corpusTag": "v2.46.19",
+  "version": "2.46.21",
+  "corpusTag": "v2.46.21",
   "files": {
     "api/.redocly.lint-ignore.yaml": "bf5a8350b88a72fa43f59605ed8d903ed24b6cfccda5e45509c9f6ed9ee4e712",
     "api/asyncapi.yaml": "d5ecb9ee6114582be3b1f662c84bfac9ae96dae7bacb853e461168f70a8e1c7d",
     "api/grpc/openwop.proto": "c3e72bb17cba514ee98feb6434e6c9b6ea6795bfd086489ec69fd882dd1ad977",
     "api/openapi.yaml": "ac6de5303872664b78ff419c035915593e01599e02835e777a0123de1baeb398",
     "api/redocly.yaml": "b0604c89b2ca6d5076ec25725c539dad44a741a811fe524439ee6daef8baa09f",
-    "api/seams-v2.yaml": "9133614d3cad4ff6ecf2758f2f986dfd257dc5a3a2b10110e7537114a2c03a65",
-    "api/v2/asyncapi.yaml": "5e44771306b5dfa1824967a177208228d12dca66a36c10de5bb0441b8bd26c72",
-    "api/v2/openapi.yaml": "2f7e4863b8ba09d77e5ae8a7c977311b6138878ba910d7a41d50546034cad7c2",
+    "api/seams-v2.yaml": "804179658b0f947c68a735eb33b652dd045b93980ab58a6f266a8de17c22daad",
+    "api/v2/asyncapi.yaml": "b881e2ca9b6d4b1de799d1be704118cb10249dbf3b1ecdf0f25a585658cfa690",
+    "api/v2/openapi.yaml": "9bd1bd491b690b3b5d0a358b0ef8235d8ded11b040e1e12ce1d4cfb41c24374d",
     "api/v2/redocly.yaml": "1e66b60e6118ad11a823bb620678be464d99dfe50a40e3e6f93ec9429b88b34c",
     "schemas/README.md": "276fc1d51eb08e14e9127b9fd27761d7046ee33c12000f3a64a801322db8bf58",
     "schemas/a2a-task-state.schema.json": "75d5049dea8bd873ff0e7546f1c60c8d36c219bec7084264360be54a8be30ae1",
@@ -117,7 +117,7 @@
     "schemas/v2/artifact.schema.json": "85b9dc284d39b99d2a66fa8cbf47f2dd3d8526d3bd6cc411ad315b372de38975",
     "schemas/v2/audit-verify-result.schema.json": "14af8e9283510f0a40e48a2059c929ee44e0fc9fa3cc66a95bfbe90b17c48297",
     "schemas/v2/budget-policy.schema.json": "1de68095db0beb5c7a4be629de26e79f62ebbe748a88d46f36e768edfd1f0d68",
-    "schemas/v2/capabilities.schema.json": "fe28a95bc36767b99cdf529fe7db47dce49c49c5635a724e552c728871c48b06",
+    "schemas/v2/capabilities.schema.json": "9d5b222dcd2003141b7f09e9b836744a1b63defc01bffea5d10c1da7747bc2d8",
     "schemas/v2/certification-bundle.schema.json": "5cfa7fb5247160333e33a58b60d42bcd4e5269d8391d6a112d301e14828892ed",
     "schemas/v2/channel-presence-payload.schema.json": "fc03df0c20cc12a25f7ee6a47503a4c5931d79fe3d5ff24815e8fd7c1bcb9a87",
     "schemas/v2/channel-written-payload.schema.json": "ccecff3c71a3275ad8db035ac0e04db25e6f8d23cf091ddbcd5a60d1be1cbb6b",
@@ -144,7 +144,7 @@
     "schemas/v2/envelopes/schema.request.schema.json": "be2c5f7aa881cdd252ccff47ac02193659e1393633a1541f4297383205d384a2",
     "schemas/v2/envelopes/schema.response.schema.json": "d049a081267c06c28879c331b147f3ed821b14ccfd93005c67aff64db0a8c68e",
     "schemas/v2/envelopes/ui.a2ui-surface.schema.json": "e92a2548ba65454c9e0a34f72ea6768d18f59e61fa5da7668d0b2d5baddaddc8",
-    "schemas/v2/error-envelope.schema.json": "8ddb1d80330dfef17572a74dfe3a53e1a06411e4b0af6a6f1dd6e7e7461da987",
+    "schemas/v2/error-envelope.schema.json": "0b15d6a3a2baad6bf314a66a4a8da4756460574887b929b3b06cb23a6c02f0bd",
     "schemas/v2/eval-summary.schema.json": "d07f4d116c5410997a81d0bc5387545fb61933a6333c360a26ab8a71c749336b",
     "schemas/v2/export-bundle.schema.json": "bd28905a7729437ab7f2ad8bb33e13a371b2bf5605a7eb2962a0d246de312d69",
     "schemas/v2/form-content-pack-manifest.schema.json": "a1942a124e250a6e9fbdb6b811c5a125e78fbcbcaa46dfc71d0636f24710a339",
@@ -169,7 +169,11 @@
     "schemas/v2/prompt-pack-manifest.schema.json": "752407469475396ad250085437a6cc6bd56a017ac6d3e52196aecc65dda4e51a",
     "schemas/v2/prompt-ref.schema.json": "8288495bf353fbc158cef6525d16dd1dcd9373941d15ec072044f05d143355d0",
     "schemas/v2/prompt-template.schema.json": "63825b39807e4ee85d41b9ad296ff2a0dd7bd2076d91e76a6c15a337e3e3bb84",
-    "schemas/v2/proposal.schema.json": "a5c582ce1e854e5fe10412ebed00e537961ee827bbaca506ca374b200a685992",
+    "schemas/v2/proposal-apply.schema.json": "eb187cfec8cf9a799d94463c34550fa84879e29bbc201a03b5d6ab58efb398d9",
+    "schemas/v2/proposal-list-response.schema.json": "1b5e78fc1e4256dbe6bc866487879deb8f7b9cc18f5bc875db3fde46d79bea02",
+    "schemas/v2/proposal-revise.schema.json": "065e75cccd01fcc619e63c25f2a1775adcc24b0467689dca42462ace6bfa1146",
+    "schemas/v2/proposal-submit.schema.json": "00fb91a4a76ebcee530295f5262b8b369ed024055cd29a47aa520db03a7fc6c9",
+    "schemas/v2/proposal.schema.json": "52a1e54cfce966a07e2588d5e323a4fa896470ccd3a3a21d2ed19d977d2922b7",
     "schemas/v2/registry-version-manifest.schema.json": "940cfd82511690cd6f2539e5676b185e7812628d0707c283fd7ffb33b6e54afd",
     "schemas/v2/residency.schema.json": "3fd23c9732beb140504e81560fc426eb6764d547e56da5fb92c5a5c7bf04db3a",
     "schemas/v2/run-ancestry-response.schema.json": "334c17f2062dea62726ca1d07b8be3f169cdc422af843c1def5fb317039814c9",
@@ -208,14 +212,14 @@
     "schemas/workspace-file.schema.json": "464de85c2a068243084ee9c1d969bc7cd5d8f7948574e58450d6493c38a0e1e4",
     "spec/v1/alias-detectors.json": "22444c22bb88c568339ef512553f9fc38146e22b566d11ab8608f655d688d19c",
     "spec/v1/capability-declaration-classes.json": "e7729aed5c4b4e1dd02abab0530f14cc95f5d4070fe51fb139e7f5cccefa00c6",
-    "spec/v1/core-standard-manifest.json": "6b5a2e873b59e22f27bd9832559382a42ad23e29cac8f9156d592bb19e168fb1",
+    "spec/v1/core-standard-manifest.json": "6e33742deb9559c5d995750c0a13c7f83446ab8e74c6f2f2d728b107f929e053",
     "spec/v1/deprecations.json": "e723bc11d7272c71789ad1303bb7f21809a8a024abf57594f9d5c35dc199ece9",
     "spec/v1/deprecations.schema.json": "3e393c405d2a41b467d8c5e3c468549078df1ce6a6d2588fc488097b95d9b55b",
     "spec/v1/end-of-support.json": "35f0bf3b70fe78b16e2a2fd81a153fc27e703f6c16376c6fe7cdf1f4f2c4e6d4",
     "spec/v1/event-codemap.json": "3da60d884157793a360da532a9fcbbfb5285636db325a74cec94b34622186d97",
     "spec/v1/event-codemap.schema.json": "d05933b2e88103aff51a2f774df97b9bda065e0fc88dbd9b114cc47a32189174",
     "spec/v1/extensions.json": "79a60754aa16cbdbdb604f8e5c00038af535a1690a4d07bd5ff7c38f0256a7bc",
-    "spec/v1/gaps.json": "52777098a223e678d12751507b1ac0d02eef7465d6263c25175489734055cc3e",
+    "spec/v1/gaps.json": "9db4f2d06006cbfa55773e3a1dce2b0418a8da94ede4bf6e2992e9f18eaac4d1",
     "spec/v1/gaps.schema.json": "8fd83259f556553c9df0f53e7a82ca8c2a4771d471197f69b4e2ae0ceeacfd66",
     "spec/v1/migrations.json": "4c50760be70cb644d02427bcaf5749606700edf4513f423903cf3b1d12f5c300",
     "spec/v1/migrations.schema.json": "886779aa6c22e646db097f5df210adb018a4dd14a7b815465a18c8a7056c8f72",
@@ -227,11 +231,11 @@
     "spec/v2/core/conformance.md": "3ca291e63bc70a6ef829ae8759ad0ded3741ea7aa507bbbdffc57de443ab2ae2",
     "spec/v2/core/connection-packs.md": "c80f95bd6a03698f35c72cdb2b46bd973f49203bbd786c26760e35fa86e6f23d",
     "spec/v2/core/conversation.md": "8d6abedf6af408a74577753bfca24719d318e2632e10b45ff5d63bdcf31a8aaa",
-    "spec/v2/core/errors.md": "e48838701b86bbfe0ffee77b18a8ffc4e5f04724b4318507d9771da653f8da0f",
+    "spec/v2/core/errors.md": "e932dd663ec7434480038ca9cdbe8fe37f6e422350ce95574522af4006b8a356",
     "spec/v2/core/events.md": "c3dcece6f1b1aa43e1e01c5ece23b2df075a505d5f6c2f37de0801aeaa486b62",
     "spec/v2/core/execution.md": "4218dbb397534940f83ca5d46561f02bf8f3fdf68d2ae7fefe7f2eb2ed771103",
     "spec/v2/core/form-content-packs.md": "02931227899676fd4581a27017be2a6c4953904717be9b81c29d12f87ab3917d",
-    "spec/v2/core/headers.md": "f69fe81e4a3ad21879bb85948660c16860eb05bf152928c31aa4898f6d7d1887",
+    "spec/v2/core/headers.md": "dae37c2b3980099272e5b9581107c0410d6b23aac95ea6c5a0890c34f0e51c8f",
     "spec/v2/core/host-services.md": "a6b5af882cb1e5c992dddc53c4de06feb36eee01bd566614330041213b3ce657",
     "spec/v2/core/i18n.md": "882904b7d59f992ab1e5f7346167161a54cf665b8fee47e64a3862cf9133a580",
     "spec/v2/core/idempotency.md": "adbd317a6ebb57c2759c076297b31f67def9e391576bccd0bbea787b13e85872",
@@ -246,7 +250,7 @@
     "spec/v2/core/portability.md": "ab13a6ca43544b9a6a91edfb377ec680c768d14be841c84fb79125b231426891",
     "spec/v2/core/replay.md": "9e66e2029b65866187c0920428a8c5bf8ad1c2b39feefbd5c02f0e59909afc7d",
     "spec/v2/core/runs.md": "1c292c0ab4a3119aeff3a6e9b6e99cff69782df78c3872179f9f0661b6204f23",
-    "spec/v2/core/security-defaults.md": "887d8c4bc592094e3b931c23f1c2175c18ebbd47528b074016f9d2091bc513b2",
+    "spec/v2/core/security-defaults.md": "d201fbcd964a624ab45a8bdb7ceca113c561df4c33e9017c2952dd8ef62919a4",
     "spec/v2/core/storage.md": "dc94b985847c1341c7a064f04a6010f0fdbe6c3ab3e555d4362878c81d764c18",
     "spec/v2/core/tool-catalog.md": "d16a9004418719c48301804aefa4d7ab6f41112a4ed83727f552aa1b92b418b0",
     "spec/v2/core/versioning.md": "348a6dc5bd3425efc0016bb6772d5d04ebf578b73eebcdfec6c2d82346a8577e",
@@ -257,7 +261,7 @@
     "spec/v2/declaration.json": "5ccdcf9865ca02022c01a551583e1f343a4b7c73fd228049f1be620858a60ad5",
     "spec/v2/declaration.schema.json": "ef951633e4070899f64828f5cf1b5f4870270a0360f81dbb49b5b4d6cd407550",
     "spec/v2/eos-override.json": "4c72d2f6a658943b01c1de1643cf294642091933af7832f38ee5495df684cb2d",
-    "spec/v2/errors.json": "1f0e29455edbd22e28f67f221766209c3c55ac4987beb77993b5702dd7cae131",
+    "spec/v2/errors.json": "33f9b4e450c51dfb1046bb00b327ee88163fb53360b0b43bcd204061ec966a13",
     "spec/v2/errors.schema.json": "47404ad53e6147cf9017b813483712466573e419fb33e6c4b6c12d3e7deba1bc",
     "spec/v2/event-codemap.json": "37869a03cdfd8758b57e6f350641a6ebbd383231cebda51f5473ad85f94ab74c",
     "spec/v2/event-codemap.schema.json": "b173f2a9bcc0bf9b62a474ce3b91e1431d597e64fd1560fc58662cd8606eaf9c",
@@ -281,7 +285,7 @@
     "spec/v2/ext/sandbox-runtime-notes/README.md": "0d1290fb1e20b2e35c0b15051541ab6546e4e2a6f693b4f912cb3f7d6a65e92c",
     "spec/v2/ext/webResearch/README.md": "b675e6f6646128d781b661f754c2393eed86e5935d16c3a22df582a5ce025b9b",
     "spec/v2/facets/a2a.schema.json": "b68bf5e29e455e46c2ad7cfcccf5963730ec2310ff9db81884550d8df30fd6ef",
-    "spec/v2/facets/agents.schema.json": "88fe144572c25e1b09b99fd83e2ad12b2611d4d7366b5d53c3a50d0310faad93",
+    "spec/v2/facets/agents.schema.json": "0eb1172ea140607cb46d164af8bf405b32f5b47aa54baac7844e2c4161290025",
     "spec/v2/facets/aiProviders.schema.json": "6e4327bcd48110686cc1adfd26ddd6fbbf4ff529c476dcc74eeff8c5ae9965ce",
     "spec/v2/facets/auditLogIntegrity.schema.json": "9a7f81320c8f940c6f4129bc7dd895a4063231c5458a717a08c2cbf9bb886c46",
     "spec/v2/facets/auth.schema.json": "7d98bc81a0f7d307460d039eebfebd21388091bfe1d538762583940f94c0bd2a",
@@ -303,20 +307,20 @@
     "spec/v2/facets/uiPlugins.schema.json": "1fd3f8440cfb6e4422553a7c4b5f091eb3e10a40da0d43e8b977a18929116758",
     "spec/v2/facets/webhooks.schema.json": "54b576f1d150e28e1642693d846ce471c118e9c521bdf3924185305fbd1d0de4",
     "spec/v2/facets/workflowChainPacks.schema.json": "ea625ce818fbeb746478f00f31f96ee9613d538e4409c258c1bfb517acdeaba9",
-    "spec/v2/generated/error-codes.md": "eafb66f1632da783c9a0347a416ae32bcf322f41b9f8783375f579791e9cdcf0",
+    "spec/v2/generated/error-codes.md": "e8441e944d2a8856a9112c1de8175e5bfae8bb36b8f389dce9dfa838702c21b6",
     "spec/v2/harness-trust-anchors.json": "6007b92eae16a070fbc3777424efb0abfe865fda89d096963109b96282b91205",
     "spec/v2/harness-trust-anchors.schema.json": "372b5d92337c893d3449eff3f6bfd009ac09fdac285296d8bdbe0a08fff9e34c",
-    "spec/v2/id-field-bindings.json": "aa3e7c3590a490a77286e3ae60c1ab7407e7d627e05f981c3e08f221af4bd5dc",
+    "spec/v2/id-field-bindings.json": "97e96b6c35c405d0408b5a877c5859714dbbf4507853de9aab381163371ac098",
     "spec/v2/interop-map.json": "02255dafe7eb55f61ca7f9ae7c21f079d1848a6756991343088975ac9d184b8d",
     "spec/v2/interop-map.schema.json": "0017c882df34ee215e2e0729de051490e09d43aac3d2c949285698ed51832f12",
     "spec/v2/migrations.json": "651954938a1e154c0b6f1e3dd6e105889d30de3bb65789f21de7f77a12869e9e",
     "spec/v2/migrations.schema.json": "b91ade6320ad1b1185c9495b9424f3aa63438ed8e412c45171c227d82c0afd86",
-    "spec/v2/path-manifest.json": "7b5679a4dad98c80d855361d88a98c8a4e045af15e310862a05b285b815dc9fc",
+    "spec/v2/path-manifest.json": "20f598f56df460ad3ed50aba3d6bc2933ea16a3c96ce125da1c5dd6989d4155c",
     "spec/v2/peer-dependency-aliases.json": "d10299280abee08258502925bc327293ee413e0108cd6e6ec75ff6110653308d",
     "spec/v2/profiles.json": "b382b261c7844798575f7c1b37c934f0da19846016a2337d883d4f5ef6e05479",
-    "spec/v2/release.json": "9870141128549af0cac3a0e7c4906c87a5ce65047591a3824690b9e20dcf59c1",
+    "spec/v2/release.json": "a777b332ad7a5ed3c721a42be6fd72b8cc30eaba7e1673d86f1249aca26772e0",
     "spec/v2/retention-floors.json": "eaf3722d95c79947af1d4269ef85117e126518c588cfcf1a2b21b97269f51624",
-    "spec/v2/surface-baseline.json": "5ba73afbabe33b983c3ac74670a6aacfe32042a0d40de2faf6cdb151b055a1ae"
+    "spec/v2/surface-baseline.json": "ed538138c27c16b2d16618fe3cf96737e285f00f5b19710c61a89e33364d050d"
   },
-  "corpusCommit": "d49a2818d766f78f7c3fc9d55403ed42a404ba71"
+  "corpusCommit": "d2f718e938cc2f7e68ce050376e563749a5af995"
 }

package/src/lib/eval-envelope-witness.ts

@@ -0,0 +1,74 @@
+/**
+ * RFC 0081 §C — the `eval.*` envelope of an eval run, and the summary it
+ * serves. A pure judge over one eval run, for
+ * `v2-eval-trajectory-trials.test.ts`.
+ *
+ * The rules are the `run-event-payloads` descriptions, which the `agents`
+ * family lists as normative text:
+ *   - `evalStarted` — emitted ONCE, at the start of the run;
+ *   - `evalScored` — once per task (per trial under RFC 0244 §B);
+ *   - `evalCompleted` — emitted ONCE, after all tasks and before
+ *     `run.completed`; its aggregates describe the same run the summary does.
+ * The served `EvalSummary` validates against `eval-summary.schema.json`.
+ *
+ * Until 2.46.20 no v2 leg read `eval.completed`; the frozen v1
+ * `agent-eval-run.test.ts` did (RFC 0081 correction note, 2026-10-24).
+ *
+ * @see RFCS/0081-agent-evaluation-and-scorecards.md
+ */
+
+export interface EnvelopeFinding { readonly ok: boolean; readonly doc: string; readonly message: string }
+
+type Rec = Record<string, unknown>;
+interface Event { readonly type: string; readonly sequence: number; readonly payload: Rec }
+
+const isRec = (v: unknown): v is Rec => typeof v === 'object' && v !== null && !Array.isArray(v);
+const f = (ok: boolean, doc: string, message: string): EnvelopeFinding => ({ ok, doc, message });
+
+const C = 'run-event-payloads evalStarted / evalScored / evalCompleted (RFC 0081 §C)';
+
+export interface EnvelopeOptions {
+  /** Validates an `eval.completed` payload against `run-event-payloads#/$defs/evalCompleted`. */
+  readonly completedValid: (payload: unknown) => { ok: boolean; errors: string };
+}
+
+export function judgeEvalEnvelope(events: readonly Event[], summary: Rec, opts: EnvelopeOptions): EnvelopeFinding[] {
+  const ordered = [...events].sort((a, b) => a.sequence - b.sequence);
+  const at = (type: string): number[] => ordered.flatMap((e, i) => (e.type === type ? [i] : []));
+  const started = at('eval.started');
+  const scored = at('eval.scored');
+  const completed = at('eval.completed');
+  const runCompleted = at('run.completed');
+  const out: EnvelopeFinding[] = [];
+
+  out.push(f(started.length === 1, C, `eval.started MUST be emitted once (got ${started.length})`));
+  out.push(f(completed.length === 1, C, `eval.completed MUST be emitted once (got ${completed.length})`));
+  out.push(f(scored.length > 0, C, 'the run MUST emit eval.scored for its tasks'));
+  if (started.length === 1 && scored.length > 0) {
+    out.push(f(started[0]! < scored[0]!, C, 'eval.started MUST precede every eval.scored'));
+  }
+  if (completed.length !== 1) return out;
+  const c = completed[0]!;
+  if (scored.length > 0) out.push(f(c > scored[scored.length - 1]!, C, 'eval.completed MUST follow every eval.scored ("after all tasks")'));
+  if (runCompleted.length > 0) out.push(f(c < runCompleted[0]!, C, 'eval.completed MUST precede run.completed'));
+
+  const payload = ordered[c]!.payload;
+  const v = opts.completedValid(payload);
+  out.push(f(v.ok, C, `eval.completed MUST validate: ${v.errors}`));
+  for (const k of ['taskCount', 'passedCount', 'passed'] as const) {
+    if (k in summary) out.push(f(payload[k] === summary[k], C, `eval.completed.${k} MUST equal the served summary's (event ${JSON.stringify(payload[k])}, summary ${JSON.stringify(summary[k])})`));
+  }
+  return out;
+}
+
+/** The served summary validates, and its per-task rows agree with its own counts. */
+export function judgeSummaryServed(summary: Rec, valid: (s: unknown) => { ok: boolean; errors: string }): EnvelopeFinding[] {
+  const out: EnvelopeFinding[] = [];
+  const v = valid(summary);
+  out.push(f(v.ok, 'eval-summary.schema.json (RFC 0081 §C)', `the served EvalSummary MUST validate: ${v.errors}`));
+  const tasks = Array.isArray(summary['tasks']) ? (summary['tasks'] as unknown[]).filter(isRec) : [];
+  out.push(f(summary['taskCount'] === tasks.length, 'eval-summary.schema.json (RFC 0081 §C)', `taskCount MUST equal the number of tasks (got ${JSON.stringify(summary['taskCount'])}, ${tasks.length} tasks)`));
+  const passed = tasks.filter((t) => t['passed'] === true).length;
+  out.push(f(summary['passedCount'] === passed, 'eval-summary.schema.json (RFC 0081 §C)', `passedCount MUST count the passed tasks (got ${JSON.stringify(summary['passedCount'])}, ${passed} passed)`));
+  return out;
+}

package/src/lib/proposal-lifecycle-witness.ts

@@ -0,0 +1,151 @@
+/**
+ * RFC 0249 — pure judges for `v2-proposal-lifecycle.test.ts`. The scenario
+ * drives one client-submitted `prompt-template` proposal through submit →
+ * revise → apply and records every response; these functions decide each leg
+ * from those records, so the self-tests can fail every wrong host answer
+ * without a host.
+ *
+ * The rules are the `agents.proposals` facet description
+ * (`spec/v2/facets/agents.schema.json`), `proposal.schema.json`, the proposal
+ * operations in `api/v2/openapi.yaml` and `spec/v2/errors.json`. They make
+ * RFC 0096's `proposal-inert-until-applied` and `proposal-no-resynthesis`
+ * observable for the one kind with a v2 read-back.
+ *
+ * @see RFCS/0249-proposal-operations-and-install-readback.md
+ */
+
+import { createHash } from 'node:crypto';
+import { canonicalJSON } from './jcs.js';
+import { readErrorCode } from './error-envelope.js';
+
+export interface ProposalFinding { readonly ok: boolean; readonly message: string }
+
+type Rec = Record<string, unknown>;
+/** One recorded HTTP exchange. `null` means the request never got an answer. */
+export type Exchange = { readonly status: number; readonly json: unknown } | null;
+
+const isRec = (v: unknown): v is Rec => typeof v === 'object' && v !== null && !Array.isArray(v);
+const f = (ok: boolean, message: string): ProposalFinding => ({ ok, message });
+// The v2 envelope is flat: `{ error: "<code>", message, details? }`
+// (`error-envelope.schema.json`). `readErrorCode` reads it (and tolerates the
+// legacy nested form); `details` sits at the root.
+const code = (x: Exchange): string | undefined => readErrorCode(x?.json);
+const details = (x: Exchange): Rec => {
+  const body = isRec(x?.json) ? x.json : {};
+  if (isRec(body['details'])) return body['details'];
+  const nested = body['error'];
+  return isRec(nested) && isRec(nested['details']) ? nested['details'] : {};
+};
+const shown = (x: Exchange): string => (x === null ? 'no answer' : `${x.status}${code(x) ? ` ${code(x)}` : ''}`);
+
+/** `sha256:` + lowercase hex SHA-256 of the RFC 8785 (JCS) serialization. */
+export function artifactDigest(artifact: unknown): string {
+  return `sha256:${createHash('sha256').update(canonicalJSON(artifact), 'utf8').digest('hex')}`;
+}
+
+/** The kind's host-owned fields removed (for `prompt-template`, `meta`). */
+export function withoutHostOwned(body: unknown): unknown {
+  if (!isRec(body)) return body;
+  const { meta: _meta, ...rest } = body;
+  return rest;
+}
+
+/** JCS equality after removing host-owned fields from both sides. */
+export function byteMatches(served: unknown, artifact: unknown): boolean {
+  return canonicalJSON(withoutHostOwned(served)) === canonicalJSON(withoutHostOwned(artifact));
+}
+
+/** A fresh, author-minted template id the host has never seen. */
+export function freshTemplate(nonce: string, text: string): Rec {
+  return { templateId: `conformance.proposal.${nonce}`, version: '1.0.0', kind: 'system', text };
+}
+
+/** A submitted kind outside `artifactKinds` is `400 validation_error` naming `kind`. */
+export function judgeSubmitKindRefused(x: Exchange): ProposalFinding[] {
+  return [
+    f(x?.status === 400 && code(x) === 'validation_error', `a kind outside artifactKinds MUST be refused 400 validation_error (got ${shown(x)})`),
+    f(details(x)['field'] === 'kind', `the refusal MUST name details.field "kind" (got ${JSON.stringify(details(x)['field'])})`),
+  ];
+}
+
+/** The draft's template is not served, listed or renderable while unapplied. */
+export function judgeInert(get: Exchange, list: Exchange, render: Exchange, templateId: string, when: string): ProposalFinding[] {
+  const items = isRec(list?.json) && Array.isArray(list.json['items']) ? (list.json['items'] as unknown[]).filter(isRec) : null;
+  return [
+    f(get?.status === 404, `${when}: getPromptTemplate MUST NOT serve the unapplied draft's template (got ${shown(get)})`),
+    f(list?.status === 200 && items !== null, `${when}: listPromptTemplates MUST answer 200 with items (got ${shown(list)})`),
+    f(items !== null && !items.some((t) => t['templateId'] === templateId), `${when}: listPromptTemplates MUST NOT list the unapplied draft's template`),
+    f(render !== null && render.status >= 400, `${when}: :render naming the unapplied draft's template MUST fail as for an unknown template (got ${shown(render)})`),
+  ];
+}
+
+/** An apply the caller is not scoped for installs nothing and changes no state. */
+export function judgeApplyUnscoped(apply: Exchange, after: Exchange, prompt: Exchange, wwwAuthenticate: string | null): ProposalFinding[] {
+  const state = isRec(after?.json) ? after.json['state'] : undefined;
+  return [
+    f(apply?.status === 403, `an apply without proposals:apply MUST be refused 403 (got ${shown(apply)})`),
+    f(typeof wwwAuthenticate === 'string' && /error="insufficient_scope"/.test(wwwAuthenticate), `the 403 MUST carry error="insufficient_scope" (got ${wwwAuthenticate ?? 'no WWW-Authenticate'})`),
+    f(state === 'revised', `a refused apply MUST leave state unchanged (got ${JSON.stringify(state)})`),
+    f(prompt?.status === 404, `a refused apply MUST install nothing (getPromptTemplate ${shown(prompt)})`),
+  ];
+}
+
+/** An apply bound to bytes the reviewer no longer holds is `409 proposal_stale`. */
+export function judgeApplyStale(apply: Exchange, after: Exchange, prompt: Exchange): ProposalFinding[] {
+  const state = isRec(after?.json) ? after.json['state'] : undefined;
+  return [
+    f(apply?.status === 409 && code(apply) === 'proposal_stale', `an apply whose artifactDigest is not the persisted artifact's MUST be refused 409 proposal_stale (got ${shown(apply)})`),
+    f(state === 'revised', `a stale apply MUST leave state unchanged (got ${JSON.stringify(state)})`),
+    f(prompt?.status === 404, `a stale apply MUST install nothing (getPromptTemplate ${shown(prompt)})`),
+  ];
+}
+
+/** The revision is persisted, and the served digest is the revised artifact's. */
+export function judgeRevised(revise: Exchange, revised: Rec): ProposalFinding[] {
+  const p = isRec(revise?.json) ? revise.json : {};
+  return [
+    f(revise?.status === 200 && p['state'] === 'revised', `a revise MUST answer 200 with state revised (got ${shown(revise)}, state ${JSON.stringify(p['state'])})`),
+    f(p['artifactDigest'] === artifactDigest(revised), `artifactDigest MUST be sha256 over the JCS of the revised artifact (got ${JSON.stringify(p['artifactDigest'])})`),
+  ];
+}
+
+/** A successful apply names the read that serves the installed artifact. */
+export function judgeApplied(apply: Exchange, templateId: string): ProposalFinding[] {
+  const p = isRec(apply?.json) ? apply.json : {};
+  const act = isRec(p['activation']) ? p['activation'] : {};
+  const ia = isRec(act['installedArtifact']) ? act['installedArtifact'] : {};
+  return [
+    f(apply?.status === 200 && p['state'] === 'applied', `an authorized, current apply MUST answer 200 with state applied (got ${shown(apply)}, state ${JSON.stringify(p['state'])})`),
+    f(ia['kind'] === 'prompt-template' && ia['operationId'] === 'getPromptTemplate', `activation.installedArtifact MUST name kind prompt-template and operationId getPromptTemplate (got ${JSON.stringify(ia)})`),
+    f(ia['id'] === templateId, `installedArtifact.id MUST be the artifact's templateId, never a minted one (got ${JSON.stringify(ia['id'])})`),
+  ];
+}
+
+/** The installed bytes are the revised artifact's, not the original's. */
+export function judgeReadback(served: Exchange, revised: Rec, original: Rec): ProposalFinding[] {
+  const body = served?.json;
+  return [
+    f(served?.status === 200, `getPromptTemplate MUST serve the installed template after apply (got ${shown(served)})`),
+    f(served?.status === 200 && byteMatches(body, revised), 'the read-back minus meta MUST be JCS-equal to the last-persisted (revised) artifact minus meta'),
+    f(served?.status === 200 && !byteMatches(body, original), 'the read-back MUST NOT be the pre-revision artifact: that is a silent re-synthesis'),
+  ];
+}
+
+/** Revise and apply on an applied (terminal) proposal are `409 proposal_state_conflict`. */
+export function judgeTerminal(revise: Exchange, apply: Exchange): ProposalFinding[] {
+  return [revise, apply].flatMap((x, i) => {
+    const action = i === 0 ? 'revise' : 'apply';
+    return [
+      f(x?.status === 409 && code(x) === 'proposal_state_conflict', `${action} on an applied proposal MUST be refused 409 proposal_state_conflict (got ${shown(x)})`),
+      f(details(x)['state'] === 'applied', `the ${action} refusal MUST name details.state "applied" (got ${JSON.stringify(details(x)['state'])})`),
+    ];
+  });
+}
+
+/** Another tenant sees the proposal and the installed template as ids that do not exist. */
+export function judgeForeign(pairs: ReadonlyArray<{ what: string; foreign: Exchange; unknown: Exchange }>): ProposalFinding[] {
+  return pairs.flatMap(({ what, foreign, unknown }) => [
+    f(foreign?.status === 404, `${what} as another tenant MUST answer 404 (got ${shown(foreign)})`),
+    f(foreign?.status === unknown?.status && code(foreign) === code(unknown), `${what} as another tenant MUST answer exactly as an unknown id (foreign ${shown(foreign)}, unknown ${shown(unknown)}) — otherwise it is an existence oracle`),
+  ]);
+}

package/src/scenarios/v2-eval-trajectory-trials.test.ts

@@ -32,6 +32,13 @@
  *      lists `conformance-eval-trials` refuses it at createRun with
  *      `400 validation_error`.
  *
+ * RFC 0081 §C, on the `conformance-eval-trajectory` run (2.46.20). Judges in
+ * `lib/eval-envelope-witness.ts`.
+ *   - `eval.started` and `eval.completed` are emitted once each, bracketing
+ *     every `eval.scored`, and `eval.completed` precedes `run.completed`; its
+ *     counts equal the served summary's.
+ *   - The served `EvalSummary` validates, and its counts match its rows.
+ *
  * RFC 0246 (safety fix): a trial that failed its trajectory counts 0 in the
  * two pass decisions, while every reported score is unchanged. Judges in
  * `lib/eval-gate-witness.ts`.
@@ -73,6 +80,7 @@ import { majorProfile } from '../lib/major-profile.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
 import { FIXTURES_DIR } from '../lib/paths.js';
 import { pollTerminal, readEvents, isRecord, type Ev } from '../lib/fixture-run-observer.js';
+import { judgeEvalEnvelope, judgeSummaryServed } from '../lib/eval-envelope-witness.js';
 import { gradeTrajectory, passAtK, passHatK, scoreStderr, withinTolerance, type TrajectorySpec } from '../lib/eval-trajectory.js';
 import { judgeMeanGated, judgeSuiteGated } from '../lib/eval-gate-witness.js';
 import { judgeFixtureErrorReplayed } from '../lib/eval-fixture-error-witness.js';
@@ -97,6 +105,9 @@ const DOC_0246 = 'eval-summary.schema.json gatedScore / gatedAggregateScore (RFC
 const ID_FIXTURE_ERROR_SHAPE = 'openwop.requirement.0245.fixture-error-shape';
 const ID_FIXTURE_ERROR = 'openwop.requirement.0245.fixture-error-replayed';
 const ID_FIXTURE_ERROR_REFUSED = 'openwop.requirement.0245.unadvertised-refused';
+const ID_ENVELOPE = 'openwop.requirement.0081.eval-envelope';
+const ID_SUMMARY = 'openwop.requirement.0081.summary-served';
+const DOC_0081 = 'run-event-payloads evalStarted / evalCompleted, eval-summary.schema.json (RFC 0081 §C)';
 const DOC_0245 = 'agents.schema.json §evalSuite.fixtureErrors (RFC 0245)';
 
 interface Task { taskId: string; input: { script: Array<{ tool: string; arguments?: unknown }>; output: string }; expected: { kind: string; trajectory?: TrajectorySpec }; fixtures?: { toolResponses?: Array<Record<string, unknown>> } }
@@ -107,6 +118,7 @@ const suiteSchema = v2Validator('agent-eval-suite');
 const summarySchema = v2Validator('eval-summary');
 const scored = v2RefValidator('run-event-payloads.schema.json#/$defs/evalScored');
 const started = v2RefValidator('run-event-payloads.schema.json#/$defs/evalStarted');
+const completedPayload = v2RefValidator('run-event-payloads.schema.json#/$defs/evalCompleted');
 
 async function http(fn: () => Promise<OpenWOPResponse>): Promise<OpenWOPResponse | null> {
   try { return await fn(); } catch { return null; }
@@ -225,6 +237,33 @@ describe('v2 RFC 0244 — host behaviour', () => {
     expect(calls, req(ID_TRAJECTORY, DOC, `the log MUST carry one agent.tool-called per scripted call (${scripted})`)).toBe(scripted);
   });
 
+  async function trajectoryRun(): Promise<{ skip: [Parameters<typeof softSkip>[0], string] } | { o: Extract<Observed, { kind: 'ok' }> }> {
+    const { doc, facet } = await evalSuiteFacet();
+    if (!doc) return { skip: ['blocked', UNREADABLE] };
+    if (facet?.['trajectory'] !== true) return { skip: ['inapplicable', 'the host does not advertise agents.evalSuite.trajectory'] };
+    const id = 'conformance-eval-trajectory';
+    if (!isFixtureAdvertised(id)) return { skip: ['inapplicable', `the host does not advertise fixture ${id}`] };
+    const o = await runSuite(id);
+    if (o.kind === 'skip') return { skip: [o.disposition, o.reason] };
+    return { o };
+  }
+
+  it('an eval run brackets its scores with one eval.started and one eval.completed (RFC 0081 §C)', async () => {
+    const r = await trajectoryRun();
+    if ('skip' in r) return softSkip(...r.skip);
+    for (const x of judgeEvalEnvelope(r.o.events, r.o.summary, { completedValid: completedPayload })) {
+      expect(x.ok, req(ID_ENVELOPE, DOC_0081, x.message)).toBe(true);
+    }
+  });
+
+  it('the served EvalSummary validates and its counts match its rows (RFC 0081 §C)', async () => {
+    const r = await trajectoryRun();
+    if ('skip' in r) return softSkip(...r.skip);
+    for (const x of judgeSummaryServed(r.o.summary, summarySchema)) {
+      expect(x.ok, req(ID_SUMMARY, DOC_0081, x.message)).toBe(true);
+    }
+  });
+
   async function trialsRun(): Promise<{ skip: [Parameters<typeof softSkip>[0], string] } | { o: Extract<Observed, { kind: 'ok' }>; suite: Suite; n: number; k: number }> {
     const { doc, facet } = await evalSuiteFacet();
     if (!doc) return { skip: ['blocked', UNREADABLE] };

package/src/scenarios/v2-proposal-lifecycle.test.ts

@@ -0,0 +1,275 @@
+/**
+ * v2 — reviewable-learning proposals are inert until applied, and what is
+ * installed is what was reviewed (RFC 0249, making RFC 0096 observable; the
+ * rules are the `agents.proposals` facet description in
+ * `spec/v2/facets/agents.schema.json`, `proposal.schema.json`, the proposal
+ * operations in `api/v2/openapi.yaml` and `spec/v2/errors.json`).
+ *
+ * Server-free (always on):
+ *   1. `0249.shape` — the submit / revise / apply bodies and the closed
+ *      `installedArtifact` validate, and their negatives are refused.
+ *
+ * Host legs — gated on `agents.proposals` with `clientDrafts: true` and
+ * `readback` ∋ `prompt-template`. One client-submitted `prompt-template`
+ * proposal with a fresh `templateId` is driven once per worker:
+ * submit T → revise to T' → stale apply → unscoped apply → foreign reads →
+ * apply → read back → terminal refusals. Judges in
+ * `lib/proposal-lifecycle-witness.ts`.
+ *   2. `0249.submit-kind-refused` — a kind outside `artifactKinds` is `400`.
+ *   3. `0249.draft-inert` — the draft's template is not served, listed or
+ *      renderable (`proposal-inert-until-applied`).
+ *   4. `0249.apply-stale-refused` — the revision's digest is served, and an
+ *      apply bound to the pre-revision digest is `409 proposal_stale`.
+ *   5. `0249.apply-unscoped-refused` — `OPENWOP_TEST_LOW_SCOPE_KEY` (read +
+ *      write, no `proposals:apply`) is refused `403 insufficient_scope`.
+ *   6. `0249.apply-installs` — the apply names `getPromptTemplate` and the
+ *      artifact's own `templateId`.
+ *   7. `0249.readback-byte-match` — the installed template minus `meta` is
+ *      JCS-equal to T' and not to T (`proposal-no-resynthesis`).
+ *   8. `0249.terminal-refused` — revise and apply on the applied proposal are
+ *      `409 proposal_state_conflict`.
+ *   9. `0249.cross-tenant-not-found` — `OPENWOP_TEST_TENANT_B_API_KEY` sees the
+ *      proposal and the installed template exactly as unknown ids.
+ *
+ * A harness key that is unset records `blocked` (the `v2-auth-challenge`
+ * precedent): the suite will not infer a credential. The unadvertised case is
+ * in `v2-unadvertised-operation-not-found`.
+ */
+
+import { describe, it, expect } from 'vitest';
+import { randomBytes } from 'node:crypto';
+import { driver, type OpenWOPRequestInit } from '../lib/driver.js';
+import { v2Discovery, v2Validator, v2RefValidator } from '../lib/v2.js';
+import { softSkip } from '../lib/soft-skip.js';
+import { req } from '../lib/requirement-ids.js';
+import {
+  artifactDigest, freshTemplate, judgeApplied, judgeApplyStale, judgeApplyUnscoped, judgeForeign, judgeInert,
+  judgeReadback, judgeRevised, judgeSubmitKindRefused, judgeTerminal, type Exchange, type ProposalFinding,
+} from '../lib/proposal-lifecycle-witness.js';
+
+const DOC = 'agents.schema.json §proposals, proposal.schema.json, api/v2 proposals operations (RFC 0249)';
+const UNREADABLE = 'v2 discovery unreachable — /.well-known/openwop did not answer 200 with a JSON body under OpenWOP-Version: 2.0';
+const KINDS = ['agent-pack', 'workflow-chain-pack', 'prompt-template', 'automation'] as const;
+const ID_SHAPE = 'openwop.requirement.0249.shape';
+const ID_SUBMIT_KIND_REFUSED = 'openwop.requirement.0249.submit-kind-refused';
+const ID_DRAFT_INERT = 'openwop.requirement.0249.draft-inert';
+const ID_APPLY_STALE_REFUSED = 'openwop.requirement.0249.apply-stale-refused';
+const ID_APPLY_UNSCOPED_REFUSED = 'openwop.requirement.0249.apply-unscoped-refused';
+const ID_APPLY_INSTALLS = 'openwop.requirement.0249.apply-installs';
+const ID_READBACK_BYTE_MATCH = 'openwop.requirement.0249.readback-byte-match';
+const ID_TERMINAL_REFUSED = 'openwop.requirement.0249.terminal-refused';
+const ID_CROSS_TENANT_NOT_FOUND = 'openwop.requirement.0249.cross-tenant-not-found';
+
+type Rec = Record<string, unknown>;
+const isRec = (v: unknown): v is Rec => typeof v === 'object' && v !== null && !Array.isArray(v);
+
+interface Answer { readonly x: Exchange; readonly wwwAuthenticate: string | null }
+async function ask(method: string, path: string, body?: unknown, bearer?: string): Promise<Answer> {
+  const init: OpenWOPRequestInit = {
+    ...(body === undefined ? {} : { body }),
+    ...(bearer === undefined ? {} : { authenticated: false, headers: { Authorization: `Bearer ${bearer}` } }),
+  };
+  try {
+    const r = await driver.request(method, path, init);
+    return { x: { status: r.status, json: r.json }, wwwAuthenticate: r.headers.get('www-authenticate') };
+  } catch {
+    return { x: null, wwwAuthenticate: null };
+  }
+}
+
+interface Facet { readonly doc: Rec | null; readonly facet: Rec | null; readonly renderPath: string }
+async function proposalsFacet(): Promise<Facet> {
+  let doc: Rec | null;
+  try { doc = await v2Discovery(); } catch { doc = null; }
+  const agents = doc?.['agents'];
+  const facet = isRec(agents) && isRec(agents['proposals']) ? agents['proposals'] : null;
+  const prompts = doc?.['prompts'];
+  const renderPath = isRec(prompts) && typeof prompts['renderEndpoint'] === 'string' ? prompts['renderEndpoint'] : '/prompts:render';
+  return { doc, facet, renderPath };
+}
+
+type Skip = { skip: [Parameters<typeof softSkip>[0], string] };
+async function gate(): Promise<Skip | { facet: Rec; renderPath: string }> {
+  const { doc, facet, renderPath } = await proposalsFacet();
+  if (!doc) return { skip: ['blocked', UNREADABLE] };
+  if (facet === null) return { skip: ['inapplicable', 'the host does not advertise agents.proposals'] };
+  if (facet['clientDrafts'] !== true) return { skip: ['inapplicable', 'the host does not advertise agents.proposals.clientDrafts'] };
+  const rb = Array.isArray(facet['readback']) ? facet['readback'] : [];
+  const kinds = Array.isArray(facet['artifactKinds']) ? facet['artifactKinds'] : [];
+  if (!rb.includes('prompt-template') || !kinds.includes('prompt-template')) return { skip: ['inapplicable', 'the host does not advertise prompt-template in both agents.proposals.artifactKinds and readback'] };
+  return { facet, renderPath };
+}
+
+interface Lifecycle {
+  readonly blockedAt?: string;
+  readonly t: Rec; readonly t2: Rec; readonly templateId: string;
+  readonly inert?: { get: Exchange; list: Exchange; render: Exchange };
+  readonly revise?: Exchange;
+  readonly stale?: { apply: Exchange; after: Exchange; prompt: Exchange };
+  readonly unscoped?: { apply: Exchange; after: Exchange; prompt: Exchange; www: string | null } | string;
+  readonly foreignProposal?: Array<{ what: string; foreign: Exchange; unknown: Exchange }> | string;
+  readonly apply?: Exchange;
+  readonly readback?: Exchange;
+  readonly foreignTemplate?: { what: string; foreign: Exchange; unknown: Exchange } | string;
+  readonly terminal?: { revise: Exchange; apply: Exchange };
+}
+
+let run: Promise<Lifecycle> | undefined;
+/** One lifecycle per worker: every host leg judges a slice of the same records. */
+function lifecycle(renderPath: string): Promise<Lifecycle> {
+  run ??= drive(renderPath);
+  return run;
+}
+
+async function drive(renderPath: string): Promise<Lifecycle> {
+  const nonce = randomBytes(6).toString('hex');
+  const t = freshTemplate(nonce, 'You summarize the input in one sentence.');
+  const t2 = { ...t, text: 'You summarize the input in exactly one short sentence.' };
+  const templateId = t['templateId'] as string;
+  const prompt = `/prompts/${encodeURIComponent(templateId)}`;
+  const base = { t, t2, templateId };
+
+  const submit = (await ask('POST', '/proposals', { kind: 'prompt-template', artifact: t, title: 'conformance proposal' })).x;
+  const pid = isRec(submit?.json) && typeof submit.json['id'] === 'string' ? submit.json['id'] : undefined;
+  if (submit?.status !== 201 || pid === undefined) return { ...base, blockedAt: `submitProposal answered ${submit?.status ?? 'nothing'}; no proposal to drive` };
+  const path = `/proposals/${encodeURIComponent(pid)}`;
+  const getP = async (bearer?: string): Promise<Exchange> => (await ask('GET', path, undefined, bearer)).x;
+
+  const inert = {
+    get: (await ask('GET', prompt)).x,
+    list: (await ask('GET', '/prompts')).x,
+    render: (await ask('POST', renderPath, { ref: `prompt:${templateId}@1.0.0`, variables: {} })).x,
+  };
+  const revise = (await ask('PATCH', path, { artifact: t2 })).x;
+  if (revise?.status !== 200) return { ...base, inert, revise, blockedAt: `reviseProposal answered ${revise?.status ?? 'nothing'}` };
+
+  const staleApply = (await ask('POST', `${path}:apply`, { artifactDigest: artifactDigest(t) })).x;
+  const stale = { apply: staleApply, after: await getP(), prompt: (await ask('GET', prompt)).x };
+
+  const low = process.env['OPENWOP_TEST_LOW_SCOPE_KEY']?.trim();
+  let unscoped: Lifecycle['unscoped'];
+  if (!low) unscoped = 'OPENWOP_TEST_LOW_SCOPE_KEY (a key with proposals:read and proposals:write but not proposals:apply) is not set';
+  else {
+    const a = await ask('POST', `${path}:apply`, { artifactDigest: artifactDigest(t2) }, low);
+    unscoped = { apply: a.x, www: a.wwwAuthenticate, after: await getP(), prompt: (await ask('GET', prompt)).x };
+  }
+
+  const tenantB = process.env['OPENWOP_TEST_TENANT_B_API_KEY']?.trim();
+  const unknownPid = `/proposals/conformance-unknown-${nonce}`;
+  let foreignProposal: Lifecycle['foreignProposal'];
+  if (!tenantB) foreignProposal = 'OPENWOP_TEST_TENANT_B_API_KEY (a credential bound to a second tenant) is not set';
+  else if (tenantB === process.env['OPENWOP_API_KEY']) foreignProposal = 'OPENWOP_TEST_TENANT_B_API_KEY equals OPENWOP_API_KEY — the leg needs a second tenant';
+  else {
+    foreignProposal = [
+      { what: 'getProposal', foreign: await getP(tenantB), unknown: (await ask('GET', unknownPid, undefined, tenantB)).x },
+      { what: 'applyProposal', foreign: (await ask('POST', `${path}:apply`, { artifactDigest: artifactDigest(t2) }, tenantB)).x,
+        unknown: (await ask('POST', `${unknownPid}:apply`, { artifactDigest: artifactDigest(t2) }, tenantB)).x },
+    ];
+  }
+
+  const apply = (await ask('POST', `${path}:apply`, { artifactDigest: artifactDigest(t2) })).x;
+  const readback = (await ask('GET', prompt)).x;
+  const foreignTemplate = typeof foreignProposal === 'string' ? foreignProposal : {
+    what: 'getPromptTemplate for the installed template',
+    foreign: (await ask('GET', prompt, undefined, tenantB)).x,
+    unknown: (await ask('GET', `/prompts/conformance.proposal.unknown-${nonce}`, undefined, tenantB)).x,
+  };
+  const terminal = { revise: (await ask('PATCH', path, { title: 'after apply' })).x, apply: (await ask('POST', `${path}:apply`, { artifactDigest: artifactDigest(t2) })).x };
+  return { ...base, inert, revise, stale, unscoped, foreignProposal, apply, readback, foreignTemplate, terminal };
+}
+
+function expectAll(id: string, findings: readonly ProposalFinding[]): void {
+  for (const x of findings) expect(x.ok, req(id, DOC, x.message)).toBe(true);
+}
+
+describe('v2 RFC 0249 — proposal wire shape (server-free)', () => {
+  it('the submit, revise and apply bodies and installedArtifact validate, and the negatives are refused', () => {
+    const submit = v2Validator('proposal-submit');
+    const revise = v2Validator('proposal-revise');
+    const apply = v2Validator('proposal-apply');
+    const installed = v2RefValidator('proposal.schema.json#/properties/activation/properties/installedArtifact');
+    const S = 'proposal-submit / proposal-revise / proposal-apply / proposal.schema.json (RFC 0249)';
+    expect(submit({ kind: 'prompt-template', artifact: { templateId: 'x' } }).ok, req(ID_SHAPE, S, 'a minimal submit MUST validate')).toBe(true);
+    expect(submit({ kind: 'skill', artifact: {} }).ok, req(ID_SHAPE, S, 'an unknown kind MUST be refused')).toBe(false);
+    expect(submit({ kind: 'prompt-template', artifact: {}, state: 'applied' }).ok, req(ID_SHAPE, S, 'a submit carrying state MUST be refused (closed body)')).toBe(false);
+    expect(revise({}).ok, req(ID_SHAPE, S, 'an empty revise MUST be refused')).toBe(false);
+    expect(apply({ artifactDigest: `sha256:${'a'.repeat(64)}` }).ok, req(ID_SHAPE, S, 'a sha256 digest MUST validate')).toBe(true);
+    expect(apply({ artifactDigest: 'abc123' }).ok, req(ID_SHAPE, S, 'a digest without the sha256: prefix and 64 hex MUST be refused')).toBe(false);
+    expect(installed({ kind: 'prompt-template', operationId: 'getPromptTemplate', id: 't' }).ok, req(ID_SHAPE, S, 'a minimal installedArtifact MUST validate')).toBe(true);
+    expect(installed({ kind: 'prompt-template', operationId: 'getPromptTemplate', id: 't', url: 'https://x' }).ok, req(ID_SHAPE, S, 'installedArtifact is closed')).toBe(false);
+  });
+});
+
+describe('v2 RFC 0249 — proposal lifecycle (host)', () => {
+  it('a kind outside artifactKinds is refused at submit', async () => {
+    const g = await gate();
+    if ('skip' in g) return softSkip(...g.skip);
+    const kinds = Array.isArray(g.facet['artifactKinds']) ? g.facet['artifactKinds'] : [];
+    const missing = KINDS.find((k) => !kinds.includes(k));
+    if (missing === undefined) return softSkip('inapplicable', 'the host advertises every proposal kind, so no kind is outside artifactKinds');
+    expectAll(ID_SUBMIT_KIND_REFUSED, judgeSubmitKindRefused((await ask('POST', '/proposals', { kind: missing, artifact: {} })).x));
+  });
+
+  it('a draft prompt-template is not served, listed or renderable', async () => {
+    const g = await gate();
+    if ('skip' in g) return softSkip(...g.skip);
+    const l = await lifecycle(g.renderPath);
+    if (l.inert === undefined) return softSkip('blocked', l.blockedAt ?? 'the lifecycle did not reach the draft');
+    expectAll(ID_DRAFT_INERT, judgeInert(l.inert.get, l.inert.list, l.inert.render, l.templateId, 'draft'));
+  });
+
+  it('a revision re-digests, and an apply bound to the old bytes is stale', async () => {
+    const g = await gate();
+    if ('skip' in g) return softSkip(...g.skip);
+    const l = await lifecycle(g.renderPath);
+    if (l.stale === undefined || l.revise === undefined) return softSkip('blocked', l.blockedAt ?? 'the lifecycle did not reach the revision');
+    expectAll(ID_APPLY_STALE_REFUSED, [...judgeRevised(l.revise, l.t2), ...judgeApplyStale(l.stale.apply, l.stale.after, l.stale.prompt)]);
+  });
+
+  it('an apply without proposals:apply is refused and installs nothing', async () => {
+    const g = await gate();
+    if ('skip' in g) return softSkip(...g.skip);
+    if (g.facet['activation'] !== 'direct-rbac') return softSkip('inapplicable', 'agents.proposals.activation is not direct-rbac — the apply is gated by an approval run');
+    const l = await lifecycle(g.renderPath);
+    if (l.unscoped === undefined) return softSkip('blocked', l.blockedAt ?? 'the lifecycle did not reach the apply');
+    if (typeof l.unscoped === 'string') return softSkip('blocked', l.unscoped);
+    expectAll(ID_APPLY_UNSCOPED_REFUSED, judgeApplyUnscoped(l.unscoped.apply, l.unscoped.after, l.unscoped.prompt, l.unscoped.www));
+  });
+
+  it('an authorized, current apply names the read that serves the installed template', async () => {
+    const g = await gate();
+    if ('skip' in g) return softSkip(...g.skip);
+    if (g.facet['activation'] !== 'direct-rbac') return softSkip('inapplicable', 'agents.proposals.activation is not direct-rbac — the apply is gated by an approval run');
+    const l = await lifecycle(g.renderPath);
+    if (l.apply === undefined) return softSkip('blocked', l.blockedAt ?? 'the lifecycle did not reach the apply');
+    expectAll(ID_APPLY_INSTALLS, judgeApplied(l.apply, l.templateId));
+  });
+
+  it('the installed template is the reviewed revision, byte for byte', async () => {
+    const g = await gate();
+    if ('skip' in g) return softSkip(...g.skip);
+    if (g.facet['activation'] !== 'direct-rbac') return softSkip('inapplicable', 'agents.proposals.activation is not direct-rbac — the apply is gated by an approval run');
+    const l = await lifecycle(g.renderPath);
+    if (l.readback === undefined) return softSkip('blocked', l.blockedAt ?? 'the lifecycle did not reach the read-back');
+    expectAll(ID_READBACK_BYTE_MATCH, judgeReadback(l.readback, l.t2, l.t));
+  });
+
+  it('an applied proposal is terminal', async () => {
+    const g = await gate();
+    if ('skip' in g) return softSkip(...g.skip);
+    if (g.facet['activation'] !== 'direct-rbac') return softSkip('inapplicable', 'agents.proposals.activation is not direct-rbac — the apply is gated by an approval run');
+    const l = await lifecycle(g.renderPath);
+    if (l.terminal === undefined) return softSkip('blocked', l.blockedAt ?? 'the lifecycle did not reach the applied state');
+    expectAll(ID_TERMINAL_REFUSED, judgeTerminal(l.terminal.revise, l.terminal.apply));
+  });
+
+  it('another tenant sees the proposal and the installed template as unknown ids', async () => {
+    const g = await gate();
+    if ('skip' in g) return softSkip(...g.skip);
+    const l = await lifecycle(g.renderPath);
+    if (l.foreignProposal === undefined) return softSkip('blocked', l.blockedAt ?? 'the lifecycle did not reach the foreign reads');
+    if (typeof l.foreignProposal === 'string') return softSkip('blocked', l.foreignProposal);
+    const pairs = [...l.foreignProposal, ...(l.foreignTemplate !== undefined && typeof l.foreignTemplate !== 'string' ? [l.foreignTemplate] : [])];
+    expectAll(ID_CROSS_TENANT_NOT_FOUND, judgeForeign(pairs));
+  });
+});

package/src/scenarios/v2-unadvertised-operation-not-found.test.ts

@@ -14,6 +14,8 @@
  *             `404 not_found`.
  *   content   (hosts that do not advertise `content`) `GET /content/settings`
  *             answers `404 not_found`.
+ *   proposals (hosts that do not advertise `agents.proposals`) `GET /proposals`
+ *             answers `404 not_found` (RFC 0249).
  *
  * A host that advertises the facet records the leg `inapplicable`.
  */
@@ -61,4 +63,15 @@ describe('v2 unadvertised operations answer 404 not_found (RFC 0228 §H)', () =>
     expect(res.status, req(ID, DOC, `an operation gated on content, which the host does not advertise, MUST answer 404 (got ${res.status}; v1's 501 is not a v2 answer)`)).toBe(404);
     expect(readErrorCode(res.json), req(ID, DOC, 'the 404 for an unadvertised gated operation MUST carry the registered code not_found')).toBe('not_found');
   });
+  it('GET /proposals answers 404 not_found when agents.proposals is not advertised (RFC 0249)', async () => {
+    const doc = await discovery();
+    if (!doc) return softSkip('blocked', UNREACHABLE);
+    const agents = record(doc, 'agents');
+    if (agents !== null && record(agents, 'proposals') !== null) return softSkip('inapplicable', 'the host advertises agents.proposals — the /proposals surface is served');
+    const res = await get('/proposals');
+    if (res === null) return softSkip('blocked', 'GET /proposals unreachable (fetch failed)');
+    const ID = 'openwop.requirement.0249.unadvertised-not-found';
+    expect(res.status, req(ID, DOC, `an operation gated on agents.proposals, which the host does not advertise, MUST answer 404 (got ${res.status})`)).toBe(404);
+    expect(readErrorCode(res.json), req(ID, DOC, 'the 404 for an unadvertised gated operation MUST carry the registered code not_found')).toBe('not_found');
+  });
 });