@openwop/openwop-conformance 2.0.0-rc.13 → 2.0.0-rc.14

package/dist/spec-artifacts.lock.json

@@ -1,5 +1,5 @@
 {
   "package": "@openwop/spec-artifacts",
-  "version": "2.0.0-rc.13",
-  "stampSha256": "70588d48596c9141975f89d3116b8fdc93d61d5faf5a93a7be6b9100d4e7311c"
+  "version": "2.0.0-rc.14",
+  "stampSha256": "d79a223d634538161fa12071ac4ba8ef581b7fa776181aa630ffd7ff28aadeb5"
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@openwop/openwop-conformance",
-  "version": "2.0.0-rc.13",
+  "version": "2.0.0-rc.14",
   "description": "Production-ready black-box conformance suite for OpenWOP v1.0 compliant servers.",
   "repository": {
     "type": "git",
@@ -56,6 +56,6 @@
     "@openwop/spec-artifacts": "file:../spec-artifacts"
   },
   "peerDependencies": {
-    "@openwop/spec-artifacts": "2.0.0-rc.13"
+    "@openwop/spec-artifacts": "2.0.0-rc.14"
   }
 }

package/requirements.json

@@ -3,8 +3,8 @@
   "generatedFrom": "src/scenarios/*.test.ts",
   "counts": {
     "files": 544,
-    "tests": 2119,
-    "withStableId": 2119,
+    "tests": 2118,
+    "withStableId": 2118,
     "interpolatedTitles": 0,
     "explicitIds": 2057
   },
@@ -25741,24 +25741,10 @@
         }
       ]
     },
