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

package/src/scenarios/interrupt-auth-required-resume.test.ts

@@ -23,6 +23,8 @@ import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { pollUntilStatus, 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-interrupt-auth-required';
 const NODE_ID = 'gate';
@@ -40,7 +42,7 @@ describe.skipIf(SKIP)('interrupt: auth-required — bearer resume succeeds', ()
       `/v1/runs/${encodeURIComponent(runId)}/interrupts/${encodeURIComponent(NODE_ID)}`,
       { resumeValue: { action: 'accept' } },
     );
-    expect(resolve.status, driver.describe(
+    expect(resolve.status, req('openwop.it.interrupt-auth-required-resume.valid-bearer-with-approvals-respond-drives-terminal-completed', 
       'interrupt-profiles.md §openwop-interrupt-auth-required',
       'bearer-token resume with approvals:respond scope MUST succeed',
     )).toBeGreaterThanOrEqual(200);
@@ -63,7 +65,7 @@ describe.skipIf(SKIP)('interrupt: auth-required — insufficient scope returns 4
         '[interrupt-auth-required-resume] skipping insufficient-scope subtest: ' +
           'OPENWOP_TEST_LOW_SCOPE_KEY not set',
       );
-      return;
+      return softSkip('blocked', 'precondition not met — `!lowScopeKey` returned early (seam, prior step, or fixture unavailable)');
     }
 
     const create = await driver.post('/v1/runs', { workflowId: WORKFLOW_ID });
@@ -76,7 +78,7 @@ describe.skipIf(SKIP)('interrupt: auth-required — insufficient scope returns 4
       { resumeValue: { action: 'accept' } },
       { headers: { Authorization: `Bearer ${lowScopeKey}` } },
     );
-    expect(resolve.status, driver.describe(
+    expect(resolve.status, req('openwop.it.interrupt-auth-required-resume.bearer-without-approvals-respond-scope-is-rejected', 
       'auth.md §scopes + interrupt-profiles.md §openwop-interrupt-auth-required',
       'bearer without approvals:respond scope MUST return 403',
     )).toBe(403);

package/src/scenarios/interrupt-clarification.test.ts

@@ -10,6 +10,7 @@ import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { pollUntilStatus, pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
+import { req } from '../lib/requirement-ids.js';
 
 const WORKFLOW_ID = 'conformance-clarification';
 const NODE_ID = 'ask';
@@ -22,7 +23,7 @@ describe.skipIf(SKIP_NO_FIXTURE)('interrupt: clarification answers resume to `co
     const runId = (create.json as { runId: string }).runId;
 
     const suspended = await pollUntilStatus(runId, 'waiting-input', { timeoutMs: 10_000 });
-    expect(suspended.currentNodeId, driver.describe(
+    expect(suspended.currentNodeId, req('openwop.it.interrupt-clarification.run-suspends-at-ask-answers-payload-drives-terminal-completed', 
       'fixtures.md conformance-clarification',
       'suspended run MUST report currentNodeId === "ask"',
     )).toBe(NODE_ID);
@@ -31,13 +32,13 @@ describe.skipIf(SKIP_NO_FIXTURE)('interrupt: clarification answers resume to `co
       `/v1/runs/${encodeURIComponent(runId)}/interrupts/${encodeURIComponent(NODE_ID)}`,
       { resumeValue: { answers: { q1: 'blue' } } },
     );
-    expect(resolve.status, driver.describe(
+    expect(resolve.status, req('openwop.it.interrupt-clarification.run-suspends-at-ask-answers-payload-drives-terminal-completed', 
       'rest-endpoints.md POST /v1/runs/{runId}/interrupts/{nodeId}',
       'valid clarification resolve MUST return 200',
     )).toBe(200);
 
     const terminal = await pollUntilTerminal(runId, { timeoutMs: 10_000 });
-    expect(terminal.status, driver.describe(
+    expect(terminal.status, req('openwop.it.interrupt-clarification.run-suspends-at-ask-answers-payload-drives-terminal-completed', 
       'fixtures.md conformance-clarification §Terminal status',
       'fixture after resolve MUST reach terminal `completed`',
     )).toBe('completed');

package/src/scenarios/interrupt-external-event-correlation.test.ts

@@ -22,6 +22,7 @@ import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { pollUntilStatus, pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
+import { req } from '../lib/requirement-ids.js';
 
 const WORKFLOW_ID = 'conformance-interrupt-external-event';
 const SKIP = !isFixtureAdvertised(WORKFLOW_ID);
@@ -51,7 +52,7 @@ describe.skipIf(SKIP)('interrupt: external-event — matching correlation resume
     await pollUntilStatus(runId, 'waiting-external', { timeoutMs: 10_000 });
 
     const token = await fetchInterruptToken(runId);
-    expect(token, driver.describe(
+    expect(token, req('openwop.it.interrupt-external-event-correlation.signed-token-post-with-matching-correlation-drives-terminal-completed', 
       'interrupt.md §Signed-token callback',
       'suspended external-event interrupt MUST expose a signed token to the caller',
     )).not.toBeNull();
@@ -63,14 +64,14 @@ describe.skipIf(SKIP)('interrupt: external-event — matching correlation resume
         externalReference: 'conformance-test-123',
       },
     });
-    expect(resolve.status, driver.describe(
+    expect(resolve.status, req('openwop.it.interrupt-external-event-correlation.signed-token-post-with-matching-correlation-drives-terminal-completed', 
       'rest-endpoints.md POST /v1/interrupts/{token}',
       'token resolve with matching correlation MUST return 2xx',
     )).toBeGreaterThanOrEqual(200);
     expect(resolve.status).toBeLessThan(300);
 
     const terminal = await pollUntilTerminal(runId, { timeoutMs: 10_000 });
-    expect(terminal.status, driver.describe(
+    expect(terminal.status, req('openwop.it.interrupt-external-event-correlation.signed-token-post-with-matching-correlation-drives-terminal-completed', 
       'fixtures.md conformance-interrupt-external-event',
       'matching external event MUST drive terminal completed',
     )).toBe('completed');
@@ -96,7 +97,7 @@ describe.skipIf(SKIP)('interrupt: external-event — mismatched correlation reje
     });
     expect(
       [422, 400].includes(resolve.status),
-      driver.describe(
+      req('openwop.it.interrupt-external-event-correlation.correlation-mismatch-returns-422-and-leaves-run-suspended', 
         'interrupt-profiles.md §openwop-interrupt-external-event',
         'correlation mismatch MUST return 422 (or 400) without resuming',
       ),
@@ -104,7 +105,7 @@ describe.skipIf(SKIP)('interrupt: external-event — mismatched correlation reje
 
     const still = await driver.get(`/v1/runs/${encodeURIComponent(runId)}`);
     const status = (still.json as { status: string }).status;
-    expect(status, 'run MUST remain suspended after correlation rejection').toMatch(/^waiting-/);
+    expect(status, req('openwop.it.interrupt-external-event-correlation.correlation-mismatch-returns-422-and-leaves-run-suspended', 'interrupt-profiles.md §openwop-interrupt-external-event', 'run MUST remain suspended after correlation rejection')).toMatch(/^waiting-/);
 
     await driver.post(`/v1/runs/${encodeURIComponent(runId)}/cancel`, {
       reason: 'conformance-cleanup',

package/src/scenarios/interrupt-parent-child-cascade.test.ts

@@ -21,6 +21,7 @@ import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { pollUntilStatus, pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
+import { req } from '../lib/requirement-ids.js';
 
 const PARENT_WORKFLOW = 'conformance-interrupt-parent-child-cancel';
 const CHILD_WORKFLOW = 'conformance-interrupt-parent-child-cancel-child';
@@ -50,7 +51,7 @@ describe.skipIf(SKIP)('interrupt: parent/child — parent cancel cascades to chi
     await pollUntilStatus(parentRunId, 'waiting-approval', { timeoutMs: 15_000 });
 
     const childRunId = await findChildRunId(parentRunId);
-    expect(childRunId, driver.describe(
+    expect(childRunId, req('openwop.it.interrupt-parent-child-cascade.child-transitions-to-cancelled-when-parent-is-cancelled-mid-suspend', 
       'fixtures.md conformance-interrupt-parent-child-cancel',
       'parent snapshot MUST surface the spawned child runId',
     )).not.toBeNull();
@@ -65,7 +66,7 @@ describe.skipIf(SKIP)('interrupt: parent/child — parent cancel cascades to chi
     expect(parentTerminal.status).toBe('cancelled');
 
     const childTerminal = await pollUntilTerminal(childRunId!, { timeoutMs: 10_000 });
-    expect(childTerminal.status, driver.describe(
+    expect(childTerminal.status, req('openwop.it.interrupt-parent-child-cascade.child-transitions-to-cancelled-when-parent-is-cancelled-mid-suspend', 
       'interrupt-profiles.md §openwop-interrupt-parent-child',
       'parent cancellation MUST cascade — child run MUST reach terminal cancelled',
     )).toBe('cancelled');
@@ -93,7 +94,7 @@ describe.skipIf(SKIP)('interrupt: parent/child — post-cascade resolve of child
     );
     expect(
       [410, 409, 404].includes(lateResolve.status),
-      driver.describe(
+      req('openwop.it.interrupt-parent-child-cascade.attempting-to-resolve-the-cascaded-child-interrupt-is-rejected', 
         'interrupt-profiles.md §openwop-interrupt-parent-child',
         'resolving a cascaded child interrupt MUST be rejected (410 Gone preferred, 409/404 acceptable)',
       ),

package/src/scenarios/interrupt-quorum-resolution.test.ts

@@ -21,6 +21,7 @@ import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { pollUntilStatus, pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
+import { req } from '../lib/requirement-ids.js';
 
 // Profile gating: a host claims `openwop-interrupt-quorum` support by
 // advertising the fixture. Hosts that don't support quorum semantics
@@ -42,7 +43,7 @@ describe.skipIf(SKIP)('interrupt: quorum — three accepts resume to completed',
         `/v1/runs/${encodeURIComponent(runId)}/interrupts/${encodeURIComponent(NODE_ID)}`,
         { resumeValue: { action: 'accept', voter: `approver-${i}` } },
       );
-      expect(partial.status, driver.describe(
+      expect(partial.status, req('openwop.it.interrupt-quorum-resolution.first-two-accepts-persist-without-resuming-third-accept-drives-terminal-complete', 
         'interrupt-profiles.md §openwop-interrupt-quorum',
         `partial vote ${i}/3 MUST be accepted (2xx) without terminating the run`,
       )).toBeGreaterThanOrEqual(200);
@@ -50,7 +51,7 @@ describe.skipIf(SKIP)('interrupt: quorum — three accepts resume to completed',
 
       const stillWaiting = await driver.get(`/v1/runs/${encodeURIComponent(runId)}`);
       const status = (stillWaiting.json as { status: string }).status;
-      expect(status, driver.describe(
+      expect(status, req('openwop.it.interrupt-quorum-resolution.first-two-accepts-persist-without-resuming-third-accept-drives-terminal-complete', 
         'interrupt-profiles.md §openwop-interrupt-quorum',
         `run MUST still be in waiting-approval after ${i}/3 votes (quorum not met)`,
       )).toBe('waiting-approval');
@@ -64,7 +65,7 @@ describe.skipIf(SKIP)('interrupt: quorum — three accepts resume to completed',
     expect(final.status).toBeLessThan(300);
 
     const terminal = await pollUntilTerminal(runId, { timeoutMs: 10_000 });
-    expect(terminal.status, driver.describe(
+    expect(terminal.status, req('openwop.it.interrupt-quorum-resolution.first-two-accepts-persist-without-resuming-third-accept-drives-terminal-complete', 
       'fixtures.md conformance-interrupt-quorum §Terminal status',
       'three accepts (quorum met) MUST drive terminal completed',
     )).toBe('completed');
@@ -89,7 +90,7 @@ describe.skipIf(SKIP)('interrupt: quorum — majority reject fails the gate', ()
     );
 
     const terminal = await pollUntilTerminal(runId, { timeoutMs: 10_000 });
-    expect(['failed', 'rejected'], driver.describe(
+    expect(['failed', 'rejected'], req('openwop.it.interrupt-quorum-resolution.two-rejects-out-of-three-votes-trigger-the-majority-reject-termination', 
       'interrupt-profiles.md §openwop-interrupt-quorum (rejectionPolicy: majority)',
       'majority rejection MUST drive a non-completed terminal state',
     )).toContain(terminal.status);

package/src/scenarios/interrupt-token-matrix.test.ts

@@ -30,6 +30,8 @@ import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { pollUntilStatus } 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 FIXTURE = 'conformance-interrupt-external-event';
 const SKIP = !isFixtureAdvertised(FIXTURE);
@@ -45,7 +47,7 @@ describe.skipIf(SKIP)('interrupt-token-matrix: GET /v1/interrupts/{token} negati
     const malformed = '!!!not-a-valid-token!!!';
     const res = await driver.get(`/v1/interrupts/${encodeURIComponent(malformed)}`);
     expect([400, 404]).toContain(res.status);
-    expect(res.status, driver.describe(
+    expect(res.status, req('openwop.it.interrupt-token-matrix.malformed-token-returns-400-or-404-never-200', 
       'rest-endpoints.md GET /v1/interrupts/{token}',
       'malformed interrupt token MUST NOT return 200',
     )).not.toBe(200);
@@ -55,7 +57,7 @@ describe.skipIf(SKIP)('interrupt-token-matrix: GET /v1/interrupts/{token} negati
     // Plausibly-shaped opaque token that the host has no record of.
     const unknown = `tok_${randomBytesB64(32)}`;
     const res = await driver.get(`/v1/interrupts/${encodeURIComponent(unknown)}`);
-    expect(res.status, driver.describe(
+    expect(res.status, req('openwop.it.interrupt-token-matrix.well-formed-but-unknown-token-returns-404', 
       'rest-endpoints.md GET /v1/interrupts/{token}',
       'unknown interrupt token MUST return 404',
     )).toBe(404);
@@ -83,7 +85,7 @@ describe.skipIf(SKIP)('interrupt-token-matrix: POST /v1/interrupts/{token} negat
       await driver.post(`/v1/runs/${encodeURIComponent(runId)}/cancel`, {
         reason: 'conformance-cleanup',
       });
-      return;
+      return softSkip('blocked', 'precondition not met — `typeof token !== \'string\'` returned early ([interrupt-token-matrix] host did not surface an interrupt token; skipping replay subtest) (seam, prior step, or fixture unavailable)');
     }
 
     const resolve1 = await driver.post(`/v1/interrupts/${encodeURIComponent(token)}`, {
@@ -97,13 +99,13 @@ describe.skipIf(SKIP)('interrupt-token-matrix: POST /v1/interrupts/{token} negat
       await driver.post(`/v1/runs/${encodeURIComponent(runId)}/cancel`, {
         reason: 'conformance-cleanup',
       });
-      return;
+      return softSkip('blocked', 'precondition not met — `resolve1.status !== 200 && resolve1.status !== 202` returned early ([interrupt-token-matrix] first resolve returned …; can\'t exercise replay path. Skipping.) (seam, prior step, or fixture unava…');
     }
 
     const resolve2 = await driver.post(`/v1/interrupts/${encodeURIComponent(token)}`, {
       correlation: { orderId: 'order-token-matrix', status: 'accepted' },
     });
-    expect([404, 409, 410], driver.describe(
+    expect([404, 409, 410], req('openwop.it.interrupt-token-matrix.replay-after-successful-resolve-returns-409-or-404', 
       'rest-endpoints.md POST /v1/interrupts/{token}',
       'replay of an already-resolved interrupt token MUST NOT return 2xx (host MAY 404/409/410)',
     )).toContain(resolve2.status);
@@ -118,7 +120,7 @@ describe.skipIf(SKIP)('interrupt-token-matrix: POST /v1/interrupts/{token} negat
     const res = await driver.post(`/v1/interrupts/${encodeURIComponent(unknown)}`, {
       correlation: { orderId: 'noop', status: 'whatever' },
     });
-    expect(res.status, driver.describe(
+    expect(res.status, req('openwop.it.interrupt-token-matrix.unknown-token-returns-404-on-post', 
       'rest-endpoints.md POST /v1/interrupts/{token}',
       'POST on an unknown interrupt token MUST return 404',
     )).toBe(404);

package/src/scenarios/interruptRace.test.ts

@@ -23,6 +23,8 @@ import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { pollUntil } 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 APPROVAL_WORKFLOW_ID = 'conformance-approval';
 const NOOP_WORKFLOW_ID = 'conformance-noop';
@@ -45,13 +47,13 @@ describe.skipIf(SKIP_NO_APPROVAL)('interrupt-race: concurrent cancel + resolve d
   it(
     'concurrent cancel + interrupt-resolve resolves to one of: cancelled or completed',
     async () => {
-      if (!(await hostClaimsInterrupts())) return; // skip-equivalent
+      if (!(await hostClaimsInterrupts())) return softSkip('blocked', 'precondition not met — `!(await hostClaimsInterrupts())` returned early (skip-equivalent) (seam, prior step, or fixture unavailable)'); // skip-equivalent
 
       // Phase 1: start a workflow that suspends at an approval gate.
       const create = await driver.post('/v1/runs', { workflowId: APPROVAL_WORKFLOW_ID });
       if (create.status !== 201) {
         // Host may not seed conformance-approval fixture; skip.
-        return;
+        return softSkip('blocked', 'precondition not met — `create.status !== 201` returned early (Host may not seed conformance-approval fixture; skip.) (seam, prior step, or fixture unavailable)');
       }
       const runId = (create.json as { runId: string }).runId;
 
@@ -72,7 +74,7 @@ describe.skipIf(SKIP_NO_APPROVAL)('interrupt-race: concurrent cancel + resolve d
       if (typeof nodeId !== 'string') {
         // Host doesn't expose currentNodeId on suspended snapshots —
         // can't drive the race deterministically; skip-equivalent.
-        return;
+        return softSkip('blocked', 'precondition not met — `typeof nodeId !== \'string\'` returned early (Host doesn\'t expose currentNodeId on suspended snapshots — can\'t drive the race deterministically; skip-equivalent.) (seam, prior step, or fixture un…');
       }
 
       // Phase 3: fire cancel + resolve concurrently. Promise.all so
@@ -92,14 +94,14 @@ describe.skipIf(SKIP_NO_APPROVAL)('interrupt-race: concurrent cancel + resolve d
       // (operation lost the race). Anything else is non-deterministic.
       expect(
         [200, 202, 409].includes(cancelRes.status),
-        driver.describe(
+        req('openwop.it.interruptRace.concurrent-cancel-interrupt-resolve-resolves-to-one-of-cancelled-or-completed', 
           'spec/v1/interrupt.md',
           `cancel response under race MUST be 200/202/409; got ${cancelRes.status}`,
         ),
       ).toBe(true);
       expect(
         [200, 202, 400, 404, 409].includes(resolveRes.status),
-        driver.describe(
+        req('openwop.it.interruptRace.concurrent-cancel-interrupt-resolve-resolves-to-one-of-cancelled-or-completed', 
           'spec/v1/interrupt.md',
           `resolve response under race MUST be 200/202/400/404/409; got ${resolveRes.status}`,
         ),
@@ -110,7 +112,7 @@ describe.skipIf(SKIP_NO_APPROVAL)('interrupt-race: concurrent cancel + resolve d
       const resolveSucceeded = resolveRes.status === 200 || resolveRes.status === 202;
       expect(
         cancelSucceeded || resolveSucceeded,
-        driver.describe(
+        req('openwop.it.interruptRace.concurrent-cancel-interrupt-resolve-resolves-to-one-of-cancelled-or-completed', 
           'spec/v1/interrupt.md',
           'under cancel/resolve race, at least one operation MUST succeed',
         ),
@@ -131,7 +133,7 @@ describe.skipIf(SKIP_NO_APPROVAL)('interrupt-race: concurrent cancel + resolve d
 
       expect(
         ['completed', 'cancelled', 'failed'].includes(terminal.status),
-        driver.describe(
+        req('openwop.it.interruptRace.concurrent-cancel-interrupt-resolve-resolves-to-one-of-cancelled-or-completed', 
           'spec/v1/interrupt.md',
           'race outcome MUST converge on a terminal status, not stay in waiting-approval forever',
         ),
@@ -143,7 +145,7 @@ describe.skipIf(SKIP_NO_APPROVAL)('interrupt-race: concurrent cancel + resolve d
       // (assuming the workflow has nothing else to fail on after the
       // approval gate).
       if (cancelSucceeded && !resolveSucceeded) {
-        expect(terminal.status, driver.describe(
+        expect(terminal.status, req('openwop.it.interruptRace.concurrent-cancel-interrupt-resolve-resolves-to-one-of-cancelled-or-completed', 
           'spec/v1/interrupt.md',
           'when cancel wins the race, run MUST terminate as cancelled',
         )).toBe('cancelled');
@@ -158,7 +160,7 @@ describe.skipIf(SKIP_NO_NOOP)('interrupt-race: cancel against a non-suspended ru
     // Self-test that doesn't require a race. Runs against any host
     // that supports cancel (every conforming host does).
     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;
 
     await pollUntil(
@@ -168,7 +170,7 @@ describe.skipIf(SKIP_NO_NOOP)('interrupt-race: cancel against a non-suspended ru
     );
 
     const cancel = await driver.post(`/v1/runs/${encodeURIComponent(runId)}/cancel`, {});
-    expect(cancel.status, driver.describe(
+    expect(cancel.status, req('openwop.it.interruptRace.cancel-of-a-completed-run-returns-200-with-the-existing-terminal-status-idempote', 
       'spec/v1/rest-endpoints.md POST /v1/runs/{runId}/cancel',
       'cancel of an already-terminal run MUST return 200 (idempotent)',
     )).toBe(200);

package/src/scenarios/kv-atomic-increment.test.ts

@@ -11,6 +11,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>;
@@ -31,10 +33,10 @@ async function call(op: string, args: Record<string, unknown>) {
 describe('kv-atomic-increment: advertisement shape (RFC 0015)', () => {
   it('capabilities.kvStorage is either absent or a well-formed object', async () => {
     const cap = await readCap();
-    if (cap === null) return;
+    if (cap === null) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `cap === null` returned early');
     expect(
       typeof cap.supported,
-      driver.describe(
+      req('openwop.it.kv-atomic-increment.capabilities-kvstorage-is-either-absent-or-a-well-formed-object', 
         'capabilities.schema.json §kvStorage',
         'capabilities.kvStorage.supported MUST be a boolean when present',
       ),
@@ -43,33 +45,33 @@ describe('kv-atomic-increment: advertisement shape (RFC 0015)', () => {
 
   it('atomicIncrement 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 sub = cap.atomicIncrement;
-    if (sub === undefined) return;
-    expect(typeof sub, driver.describe('RFC 0015 §A', 'atomicIncrement MUST be boolean when present')).toBe('boolean');
+    if (sub === undefined) return softSkip('blocked', 'precondition not met — `sub === undefined` returned early (seam, prior step, or fixture unavailable)');
+    expect(typeof sub, req('openwop.it.kv-atomic-increment.atomicincrement-is-a-boolean-when-set', 'RFC 0015 §A', 'atomicIncrement MUST be boolean when present')).toBe('boolean');
   });
 });
 
 describe('kv-atomic-increment: behavioral (RFC 0015 §B point 4)', () => {
   it('N concurrent +1 increments converge to exactly N', async () => {
     const cap = await readCap();
-    if (!cap || cap.supported !== true || cap.atomicIncrement !== true) return;
+    if (!cap || cap.supported !== true || cap.atomicIncrement !== true) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `!cap || cap.supported !== true || cap.atomicIncrement !== true` returned early');
     const key = `atomic-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
     const probe = await call('atomicIncrement', { key, delta: 0 });
-    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 N = 50;
     const results = await Promise.all(
       Array.from({ length: N }, () => call('atomicIncrement', { key, delta: 1 })),
     );
     for (const r of results) {
-      expect(r.status, 'each increment MUST succeed').toBe(200);
+      expect(r.status, req('openwop.it.kv-atomic-increment.n-concurrent-1-increments-converge-to-exactly-n', 'RFC 0015 §B point 4', 'each increment MUST succeed')).toBe(200);
     }
     const finalRes = await call('get', { key });
     const finalBody = finalRes.json as { value?: unknown };
     expect(
       finalBody.value,
-      driver.describe('RFC 0015 §B point 4', `${N} concurrent increments MUST converge to exactly ${N}`),
+      req('openwop.it.kv-atomic-increment.n-concurrent-1-increments-converge-to-exactly-n', 'RFC 0015 §B point 4', `${N} concurrent increments MUST converge to exactly ${N}`),
     ).toBe(N);
   });
 });

package/src/scenarios/kv-cas.test.ts

@@ -11,6 +11,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>;
@@ -31,10 +33,10 @@ async function call(op: string, args: Record<string, unknown>) {
 describe('kv-cas: advertisement shape (RFC 0015)', () => {
   it('capabilities.kvStorage is either absent or a well-formed object', async () => {
     const cap = await readCap();
-    if (cap === null) return;
+    if (cap === null) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `cap === null` returned early');
     expect(
       typeof cap.supported,
-      driver.describe(
+      req('openwop.it.kv-cas.capabilities-kvstorage-is-either-absent-or-a-well-formed-object', 
         'capabilities.schema.json §kvStorage',
         'capabilities.kvStorage.supported MUST be a boolean when present',
       ),
@@ -43,34 +45,34 @@ describe('kv-cas: advertisement shape (RFC 0015)', () => {
 
   it('compareAndSwap 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 sub = cap.compareAndSwap;
-    if (sub === undefined) return;
-    expect(typeof sub, driver.describe('RFC 0015 §A', 'compareAndSwap MUST be boolean when present')).toBe('boolean');
+    if (sub === undefined) return softSkip('blocked', 'precondition not met — `sub === undefined` returned early (seam, prior step, or fixture unavailable)');
+    expect(typeof sub, req('openwop.it.kv-cas.compareandswap-is-a-boolean-when-set', 'RFC 0015 §A', 'compareAndSwap MUST be boolean when present')).toBe('boolean');
   });
 });
 
 describe('kv-cas: behavioral (RFC 0015 §B point 5)', () => {
   it('CAS with matching expect succeeds; stale expect fails with swapped:false', async () => {
     const cap = await readCap();
-    if (!cap || cap.supported !== true || cap.compareAndSwap !== true) return;
+    if (!cap || cap.supported !== true || cap.compareAndSwap !== true) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `!cap || cap.supported !== true || cap.compareAndSwap !== true` returned early');
     const key = `cas-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
 
     const setRes = await call('set', { key, value: 'v1' });
-    if (setRes.status === 404) return;
+    if (setRes.status === 404) return softSkip('blocked', 'precondition not met — `setRes.status === 404` returned early (seam, prior step, or fixture unavailable)');
     expect(setRes.status).toBe(200);
 
     // Matching expect → swaps.
     const okRes = await call('cas', { key, expect: 'v1', set: 'v2' });
-    expect(okRes.status, 'matching CAS MUST 200').toBe(200);
+    expect(okRes.status, req('openwop.it.kv-cas.cas-with-matching-expect-succeeds-stale-expect-fails-with-swapped-false', 'RFC 0015 §B', 'matching CAS MUST 200')).toBe(200);
     const okBody = okRes.json as { swapped?: boolean };
-    expect(okBody.swapped, 'matching expect MUST swap').toBe(true);
+    expect(okBody.swapped, req('openwop.it.kv-cas.cas-with-matching-expect-succeeds-stale-expect-fails-with-swapped-false', 'RFC 0015 §B', 'matching expect MUST swap')).toBe(true);
 
     // Stale expect → no swap.
     const staleRes = await call('cas', { key, expect: 'v1', set: 'v3' });
-    expect(staleRes.status, 'stale CAS MUST 200 (CAS is non-throwing)').toBe(200);
+    expect(staleRes.status, req('openwop.it.kv-cas.cas-with-matching-expect-succeeds-stale-expect-fails-with-swapped-false', 'RFC 0015 §B', 'stale CAS MUST 200 (CAS is non-throwing)')).toBe(200);
     const staleBody = staleRes.json as { swapped?: boolean; actual?: unknown };
-    expect(staleBody.swapped, 'stale expect MUST NOT swap').toBe(false);
-    expect(staleBody.actual, 'stale CAS MUST surface current value').toBe('v2');
+    expect(staleBody.swapped, req('openwop.it.kv-cas.cas-with-matching-expect-succeeds-stale-expect-fails-with-swapped-false', 'RFC 0015 §B', 'stale expect MUST NOT swap')).toBe(false);
+    expect(staleBody.actual, req('openwop.it.kv-cas.cas-with-matching-expect-succeeds-stale-expect-fails-with-swapped-false', 'RFC 0015 §B', 'stale CAS MUST surface current value')).toBe('v2');
   });
 });

package/src/scenarios/kv-cross-tenant-isolation.test.ts

@@ -19,6 +19,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>;
@@ -39,10 +41,10 @@ async function call(tenantId: string, op: string, args: Record<string, unknown>)
 describe('kv-cross-tenant-isolation: advertisement shape (RFC 0015)', () => {
   it('capabilities.kvStorage is either absent or a well-formed object', async () => {
     const cap = await readCap();
-    if (cap === null) return;
+    if (cap === null) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `cap === null` returned early');
     expect(
       typeof cap.supported,
-      driver.describe(
+      req('openwop.it.kv-cross-tenant-isolation.capabilities-kvstorage-is-either-absent-or-a-well-formed-object', 
         'capabilities.schema.json §kvStorage',
         'capabilities.kvStorage.supported MUST be a boolean when present',
       ),
@@ -53,18 +55,18 @@ describe('kv-cross-tenant-isolation: advertisement shape (RFC 0015)', () => {
 describe('kv-cross-tenant-isolation: behavioral (RFC 0015 §B)', () => {
   it('set under tenant A → get under tenant B with same key returns found:false', 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 key = `xtenant-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
     const setRes = await call('tenant-a', 'set', { key, value: 'from-A' });
-    if (setRes.status === 404) return; // host doesn't expose test seam
-    expect(setRes.status, driver.describe('RFC 0015 §B', 'set MUST succeed')).toBe(200);
+    if (setRes.status === 404) return softSkip('blocked', 'precondition not met — `setRes.status === 404` returned early (host doesn\'t expose test seam) (seam, prior step, or fixture unavailable)'); // host doesn't expose test seam
+    expect(setRes.status, req('openwop.it.kv-cross-tenant-isolation.set-under-tenant-a-get-under-tenant-b-with-same-key-returns-found-false', 'RFC 0015 §B', 'set MUST succeed')).toBe(200);
 
     const getRes = await call('tenant-b', 'get', { key });
     expect(getRes.status).toBe(200);
     const body = getRes.json as { value?: unknown; found?: boolean };
     expect(
       body.found,
-      driver.describe(
+      req('openwop.it.kv-cross-tenant-isolation.set-under-tenant-a-get-under-tenant-b-with-same-key-returns-found-false', 
         'SECURITY/invariants.yaml kv-cross-tenant-isolation',
         'tenant B MUST NOT see tenant A value at the same key',
       ),
@@ -73,14 +75,14 @@ describe('kv-cross-tenant-isolation: behavioral (RFC 0015 §B)', () => {
 
   it('same-tenant set→get round-trips the value', 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 key = `roundtrip-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
     const setRes = await call('tenant-a', 'set', { key, value: 'rt-A' });
-    if (setRes.status === 404) return;
+    if (setRes.status === 404) return softSkip('blocked', 'precondition not met — `setRes.status === 404` returned early (seam, prior step, or fixture unavailable)');
     expect(setRes.status).toBe(200);
     const getRes = await call('tenant-a', 'get', { key });
     const body = getRes.json as { value?: unknown; found?: boolean };
-    expect(body.found, 'same-tenant get MUST succeed').toBe(true);
-    expect(body.value, 'same-tenant get MUST return the stored value').toBe('rt-A');
+    expect(body.found, req('openwop.it.kv-cross-tenant-isolation.same-tenant-set-get-round-trips-the-value', 'RFC 0015 §B', 'same-tenant get MUST succeed')).toBe(true);
+    expect(body.value, req('openwop.it.kv-cross-tenant-isolation.same-tenant-set-get-round-trips-the-value', 'RFC 0015 §B', 'same-tenant get MUST return the stored value')).toBe('rt-A');
   });
 });

package/src/scenarios/kv-ttl-expiry.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('kv-ttl-expiry: advertisement shape (RFC 0015)', () => {
   it('capabilities.kvStorage 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.kv-ttl-expiry.capabilities-kvstorage-is-either-absent-or-a-well-formed-object', 
         'capabilities.schema.json §kvStorage',
         'capabilities.kvStorage.supported MUST be a boolean when present',
       ),
@@ -50,7 +52,7 @@ async function call(op: string, args: Record<string, unknown>) {
 describe('kv-ttl-expiry: behavioral (RFC 0015 §B point 3 — 1s TTL drift)', () => {
   it('set with ttlSeconds=2 → get before expiry returns value; get after expiry returns found:false', async () => {
     const probe = await call('get', { key: '__ttl-probe__' });
-    if (probe.status === 404) return; // host doesn't expose the seam
+    if (probe.status === 404) return softSkip('blocked', 'precondition not met — `probe.status === 404` returned early (host doesn\'t expose the seam) (seam, prior step, or fixture unavailable)'); // host doesn't expose the seam
     const key = `ttl-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
     const setRes = await call('set', { key, value: 'expires-soon', ttlSeconds: 2 });
     expect(setRes.status).toBe(200);
@@ -61,7 +63,7 @@ describe('kv-ttl-expiry: behavioral (RFC 0015 §B point 3 — 1s TTL drift)', ()
     const withinBody = within.json as { value?: unknown; found?: boolean };
     expect(
       withinBody.value,
-      driver.describe('RFC 0015 §B point 3', 'get within TTL window MUST return the stored value'),
+      req('openwop.it.kv-ttl-expiry.set-with-ttlseconds-2-get-before-expiry-returns-value-get-after-expiry-returns-f', 'RFC 0015 §B point 3', 'get within TTL window MUST return the stored value'),
     ).toBe('expires-soon');
     expect(withinBody.found).toBe(true);
 
@@ -73,7 +75,7 @@ describe('kv-ttl-expiry: behavioral (RFC 0015 §B point 3 — 1s TTL drift)', ()
     const afterBody = after.json as { value?: unknown; found?: boolean };
     expect(
       afterBody.found,
-      driver.describe('RFC 0015 §B point 3', 'get after TTL expiry MUST surface as found:false (≤1s drift)'),
+      req('openwop.it.kv-ttl-expiry.set-with-ttlseconds-2-get-before-expiry-returns-value-get-after-expiry-returns-f', 'RFC 0015 §B point 3', 'get after TTL expiry MUST surface as found:false (≤1s drift)'),
     ).toBe(false);
   });
 });