@openwop/openwop-conformance 1.162.0 → 2.0.0-rc.0

package/src/scenarios/cost-attribution.test.ts

@@ -36,6 +36,8 @@ import { driver } from '../lib/driver.js';
 import { pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
 import { getCollector, waitForRunSpans } from '../lib/otel-collector.js';
+import { req } from '../lib/requirement-ids.js';
+import { softSkip } from '../lib/soft-skip.js';
 
 /**
  * Callback-shaped: the host exports OTLP metrics to the suite's collector.
@@ -91,14 +93,14 @@ describe.skipIf(SKIP_NO_NOOP)('cost-attribution: metrics.openwopCost forward-com
       // passes trivially; don't force a value on a workflow that produces
       // no cost.
       expect(openwopCost).toBeUndefined();
-      return;
+      return softSkip('blocked', 'precondition not met — `openwopCost === undefined` returned early (seam, prior step, or fixture unavailable)');
     }
 
     // When present, validate the canonical shape per
     // run-snapshot.schema.json §metrics.openwopCost.
     if ('usd' in openwopCost) {
-      expect(typeof openwopCost.usd, 'metrics.openwopCost.usd MUST be a number').toBe('number');
-      expect(openwopCost.usd!, 'metrics.openwopCost.usd MUST be >= 0').toBeGreaterThanOrEqual(0);
+      expect(typeof openwopCost.usd, req('openwop.it.cost-attribution.on-any-run-if-metrics-openwopcost-is-present-its-shape-must-match-the-spec', 'spec/v1/observability.md §"AI cost', 'metrics.openwopCost.usd MUST be a number')).toBe('number');
+      expect(openwopCost.usd!, req('openwop.it.cost-attribution.on-any-run-if-metrics-openwopcost-is-present-its-shape-must-match-the-spec', 'spec/v1/observability.md §"AI cost', 'metrics.openwopCost.usd MUST be >= 0')).toBeGreaterThanOrEqual(0);
     }
     if ('tokens' in openwopCost && openwopCost.tokens) {
       if ('input' in openwopCost.tokens) {
@@ -115,10 +117,10 @@ describe.skipIf(SKIP_NO_NOOP)('cost-attribution: metrics.openwopCost forward-com
       expect(openwopCost.duration_ms!).toBeGreaterThanOrEqual(0);
     }
     if ('model' in openwopCost) {
-      expect(typeof openwopCost.model, 'metrics.openwopCost.model MUST be a string').toBe('string');
+      expect(typeof openwopCost.model, req('openwop.it.cost-attribution.on-any-run-if-metrics-openwopcost-is-present-its-shape-must-match-the-spec', 'spec/v1/observability.md §"AI cost', 'metrics.openwopCost.model MUST be a string')).toBe('string');
     }
     if ('provider' in openwopCost) {
-      expect(typeof openwopCost.provider, 'metrics.openwopCost.provider MUST be a string').toBe('string');
+      expect(typeof openwopCost.provider, req('openwop.it.cost-attribution.on-any-run-if-metrics-openwopcost-is-present-its-shape-must-match-the-spec', 'spec/v1/observability.md §"AI cost', 'metrics.openwopCost.provider MUST be a string')).toBe('string');
     }
   });
 });
@@ -140,23 +142,23 @@ describe.skipIf(SKIP_NO_COST_EMIT)('cost-attribution: end-to-end roundtrip via c
     // Fixture absent — host does not opt into OPENWOP_CONFORMANCE_FIXTURES.
     // That's spec-allowed; the scenario passes trivially.
     if (create.status === 404 || create.status === 422) {
-      return;
+      return softSkip('blocked', 'precondition not met — `create.status === 404 || create.status === 422` returned early (Fixture absent — host does not opt into OPENWOP_CONFORMANCE_FIXTURES. That\'s spec-allowed; the scenario passes trivially.) (seam,…');
     }
 
-    expect(create.status, driver.describe(
+    expect(create.status, req('openwop.it.cost-attribution.metrics-openwopcost-must-carry-the-canary-cost-shape-after-the-fixture-node-runs', 
       'rest-endpoints.md POST /v1/runs',
       'starting openwop-smoke-cost-emit MUST succeed when OPENWOP_CONFORMANCE_FIXTURES=1 is advertised',
     )).toBe(201);
     const runId = (create.json as { runId: string }).runId;
 
     const terminal = await pollUntilTerminal(runId);
-    expect(terminal.status, driver.describe(
+    expect(terminal.status, req('openwop.it.cost-attribution.metrics-openwopcost-must-carry-the-canary-cost-shape-after-the-fixture-node-runs', 
       'observability.md §AI cost',
       'cost-emit fixture run MUST reach terminal completed',
     )).toBe('completed');
 
     const openwopCost = terminal.metrics?.openwopCost;
-    expect(openwopCost, driver.describe(
+    expect(openwopCost, req('openwop.it.cost-attribution.metrics-openwopcost-must-carry-the-canary-cost-shape-after-the-fixture-node-runs', 
       'run-snapshot.schema.json §metrics.openwopCost',
       'metrics.openwopCost MUST be populated after a node calls ctx.recordCost()',
     )).toBeDefined();
@@ -176,14 +178,14 @@ describe.skipIf(SKIP_NO_COST_EMIT)('cost-attribution: end-to-end roundtrip via c
     // Tokens — MUST be non-negative integers when present.
     if ('tokens' in openwopCost! && openwopCost!.tokens) {
       if ('input' in openwopCost!.tokens) {
-        expect(Number.isInteger(openwopCost!.tokens.input), driver.describe(
+        expect(Number.isInteger(openwopCost!.tokens.input), req('openwop.it.cost-attribution.metrics-openwopcost-must-carry-the-canary-cost-shape-after-the-fixture-node-runs', 
           'observability.md §openwop.cost.tokens.input',
           'tokens.input MUST be a non-negative integer',
         )).toBe(true);
         expect(openwopCost!.tokens.input!).toBeGreaterThanOrEqual(0);
       }
       if ('output' in openwopCost!.tokens) {
-        expect(Number.isInteger(openwopCost!.tokens.output), driver.describe(
+        expect(Number.isInteger(openwopCost!.tokens.output), req('openwop.it.cost-attribution.metrics-openwopcost-must-carry-the-canary-cost-shape-after-the-fixture-node-runs', 
           'observability.md §openwop.cost.tokens.output',
           'tokens.output MUST be a non-negative integer',
         )).toBe(true);
@@ -193,11 +195,11 @@ describe.skipIf(SKIP_NO_COST_EMIT)('cost-attribution: end-to-end roundtrip via c
 
     // USD — MUST be non-negative number (fractional allowed).
     if ('usd' in openwopCost!) {
-      expect(typeof openwopCost!.usd, driver.describe(
+      expect(typeof openwopCost!.usd, req('openwop.it.cost-attribution.metrics-openwopcost-must-carry-the-canary-cost-shape-after-the-fixture-node-runs', 
         'observability.md §openwop.cost.usd',
         'usd MUST be a number',
       )).toBe('number');
-      expect(openwopCost!.usd!, driver.describe(
+      expect(openwopCost!.usd!, req('openwop.it.cost-attribution.metrics-openwopcost-must-carry-the-canary-cost-shape-after-the-fixture-node-runs', 
         'observability.md §openwop.cost.usd',
         'usd MUST be >= 0',
       )).toBeGreaterThanOrEqual(0);
@@ -209,7 +211,7 @@ describe.skipIf(SKIP_NO_COST_EMIT)('cost-attribution: end-to-end roundtrip via c
       workflowId: 'openwop-smoke-cost-emit',
     });
     if (create.status === 404 || create.status === 422) {
-      return;
+      return softSkip('blocked', 'precondition not met — `create.status === 404 || create.status === 422` returned early (seam, prior step, or fixture unavailable)');
     }
     expect(create.status).toBe(201);
     const runId = (create.json as { runId: string }).runId;
@@ -224,7 +226,7 @@ describe.skipIf(SKIP_NO_COST_EMIT)('cost-attribution: end-to-end roundtrip via c
     const completed = events.filter(
       (e) => e.type === 'node.completed' && e.nodeId === 'emit-cost',
     );
-    expect(completed.length, driver.describe(
+    expect(completed.length, req('openwop.it.cost-attribution.cost-emit-fixture-run-must-emit-a-node-completed-event-for-the-cost-emitting-nod', 
       'event-log.md §node.completed',
       'cost-emit fixture node MUST emit exactly one node.completed event',
     )).toBe(1);
@@ -247,7 +249,7 @@ describe.skipIf(SKIP_NO_COST_EMIT)('cost-attribution: G6 / O4 allowlist + redact
     if (!getCollector()) {
       // eslint-disable-next-line no-console
       console.warn('[cost-attribution] OTel collector not started; set OPENWOP_OTEL_COLLECTOR=true to run');
-      return;
+      return softSkip('blocked', 'precondition not met — `!getCollector()` returned early ([cost-attribution] OTel collector not started; set OPENWOP_OTEL_COLLECTOR=true to run) (seam, prior step, or fixture unavailable)');
     }
     const collector = getCollector()!;
     collector.reset();
@@ -258,7 +260,7 @@ describe.skipIf(SKIP_NO_COST_EMIT)('cost-attribution: G6 / O4 allowlist + redact
     await pollUntilTerminal(runId, { timeoutMs: 15_000 });
 
     const runSpans = await waitForRunSpans(runId, { timeoutMs: 5_000, minCount: 1 });
-    expect(runSpans.length, driver.describe(
+    expect(runSpans.length, req('openwop.it.cost-attribution.only-allowlisted-openwop-cost-attributes-reach-the-otel-span-g6-close-criteria-a', 
       'observability.md §"Span attributes"',
       'host MUST emit at least one span for the cost-emit run',
     )).toBeGreaterThan(0);
@@ -276,7 +278,7 @@ describe.skipIf(SKIP_NO_COST_EMIT)('cost-attribution: G6 / O4 allowlist + redact
         }
       }
     }
-    expect(stray, driver.describe(
+    expect(stray, req('openwop.it.cost-attribution.only-allowlisted-openwop-cost-attributes-reach-the-otel-span-g6-close-criteria-a', 
       'observability.md §"Cost attribution attributes" (allowlist enforcement)',
       'host MUST NOT emit any openwop.cost.* attribute outside OPENWOP_COST_ATTRIBUTE_NAMES; defense-in-depth against accidental leakage of upstream provider fields under unfamiliar key names',
     )).toEqual([]);
@@ -286,7 +288,7 @@ describe.skipIf(SKIP_NO_COST_EMIT)('cost-attribution: G6 / O4 allowlist + redact
     if (!getCollector()) {
       // eslint-disable-next-line no-console
       console.warn('[cost-attribution] OTel collector not started; set OPENWOP_OTEL_COLLECTOR=true to run');
-      return;
+      return softSkip('blocked', 'precondition not met — `!getCollector()` returned early ([cost-attribution] OTel collector not started; set OPENWOP_OTEL_COLLECTOR=true to run) (seam, prior step, or fixture unavailable)');
     }
     const collector = getCollector()!;
     collector.reset();
@@ -309,7 +311,7 @@ describe.skipIf(SKIP_NO_COST_EMIT)('cost-attribution: G6 / O4 allowlist + redact
 
     expect(
       corpus.includes('CANARY-openwop-CONFORMANCE-NEVER-SECRET'),
-      driver.describe(
+      req('openwop.it.cost-attribution.credential-shaped-canaries-do-not-leak-to-any-otel-attribute-g6-close-criteria-r', 
         'SECURITY/invariants.yaml cost-attribution-allowlist-redaction',
         'no canary plaintext substring may survive the allowlist sanitizer on its way to OTel spans',
       ),
@@ -320,7 +322,7 @@ describe.skipIf(SKIP_NO_COST_EMIT)('cost-attribution: G6 / O4 allowlist + redact
     // through non-canary keys that the allowlist still happens to let
     // through (none today, but the regression test is cheap).
     const byokMatches = corpus.match(CREDENTIAL_SHAPE_RE) ?? [];
-    expect(byokMatches, driver.describe(
+    expect(byokMatches, req('openwop.it.cost-attribution.credential-shaped-canaries-do-not-leak-to-any-otel-attribute-g6-close-criteria-r', 
       'SECURITY/invariants.yaml cost-attribution-allowlist-redaction',
       'no credential-shape substring may appear in cost-attribute span values',
     )).toEqual([]);

package/src/scenarios/credential-payload-redaction.test.ts

@@ -28,6 +28,7 @@ import { describe, it, expect } from 'vitest';
 import { softSkip } from '../lib/soft-skip.js';
 import { driver } from '../lib/driver.js';
 import { capabilityFamily } from '../lib/discovery-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
 
 interface DiscoveryCredentials {
   supported?: boolean;
@@ -54,7 +55,7 @@ describe('credential-payload-redaction: advertisement shape (RFC 0046 §A)', ()
     if (cred === null) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `cred === null` returned early');
     expect(
       typeof cred.supported,
-      driver.describe(
+      req('openwop.it.credential-payload-redaction.capabilities-credentials-supported-is-a-boolean-when-advertised', 
         'capabilities.schema.json §credentials',
         'capabilities.credentials.supported MUST be a boolean when credentials is advertised',
       ),
@@ -75,7 +76,7 @@ describe('credential-payload-redaction: resolved material MUST NOT cross the wir
 
     expect(
       res.status,
-      driver.describe(
+      req('openwop.it.credential-payload-redaction.canary-plaintext-is-absent-from-every-observable-run-surface', 
         'SECURITY/invariants.yaml credential-payload-redaction',
         'the credentials echo seam MUST resolve the seeded credential and return its observable surfaces',
       ),
@@ -86,7 +87,7 @@ describe('credential-payload-redaction: resolved material MUST NOT cross the wir
     const serialized = JSON.stringify(res.json ?? {});
     expect(
       serialized.includes(CANARY),
-      driver.describe(
+      req('openwop.it.credential-payload-redaction.canary-plaintext-is-absent-from-every-observable-run-surface', 
         'SECURITY/invariants.yaml credential-payload-redaction',
         'resolved credential material MUST NOT appear in inputs, variables, channels, events, snapshot, or debug bundle — only the reference may cross the wire',
       ),

package/src/scenarios/credentials-capability-shape.test.ts

@@ -23,6 +23,7 @@ import { describe, it, expect } from 'vitest';
 import { softSkip } from '../lib/soft-skip.js';
 import { driver } from '../lib/driver.js';
 import { capabilityFamily } from '../lib/discovery-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
 
 interface DiscoveryCredentials {
   supported?: boolean;
@@ -53,7 +54,7 @@ describe('credentials-capability-shape: advertisement shape (RFC 0046 §A)', ()
     if (cred === null) return softSkip('inapplicable', 'host doesn\'t advertise host.credentials at all');
     expect(
       typeof cred.supported,
-      driver.describe(
+      req('openwop.it.credentials-capability-shape.capabilities-credentials-is-either-absent-or-well-formed', 
         'capabilities.schema.json §credentials',
         'capabilities.credentials.supported MUST be a boolean when credentials is advertised',
       ),
@@ -65,12 +66,12 @@ describe('credentials-capability-shape: advertisement shape (RFC 0046 §A)', ()
     if (!cred?.supported || cred.scopes === undefined) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `!cred?.supported || cred.scopes === undefined` returned early');
     expect(
       Array.isArray(cred.scopes),
-      driver.describe('RFC 0046 §A', 'capabilities.credentials.scopes MUST be an array'),
+      req('openwop.it.credentials-capability-shape.scopes-is-a-subset-of-user-workspace-tenant-when-supported', 'RFC 0046 §A', 'capabilities.credentials.scopes MUST be an array'),
     ).toBe(true);
     for (const scope of cred.scopes) {
       expect(
         VALID_SCOPES.has(scope),
-        driver.describe(
+        req('openwop.it.credentials-capability-shape.scopes-is-a-subset-of-user-workspace-tenant-when-supported', 
           'RFC 0046 §A',
           `capabilities.credentials.scopes entries MUST be one of {${[...VALID_SCOPES].join(', ')}}, got: ${scope}`,
         ),
@@ -83,7 +84,7 @@ describe('credentials-capability-shape: advertisement shape (RFC 0046 §A)', ()
     if (!cred?.supported || cred.rotation === undefined) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `!cred?.supported || cred.rotation === undefined` returned early');
     expect(
       VALID_ROTATION.has(cred.rotation),
-      driver.describe(
+      req('openwop.it.credentials-capability-shape.rotation-is-one-of-none-two-key-overlap-when-present', 
         'RFC 0046 §A',
         `capabilities.credentials.rotation MUST be one of {${[...VALID_ROTATION].join(', ')}}, got: ${cred.rotation}`,
       ),

package/src/scenarios/cross-engine-append-behavior.test.ts

@@ -32,6 +32,7 @@ import { describe, it, expect } from 'vitest';
 import { softSkip, seamAbsent } from '../lib/soft-skip.js';
 import { capabilityFamily } from '../lib/discovery-capabilities.js';
 import { driver } from '../lib/driver.js';
+import { req } from '../lib/requirement-ids.js';
 
 const HTTP_SKIP = !process.env.OPENWOP_BASE_URL;
 
@@ -92,7 +93,7 @@ describe.skipIf(HTTP_SKIP)('cross-engine-append-behavior: §B cross-engine order
     if (resetStatus === 404) {
       await noteHarnessAbsent();
       ctx.skip(); // host doesn't expose the cross-engine harness seam
-      return;
+      return softSkip('blocked', 'precondition not met — `resetStatus === 404` returned early (seam, prior step, or fixture unavailable)');
     }
     expect(resetStatus).toBe(200);
 
@@ -115,7 +116,7 @@ describe.skipIf(HTTP_SKIP)('cross-engine-append-behavior: §B cross-engine order
 
     expect(
       read.entries.length,
-      driver.describe(
+      req('openwop.it.cross-engine-append-behavior.interleaved-appends-from-two-engines-converge-to-a-single-globally-ordered-seque', 
         'channels-and-reducers.md §"Cross-engine ordering"',
         'all appends across all engines MUST appear in the linearized read',
       ),
@@ -126,14 +127,14 @@ describe.skipIf(HTTP_SKIP)('cross-engine-append-behavior: §B cross-engine order
     const engineBEntries = read.entries.filter((e) => e.engineId === 'engine-B').map((e) => e.value);
     expect(
       engineAEntries,
-      driver.describe(
+      req('openwop.it.cross-engine-append-behavior.interleaved-appends-from-two-engines-converge-to-a-single-globally-ordered-seque', 
         'channels-and-reducers.md §"Cross-engine ordering"',
         'engine-A submissions MUST appear in submission order within the linearization',
       ),
     ).toEqual(['a-1', 'a-2', 'a-3']);
     expect(
       engineBEntries,
-      driver.describe(
+      req('openwop.it.cross-engine-append-behavior.interleaved-appends-from-two-engines-converge-to-a-single-globally-ordered-seque', 
         'channels-and-reducers.md §"Cross-engine ordering"',
         'engine-B submissions MUST appear in submission order within the linearization',
       ),
@@ -145,7 +146,7 @@ describe.skipIf(HTTP_SKIP)('cross-engine-append-behavior: §B cross-engine order
     if (resetStatus === 404) {
       await noteHarnessAbsent();
       ctx.skip();
-      return;
+      return softSkip('blocked', 'precondition not met — `resetStatus === 404` returned early (seam, prior step, or fixture unavailable)');
     }
     expect(resetStatus).toBe(200);
 
@@ -162,7 +163,7 @@ describe.skipIf(HTTP_SKIP)('cross-engine-append-behavior: §B cross-engine order
     // channel MUST have strictly-higher clock than the previous.
     expect(
       a2.entry!.lamport > b1.entry!.lamport && b1.entry!.lamport > a1.entry!.lamport,
-      driver.describe(
+      req('openwop.it.cross-engine-append-behavior.lamport-clocks-monotonically-advance-across-engines', 
         'channels-and-reducers.md §"Cross-engine ordering" — Lamport',
         'lamport clocks MUST be strictly monotonic on the shared channel',
       ),
@@ -174,7 +175,7 @@ describe.skipIf(HTTP_SKIP)('cross-engine-append-behavior: §B cross-engine order
     if (resetStatus === 404) {
       await noteHarnessAbsent();
       ctx.skip();
-      return;
+      return softSkip('blocked', 'precondition not met — `resetStatus === 404` returned early (seam, prior step, or fixture unavailable)');
     }
     expect(resetStatus).toBe(200);
 
@@ -190,7 +191,7 @@ describe.skipIf(HTTP_SKIP)('cross-engine-append-behavior: §B cross-engine order
     expect(b1.status).toBe(200);
     expect(
       b1.entry!.lamport > seen,
-      driver.describe(
+      req('openwop.it.cross-engine-append-behavior.lamport-hint-from-engine-a-advances-engine-b-past-it', 
         'channels-and-reducers.md §"Cross-engine ordering" — Lamport receive rule',
         'when engine B sees engine A\'s clock at L, B\'s next append MUST have clock > L',
       ),
@@ -202,7 +203,7 @@ describe.skipIf(HTTP_SKIP)('cross-engine-append-behavior: §B cross-engine order
     if (resetStatus === 404) {
       await noteHarnessAbsent();
       ctx.skip();
-      return;
+      return softSkip('blocked', 'precondition not met — `resetStatus === 404` returned early (seam, prior step, or fixture unavailable)');
     }
     expect(resetStatus).toBe(200);
 
@@ -217,7 +218,7 @@ describe.skipIf(HTTP_SKIP)('cross-engine-append-behavior: §B cross-engine order
     expect(r2.status).toBe(200);
     expect(
       r1.entries.map((e) => `${e.engineId}:${String(e.value)}`),
-      driver.describe(
+      req('openwop.it.cross-engine-append-behavior.linearization-is-deterministic-same-appends-same-total-order', 
         'channels-and-reducers.md §"Cross-engine ordering" — determinism',
         'two reads MUST produce the same linearization (deterministic merge)',
       ),

package/src/scenarios/cross-engine-append-ordering.test.ts

@@ -28,6 +28,7 @@ import { describe, it, expect } from 'vitest';
 import { softSkip } from '../lib/soft-skip.js';
 import { driver } from '../lib/driver.js';
 import { capabilityFamily } from '../lib/discovery-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
 
 const HTTP_SKIP = !process.env.OPENWOP_BASE_URL;
 const ORDERING_MODELS = new Set(['lamport', 'vector-clock', 'global-sequencer']);
@@ -62,7 +63,7 @@ describe.skipIf(HTTP_SKIP)('cross-engine-append-ordering: advertisement shape (R
 
     expect(
       typeof ceo.supported,
-      driver.describe(
+      req('openwop.it.cross-engine-append-ordering.capabilities-eventlog-crossengineordering-when-present-conforms-to-rfc-0036-b', 
         'RFCS/0036-multi-region-and-cross-engine-guarantees.md §B',
         'capabilities.eventLog.crossEngineOrdering.supported MUST be boolean when present',
       ),
@@ -71,7 +72,7 @@ describe.skipIf(HTTP_SKIP)('cross-engine-append-ordering: advertisement shape (R
     if (ceo.orderingModel !== undefined) {
       expect(
         ORDERING_MODELS.has(ceo.orderingModel as string),
-        driver.describe(
+        req('openwop.it.cross-engine-append-ordering.capabilities-eventlog-crossengineordering-when-present-conforms-to-rfc-0036-b', 
           'RFCS/0036-multi-region-and-cross-engine-guarantees.md §B',
           'orderingModel MUST be one of {lamport, vector-clock, global-sequencer}',
         ),
@@ -81,7 +82,7 @@ describe.skipIf(HTTP_SKIP)('cross-engine-append-ordering: advertisement shape (R
     if (ceo.supported === true) {
       expect(
         ceo.orderingModel,
-        driver.describe(
+        req('openwop.it.cross-engine-append-ordering.capabilities-eventlog-crossengineordering-when-present-conforms-to-rfc-0036-b', 
           'RFCS/0036-multi-region-and-cross-engine-guarantees.md §B',
           'when supported: true, orderingModel MUST be present (the categorical claim has no operational meaning without an advertised mechanism)',
         ),

package/src/scenarios/cross-host-ancestry-endpoint.test.ts

@@ -37,6 +37,7 @@ import { describe, it, expect } from 'vitest';
 import { softSkip } from '../lib/soft-skip.js';
 import { driver } from '../lib/driver.js';
 import { capabilityFamily } from '../lib/discovery-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
 
 const HTTP_SKIP = !process.env.OPENWOP_BASE_URL;
 
@@ -71,7 +72,7 @@ describe.skipIf(HTTP_SKIP)('cross-host-ancestry-endpoint: behavioral (RFC 0040
     if (chc?.ancestryEndpointSupported !== true) {
       softSkip('inapplicable', 'capability or profile not advertised by this host — gate `chc?.ancestryEndpointSupported !== true` returned early');
       ctx.skip();
-      return;
+      return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `chc?.ancestryEndpointSupported !== true` returned early');
     }
 
     // Create a fresh top-level run via the host's conformance-dispatch-loop
@@ -81,33 +82,33 @@ describe.skipIf(HTTP_SKIP)('cross-host-ancestry-endpoint: behavioral (RFC 0040
     if (create.status !== 201) {
       softSkip('blocked', 'precondition not met — `create.status !== 201` returned early (seam, prior step, or fixture unavailable)');
       ctx.skip();
-      return;
+      return softSkip('blocked', 'precondition not met — `create.status !== 201` returned early (seam, prior step, or fixture unavailable)');
     }
     const runId = (create.json as { runId: string }).runId;
 
     const ancestryRes = await driver.get(`/v1/runs/${encodeURIComponent(runId)}/ancestry`);
-    expect(ancestryRes.status, driver.describe(
+    expect(ancestryRes.status, req('openwop.it.cross-host-ancestry-endpoint.hosts-advertising-ancestryendpointsupported-must-serve-get-v1-runs-runid-ancestr', 
       'RFCS/0040-multi-agent-cross-host-causation.md §C',
       'host advertising ancestryEndpointSupported MUST serve the endpoint (200) — 404 is non-conformant',
     )).toBe(200);
 
     const body = ancestryRes.json as { runId?: string; hostId?: string; parent?: unknown };
-    expect(body.runId, 'runId in response MUST match the request path').toBe(runId);
+    expect(body.runId, req('openwop.it.cross-host-ancestry-endpoint.hosts-advertising-ancestryendpointsupported-must-serve-get-v1-runs-runid-ancestr', 'RFCS/0040-multi-agent-cross-host-causation.md §C', 'runId in response MUST match the request path')).toBe(runId);
     expect(
       typeof body.hostId === 'string' && (body.hostId as string).length >= 1,
-      'hostId MUST be present + non-empty',
+      req('openwop.it.cross-host-ancestry-endpoint.hosts-advertising-ancestryendpointsupported-must-serve-get-v1-runs-runid-ancestr', 'RFCS/0040-multi-agent-cross-host-causation.md §C', 'hostId MUST be present + non-empty'),
     ).toBe(true);
     if (chc.hostId !== undefined) {
       expect(
         body.hostId,
-        'hostId in response MUST equal the host\'s advertised crossHostCausation.hostId',
+        req('openwop.it.cross-host-ancestry-endpoint.hosts-advertising-ancestryendpointsupported-must-serve-get-v1-runs-runid-ancestr', 'RFCS/0040-multi-agent-cross-host-causation.md §C', 'hostId in response MUST equal the host\'s advertised crossHostCausation.hostId'),
       ).toBe(chc.hostId);
     }
 
     // Top-level run: parent is null.
     expect(
       body.parent,
-      driver.describe(
+      req('openwop.it.cross-host-ancestry-endpoint.hosts-advertising-ancestryendpointsupported-must-serve-get-v1-runs-runid-ancestr', 
         'RFCS/0040-multi-agent-cross-host-causation.md §C + schemas/run-ancestry-response.schema.json',
         'a top-level run (not dispatched from any other run) MUST return parent: null',
       ),
@@ -120,12 +121,12 @@ describe.skipIf(HTTP_SKIP)('cross-host-ancestry-endpoint: behavioral (RFC 0040
     if (chc?.supported !== true) {
       softSkip('inapplicable', 'capability or profile not advertised by this host — gate `chc?.supported !== true` returned early');
       ctx.skip();
-      return;
+      return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `chc?.supported !== true` returned early');
     }
     if (chc.ancestryEndpointSupported === true) {
       softSkip('inapplicable', 'capability or profile not advertised by this host — gate `chc.ancestryEndpointSupported === true` returned early');
       ctx.skip(); // covered by the test above
-      return;
+      return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `chc.ancestryEndpointSupported === true` returned early');
     }
 
     // Use any runId — even a synthetic non-existent one. The endpoint should
@@ -133,7 +134,7 @@ describe.skipIf(HTTP_SKIP)('cross-host-ancestry-endpoint: behavioral (RFC 0040
     const ancestryRes = await driver.get('/v1/runs/synthetic-test-run-id/ancestry');
     expect(
       ancestryRes.status,
-      driver.describe(
+      req('openwop.it.cross-host-ancestry-endpoint.hosts-advertising-crosshostcausation-supported-but-not-ancestryendpointsupported', 
         'spec/v1/multi-agent-execution.md §"GET /v1/runs/{runId}/ancestry endpoint"',
         'hosts that advertise crossHostCausation.supported: true but NOT ancestryEndpointSupported MUST return 404 — the endpoint is opt-in even within Phase 3',
       ),

package/src/scenarios/cross-host-causation-shape.test.ts

@@ -29,6 +29,7 @@ import { describe, it, expect } from 'vitest';
 import { softSkip } from '../lib/soft-skip.js';
 import { driver } from '../lib/driver.js';
 import { capabilityFamily } from '../lib/discovery-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
 
 const HTTP_SKIP = !process.env.OPENWOP_BASE_URL;
 
@@ -64,18 +65,18 @@ describe.skipIf(HTTP_SKIP)('cross-host-causation-shape: advertisement shape (RFC
     if (d === null) {
       softSkip('blocked', 'precondition not met — `d === null` returned early (seam, prior step, or fixture unavailable)');
       ctx.skip();
-      return;
+      return softSkip('blocked', 'precondition not met — `d === null` returned early (seam, prior step, or fixture unavailable)');
     }
     const chc = capabilityFamily<{ executionModel?: { [k: string]: unknown; crossHostCausation?: Record<string, unknown>; replayDeterminism?: Record<string, unknown> } }>(d, 'multiAgent')?.executionModel?.crossHostCausation;
     if (chc === undefined) {
       softSkip('inapplicable', 'optional advertisement — `multiAgent.executionModel.crossHostCausation` not advertised by this host (RFC 0040 §D)');
       ctx.skip(); // host doesn't advertise — soft-skip
-      return;
+      return softSkip('blocked', 'precondition not met — `chc === undefined` returned early (seam, prior step, or fixture unavailable)');
     }
 
     expect(
       typeof chc.supported,
-      driver.describe(
+      req('openwop.it.cross-host-causation-shape.crosshostcausation-when-present-conforms-to-rfc-0040-d', 
         'RFCS/0040-multi-agent-cross-host-causation.md §D',
         'crossHostCausation.supported MUST be boolean when present',
       ),
@@ -85,7 +86,7 @@ describe.skipIf(HTTP_SKIP)('cross-host-causation-shape: advertisement shape (RFC
       const version = capabilityFamily<{ executionModel?: { [k: string]: unknown; crossHostCausation?: Record<string, unknown>; replayDeterminism?: Record<string, unknown> } }>(d, 'multiAgent')?.executionModel?.version as number | undefined;
       expect(
         typeof version === 'number' && version >= 3,
-        driver.describe(
+        req('openwop.it.cross-host-causation-shape.crosshostcausation-when-present-conforms-to-rfc-0040-d', 
           'RFCS/0040-multi-agent-cross-host-causation.md §D',
           'when crossHostCausation.supported: true, multiAgent.executionModel.version MUST be >= 3',
         ),
@@ -93,7 +94,7 @@ describe.skipIf(HTTP_SKIP)('cross-host-causation-shape: advertisement shape (RFC
 
       expect(
         typeof chc.hostId === 'string' && (chc.hostId as string).length >= 1,
-        driver.describe(
+        req('openwop.it.cross-host-causation-shape.crosshostcausation-when-present-conforms-to-rfc-0040-d', 
           'RFCS/0040-multi-agent-cross-host-causation.md §D',
           'when crossHostCausation.supported: true, hostId MUST be present + non-empty',
         ),
@@ -103,7 +104,7 @@ describe.skipIf(HTTP_SKIP)('cross-host-causation-shape: advertisement shape (RFC
     if (chc.ancestryEndpointSupported !== undefined) {
       expect(
         typeof chc.ancestryEndpointSupported,
-        driver.describe(
+        req('openwop.it.cross-host-causation-shape.crosshostcausation-when-present-conforms-to-rfc-0040-d', 
           'RFCS/0040-multi-agent-cross-host-causation.md §D',
           'ancestryEndpointSupported MUST be boolean when present',
         ),

package/src/scenarios/cross-workspace-isolation.test.ts

@@ -23,6 +23,7 @@
 import { describe, it, expect } from 'vitest';
 import { softSkip } from '../lib/soft-skip.js';
 import { driver } from '../lib/driver.js';
+import { req } from '../lib/requirement-ids.js';
 
 const ISOLATION_CODES: ReadonlySet<string> = new Set(['run_forbidden', 'not_found']);
 
@@ -41,7 +42,7 @@ describe('cross-workspace-isolation: run-ownership echo shape (RFC 0048 §C)', (
     if (owner === undefined) return softSkip('blocked', 'single-tenant host — owner omitted (owner === undefined)');
     expect(
       typeof owner.tenant === 'string' && owner.tenant.length > 0,
-      driver.describe('RFC 0048 §C', 'RunSnapshot.owner MUST carry a non-empty tenant when present'),
+      req('openwop.it.cross-workspace-isolation.owner-when-present-on-a-run-snapshot-carries-a-non-empty-tenant', 'RFC 0048 §C', 'RunSnapshot.owner MUST carry a non-empty tenant when present'),
     ).toBe(true);
   });
 });
@@ -55,7 +56,7 @@ describe('cross-workspace-isolation: a principal MUST NOT read another workspace
 
     expect(
       res.status,
-      driver.describe(
+      req('openwop.it.cross-workspace-isolation.cross-workspace-read-fails-closed-with-run-forbidden', 
         'spec/v1/auth.md §Identity claims',
         'a cross-workspace read MUST fail closed (4xx), never return the other workspace\'s run',
       ),
@@ -64,7 +65,7 @@ describe('cross-workspace-isolation: a principal MUST NOT read another workspace
     const code = (res.json as { error?: string } | undefined)?.error;
     expect(
       code !== undefined && ISOLATION_CODES.has(code),
-      driver.describe(
+      req('openwop.it.cross-workspace-isolation.cross-workspace-read-fails-closed-with-run-forbidden', 
         'spec/v1/rest-endpoints.md run_forbidden',
         `error MUST be one of {${[...ISOLATION_CODES].join(', ')}} (fail-closed, no existence leak), got: ${code ?? '(absent)'}`,
       ),

package/src/scenarios/data-residency-admission.test.ts

@@ -45,6 +45,7 @@ import { SCHEMAS_DIR, V1_DIR } from '../lib/paths.js';
 import { driver } from '../lib/driver.js';
 import { behaviorGate } from '../lib/behavior-gate.js';
 import { readCapabilityFamily } from '../lib/discovery-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
 
 const HTTP_SKIP = !process.env.OPENWOP_BASE_URL;
 
@@ -52,31 +53,31 @@ describe('data-residency: schema + error registration (always-on, server-free)',
   it('capabilities.dataResidency requires `supported` (const true) + `regions`, closed', () => {
     const caps = JSON.parse(readFileSync(join(SCHEMAS_DIR, 'capabilities.schema.json'), 'utf8'));
     const fam = caps.properties?.dataResidency;
-    expect(fam, 'capabilities.schema.json MUST define the dataResidency family (RFC 0129 §1)').toBeDefined();
-    expect(fam.additionalProperties, 'dataResidency MUST close its shape').toBe(false);
+    expect(fam, req('openwop.it.data-residency-admission.capabilities-dataresidency-requires-supported-const-true-regions-closed', 'RFC 0129', 'capabilities.schema.json MUST define the dataResidency family (RFC 0129 §1)')).toBeDefined();
+    expect(fam.additionalProperties, req('openwop.it.data-residency-admission.capabilities-dataresidency-requires-supported-const-true-regions-closed', 'RFC 0129', 'dataResidency MUST close its shape')).toBe(false);
     expect(fam.required?.sort()).toEqual(['regions', 'supported']);
     const ajv = new Ajv2020({ allErrors: true, strict: false });
     const vf = ajv.compile(fam);
-    expect(vf({ supported: true, regions: ['eu', 'us'] }), 'the canonical advert MUST validate').toBe(true);
-    expect(vf({ supported: true }), 'an advert without `regions` MUST fail').toBe(false);
-    expect(vf({ regions: ['eu'] }), 'an advert without `supported` MUST fail').toBe(false);
-    expect(vf({ supported: false, regions: ['eu'] }), 'dataResidency.supported is const true — false MUST fail').toBe(false);
+    expect(vf({ supported: true, regions: ['eu', 'us'] }), req('openwop.it.data-residency-admission.capabilities-dataresidency-requires-supported-const-true-regions-closed', 'RFC 0129', 'the canonical advert MUST validate')).toBe(true);
+    expect(vf({ supported: true }), req('openwop.it.data-residency-admission.capabilities-dataresidency-requires-supported-const-true-regions-closed', 'RFC 0129', 'an advert without `regions` MUST fail')).toBe(false);
+    expect(vf({ regions: ['eu'] }), req('openwop.it.data-residency-admission.capabilities-dataresidency-requires-supported-const-true-regions-closed', 'RFC 0129', 'an advert without `supported` MUST fail')).toBe(false);
+    expect(vf({ supported: false, regions: ['eu'] }), req('openwop.it.data-residency-admission.capabilities-dataresidency-requires-supported-const-true-regions-closed', 'RFC 0129', 'dataResidency.supported is const true — false MUST fail')).toBe(false);
   });
 
   it('residency.schema.json requires `region` and closes its shape', () => {
     const ajv = new Ajv2020({ allErrors: true, strict: false });
     addFormats(ajv);
     const validate = ajv.compile(JSON.parse(readFileSync(join(SCHEMAS_DIR, 'residency.schema.json'), 'utf8')));
-    expect(validate({ region: 'eu' }), 'RFC 0129 §2 — a `{region}` residency constraint MUST validate').toBe(true);
-    expect(validate({}), 'RFC 0129 §2 — `region` is REQUIRED').toBe(false);
-    expect(validate({ region: 'eu', extra: 1 }), 'residency MUST be closed (additionalProperties:false)').toBe(false);
+    expect(validate({ region: 'eu' }), req('openwop.it.data-residency-admission.residency-schema-json-requires-region-and-closes-its-shape', 'RFC 0129', 'RFC 0129 §2 — a `{region}` residency constraint MUST validate')).toBe(true);
+    expect(validate({}), req('openwop.it.data-residency-admission.residency-schema-json-requires-region-and-closes-its-shape', 'RFC 0129', 'RFC 0129 §2 — `region` is REQUIRED')).toBe(false);
+    expect(validate({ region: 'eu', extra: 1 }), req('openwop.it.data-residency-admission.residency-schema-json-requires-region-and-closes-its-shape', 'RFC 0129', 'residency MUST be closed (additionalProperties:false)')).toBe(false);
   });
 
   it.skipIf(V1_DIR === null)('residency_unavailable is registered in the rest-endpoints error prose', () => {
     const rest = readFileSync(join(V1_DIR as string, 'rest-endpoints.md'), 'utf8');
     expect(
       rest.includes('`residency_unavailable`'),
-      'rest-endpoints.md §"Common error codes" MUST register `residency_unavailable` (RFC 0129 §3)',
+      req('openwop.it.data-residency-admission.residency-unavailable-is-registered-in-the-rest-endpoints-error-prose', 'RFC 0129', 'rest-endpoints.md §"Common error codes" MUST register `residency_unavailable` (RFC 0129 §3)'),
     ).toBe(true);
   });
 });
@@ -99,7 +100,7 @@ describe.skipIf(HTTP_SKIP)('data-residency: admission control (capability-gated,
     // region with residency_unavailable. That specific pairing is the violation.
     expect(
       readErrorCode(ok.json) !== 'residency_unavailable',
-      driver.describe(
+      req('openwop.it.data-residency-admission.accepts-an-advertised-region-and-rejects-an-unadvertised-one-with-residency-unav', 
         'capabilities.md §dataResidency / RFC 0129 §3',
         `an ADVERTISED region ("${advertised}") MUST NOT be rejected with residency_unavailable (accept iff advertised) — got ${ok.status} ${JSON.stringify(ok.json).slice(0, 200)}`,
       ),
@@ -118,21 +119,21 @@ describe.skipIf(HTTP_SKIP)('data-residency: admission control (capability-gated,
 
     expect(
       rej.status === 400 || rej.status === 404 || rej.status === 422,
-      driver.describe(
+      req('openwop.it.data-residency-admission.accepts-an-advertised-region-and-rejects-an-unadvertised-one-with-residency-unav', 
         'rest-endpoints.md §residency_unavailable',
         `an unadvertised region MUST be rejected at HTTP one-of 400/404/422 (envelope-not-status, #815) — got ${rej.status}`,
       ),
     ).toBe(true);
     expect(
       readErrorCode(rej.json) === 'residency_unavailable',
-      driver.describe(
+      req('openwop.it.data-residency-admission.accepts-an-advertised-region-and-rejects-an-unadvertised-one-with-residency-unav', 
         'RFC 0129 §3',
         `an unadvertised region MUST be rejected with error code "residency_unavailable" (MUST NOT silently accept-and-ignore) — got ${JSON.stringify(rej.json).slice(0, 200)}`,
       ),
     ).toBe(true);
     expect(
       rejBody?.runId === undefined,
-      driver.describe('RFC 0129 §3', 'a rejected residency request MUST create NO run (no runId in the response)'),
+      req('openwop.it.data-residency-admission.accepts-an-advertised-region-and-rejects-an-unadvertised-one-with-residency-unav', 'RFC 0129 §3', 'a rejected residency request MUST create NO run (no runId in the response)'),
     ).toBe(true);
   });
 });