-    {
-      "id": "openwop.it.v2-advertised-fixtures-exist.every-advertised-fixture-id-is-one-the-corpus-defines",
-      "file": "v2-advertised-fixtures-exist.test.ts",
-      "line": 60,
-      "title": "every advertised fixture id is one the corpus defines",
-      "explicitId": null,
-      "citations": [
-        {
-          "section": null,
-          "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",
-      "line": 80,
+      "line": 62,
       "title": "a sampled advertised fixture is actually creatable, not just listed",
       "explicitId": null,
       "citations": [
@@ -26561,7 +26547,7 @@
     {
       "id": "openwop.it.v2-era-2-append-vocabulary.the-run-keeps-the-era-it-was-created-with-an-append-does-not-promote-it-to-era-3",
       "file": "v2-era-2-append-vocabulary.test.ts",
-      "line": 119,
+      "line": 128,
       "title": "the run keeps the era it was created with; an append does not promote it to era 3",
       "explicitId": null,
       "citations": [

package/schemas/CORPUS-STAMP.json

@@ -1,7 +1,7 @@
 {
   "_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.0.0-rc.13",
+  "version": "2.0.0-rc.14",
   "corpusTag": null,
   "files": {
     "api/.redocly.lint-ignore.yaml": "bf5a8350b88a72fa43f59605ed8d903ed24b6cfccda5e45509c9f6ed9ee4e712",
@@ -9,9 +9,9 @@
     "api/grpc/openwop.proto": "c3e72bb17cba514ee98feb6434e6c9b6ea6795bfd086489ec69fd882dd1ad977",
     "api/openapi.yaml": "39081c59fb696159806b0f2f9a42e7e9ff830d622fcf2ad4159b21357580a955",
     "api/redocly.yaml": "b0604c89b2ca6d5076ec25725c539dad44a741a811fe524439ee6daef8baa09f",
-    "api/seams-v2.yaml": "fd9b0ac5fad1dbcde81c072480ab1b2054dfac801620f4b0a56cce293dd55ecf",
-    "api/v2/asyncapi.yaml": "17c9e96919f050e77a290025ae77f69420a835790e8a434fadea242445f6bdca",
-    "api/v2/openapi.yaml": "d187a8e648c4db4981dd8b73abbc7b10346febaa30124c7413de7d4f78f56b04",
+    "api/seams-v2.yaml": "5c9741ace7a24e7cb9475cec28585b6888809181fe19beffe1d1866a2882531e",
+    "api/v2/asyncapi.yaml": "de67cb65409e07291264d3059647a9b558c5b72186c1b6d49b0e1e292c1b048c",
+    "api/v2/openapi.yaml": "76c003262b413b7226948c7fddb8a5457fafed95f332213660ecbaf6b15a3bbf",
     "api/v2/redocly.yaml": "1e66b60e6118ad11a823bb620678be464d99dfe50a40e3e6f93ec9429b88b34c",
     "schemas/README.md": "0c0b737ffcf8f30e7d2809cec8a498232de710f41443212922ad8337cdde0b51",
     "schemas/a2a-task-state.schema.json": "c9365918f993f943b4b619d42551eb066a1ed33a08d895d51b395432a5b1f1bc",
@@ -198,7 +198,7 @@
     "schemas/workspace-file.schema.json": "464de85c2a068243084ee9c1d969bc7cd5d8f7948574e58450d6493c38a0e1e4",
     "spec/v1/alias-detectors.json": "fee4594ef49953953ffcd0b3813300067d16b3e65ebff2aac722034ac9b3f545",
     "spec/v1/capability-declaration-classes.json": "e7729aed5c4b4e1dd02abab0530f14cc95f5d4070fe51fb139e7f5cccefa00c6",
-    "spec/v1/core-standard-manifest.json": "10b5c192827884300f77b1bd481fdb70e8fccf0b636c2e37d0a3834497ce508a",
+    "spec/v1/core-standard-manifest.json": "2e4f6c617a7166181c67851b9d7c336bb06f2b9a5e805dae5d3315f06102db00",
     "spec/v1/deprecations.json": "520d79927a8ed43ccf62c207a7cf6cf7b19b16e00bbbbdf0410667e939c19d85",
     "spec/v1/deprecations.schema.json": "4cdbbb8eb9c0092913a5704c943880f0c8581bcf0f640a7df5a84105d53c8aee",
     "spec/v1/event-codemap.json": "3da60d884157793a360da532a9fcbbfb5285636db325a74cec94b34622186d97",
@@ -228,7 +228,7 @@
     "spec/v2/path-manifest.json": "034152e09b1458c66810d4050e20a273b2b9b8fe2d92b66e8b819477de58a1be",
     "spec/v2/peer-dependency-aliases.json": "d10299280abee08258502925bc327293ee413e0108cd6e6ec75ff6110653308d",
     "spec/v2/profiles.json": "1f0ee40491131cf561ef19a0394c47ba476b4567514fe16befb6cada4a10a5a4",
-    "spec/v2/release.json": "c5a7d6f086e6d9bce497e2c21fe5a1f11d96533f30b5596f3332ad1a77898a9b"
+    "spec/v2/release.json": "71cf76db2a446b9d8363c3211dd4d46b7dc1e2ed8199c101c3bbd09b7579a915"
   },
-  "corpusCommit": "ef6f06aafc7265609229411a104d00546fe25074"
+  "corpusCommit": "b52f0c2d11e77e728463f1d397e57bf640ece6e4"
 }

package/src/scenarios/v2-advertised-fixtures-exist.test.ts

@@ -3,40 +3,42 @@
  * the host must be able to honour (suite 2.0.0, target major 2; unaided).
  *
  * `fixtures[]` in discovery gates scenarios: `isFixtureAdvertised(id)` decides
- * whether a scenario runs at all. Nothing checked that an advertised id names a
- * fixture the corpus actually defines, or that the host can serve it. A host
- * whose advertised list and seeded set drift apart therefore fails somewhere
- * else entirely — the scenario gated on the missing fixture attempts, fails on
- * a run that cannot be created, and the failure is attributed to that
- * scenario's requirement rather than to the advertisement that was wrong.
+ * whether a scenario runs at all. So a host whose advertised list and seeded set
+ * drift apart fails somewhere else entirely — the scenario gated on the missing
+ * fixture attempts, fails on a run that cannot be created, and the failure is
+ * attributed to that scenario's requirement rather than to the advertisement
+ * that was wrong. That misattribution is what this scenario exists to catch.
  *
- * No host is currently known to exhibit this. A tier-2 host was thought to
- * (46 seeded against 47 advertised) and then verified and retracted it — the
- * count had been eyeballed from an array literal rather than measured, and the
- * two sets are in fact identical. The scenario is kept because the failure mode
- * is a property of the gating mechanism, not of that host: `fixtures[]` decides
- * whether a scenario runs, so a wrong advertisement is charged to whatever runs
- * next. Leg 1 is also the stronger check — an id the corpus catalog does not
- * define is wrong however well a host's own two lists agree with each other.
+ * **This scenario shipped with a second leg that was wrong, and the correction
+ * matters more than the check.** That leg asserted the advertised ids are a
+ * SUBSET of `conformance/fixtures/` — "the vocabulary is closed, so an id the
+ * corpus does not define is a typo or an invention". The vocabulary is not
+ * closed. Host-supplied fixtures are the normal case: dozens of ids the
+ * scenarios gate on are deliberately not shipped, and `v2-approver-enforced`
+ * says so in its own docstring — it needs an approval fixture whose
+ * `approversList` names a principal the suite is not, and records `blocked`
+ * naming it precisely because "no such fixture ships in `conformance/fixtures/`".
  *
- * Two legs, both cheap:
- *   1. the advertised ids are a subset of the corpus fixture catalog — the
- *      vocabulary is closed, so an id the corpus does not define is a typo or
- *      an invention, not a capability;
- *   2. a bounded sample of advertised fixtures is actually creatable, so the
- *      list is a claim about reachable state rather than a wish.
+ * So the leg failed a host for doing exactly what the corpus asks. It was found
+ * by running the suite against the reference host, which advertised two
+ * host-supplied fixtures and was marked non-conformant for it. Set membership
+ * cannot distinguish a typo from a legitimate host fixture, and a check that
+ * cannot tell those apart is not a check — it is a coin flip that happens to
+ * land on "fail" for correct hosts.
+ *
+ * What survives is the leg that was always sound: an advertised fixture MUST be
+ * creatable. That holds whoever defines it, and it is the one that catches the
+ * drift the misattribution comes from.
  *
  * @see spec/v2/core/conformance.md
- * @see conformance/fixtures.md
+ * @see conformance/src/scenarios/v2-approver-enforced.test.ts (a host-supplied fixture, by design)
  */
 
 import { describe, it, expect } from 'vitest';
-import { existsSync, readdirSync } from 'node:fs';
 import { driver, type OpenWOPResponse } from '../lib/driver.js';
 import { v2Discovery } from '../lib/v2.js';
 import { softSkip } from '../lib/soft-skip.js';
 import { req } from '../lib/requirement-ids.js';
-import { FIXTURES_DIR } from '../lib/paths.js';
 
 const ID = 'openwop.requirement.0168.advertised-fixtures-exist';
 const DOC = 'spec/v2/core/conformance.md §Fixtures';
@@ -57,26 +59,6 @@ function advertisedIds(doc: Record<string, unknown>): string[] {
 }
 
 describe('v2-advertised-fixtures-exist (conformance.md §Fixtures)', () => {
-  it('every advertised fixture id is one the corpus defines', async () => {
-    const doc = await v2Discovery().catch(() => null);
-    if (!doc) return softSkip('blocked', 'v2 discovery unreachable');
-    const ids = advertisedIds(doc);
-    if (ids.length === 0) return softSkip('inapplicable', 'the host advertises no fixtures[] — there is no claim to falsify');
-    if (FIXTURES_DIR === null || !existsSync(FIXTURES_DIR)) {
-      return softSkip('blocked', 'the fixture catalog is absent from this layout, so an advertised id cannot be checked against it');
-    }
-    const catalog = new Set(
-      readdirSync(FIXTURES_DIR)
-        .filter((f) => f.endsWith('.json'))
-        .map((f) => f.replace(/\.json$/, '')),
-    );
-    const unknown = ids.filter((id) => !catalog.has(id));
-    expect(
-      unknown,
-      req(ID, DOC, `every id in fixtures[] MUST name a fixture the corpus defines — the vocabulary is closed, so an id the catalog does not carry is a typo or an invention rather than a capability (${unknown.length} unknown of ${ids.length}: ${unknown.slice(0, 5).join(', ')})`),
-    ).toEqual([]);
-  });
-
   it('a sampled advertised fixture is actually creatable, not just listed', async () => {
     const doc = await v2Discovery().catch(() => null);
     if (!doc) return softSkip('blocked', 'v2 discovery unreachable');

package/src/scenarios/v2-era-2-append-vocabulary.test.ts

@@ -61,6 +61,15 @@ describe('v2-era-2-append-vocabulary (RFC 0176 §A — the writer rule)', () =>
       return softSkip('blocked', `GET /runs/${runId}/events/poll answered ${before?.status ?? 'no response'} on the seeded era-2 run — the log cannot be read back`);
     }
     const seedCount = eventsOf(before).length;
+    // The seam returning ok is a WRAPPER claim; the readable log is the artifact.
+    // A seam that reports success and seeds nothing leaves no era-2 log to append
+    // to, so there is nothing here to witness the writer rule with — that is
+    // `blocked`, not a writer-rule failure. Asserting against an empty log would
+    // charge this requirement for a seam defect, which is the misattribution the
+    // suite exists to avoid.
+    if (seedCount === 0) {
+      return softSkip('blocked', `seedEra2Log reported success but the log reads back empty (0 events) — the seam's return value is not evidence that a log exists, and without a seeded era-2 log the writer rule is unwitnessed here`);
+    }
 
     // One canonical mutation so the HOST's own writer appends. Cancel is the
     // universally available terminal transition; a host that refuses it on a