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

package/src/scenarios/multi-region-idempotency.test.ts

@@ -32,6 +32,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 ALLOWED = new Set(['single-region', 'reconciled-records', 'fenced-effects']);
 const REQUIRED_METRICS_WHEN_MULTI_REGION = [
@@ -62,7 +63,7 @@ describe('multi-region-idempotency: capability shape', () => {
       return softSkip('blocked', 'precondition not met — `!idem || idem.crossRegion === undefined` returned early (seam, prior step, or fixture unavailable)');
     }
 
-    expect(ALLOWED.has(idem.crossRegion), driver.describe(
+    expect(ALLOWED.has(idem.crossRegion), req('openwop.it.multi-region-idempotency.idempotency-crossregion-when-advertised-must-be-one-of-the-closed-enum', 
       'idempotency.md §"Multi-region idempotency" §"Capability advertisement"',
       'crossRegion MUST be one of {"single-region","reconciled-records","fenced-effects"}',
     )).toBe(true);
@@ -88,7 +89,7 @@ describe('multi-region-idempotency: capability shape', () => {
 
     const advertised = new Set(observability?.metrics?.names ?? []);
     for (const name of REQUIRED_METRICS_WHEN_MULTI_REGION) {
-      expect(advertised.has(name), driver.describe(
+      expect(advertised.has(name), req('openwop.it.multi-region-idempotency.multi-region-hosts-should-expose-the-cross-region-conflict-counter-per-operator', 
         'idempotency.md §"Operator surface"',
         `multi-region hosts SHOULD advertise metric "${name}" so operators can monitor conflict frequency`,
       )).toBe(true);
@@ -122,7 +123,7 @@ describe('multi-region-idempotency: granular multiRegion advertisement shape (RF
 
     expect(
       typeof mr.supported,
-      driver.describe(
+      req('openwop.it.multi-region-idempotency.capabilities-idempotency-multiregion-when-present-conforms-to-rfc-0036-a', 
         'RFCS/0036-multi-region-and-cross-engine-guarantees.md §A',
         'capabilities.idempotency.multiRegion.supported MUST be boolean when present',
       ),
@@ -133,7 +134,7 @@ describe('multi-region-idempotency: granular multiRegion advertisement shape (RF
         const n = mr.replicationLagBoundMs as number;
         expect(
           Number.isInteger(n) && n >= 0 && n <= 60000,
-          driver.describe(
+          req('openwop.it.multi-region-idempotency.capabilities-idempotency-multiregion-when-present-conforms-to-rfc-0036-a', 
             'RFCS/0036-multi-region-and-cross-engine-guarantees.md §A',
             'replicationLagBoundMs MUST be integer in [0, 60000] when supported is true',
           ),
@@ -145,7 +146,7 @@ describe('multi-region-idempotency: granular multiRegion advertisement shape (RF
         const isExtension = /^x-host-[a-z][a-z0-9-]*-[a-z][a-z0-9-]*$/.test(s);
         expect(
           isCategorical || isExtension,
-          driver.describe(
+          req('openwop.it.multi-region-idempotency.capabilities-idempotency-multiregion-when-present-conforms-to-rfc-0036-a', 
             'RFCS/0036-multi-region-and-cross-engine-guarantees.md §A',
             'partitionRecoveryStrategy MUST be `lexicographic-min-run-id` OR match ^x-host-<host>-<key>$ (RFC 0150 §D removed the time-ordered rules: with no shared clock under a partition, each region believes it wrote last, so neither can produce the reproducible survivor the annex requires)',
           ),

package/src/scenarios/node-failed-payload-shape.test.ts

@@ -25,6 +25,7 @@ import { driver } from '../lib/driver.js';
 import { pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
 import { SCHEMAS_DIR } from '../lib/paths.js';
+import { req } from '../lib/requirement-ids.js';
 
 const WORKFLOW_ID = 'conformance-failure';
 const SKIP_NO_FIXTURE = !isFixtureAdvertised(WORKFLOW_ID);
@@ -43,10 +44,10 @@ function nodeFailedValidator() {
 describe.skipIf(SKIP_NO_FIXTURE)('run-event-payloads.schema.json §nodeFailed — node.failed carries a structured error object', () => {
   it('every node.failed on the conformance-failure run validates against §nodeFailed (error: { code, message } is an object, not a string)', async () => {
     const create = await driver.post('/v1/runs', { workflowId: WORKFLOW_ID });
-    expect(create.status, driver.describe('rest-endpoints.md', 'POST /v1/runs MUST return 201 for the failing fixture')).toBe(201);
+    expect(create.status, req('openwop.it.node-failed-payload-shape.every-node-failed-on-the-conformance-failure-run-validates-against-nodefailed-er', 'rest-endpoints.md', 'POST /v1/runs MUST return 201 for the failing fixture')).toBe(201);
     const runId = (create.json as { runId: string }).runId;
     const terminal = await pollUntilTerminal(runId);
-    expect(terminal.status, driver.describe('fixtures.md conformance-failure §Terminal status', 'fixture MUST reach terminal `failed`')).toBe('failed');
+    expect(terminal.status, req('openwop.it.node-failed-payload-shape.every-node-failed-on-the-conformance-failure-run-validates-against-nodefailed-er', 'fixtures.md conformance-failure §Terminal status', 'fixture MUST reach terminal `failed`')).toBe('failed');
 
     const res = await driver.get(`/v1/runs/${encodeURIComponent(runId)}/events`);
     expect(res.status).toBe(200);
@@ -54,7 +55,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('run-event-payloads.schema.json §nodeFailed
     const failed = events.filter((e) => e.type === 'node.failed');
     expect(
       failed.length,
-      driver.describe('rest-endpoints.md §Run events', 'a run that fails at a node MUST carry at least one node.failed event on its log'),
+      req('openwop.it.node-failed-payload-shape.every-node-failed-on-the-conformance-failure-run-validates-against-nodefailed-er', 'rest-endpoints.md §Run events', 'a run that fails at a node MUST carry at least one node.failed event on its log'),
     ).toBeGreaterThan(0);
 
     const validate = nodeFailedValidator();
@@ -62,7 +63,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('run-event-payloads.schema.json §nodeFailed
       const ok = validate(ev.payload);
       expect(
         ok,
-        driver.describe(
+        req('openwop.it.node-failed-payload-shape.every-node-failed-on-the-conformance-failure-run-validates-against-nodefailed-er', 
           'run-event-payloads.schema.json §nodeFailed',
           `node.failed payload MUST validate — error is a REQUIRED object { code, message } (_errorObject), not a bare string or a data.code: ${JSON.stringify(validate.errors)} — payload: ${JSON.stringify(ev.payload).slice(0, 300)}`,
         ),

package/src/scenarios/node-module-required-capabilities-shape.test.ts

@@ -21,6 +21,8 @@
 import { describe, it, expect, beforeAll } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { discoveryFamilies } from '../lib/discovery-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
+import { softSkip } from '../lib/soft-skip.js';
 
 /** RFC 0031 §C — spec-reserved capability identifiers. */
 const RESERVED_IDENTIFIERS: ReadonlySet<string> = new Set([
@@ -84,7 +86,7 @@ describe('node-module-required-capabilities-shape: authoring convention (RFC 003
     if (SKIP_REASON) {
       // eslint-disable-next-line no-console
       console.warn(`[node-module-required-capabilities-shape] skip: ${SKIP_REASON}`);
-      return;
+      return softSkip('skipped', 'operator opted out — gate `SKIP_REASON` returned early ([node-module-required-capabilities-shape] skip: …)');
     }
     const aiNodes = CATALOG.filter((n) => /^core\.ai\./.test(n.typeId));
     const missing: string[] = [];
@@ -103,7 +105,7 @@ describe('node-module-required-capabilities-shape: authoring convention (RFC 003
     // node was inspected (otherwise the test is vacuous). MUST hold.
     expect(
       aiNodes.length,
-      driver.describe(
+      req('openwop.it.node-module-required-capabilities-shape.every-nodemodule-with-typeid-matching-core-ai-declares-non-empty-requiredmodelca', 
         'RFC 0031 §B',
         'host MUST advertise at least one core.ai.* NodeModule in the node catalog (otherwise the SHOULD has no surface to bind to)',
       ),
@@ -111,7 +113,7 @@ describe('node-module-required-capabilities-shape: authoring convention (RFC 003
   });
 
   it('every declared identifier MUST match the spec-reserved set OR the `x-host-<host>-<key>` extension pattern', () => {
-    if (SKIP_REASON) return;
+    if (SKIP_REASON) return softSkip('skipped', 'operator opted out — gate `SKIP_REASON` returned early');
     const violations: Array<{ typeId: string; identifier: string }> = [];
     for (const n of CATALOG) {
       if (!Array.isArray(n.requiredModelCapabilities)) continue;
@@ -127,7 +129,7 @@ describe('node-module-required-capabilities-shape: authoring convention (RFC 003
     }
     expect(
       violations,
-      driver.describe(
+      req('openwop.it.node-module-required-capabilities-shape.every-declared-identifier-must-match-the-spec-reserved-set-or-the-x-host-host-ke', 
         'RFC 0031 §C "Reservation policy"',
         'every requiredModelCapabilities identifier MUST be spec-reserved OR match x-host-<host>-<key>',
       ),
@@ -135,7 +137,7 @@ describe('node-module-required-capabilities-shape: authoring convention (RFC 003
   });
 
   it('NodeModule.fallbackModel.provider (when declared) MUST be in `capabilities.aiProviders.supported[]`', () => {
-    if (SKIP_REASON) return;
+    if (SKIP_REASON) return softSkip('skipped', 'operator opted out — gate `SKIP_REASON` returned early');
     const violations: Array<{ typeId: string; provider: string }> = [];
     for (const n of CATALOG) {
       const fm = n.fallbackModel;
@@ -148,7 +150,7 @@ describe('node-module-required-capabilities-shape: authoring convention (RFC 003
     }
     expect(
       violations,
-      driver.describe(
+      req('openwop.it.node-module-required-capabilities-shape.nodemodule-fallbackmodel-provider-when-declared-must-be-in-capabilities-aiprovid', 
         'RFC 0031 §B',
         'every fallbackModel.provider MUST appear in capabilities.aiProviders.supported[]',
       ),
@@ -156,7 +158,7 @@ describe('node-module-required-capabilities-shape: authoring convention (RFC 003
   });
 
   it('a NodeModule declaring `requiredModelCapabilities` without `fallbackModel` is conformant — refusal-only (no substitution) is the default posture', () => {
-    if (SKIP_REASON) return;
+    if (SKIP_REASON) return softSkip('skipped', 'operator opted out — gate `SKIP_REASON` returned early');
     // The check is structural: catalog entries are not malformed when
     // they carry requiredModelCapabilities AND lack fallbackModel. This
     // asserts the host doesn't synthesize a default fallbackModel for
@@ -176,7 +178,7 @@ describe('node-module-required-capabilities-shape: authoring convention (RFC 003
     for (const n of refusalOnly) {
       expect(
         n.fallbackModel,
-        driver.describe(
+        req('openwop.it.node-module-required-capabilities-shape.a-nodemodule-declaring-requiredmodelcapabilities-without-fallbackmodel-is-confor', 
           'RFC 0031 §B',
           `${n.typeId}: refusal-only posture MUST surface as absent fallbackModel (not as {} or null wrapper)`,
         ),

package/src/scenarios/oauth-authorization-code-roundtrip.test.ts

@@ -38,6 +38,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 DiscoveryOAuth {
   supported?: boolean;
@@ -100,7 +101,7 @@ describe('oauth-authorization-code-roundtrip: the grant dance (RFC 0047 §C)', (
 
     expect(
       res.status,
-      driver.describe(
+      req('openwop.it.oauth-authorization-code-roundtrip.acquires-a-token-via-authorization-code-and-returns-a-reference-never-the-token', 
         'RFC 0047 §C',
         'the authorize-code-roundtrip seam MUST perform the authorization_code grant against the synthetic provider and return the run observable surfaces',
       ),
@@ -109,7 +110,7 @@ describe('oauth-authorization-code-roundtrip: the grant dance (RFC 0047 §C)', (
     const body = (res.json ?? {}) as { credentialRef?: unknown };
     expect(
       typeof body.credentialRef === 'string' && body.credentialRef.length > 0,
-      driver.describe(
+      req('openwop.it.oauth-authorization-code-roundtrip.acquires-a-token-via-authorization-code-and-returns-a-reference-never-the-token', 
         'RFC 0047 §C',
         'a successful roundtrip MUST resolve to a credential REFERENCE (token persisted as a host.credentials entry), not the raw token',
       ),
@@ -120,7 +121,7 @@ describe('oauth-authorization-code-roundtrip: the grant dance (RFC 0047 §C)', (
     for (const secret of SECRET_VALUES) {
       expect(
         serialized.includes(secret),
-        driver.describe(
+        req('openwop.it.oauth-authorization-code-roundtrip.acquires-a-token-via-authorization-code-and-returns-a-reference-never-the-token', 
           'RFC 0047 §C / SECURITY/invariants.yaml credential-payload-redaction',
           `the authorization code, state, PKCE verifier, and acquired token material MUST NOT appear on any run-visible surface — leaked: ${secret.slice(0, 16)}…`,
         ),
@@ -135,7 +136,7 @@ describe('oauth-authorization-code-roundtrip: the grant dance (RFC 0047 §C)', (
         const keys = Object.keys(authorized.payload);
         expect(
           keys.includes('credentialRef') && !keys.includes('access_token') && !keys.includes('refresh_token'),
-          driver.describe(
+          req('openwop.it.oauth-authorization-code-roundtrip.acquires-a-token-via-authorization-code-and-returns-a-reference-never-the-token', 
             'RFC 0047 §C',
             'connector.authorized MUST carry { provider, credentialRef, scopes } and MUST NOT carry token material',
           ),

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

@@ -20,6 +20,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 DiscoveryOAuthProvider {
   id?: string;
@@ -58,7 +59,7 @@ describe('oauth-capability-shape: advertisement shape (RFC 0047 §A)', () => {
     if (oauth === null) return softSkip('inapplicable', 'host doesn\'t advertise host.oauth at all');
     expect(
       typeof oauth.supported,
-      driver.describe(
+      req('openwop.it.oauth-capability-shape.capabilities-oauth-is-either-absent-or-well-formed', 
         'capabilities.schema.json §oauth',
         'capabilities.oauth.supported MUST be a boolean when oauth is advertised',
       ),
@@ -70,12 +71,12 @@ describe('oauth-capability-shape: advertisement shape (RFC 0047 §A)', () => {
     if (!oauth?.supported || oauth.grants === undefined) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `!oauth?.supported || oauth.grants === undefined` returned early');
     expect(
       Array.isArray(oauth.grants),
-      driver.describe('RFC 0047 §A', 'capabilities.oauth.grants MUST be an array'),
+      req('openwop.it.oauth-capability-shape.grants-is-a-subset-of-the-canonical-grant-set-when-supported', 'RFC 0047 §A', 'capabilities.oauth.grants MUST be an array'),
     ).toBe(true);
     for (const grant of oauth.grants) {
       expect(
         VALID_GRANTS.has(grant),
-        driver.describe(
+        req('openwop.it.oauth-capability-shape.grants-is-a-subset-of-the-canonical-grant-set-when-supported', 
           'RFC 0047 §A',
           `capabilities.oauth.grants entries MUST be one of {${[...VALID_GRANTS].join(', ')}}, got: ${grant}`,
         ),
@@ -89,7 +90,7 @@ describe('oauth-capability-shape: advertisement shape (RFC 0047 §A)', () => {
     for (const provider of oauth.providers) {
       expect(
         typeof provider.id === 'string' && provider.id.length > 0,
-        driver.describe(
+        req('openwop.it.oauth-capability-shape.every-advertised-provider-has-a-non-empty-id-when-supported', 
           'RFC 0047 §A',
           'each capabilities.oauth.providers[] entry MUST declare a non-empty id',
         ),

package/src/scenarios/oauth-connector-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 DiscoveryOAuth {
   supported?: boolean;
@@ -53,7 +54,7 @@ describe('oauth-connector-redaction: advertisement shape (RFC 0047 §A)', () =>
     if (oauth === null) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `oauth === null` returned early');
     expect(
       typeof oauth.supported,
-      driver.describe(
+      req('openwop.it.oauth-connector-redaction.capabilities-oauth-supported-is-a-boolean-when-advertised', 
         'capabilities.schema.json §oauth',
         'capabilities.oauth.supported MUST be a boolean when oauth is advertised',
       ),
@@ -75,7 +76,7 @@ describe('oauth-connector-redaction: token material MUST NOT cross the wire (RFC
 
     expect(
       res.status,
-      driver.describe(
+      req('openwop.it.oauth-connector-redaction.canary-token-is-absent-from-every-observable-run-surface', 
         'RFC 0047 §C',
         'the oauth connector-echo seam MUST acquire the token and return the run observable surfaces',
       ),
@@ -84,7 +85,7 @@ describe('oauth-connector-redaction: token material MUST NOT cross the wire (RFC
     const serialized = JSON.stringify(res.json ?? {});
     expect(
       serialized.includes(TOKEN_CANARY),
-      driver.describe(
+      req('openwop.it.oauth-connector-redaction.canary-token-is-absent-from-every-observable-run-surface', 
         'SECURITY/invariants.yaml credential-payload-redaction',
         'acquired OAuth token material MUST NOT appear in inputs, variables, channels, events, snapshot, or debug bundle — only the credential reference may cross the wire',
       ),

package/src/scenarios/openapi-resolved-paths.test.ts

@@ -21,6 +21,7 @@ import { describe, it, expect } from 'vitest';
 import { readFileSync } from 'node:fs';
 import { join } from 'node:path';
 import { API_DIR } from '../lib/paths.js';
+import { req } from '../lib/requirement-ids.js';
 
 const OPENAPI_PATH = join(API_DIR, 'openapi.yaml');
 
@@ -86,8 +87,8 @@ describe('RFC 0149 §A — every server/path pair resolves to exactly one /v1 se
     // Guards the gate itself: an extraction that silently found nothing would
     // make every assertion below vacuously true — the exact failure mode
     // RFC 0148 exists to prevent.
-    expect(servers.length, `${OPENAPI_PATH} MUST declare servers[]`).toBeGreaterThan(0);
-    expect(paths.length, `${OPENAPI_PATH} MUST declare paths`).toBeGreaterThan(0);
+    expect(servers.length, req('openwop.it.openapi-resolved-paths.the-document-declares-at-least-one-server-and-one-path', 'RFC 0149 §A', `${OPENAPI_PATH} MUST declare servers[]`)).toBeGreaterThan(0);
+    expect(paths.length, req('openwop.it.openapi-resolved-paths.the-document-declares-at-least-one-server-and-one-path', 'RFC 0149 §A', `${OPENAPI_PATH} MUST declare paths`)).toBeGreaterThan(0);
   });
 
   it('no versioned operation resolves to a duplicated /v1 prefix', () => {
@@ -102,10 +103,10 @@ describe('RFC 0149 §A — every server/path pair resolves to exactly one /v1 se
     }
     expect(
       offenders,
-      'RFC 0149 §A: a versioned operation MUST resolve with exactly one `/v1` segment. ' +
+      req('openwop.it.openapi-resolved-paths.no-versioned-operation-resolves-to-a-duplicated-v1-prefix', 'RFC 0149 §A', 'RFC 0149 §A: a versioned operation MUST resolve with exactly one `/v1` segment. ' +
         'Offending server/path pairs:\n  ' +
         offenders.join('\n  ') +
-        '\nFix: drop `/v1` from `servers[].url` and keep it in the path keys.',
+        '\nFix: drop `/v1` from `servers[].url` and keep it in the path keys.'),
     ).toEqual([]);
   });
 
@@ -119,7 +120,7 @@ describe('RFC 0149 §A — every server/path pair resolves to exactly one /v1 se
         const resolved = resolvedPath(server, pathKey);
         expect(
           resolved,
-          `RFC 0149 §A: ${pathKey} MUST remain unversioned; resolved as ${resolved}`,
+          req('openwop.it.openapi-resolved-paths.the-unversioned-discovery-route-stays-unversioned-when-resolved', 'RFC 0149 §A', `RFC 0149 §A: ${pathKey} MUST remain unversioned; resolved as ${resolved}`),
         ).toBe(pathKey);
       }
     }

package/src/scenarios/orchestratorConservativePath.test.ts

@@ -22,6 +22,7 @@ import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
 import { isOrchestratorSupported } from '../lib/multi-agent-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
 
 const FIXTURE = 'conformance-orchestrator-low-confidence';
 const SKIP = !isOrchestratorSupported() || !isFixtureAdvertised(FIXTURE);
@@ -51,7 +52,7 @@ describe.skipIf(SKIP)('orchestratorConservativePath: CP-1 low-confidence suspend
     const decisionsBeforeResume = list.filter((e) => e.type === 'runOrchestrator.decided');
     expect(
       decisionsBeforeResume.length,
-      'CP-1: low-confidence holds the decision until human ratification',
+      req('openwop.it.orchestratorConservativePath.supervisor-below-threshold-suspends-with-reason-low-confidence-ratified-decision', 'RFCS/0006-orchestrator.md', 'CP-1: low-confidence holds the decision until human ratification'),
     ).toBe(0);
 
     // node.suspended with reason=low-confidence is present.

package/src/scenarios/orchestratorDispatch.test.ts

@@ -27,6 +27,7 @@ import {
   isOrchestratorSupported,
   isDispatchSupported,
 } from '../lib/multi-agent-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
 
 const FIXTURE = 'conformance-orchestrator-dispatch';
 const SKIP =
@@ -55,7 +56,7 @@ describe.skipIf(SKIP)('orchestratorDispatch: supervisor → dispatch → next-wo
       const d = e.payload?.decision as { kind?: string } | undefined;
       return d?.kind === 'next-worker';
     });
-    expect(nextWorker, 'fixture emits at least one kind:next-worker decision').toBeDefined();
+    expect(nextWorker, req('openwop.it.orchestratorDispatch.emits-runorchestrator-decided-next-worker-between-supervisor-dispatch', 'RFCS/0006-orchestrator.md', 'fixture emits at least one kind:next-worker decision')).toBeDefined();
 
     const payload = nextWorker!.payload!;
     expect(typeof payload.agentId).toBe('string');

package/src/scenarios/orchestratorTermination.test.ts

@@ -20,6 +20,7 @@ import { driver } from '../lib/driver.js';
 import { pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
 import { isOrchestratorSupported } from '../lib/multi-agent-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
 
 const FIXTURE = 'conformance-orchestrator-terminate';
 const SKIP = !isOrchestratorSupported() || !isFixtureAdvertised(FIXTURE);
@@ -27,7 +28,7 @@ const SKIP = !isOrchestratorSupported() || !isFixtureAdvertised(FIXTURE);
 describe.skipIf(SKIP)('orchestratorTermination: terminate decision → run.completed (CO-3)', () => {
   it('terminate is the final orchestrator decision; run completes cleanly', async () => {
     const create = await driver.post('/v1/runs', { workflowId: FIXTURE });
-    expect(create.status).toBe(201);
+    expect(create.status, req('openwop.it.orchestratorTermination.terminate-is-the-final-orchestrator-decision-run-completes-cleanly', 'RFCS/0006-orchestrator.md', 'terminate is the final orchestrator decision; run completes cleanly')).toBe(201);
     const runId = (create.json as { runId: string }).runId;
 
     const terminal = await pollUntilTerminal(runId);

package/src/scenarios/org-position-no-authority-escalation.test.ts

@@ -32,9 +32,9 @@
 
 import { describe, it, expect } from 'vitest';
 import { seamAbsent } from '../lib/soft-skip.js';
-import { driver } from '../lib/driver.js';
 import { behaviorGate } from '../lib/behavior-gate.js';
 import { readOrgChartCap, getOrgChart, getDepartmentView, AUTHORITY_FIELDS } from '../lib/agentOrgChart.js';
+import { req } from '../lib/requirement-ids.js';
 
 /** Assert an org-chart wire object carries no authority-bearing field. */
 function expectNoAuthority(obj: Record<string, unknown> | undefined, where: string): void {
@@ -42,7 +42,7 @@ function expectNoAuthority(obj: Record<string, unknown> | undefined, where: stri
   for (const f of AUTHORITY_FIELDS) {
     expect(
       !(f in obj),
-      driver.describe('RFC 0087 §B / org-position-no-authority-escalation', `${where} MUST NOT carry the authority field "${f}" — org position confers no authority`),
+      req('openwop.it.org-position-no-authority-escalation.the-live-org-chart-wire-carries-no-authority-bearing-field-on-any-member-departm', 'RFC 0087 §B / org-position-no-authority-escalation', `${where} MUST NOT carry the authority field "${f}" — org position confers no authority`),
     ).toBe(true);
   }
 }

package/src/scenarios/otel-collector-canary-inspection.test.ts

@@ -37,6 +37,7 @@
 
 import { describe, it, expect, afterEach } from 'vitest';
 import { OtelCollector } from '../lib/otel-collector.js';
+import { req } from '../lib/requirement-ids.js';
 
 /**
  * NOT callback-shaped, despite importing the collector.
@@ -119,7 +120,7 @@ function metricsPayload(metricName: string, attrs: Record<string, string>): unkn
 }
 
 // NOTE: assertions here intentionally use bare `expect(...)` rather than
-// `expect(..., driver.describe('spec.md §section', 'requirement'))`. This is a
+// `expect(..., req('openwop.it.<file>.<slug>', 'spec.md §section', 'requirement'))`. This is a
 // HARNESS self-test — it verifies the conformance collector's own
 // `findCanaryLeakage()` inspector, not a host's compliance with a spec
 // requirement, so there is no spec section to cite (consistent with other
@@ -196,7 +197,7 @@ describe('otel-collector-canary-inspection: collector inspects real OTLP exports
     );
 
     const leaks = collector.findCanaryLeakage(CANARY);
-    expect(leaks.length).toBeGreaterThan(0);
+    expect(leaks.length, req('openwop.it.otel-collector-canary-inspection.catches-a-canary-embedded-in-a-span-attribute-value', 'KNOWN-LIMITS.md', 'catches a canary embedded in a span attribute value')).toBeGreaterThan(0);
     const attrLeak = leaks.find((l) => l.surface === 'span.attribute');
     expect(attrLeak).toBeDefined();
     expect(attrLeak!.key).toBe('http.request.header.authorization');
@@ -216,7 +217,7 @@ describe('otel-collector-canary-inspection: collector inspects real OTLP exports
 
     const leaks = collector.findCanaryLeakage(CANARY);
     const surfaces = new Set(leaks.map((l) => l.surface));
-    expect(surfaces.has('span.name')).toBe(true);
+    expect(surfaces.has('span.name'), req('openwop.it.otel-collector-canary-inspection.catches-a-canary-in-a-resource-attribute-and-in-a-span-name', 'KNOWN-LIMITS.md', 'catches a canary in a resource attribute and in a span name')).toBe(true);
     expect(surfaces.has('span.resourceAttribute')).toBe(true);
   });
 
@@ -227,7 +228,7 @@ describe('otel-collector-canary-inspection: collector inspects real OTLP exports
 
     const leaks = collector.findCanaryLeakage(CANARY);
     const metricLeak = leaks.find((l) => l.surface === 'metric.attribute');
-    expect(metricLeak).toBeDefined();
+    expect(metricLeak, req('openwop.it.otel-collector-canary-inspection.catches-a-canary-in-a-metric-data-point-attribute', 'KNOWN-LIMITS.md', 'catches a canary in a metric data-point attribute')).toBeDefined();
     expect(metricLeak!.emitterName).toBe('openwop.node.duration');
   });
 
@@ -240,7 +241,7 @@ describe('otel-collector-canary-inspection: collector inspects real OTLP exports
 
     const leaks = collector.findCanaryLeakage(CANARY);
     const resourceLeaks = leaks.filter((l) => l.surface === 'span.resourceAttribute' && l.key === 'deployment.token');
-    expect(resourceLeaks.length).toBe(1);
+    expect(resourceLeaks.length, req('openwop.it.otel-collector-canary-inspection.dedups-a-resource-attribute-leak-to-one-hit-even-when-shared-across-many-spans', 'KNOWN-LIMITS.md', 'dedups a resource-attribute leak to ONE hit even when shared across many spans')).toBe(1);
   });
 
   it('reports ZERO hits when the host redacts the canary before export (positive control)', async () => {
@@ -255,7 +256,7 @@ describe('otel-collector-canary-inspection: collector inspects real OTLP exports
     );
     await postMetrics(metricsPayload('openwop.node.duration', { 'secret.echo': REDACTED }));
 
-    expect(collector.findCanaryLeakage(CANARY)).toEqual([]);
+    expect(collector.findCanaryLeakage(CANARY), req('openwop.it.otel-collector-canary-inspection.reports-zero-hits-when-the-host-redacts-the-canary-before-export-positive-contro', 'KNOWN-LIMITS.md', 'reports ZERO hits when the host redacts the canary before export (positive control)')).toEqual([]);
   });
 
   it('an empty or whitespace canary never produces a (vacuous) hit', async () => {
@@ -269,7 +270,7 @@ describe('otel-collector-canary-inspection: collector inspects real OTLP exports
       }),
     );
 
-    expect(collector.findCanaryLeakage('')).toEqual([]);
+    expect(collector.findCanaryLeakage(''), req('openwop.it.otel-collector-canary-inspection.an-empty-or-whitespace-canary-never-produces-a-vacuous-hit', 'KNOWN-LIMITS.md', 'an empty or whitespace canary never produces a (vacuous) hit')).toEqual([]);
     expect(collector.findCanaryLeakage('   ')).toEqual([]);
   });
 });

package/src/scenarios/otel-emission-grpc.test.ts

@@ -32,6 +32,7 @@ import { discoveryFamilies } from '../lib/discovery-capabilities.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';
 
 /**
  * Callback-shaped: the host exports OTLP/gRPC spans to the suite's collector.
@@ -90,13 +91,13 @@ describe('otel-emission-grpc: OTLP/gRPC export path', () => {
     // at least one openwop.run span correlated by runId.
     const runSpans = await waitForRunSpans(runId, { timeoutMs: 5_000, minCount: 1 });
 
-    expect(runSpans.length, driver.describe(
+    expect(runSpans.length, req('openwop.it.otel-emission-grpc.host-emits-openwop-run-spans-over-otlp-grpc-collector-captures-them-via-the-shar', 
       'observability.md §"Export protocols" + RFC 0008/0009 Track 11',
       'host advertising exportProtocols ∋ "grpc" MUST emit openwop.* spans over OTLP/gRPC',
     )).toBeGreaterThan(0);
 
     const runSpan = runSpans.find((s) => s.name === 'openwop.run');
-    expect(runSpan?.attributes.get('openwop.run_id'), driver.describe(
+    expect(runSpan?.attributes.get('openwop.run_id'), req('openwop.it.otel-emission-grpc.host-emits-openwop-run-spans-over-otlp-grpc-collector-captures-them-via-the-shar', 
       'observability.md §"Run-level attributes"',
       'openwop.run span MUST carry openwop.run_id attribute',
     )).toBe(runId);

package/src/scenarios/otel-emission.test.ts

@@ -30,6 +30,7 @@ import { discoveryFamilies } from '../lib/discovery-capabilities.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';
 
 /**
  * Callback-shaped: the host exports OTLP/HTTP spans to the suite's collector.
@@ -80,7 +81,7 @@ describe('otel-emission: required run-level + node-level attributes', () => {
 
     const runSpans = await waitForRunSpans(runId, { timeoutMs: 5_000, minCount: 2 });
 
-    expect(runSpans.length, driver.describe(
+    expect(runSpans.length, req('openwop.it.otel-emission.host-emits-openwop-run-openwop-node-spans-with-required-attributes', 
       'observability.md §"Span attributes"',
       'host MUST emit at least one openwop.* span carrying openwop.run_id',
     )).toBeGreaterThan(0);
@@ -90,21 +91,21 @@ describe('otel-emission: required run-level + node-level attributes', () => {
     const anySpanHasWorkflowId = runSpans.some(
       (s) => s.attributes.get('openwop.workflow_id') === FIXTURE,
     );
-    expect(anySpanHasWorkflowId, driver.describe(
+    expect(anySpanHasWorkflowId, req('openwop.it.otel-emission.host-emits-openwop-run-openwop-node-spans-with-required-attributes', 
       'observability.md §"Run-level attributes"',
       'spans MUST carry openwop.workflow_id matching the run\'s workflow',
     )).toBe(true);
 
     // Find an openwop.run span (lifecycle span; named per §"Span naming").
     const runSpan = runSpans.find((s) => s.name === 'openwop.run' || s.name.startsWith('openwop.run.'));
-    expect(runSpan, driver.describe(
+    expect(runSpan, req('openwop.it.otel-emission.host-emits-openwop-run-openwop-node-spans-with-required-attributes', 
       'observability.md §"Span naming"',
       'host MUST emit a span named openwop.run (or openwop.run.<phase>) per run',
     )).toBeDefined();
 
     // Find an openwop.node.<typeId> span; conformance-noop has one node.
     const nodeSpan = runSpans.find((s) => s.name.startsWith('openwop.node.'));
-    expect(nodeSpan, driver.describe(
+    expect(nodeSpan, req('openwop.it.otel-emission.host-emits-openwop-run-openwop-node-spans-with-required-attributes', 
       'observability.md §"Span naming"',
       'host MUST emit a span named openwop.node.<typeId> per node execution',
     )).toBeDefined();
@@ -114,7 +115,7 @@ describe('otel-emission: required run-level + node-level attributes', () => {
       expect(typeof nodeSpan.attributes.get('openwop.node_id')).toBe('string');
       expect(typeof nodeSpan.attributes.get('openwop.node_type')).toBe('string');
       const attempt = nodeSpan.attributes.get('openwop.node_attempt');
-      expect(typeof attempt === 'number' && attempt >= 0, driver.describe(
+      expect(typeof attempt === 'number' && attempt >= 0, req('openwop.it.otel-emission.host-emits-openwop-run-openwop-node-spans-with-required-attributes', 
         'observability.md §"Node-level attributes"',
         'openwop.node_attempt MUST be a non-negative number',
       )).toBe(true);

package/src/scenarios/otel-trace-propagation-subworkflow.test.ts

@@ -41,6 +41,7 @@ import { pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
 import { isScenarioOptedOut } from '../lib/env.js';
 import { getCollector, waitForRunSpans } from '../lib/otel-collector.js';
+import { req } from '../lib/requirement-ids.js';
 
 /**
  * Callback-shaped: the host exports OTLP spans to the suite's collector.
@@ -133,13 +134,13 @@ describe('otel-trace-propagation-subworkflow: traceparent threads parent → chi
     const subwfCompleted = events.find(
       (e) => e.type === 'node.completed' && e.nodeId === 'subwf-call',
     );
-    expect(subwfCompleted, driver.describe(
+    expect(subwfCompleted, req('openwop.it.otel-trace-propagation-subworkflow.child-run-spans-inherit-the-parent-run-s-inbound-traceid', 
       'node-packs.md §core.subWorkflow',
       'parent event log MUST include node.completed for the subwf-call node',
     )).toBeDefined();
 
     const childRunId = subwfCompleted?.payload?.outputs?.childRunId;
-    expect(typeof childRunId, driver.describe(
+    expect(typeof childRunId, req('openwop.it.otel-trace-propagation-subworkflow.child-run-spans-inherit-the-parent-run-s-inbound-traceid', 
       'node-packs.md §core.subWorkflow outputSchema',
       'subwf-call node.completed payload MUST carry outputs.childRunId',
     )).toBe('string');
@@ -148,19 +149,19 @@ describe('otel-trace-propagation-subworkflow: traceparent threads parent → chi
     const parentSpans = await waitForRunSpans(parentRunId, { timeoutMs: 10_000, minCount: 1 });
     const childSpans = await waitForRunSpans(childRunId!, { timeoutMs: 10_000, minCount: 1 });
 
-    expect(parentSpans.length, 'collector MUST receive ≥1 span for the parent run').toBeGreaterThan(0);
-    expect(childSpans.length, 'collector MUST receive ≥1 span for the child run').toBeGreaterThan(0);
+    expect(parentSpans.length, req('openwop.it.otel-trace-propagation-subworkflow.child-run-spans-inherit-the-parent-run-s-inbound-traceid', 'node-packs.md §core.subWorkflow outputSchema', 'collector MUST receive ≥1 span for the parent run')).toBeGreaterThan(0);
+    expect(childSpans.length, req('openwop.it.otel-trace-propagation-subworkflow.child-run-spans-inherit-the-parent-run-s-inbound-traceid', 'node-packs.md §core.subWorkflow outputSchema', 'collector MUST receive ≥1 span for the child run')).toBeGreaterThan(0);
 
     const wantTrace = traceId.toLowerCase();
 
     const parentMatching = parentSpans.filter((s) => s.traceId.toLowerCase() === wantTrace);
-    expect(parentMatching.length, driver.describe(
+    expect(parentMatching.length, req('openwop.it.otel-trace-propagation-subworkflow.child-run-spans-inherit-the-parent-run-s-inbound-traceid', 
       'observability.md §"Trace context propagation"',
       'parent-run spans MUST share the inbound traceparent traceId',
     )).toBeGreaterThan(0);
 
     const childMatching = childSpans.filter((s) => s.traceId.toLowerCase() === wantTrace);
-    expect(childMatching.length, driver.describe(
+    expect(childMatching.length, req('openwop.it.otel-trace-propagation-subworkflow.child-run-spans-inherit-the-parent-run-s-inbound-traceid', 
       'observability.md §"Trace context propagation" + node-packs.md §core.subWorkflow',
       'child-run spans dispatched via core.subWorkflow MUST inherit the parent run\'s traceId so distributed traces stitch across the dispatch boundary',
     )).toBeGreaterThan(0);

package/src/scenarios/otel-trace-propagation.test.ts

@@ -24,6 +24,7 @@ import { discoveryFamilies } from '../lib/discovery-capabilities.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';
 
 /**
  * Callback-shaped: the host exports OTLP spans to the suite's collector.
@@ -92,7 +93,7 @@ describe('otel-trace-propagation: inbound traceparent threads to emitted spans',
     const wantTrace = traceId.toLowerCase();
     const matching = runSpans.filter((s) => s.traceId.toLowerCase() === wantTrace);
 
-    expect(matching.length, driver.describe(
+    expect(matching.length, req('openwop.it.otel-trace-propagation.host-emitted-spans-share-the-caller-supplied-traceid', 
       'observability.md §"Trace context propagation"',
       'spans emitted during a run started with an inbound traceparent MUST share its traceId',
     )).toBeGreaterThan(0);