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

package/src/scenarios/staleClaim.test.ts

@@ -35,6 +35,7 @@ import { mkdtempSync, rmSync } from 'node:fs';
 import { tmpdir } from 'node:os';
 import { join } from 'node:path';
 import { spawnHost, type SpawnedHost } from '../lib/multiProcess.js';
+import { req } from '../lib/requirement-ids.js';
 
 // Default off: scenario must be opted in via env. The opt-in lists
 // the host package dir relative to repo root that exposes the
@@ -193,7 +194,7 @@ describe.skipIf(!RUN_THIS_SCENARIO)(
           15_000,
         );
 
-        expect(terminal.status, 'orphaned run MUST resume to a terminal status under host B').toBe(
+        expect(terminal.status, req('openwop.it.staleClaim.process-b-picks-up-the-orphaned-run-after-process-a-dies-claim-expires', 'spec/v1/scale-profiles.md', 'orphaned run MUST resume to a terminal status under host B')).toBe(
           'completed',
         );
 
@@ -203,12 +204,12 @@ describe.skipIf(!RUN_THIS_SCENARIO)(
         // SOMETHING that distinguishes resume from fresh start MUST
         // exist in the event log).
         const events = await fetchEvents(hostB.baseUrl, APIKEY_B, runId);
-        expect(Array.isArray(events.events), 'events poll MUST return an events array').toBe(true);
+        expect(Array.isArray(events.events), req('openwop.it.staleClaim.process-b-picks-up-the-orphaned-run-after-process-a-dies-claim-expires', 'spec/v1/scale-profiles.md', 'events poll MUST return an events array')).toBe(true);
         if (events.events && events.events.length > 0) {
           const types = events.events.map((e) => e.type);
           expect(
             types.includes('run.resumed') || types.includes('run.started'),
-            'event log MUST contain at least run.started; resume hosts SHOULD also emit run.resumed',
+            req('openwop.it.staleClaim.process-b-picks-up-the-orphaned-run-after-process-a-dies-claim-expires', 'spec/v1/scale-profiles.md', 'event log MUST contain at least run.started; resume hosts SHOULD also emit run.resumed'),
           ).toBe(true);
         }
       },
@@ -221,6 +222,6 @@ describe.skipIf(!RUN_THIS_SCENARIO)(
 // when the scenario is gated off.
 describe('staleClaim lib: spawnHost surface contract', () => {
   it('spawnHost is exported and has the expected shape', async () => {
-    expect(typeof spawnHost).toBe('function');
+    expect(typeof spawnHost, req('openwop.it.staleClaim.spawnhost-is-exported-and-has-the-expected-shape', 'spec/v1/scale-profiles.md', 'spawnHost is exported and has the expected shape')).toBe('function');
   });
 });

package/src/scenarios/stream-modes-buffer.test.ts

@@ -22,6 +22,7 @@ import { driver } from '../lib/driver.js';
 import { subscribe } from '../lib/sse.js';
 import { pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
+import { req } from '../lib/requirement-ids.js';
 
 const WORKFLOW_ID = 'conformance-delay';
 const SKIP_NO_FIXTURE = !isFixtureAdvertised(WORKFLOW_ID);
@@ -42,13 +43,13 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes-buffer: ?bufferMs= aggregation hi
       { timeoutMs: 30_000 },
     );
 
-    expect(result.status, driver.describe(
+    expect(result.status, req('openwop.it.stream-modes-buffer.accepts-bufferms-in-range-and-emits-at-least-one-event-batch-frame', 
       'stream-modes.md §Aggregation hint',
       'GET /v1/runs/{runId}/events with valid bufferMs MUST return 200 SSE',
     )).toBe(200);
 
     const batchEvents = result.events.filter((e) => e.event === 'batch');
-    expect(batchEvents.length, driver.describe(
+    expect(batchEvents.length, req('openwop.it.stream-modes-buffer.accepts-bufferms-in-range-and-emits-at-least-one-event-batch-frame', 
       'stream-modes.md §Aggregation hint',
       'buffered mode MUST emit at least one `event: batch` SSE frame',
     )).toBeGreaterThan(0);
@@ -56,7 +57,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes-buffer: ?bufferMs= aggregation hi
     // Each batch's data is a JSON array of RunEventDoc.
     for (const batch of batchEvents) {
       const parsed = JSON.parse(batch.data);
-      expect(Array.isArray(parsed), driver.describe(
+      expect(Array.isArray(parsed), req('openwop.it.stream-modes-buffer.accepts-bufferms-in-range-and-emits-at-least-one-event-batch-frame', 
         'stream-modes.md §batch data shape',
         'event: batch data MUST parse to a JSON array',
       )).toBe(true);
@@ -77,7 +78,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes-buffer: ?bufferMs= aggregation hi
       { timeoutMs: 5_000 },
     );
 
-    expect(result.status, driver.describe(
+    expect(result.status, req('openwop.it.stream-modes-buffer.rejects-out-of-range-bufferms-with-400-validation-error', 
       'stream-modes.md §Aggregation hint range',
       'bufferMs > 5000 MUST return 400',
     )).toBe(400);
@@ -114,7 +115,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes-buffer: ?bufferMs= aggregation hi
       (e) => e.type === 'run.completed' || e.type === 'run.failed' || e.type === 'run.cancelled',
     );
 
-    expect(hasTerminal, driver.describe(
+    expect(hasTerminal, req('openwop.it.stream-modes-buffer.forces-flush-on-terminal-run-completed-arrives-bundled-in-a-batch-before-the-tim', 
       'stream-modes.md §Aggregation hint — force-flush triggers',
       'terminal events MUST be force-flushed; the stream MUST NOT close before delivering run.completed',
     )).toBe(true);
@@ -124,7 +125,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes-buffer: ?bufferMs= aggregation hi
     // bufferMs/2 as headroom for cold-start latency on the conformance
     // server, but failing here proves the timer fired before terminal
     // arrived (i.e., force-flush is broken).
-    expect(elapsedMs, driver.describe(
+    expect(elapsedMs, req('openwop.it.stream-modes-buffer.forces-flush-on-terminal-run-completed-arrives-bundled-in-a-batch-before-the-tim', 
       'stream-modes.md §Aggregation hint — force-flush is immediate',
       `terminal SHOULD arrive in well under bufferMs (${BUFFER_MS}ms); observed ${elapsedMs}ms — if elapsed is close to bufferMs, force-flush is not firing`,
     )).toBeLessThan(BUFFER_MS / 2);
@@ -140,7 +141,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes-buffer: ?bufferMs= aggregation hi
     );
 
     const batchEvents = result.events.filter((e) => e.event === 'batch');
-    expect(batchEvents.length, driver.describe(
+    expect(batchEvents.length, req('openwop.it.stream-modes-buffer.bufferms-0-behaves-identically-to-omitting-per-event-mode', 
       'stream-modes.md §Aggregation hint — bufferMs=0 sentinel',
       'bufferMs=0 MUST behave identically to omitting (no batch frames)',
     )).toBe(0);

package/src/scenarios/stream-modes-mixed.test.ts

@@ -21,6 +21,7 @@ import { driver } from '../lib/driver.js';
 import { subscribe, type SseEvent } from '../lib/sse.js';
 import { pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
+import { req } from '../lib/requirement-ids.js';
 
 const WORKFLOW_ID = 'conformance-delay';
 const SKIP_NO_FIXTURE = !isFixtureAdvertised(WORKFLOW_ID);
@@ -43,18 +44,18 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes-mixed: comma-separated subsets',
       { timeoutMs: 15_000 },
     );
 
-    expect(result.status, driver.describe(
+    expect(result.status, req('openwop.it.stream-modes-mixed.accepts-streammode-updates-messages-and-emits-a-server-closed-stream', 
       'stream-modes.md §Mixed mode',
       'streamMode=updates,messages MUST return 200',
     )).toBe(200);
 
-    expect(result.closedBy, driver.describe(
+    expect(result.closedBy, req('openwop.it.stream-modes-mixed.accepts-streammode-updates-messages-and-emits-a-server-closed-stream', 
       'stream-modes.md §Mixed mode + §updates',
       'server MUST close the stream on terminal run event',
     )).toBe('server');
 
     const types = eventTypes(result.events);
-    expect(types, driver.describe(
+    expect(types, req('openwop.it.stream-modes-mixed.accepts-streammode-updates-messages-and-emits-a-server-closed-stream', 
       'stream-modes.md §Mixed mode (union semantics)',
       'mixed updates,messages MUST include run.completed (admitted by updates)',
     )).toContain('run.completed');
@@ -70,7 +71,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes-mixed: comma-separated subsets',
     const res = await driver.get(
       `/v1/runs/${encodeURIComponent(runId)}/events?streamMode=values,updates`,
     );
-    expect(res.status, driver.describe(
+    expect(res.status, req('openwop.it.stream-modes-mixed.rejects-streammode-values-updates-with-400-unsupported-stream-mode', 
       'stream-modes.md §Mixed mode',
       'values combined with another mode MUST return 400',
     )).toBe(400);
@@ -78,15 +79,15 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes-mixed: comma-separated subsets',
     const body = res.json as
       | { error?: string; message?: string; details?: { supported?: string[] } }
       | undefined;
-    expect(body?.error, driver.describe(
+    expect(body?.error, req('openwop.it.stream-modes-mixed.rejects-streammode-values-updates-with-400-unsupported-stream-mode', 
       'stream-modes.md §Mode selection error envelope + error-envelope.schema.json',
       'unsupported_stream_mode error envelope MUST carry an `error` string discriminator',
     )).toBe('unsupported_stream_mode');
-    expect(typeof body?.message, driver.describe(
+    expect(typeof body?.message, req('openwop.it.stream-modes-mixed.rejects-streammode-values-updates-with-400-unsupported-stream-mode', 
       'error-envelope.schema.json',
       'error envelope MUST carry a human-readable `message` string',
     )).toBe('string');
-    expect(Array.isArray(body?.details?.supported), driver.describe(
+    expect(Array.isArray(body?.details?.supported), req('openwop.it.stream-modes-mixed.rejects-streammode-values-updates-with-400-unsupported-stream-mode', 
       'stream-modes.md §Mode selection error envelope',
       'error body MUST carry `details.supported` array (NOT top-level — `details` is the canonical contextual-data slot per error-envelope.schema.json)',
     )).toBe(true);
@@ -104,7 +105,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes-mixed: comma-separated subsets',
     const res = await driver.get(
       `/v1/runs/${encodeURIComponent(runId)}/events?streamMode=updates,bogus`,
     );
-    expect(res.status, driver.describe(
+    expect(res.status, req('openwop.it.stream-modes-mixed.rejects-streammode-updates-bogus-one-bad-mode-fails-the-whole-list', 
       'stream-modes.md §Mixed mode + §Mode selection',
       'partial-unknown lists MUST return 400',
     )).toBe(400);
@@ -140,7 +141,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes-mixed: comma-separated subsets',
     const mixedTypes = new Set(eventTypes(mixed.events));
 
     for (const t of updatesTypes) {
-      expect(mixedTypes.has(t), driver.describe(
+      expect(mixedTypes.has(t), req('openwop.it.stream-modes-mixed.mixed-mode-union-updates-debug-sees-every-event-updates-sees', 
         'stream-modes.md §Mixed mode (union)',
         `updates,debug MUST include every event type updates produces (missing: ${t})`,
       )).toBe(true);

package/src/scenarios/stream-modes.test.ts

@@ -11,6 +11,7 @@ import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { subscribe, type SseEvent } from '../lib/sse.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
+import { req } from '../lib/requirement-ids.js';
 
 const WORKFLOW_ID = 'conformance-delay';
 const SKIP_NO_FIXTURE = !isFixtureAdvertised(WORKFLOW_ID);
@@ -38,17 +39,17 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes: updates (default) closes on term
       { timeoutMs: 15_000 },
     );
 
-    expect(closedBy, driver.describe(
+    expect(closedBy, req('openwop.it.stream-modes.emits-at-least-run-started-run-completed-and-server-closes-the-stream', 
       'stream-modes.md §updates',
       'server MUST close the connection on terminal run event',
     )).toBe('server');
 
     const types = eventTypes(events);
-    expect(types, driver.describe(
+    expect(types, req('openwop.it.stream-modes.emits-at-least-run-started-run-completed-and-server-closes-the-stream', 
       'stream-modes.md §updates',
       'updates stream MUST include run.started',
     )).toContain('run.started');
-    expect(types, driver.describe(
+    expect(types, req('openwop.it.stream-modes.emits-at-least-run-started-run-completed-and-server-closes-the-stream', 
       'stream-modes.md §updates',
       'updates stream MUST include run.completed for a successful run',
     )).toContain('run.completed');
@@ -62,7 +63,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes: invalid streamMode is rejected',
       `/v1/runs/${encodeURIComponent(runId)}/events?streamMode=does-not-exist`,
     );
 
-    expect(res.status, driver.describe(
+    expect(res.status, req('openwop.it.stream-modes.returns-400-and-a-structured-error-body', 
       'stream-modes.md §Mode selection',
       'unsupported streamMode MUST return 400',
     )).toBe(400);
@@ -70,15 +71,15 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes: invalid streamMode is rejected',
     const body = res.json as
       | { error?: unknown; message?: unknown; details?: { supported?: unknown } }
       | undefined;
-    expect(typeof body?.error, driver.describe(
+    expect(typeof body?.error, req('openwop.it.stream-modes.returns-400-and-a-structured-error-body', 
       'stream-modes.md §Mode selection + error-envelope.schema.json',
       'unsupported_stream_mode error body MUST include `error` string discriminator',
     )).toBe('string');
-    expect(typeof body?.message, driver.describe(
+    expect(typeof body?.message, req('openwop.it.stream-modes.returns-400-and-a-structured-error-body', 
       'error-envelope.schema.json',
       'error envelope MUST include a human-readable `message` string',
     )).toBe('string');
-    expect(Array.isArray(body?.details?.supported), driver.describe(
+    expect(Array.isArray(body?.details?.supported), req('openwop.it.stream-modes.returns-400-and-a-structured-error-body', 
       'stream-modes.md §Mode selection',
       'error body MUST include `details.supported` array of mode names (under `details` per error-envelope.schema.json)',
     )).toBe(true);
@@ -97,12 +98,12 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes: values mode is reachable + close
     // spec gap S1, so we don't assert payload shape here. What's
     // canonical: the connection MUST be reachable, MUST emit at least
     // one event before terminal, AND the server MUST close on terminal.
-    expect(result.closedBy, driver.describe(
+    expect(result.closedBy, req('openwop.it.stream-modes.returns-200-emits-at-least-one-event-server-closes-per-stream-modes-md-values', 
       'stream-modes.md §values',
       'server MUST close the connection on terminal run event',
     )).toBe('server');
 
-    expect(result.events.length, driver.describe(
+    expect(result.events.length, req('openwop.it.stream-modes.returns-200-emits-at-least-one-event-server-closes-per-stream-modes-md-values', 
       'stream-modes.md §values',
       'values mode MUST emit at least one event before terminal',
     )).toBeGreaterThan(0);
@@ -126,12 +127,12 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-modes: debug emits at least as many eve
     // Both runs are conformance-delay with the same input, so updates
     // events (run.started, node.started not in updates per spec, node.completed,
     // run.completed) should be a subset of debug events.
-    expect(debugResult.events.length, driver.describe(
+    expect(debugResult.events.length, req('openwop.it.stream-modes.debug-stream-is-a-superset-of-updates-per-stream-modes-md-mode-mapping', 
       'stream-modes.md mode-to-event mapping',
       'debug stream event count MUST be >= updates stream event count',
     )).toBeGreaterThanOrEqual(updatesResult.events.length);
 
-    expect(debugResult.closedBy, driver.describe(
+    expect(debugResult.closedBy, req('openwop.it.stream-modes.debug-stream-is-a-superset-of-updates-per-stream-modes-md-mode-mapping', 
       'stream-modes.md §debug',
       'debug stream MUST close on terminal event',
     )).toBe('server');

package/src/scenarios/stream-subscribe-from-beginning.test.ts

@@ -16,6 +16,8 @@
 import { describe, it, expect } 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';
 
 interface DiscoveryDoc {
   capabilities?: Record<string, unknown>;
@@ -32,10 +34,10 @@ async function readCap(): Promise<Record<string, unknown> | null> {
 describe('stream-subscribe-from-beginning: advertisement shape (RFC 0017)', () => {
   it('capabilities.queueBus is either absent or a well-formed object', async () => {
     const cap = await readCap();
-    if (cap === null) return; // host doesn't advertise — skip
+    if (cap === null) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `cap === null` returned early (host doesn\'t advertise — skip)'); // host doesn't advertise — skip
     expect(
       typeof cap.supported,
-      driver.describe(
+      req('openwop.it.stream-subscribe-from-beginning.capabilities-queuebus-is-either-absent-or-a-well-formed-object', 
         'capabilities.schema.json §queueBus',
         'capabilities.queueBus.supported MUST be a boolean when present',
       ),
@@ -44,17 +46,17 @@ describe('stream-subscribe-from-beginning: advertisement shape (RFC 0017)', () =
 
   it('stream.supported is a boolean when set', async () => {
     const cap = await readCap();
-    if (!cap || cap.supported !== true) return;
+    if (!cap || cap.supported !== true) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `!cap || cap.supported !== true` returned early');
     const subParts = ["stream","supported"];
     let sub: unknown = cap;
     for (const p of subParts) {
       if (sub && typeof sub === 'object') sub = (sub as Record<string, unknown>)[p];
       else { sub = undefined; break; }
     }
-    if (sub === undefined) return; // optional sub-field
+    if (sub === undefined) return softSkip('blocked', 'precondition not met — `sub === undefined` returned early (optional sub-field) (seam, prior step, or fixture unavailable)'); // optional sub-field
     expect(
       typeof sub,
-      driver.describe(
+      req('openwop.it.stream-subscribe-from-beginning.stream-supported-is-a-boolean-when-set', 
         'RFC 0017 §A',
         'queueBus.stream.supported MUST be boolean when present',
       ),
@@ -69,7 +71,7 @@ async function call(op: string, args: Record<string, unknown>) {
 describe('stream-subscribe-from-beginning: behavioral (RFC 0017 §A stream.fromBeginning)', () => {
   it('streamPublish 5 records then streamSubscribe({fromBeginning:true}) MUST surface all 5 in the snapshot', async () => {
     const probe = await call('streamSubscribe', { stream: '__probe__', fromBeginning: true });
-    if (probe.status === 404) return; // seam not exposed
+    if (probe.status === 404) return softSkip('blocked', 'precondition not met — `probe.status === 404` returned early (seam not exposed) (seam, prior step, or fixture unavailable)'); // seam not exposed
     const stream = `s-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
     for (let i = 1; i <= 5; i++) {
       const r = await call('streamPublish', { stream, record: { seq: i, value: `rec-${i}` } });
@@ -80,7 +82,7 @@ describe('stream-subscribe-from-beginning: behavioral (RFC 0017 §A stream.fromB
     const body = sub.json as { records?: Array<{ payload?: { seq?: number } }>; fromBeginningSnapshot?: boolean };
     expect(
       Array.isArray(body.records) && body.records.length === 5,
-      driver.describe('RFC 0017 §A.stream.fromBeginning', 'subscribe with fromBeginning:true MUST return ALL records previously published on the stream'),
+      req('openwop.it.stream-subscribe-from-beginning.streampublish-5-records-then-streamsubscribe-frombeginning-true-must-surface-all', 'RFC 0017 §A.stream.fromBeginning', 'subscribe with fromBeginning:true MUST return ALL records previously published on the stream'),
     ).toBe(true);
     // Order MUST be preserved (publish-order = sequential on the same stream).
     const seqs = body.records!.map((r) => r.payload?.seq);
@@ -90,14 +92,14 @@ describe('stream-subscribe-from-beginning: behavioral (RFC 0017 §A stream.fromB
 
   it('streamSubscribe({fromBeginning:false}) MUST NOT include pre-subscribe records (live-tail semantics)', async () => {
     const probe = await call('streamSubscribe', { stream: '__probe__', fromBeginning: true });
-    if (probe.status === 404) return;
+    if (probe.status === 404) return softSkip('blocked', 'precondition not met — `probe.status === 404` returned early (seam, prior step, or fixture unavailable)');
     const stream = `s-live-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
     await call('streamPublish', { stream, record: { v: 'before' } });
     const sub = await call('streamSubscribe', { stream, fromBeginning: false });
     const body = sub.json as { records?: unknown[]; fromBeginningSnapshot?: boolean };
     expect(
       Array.isArray(body.records) && body.records.length === 0,
-      driver.describe('RFC 0017 §A.stream.fromBeginning', 'subscribe with fromBeginning:false MUST omit pre-subscribe records'),
+      req('openwop.it.stream-subscribe-from-beginning.streamsubscribe-frombeginning-false-must-not-include-pre-subscribe-records-live', 'RFC 0017 §A.stream.fromBeginning', 'subscribe with fromBeginning:false MUST omit pre-subscribe records'),
     ).toBe(true);
     expect(body.fromBeginningSnapshot).toBe(false);
   });

package/src/scenarios/stream-text-fixture.test.ts

@@ -38,6 +38,7 @@ import { subscribe } from '../lib/sse.js';
 import { pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
 import { capabilityFamily } from '../lib/discovery-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
 
 const FIXTURE_ID = 'conformance-stream-text';
 const SKIP_NO_FIXTURE = !isFixtureAdvertised(FIXTURE_ID);
@@ -105,7 +106,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-text-fixture: messages-mode fold throug
     }
     expect(
       create.status,
-      driver.describe(
+      req('openwop.it.stream-text-fixture.delivers-the-mocked-tokens-in-order-terminates-with-islast-meta-and-server-close', 
         'fixtures.md §conformance-stream-text',
         'a test key MUST be able to start the fixture with configurable.mockProvider',
       ),
@@ -120,7 +121,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-text-fixture: messages-mode fold throug
     // 3) server-closed, not timeout.
     expect(
       result.closedBy,
-      driver.describe('stream-modes.md §messages', 'server MUST close the messages stream on terminal run status'),
+      req('openwop.it.stream-text-fixture.delivers-the-mocked-tokens-in-order-terminates-with-islast-meta-and-server-close', 'stream-modes.md §messages', 'server MUST close the messages stream on terminal run status'),
     ).toBe('server');
 
     // Collect ai.message.chunk payloads. Per stream-modes.md the SSE event
@@ -141,7 +142,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-text-fixture: messages-mode fold throug
 
     expect(
       chunks.length,
-      driver.describe(
+      req('openwop.it.stream-text-fixture.delivers-the-mocked-tokens-in-order-terminates-with-islast-meta-and-server-close', 
         'stream-modes.md §messages',
         'messages mode MUST emit ai.message.chunk SSE events for the streaming AI node',
       ),
@@ -150,7 +151,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-text-fixture: messages-mode fold throug
     // 1) Token order matches the mock config exactly.
     expect(
       chunks.map((c) => c.chunk),
-      driver.describe(
+      req('openwop.it.stream-text-fixture.delivers-the-mocked-tokens-in-order-terminates-with-islast-meta-and-server-close', 
         'fixtures.md §conformance-stream-text',
         'chunk arrival order MUST match the mock token order',
       ),
@@ -160,32 +161,32 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-text-fixture: messages-mode fold throug
     const last = chunks[chunks.length - 1]!;
     expect(
       last.isLast,
-      driver.describe(
+      req('openwop.it.stream-text-fixture.delivers-the-mocked-tokens-in-order-terminates-with-islast-meta-and-server-close', 
         'stream-modes.md §messages + RFC 0094 §D',
         'the final ai.message.chunk MUST carry isLast: true',
       ),
     ).toBe(true);
     expect(
       last.meta?.finishReason,
-      driver.describe('stream-modes.md §messages (Tier 1)', 'final chunk meta.finishReason MUST be "stop"'),
+      req('openwop.it.stream-text-fixture.delivers-the-mocked-tokens-in-order-terminates-with-islast-meta-and-server-close', 'stream-modes.md §messages (Tier 1)', 'final chunk meta.finishReason MUST be "stop"'),
     ).toBe('stop');
     expect(
       last.meta?.usage?.completionTokens,
-      driver.describe('stream-modes.md §messages (Tier 1)', 'final chunk meta.usage.completionTokens MUST echo the mock usage'),
+      req('openwop.it.stream-text-fixture.delivers-the-mocked-tokens-in-order-terminates-with-islast-meta-and-server-close', 'stream-modes.md §messages (Tier 1)', 'final chunk meta.usage.completionTokens MUST echo the mock usage'),
     ).toBe(4);
 
     // Minimum compliant payload fields are present on every chunk.
     for (const c of chunks) {
-      expect(typeof c.nodeId, driver.describe('run-event-payloads.schema.json §outputChunk', 'nodeId MUST be a string')).toBe('string');
-      expect(typeof c.runId, driver.describe('run-event-payloads.schema.json §outputChunk', 'runId MUST be a string')).toBe('string');
-      expect(typeof c.isLast, driver.describe('run-event-payloads.schema.json §outputChunk', 'isLast MUST be a boolean')).toBe('boolean');
+      expect(typeof c.nodeId, req('openwop.it.stream-text-fixture.delivers-the-mocked-tokens-in-order-terminates-with-islast-meta-and-server-close', 'run-event-payloads.schema.json §outputChunk', 'nodeId MUST be a string')).toBe('string');
+      expect(typeof c.runId, req('openwop.it.stream-text-fixture.delivers-the-mocked-tokens-in-order-terminates-with-islast-meta-and-server-close', 'run-event-payloads.schema.json §outputChunk', 'runId MUST be a string')).toBe('string');
+      expect(typeof c.isLast, req('openwop.it.stream-text-fixture.delivers-the-mocked-tokens-in-order-terminates-with-islast-meta-and-server-close', 'run-event-payloads.schema.json §outputChunk', 'isLast MUST be a boolean')).toBe('boolean');
     }
 
     // 4) Terminal completed.
     const terminal = await pollUntilTerminal(runId);
     expect(
       terminal.status,
-      driver.describe('fixtures.md §conformance-stream-text', 'the fixture run MUST reach terminal completed'),
+      req('openwop.it.stream-text-fixture.delivers-the-mocked-tokens-in-order-terminates-with-islast-meta-and-server-close', 'fixtures.md §conformance-stream-text', 'the fixture run MUST reach terminal completed'),
     ).toBe('completed');
   });
 
@@ -203,11 +204,11 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-text-fixture: messages-mode fold throug
     }
     expect(
       create.status,
-      driver.describe('fixtures.md §conformance-stream-text', 'an unknown mockProvider.id MUST be rejected with 400'),
+      req('openwop.it.stream-text-fixture.an-unknown-mockprovider-id-is-rejected-with-400-unsupported-mock-provider', 'fixtures.md §conformance-stream-text', 'an unknown mockProvider.id MUST be rejected with 400'),
     ).toBe(400);
     expect(
       errCode(create.json),
-      driver.describe('fixtures.md §conformance-stream-text', 'the refusal MUST carry the canonical unsupported_mock_provider code'),
+      req('openwop.it.stream-text-fixture.an-unknown-mockprovider-id-is-rejected-with-400-unsupported-mock-provider', 'fixtures.md §conformance-stream-text', 'the refusal MUST carry the canonical unsupported_mock_provider code'),
     ).toBe('unsupported_mock_provider');
   });
 });

package/src/scenarios/streamReconnect.test.ts

@@ -21,6 +21,8 @@ import { driver } from '../lib/driver.js';
 import { subscribe, type SseEvent } from '../lib/sse.js';
 import { pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
+import { req } from '../lib/requirement-ids.js';
+import { softSkip } from '../lib/soft-skip.js';
 
 const WORKFLOW_ID = 'conformance-cancellable';
 const SKIP_NO_FIXTURE = !isFixtureAdvertised(WORKFLOW_ID);
@@ -57,7 +59,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-reconnect: Last-Event-ID resume per spe
         workflowId: WORKFLOW_ID,
         inputs: { delayMs: 2000 },
       });
-      if (create.status !== 201) return; // host doesn't seed cancellable fixture; skip-equivalent
+      if (create.status !== 201) return softSkip('blocked', 'precondition not met — `create.status !== 201` returned early (host doesn\'t seed cancellable fixture; skip-equivalent) (seam, prior step, or fixture unavailable)'); // host doesn't seed cancellable fixture; skip-equivalent
 
       const runId = (create.json as { runId: string }).runId;
 
@@ -65,7 +67,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-reconnect: Last-Event-ID resume per spe
       const firstHalf = await subscribe(`/v1/runs/${encodeURIComponent(runId)}/events`, {
         timeoutMs: 1000, // disconnect after ~1s
       });
-      expect(firstHalf.status, driver.describe(
+      expect(firstHalf.status, req('openwop.it.streamReconnect.reconnect-with-last-event-id-resumes-without-loss-or-duplication', 
         'spec/v1/stream-modes.md',
         'SSE endpoint MUST return 200',
       )).toBe(200);
@@ -82,7 +84,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-reconnect: Last-Event-ID resume per spe
         // because the run already completed and the server closed before we
         // got events. Skip the rest of this scenario; the host is fast enough
         // that the reconnect path doesn't apply.
-        return;
+        return softSkip('blocked', 'precondition not met — `lastSeen < 0` returned early (First connection emitted no events with a parseable sequence — e.g. because the run already completed and the server closed before we got events. Skip the rest of …');
       }
 
       // Phase 3: reconnect with Last-Event-ID set to the last seq we saw.
@@ -91,7 +93,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-reconnect: Last-Event-ID resume per spe
         timeoutMs: 5000,
         lastEventId: String(lastSeen),
       });
-      expect(resume.status, driver.describe(
+      expect(resume.status, req('openwop.it.streamReconnect.reconnect-with-last-event-id-resumes-without-loss-or-duplication', 
         'spec/v1/stream-modes.md §"Reconnection"',
         'reconnection with Last-Event-ID MUST return 200',
       )).toBe(200);
@@ -102,7 +104,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-reconnect: Last-Event-ID resume per spe
         // Hosts MAY replay the boundary event (some impls do; spec is
         // permissive). The strict assertion is "no event with seq <
         // lastSeen-1" — i.e., no events from before the resume point.
-        expect(s, driver.describe(
+        expect(s, req('openwop.it.streamReconnect.reconnect-with-last-event-id-resumes-without-loss-or-duplication', 
           'spec/v1/stream-modes.md §"Reconnection"',
           `resume MUST NOT yield events with seq < lastSeen-1; got ${s} after lastSeen=${lastSeen}`,
         )).toBeGreaterThanOrEqual(lastSeen - 1);
@@ -120,21 +122,21 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-reconnect: Last-Event-ID resume per spe
       // Quick run, observe terminal seq, then attempt a reconnect after
       // terminal — server SHOULD close immediately with no events.
       const create = await driver.post('/v1/runs', { workflowId: 'conformance-noop' });
-      if (create.status !== 201) return;
+      if (create.status !== 201) 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 initial = await subscribe(`/v1/runs/${encodeURIComponent(runId)}/events`, {
         timeoutMs: 5000,
       });
-      if (initial.status !== 200 || initial.events.length === 0) return;
+      if (initial.status !== 200 || initial.events.length === 0) return softSkip('blocked', 'precondition not met — `initial.status !== 200 || initial.events.length === 0` returned early (seam, prior step, or fixture unavailable)');
 
       const terminalEvent = initial.events.find(
         (e) => TERMINAL_TYPES.has(e.event) && e.id !== null && Number.isFinite(Number(e.id)),
       );
-      if (!terminalEvent || terminalEvent.id === null) return;
+      if (!terminalEvent || terminalEvent.id === null) return softSkip('blocked', 'precondition not met — `!terminalEvent || terminalEvent.id === null` returned early (seam, prior step, or fixture unavailable)');
 
       const lastSeq = Number(terminalEvent.id);
-      if (!Number.isFinite(lastSeq)) return;
+      if (!Number.isFinite(lastSeq)) return softSkip('blocked', 'precondition not met — `!Number.isFinite(lastSeq)` returned early (seam, prior step, or fixture unavailable)');
 
       const reconnect = await subscribe(`/v1/runs/${encodeURIComponent(runId)}/events`, {
         timeoutMs: 5000,
@@ -144,7 +146,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-reconnect: Last-Event-ID resume per spe
       // Reconnect MUST succeed (200) and SHOULD close quickly with no
       // additional events beyond the terminal boundary. Permissive: the
       // host MAY replay the terminal event itself.
-      expect(reconnect.status, driver.describe(
+      expect(reconnect.status, req('openwop.it.streamReconnect.reconnect-with-last-event-id-equal-to-terminal-seq-closes-immediately', 
         'spec/v1/stream-modes.md §"Reconnection"',
         'reconnect after terminal MUST return 200',
       )).toBe(200);
@@ -152,7 +154,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('stream-reconnect: Last-Event-ID resume per spe
       const newSeqs = reconnect.events
         .map(getSeq)
         .filter((s): s is number => s !== null && s > lastSeq);
-      expect(newSeqs.length, driver.describe(
+      expect(newSeqs.length, req('openwop.it.streamReconnect.reconnect-with-last-event-id-equal-to-terminal-seq-closes-immediately', 
         'spec/v1/stream-modes.md §"Reconnection"',
         'reconnect after terminal MUST NOT yield events with seq > lastSeq',
       )).toBe(0);

package/src/scenarios/strict-behavior-gate.test.ts

@@ -30,6 +30,7 @@ import { describe, it, expect, beforeEach, afterEach } from 'vitest';
 import { behaviorGate } from '../lib/behavior-gate.js';
 import { dispositionOf, resetLedger } from '../lib/requirement-ledger.js';
 import { __resetEnvCacheForTests } from '../lib/env.js';
+import { req } from '../lib/requirement-ids.js';
 
 const ENV_KEYS = ['OPENWOP_REQUIRE_BEHAVIOR', 'OPENWOP_OPTED_OUT_PROFILES', 'OPENWOP_BASE_URL', 'OPENWOP_API_KEY'] as const;
 let saved: Record<string, string | undefined> = {};
@@ -65,16 +66,16 @@ describe('RFC 0148 §B — advertise and opt-out are mutually exclusive', () =>
     __resetEnvCacheForTests();
     expect(
       () => behaviorGate('openwop-audit-log-integrity', true),
-      'RFC 0148 §B: "A host MUST NOT both advertise and opt out of the same profile." ' +
+      req('openwop.it.strict-behavior-gate.advertising-and-opting-out-of-the-same-profile-fails', 'RFC 0148 §B', 'RFC 0148 §B: "A host MUST NOT both advertise and opt out of the same profile." ' +
         'The two claims are opposite in kind — one says the host implements the profile, the ' +
         'other says the operator declares it does not. A run where both hold has no defensible ' +
         'reading, and resolving it in favour of advertisement extracts MORE certification claim ' +
-        'from a MORE contradictory input.',
+        'from a MORE contradictory input.'),
     ).toThrow(/MUST NOT both advertise and opt out/);
   });
 
   it('advertising alone proceeds', () => {
-    expect(behaviorGate('openwop-audit-log-integrity', true)).toBe(true);
+    expect(behaviorGate('openwop-audit-log-integrity', true), req('openwop.it.strict-behavior-gate.advertising-alone-proceeds', 'RFC 0148 §B', 'advertising alone proceeds')).toBe(true);
   });
 
   it('opting out alone skips, in strict mode too', () => {
@@ -82,13 +83,13 @@ describe('RFC 0148 §B — advertise and opt-out are mutually exclusive', () =>
     __resetEnvCacheForTests();
     process.env['OPENWOP_REQUIRE_BEHAVIOR'] = 'true';
     __resetEnvCacheForTests();
-    expect(behaviorGate('openwop-audit-log-integrity', false)).toBe(false);
+    expect(behaviorGate('openwop-audit-log-integrity', false), req('openwop.it.strict-behavior-gate.opting-out-alone-skips-in-strict-mode-too', 'RFC 0148 §B', 'opting out alone skips, in strict mode too')).toBe(false);
   });
 
   it('strict mode fails an unadvertised, non-opted-out profile', () => {
     process.env['OPENWOP_REQUIRE_BEHAVIOR'] = 'true';
     __resetEnvCacheForTests();
-    expect(() => behaviorGate('openwop-audit-log-integrity', false)).toThrow();
+    expect(() => behaviorGate('openwop-audit-log-integrity', false), req('openwop.it.strict-behavior-gate.strict-mode-fails-an-unadvertised-non-opted-out-profile', 'RFC 0148 §B', 'strict mode fails an unadvertised, non-opted-out profile')).toThrow();
   });
 });
 
@@ -100,7 +101,7 @@ describe('RFC 0148 §B — gate decisions record a ledger disposition', () => {
     process.env['OPENWOP_OPTED_OUT_PROFILES'] = 'openwop-audit-log-integrity';
     __resetEnvCacheForTests();
     behaviorGate('openwop-audit-log-integrity', false);
-    expect(dispositionOf('openwop.profile.openwop-audit-log-integrity')).toBe('skipped');
+    expect(dispositionOf('openwop.profile.openwop-audit-log-integrity'), req('openwop.it.strict-behavior-gate.an-honest-opt-out-records-skipped-not-silence', 'RFC 0148 §B', 'an honest opt-out records `skipped`, not silence')).toBe('skipped');
   });
 
   it('a default-mode soft-skip records `inapplicable`', () => {
@@ -109,12 +110,12 @@ describe('RFC 0148 §B — gate decisions record a ledger disposition', () => {
     // statement from "we could not check", and it is certifiable where
     // `blocked` is not.
     behaviorGate('openwop-audit-log-integrity', false);
-    expect(dispositionOf('openwop.profile.openwop-audit-log-integrity')).toBe('inapplicable');
+    expect(dispositionOf('openwop.profile.openwop-audit-log-integrity'), req('openwop.it.strict-behavior-gate.a-default-mode-soft-skip-records-inapplicable', 'RFC 0148 §B', 'a default-mode soft-skip records `inapplicable`')).toBe('inapplicable');
   });
 
   it('an unexercised profile stays `blocked`', () => {
     // Nothing called the gate at all. §A's default holds: silence is not a pass,
     // and it is not certifiable either.
-    expect(dispositionOf('openwop.profile.openwop-never-touched')).toBe('blocked');
+    expect(dispositionOf('openwop.profile.openwop-never-touched'), req('openwop.it.strict-behavior-gate.an-unexercised-profile-stays-blocked', 'RFC 0148 §B', 'an unexercised profile stays `blocked`')).toBe('blocked');
   });
 });

package/src/scenarios/subrun-approval-fail-closed.test.ts

@@ -14,8 +14,8 @@
 
 import { describe, it, expect } from 'vitest';
 import { softSkip } from '../lib/soft-skip.js';
-import { driver } from '../lib/driver.js';
 import { readSubRunAttestationCap, invokeSubRunAttest } from '../lib/subRunAttestation.js';
+import { req } from '../lib/requirement-ids.js';
 
 describe('subrun-approval-fail-closed (RFC 0063 §C)', () => {
   it('no accept/edit-accept (terminated or expired) MUST NOT merge', async () => {
@@ -28,7 +28,7 @@ describe('subrun-approval-fail-closed (RFC 0063 §C)', () => {
     if (res === null) return softSkip('blocked', 'seam absent — soft-skip');
     expect(
       res.merged,
-      driver.describe('RFC 0063 §C', 'an unresolved approval MUST fail closed — outputs MUST NOT be merged'),
+      req('openwop.it.subrun-approval-fail-closed.no-accept-edit-accept-terminated-or-expired-must-not-merge', 'RFC 0063 §C', 'an unresolved approval MUST fail closed — outputs MUST NOT be merged'),
     ).toBe(false);
   });
 });