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

package/src/scenarios/goal-standing-continuation.test.ts

@@ -31,8 +31,8 @@ import { SCHEMAS_DIR } from '../lib/paths.js';
 import { driver } from '../lib/driver.js';
 import { behaviorGate } from '../lib/behavior-gate.js';
 import { readCapabilityFamily } from '../lib/discovery-capabilities.js';
-
-const why = (specRef: string, requirement: string): string => `${specRef} — ${requirement}`;
+import { req } from '../lib/requirement-ids.js';
+import { softSkip } from '../lib/soft-skip.js';
 function loadSchema(name: string): Record<string, unknown> {
   return JSON.parse(readFileSync(join(SCHEMAS_DIR, name), 'utf8')) as Record<string, unknown>;
 }
@@ -42,11 +42,11 @@ describe('goal-standing-continuation: capability advertisement (RFC 0097 §A, se
     const caps = loadSchema('capabilities.schema.json');
     const agents = (caps.properties as Record<string, { properties?: Record<string, { properties?: Record<string, unknown>; required?: string[] }> }>).agents;
     const goals = agents?.properties?.goals;
-    expect(goals, why('capabilities.md §agents', 'agents.goals MUST be declared')).toBeDefined();
+    expect(goals, req('openwop.it.goal-standing-continuation.capabilities-schema-declares-agents-goals-with-its-required-sub-flags', 'capabilities.md §agents', 'agents.goals MUST be declared')).toBeDefined();
     for (const flag of ['judge', 'continuation', 'requiresBounds']) {
-      expect(goals?.properties?.[flag], why('RFC 0097 §A', `agents.goals.${flag} MUST be declared`)).toBeDefined();
+      expect(goals?.properties?.[flag], req('openwop.it.goal-standing-continuation.capabilities-schema-declares-agents-goals-with-its-required-sub-flags', 'RFC 0097 §A', `agents.goals.${flag} MUST be declared`)).toBeDefined();
     }
-    expect(goals?.required, why('RFC 0097 §A', 'judge + continuation MUST be required')).toEqual(
+    expect(goals?.required, req('openwop.it.goal-standing-continuation.capabilities-schema-declares-agents-goals-with-its-required-sub-flags', 'RFC 0097 §A', 'judge + continuation MUST be required')).toEqual(
       expect.arrayContaining(['judge', 'continuation']),
     );
   });
@@ -69,13 +69,13 @@ describe('goal-standing-continuation: Goal shape (RFC 0097 §B, server-free)', (
   };
 
   it('validates a conforming active goal', () => {
-    expect(validate(good), why('RFC 0097 §B', `a conforming goal MUST validate. Errors: ${JSON.stringify(validate.errors)}`)).toBe(true);
+    expect(validate(good), req('openwop.it.goal-standing-continuation.validates-a-conforming-active-goal', 'RFC 0097 §B', `a conforming goal MUST validate. Errors: ${JSON.stringify(validate.errors)}`)).toBe(true);
   });
 
   it('rejects an unknown state, an unknown judge, and a bad continuation mode', () => {
-    expect(validate({ ...good, state: 'done' }), why('RFC 0097 §B', 'a state outside the lifecycle enum MUST be rejected')).toBe(false);
-    expect(validate({ ...good, completion: { check: 'vibes' } }), why('RFC 0097 §B', 'judge check outside {verifier,host} MUST be rejected')).toBe(false);
-    expect(validate({ ...good, continuation: { mode: 'whenever' } }), why('RFC 0097 §B', 'continuation mode outside the enum MUST be rejected')).toBe(false);
+    expect(validate({ ...good, state: 'done' }), req('openwop.it.goal-standing-continuation.rejects-an-unknown-state-an-unknown-judge-and-a-bad-continuation-mode', 'RFC 0097 §B', 'a state outside the lifecycle enum MUST be rejected')).toBe(false);
+    expect(validate({ ...good, completion: { check: 'vibes' } }), req('openwop.it.goal-standing-continuation.rejects-an-unknown-state-an-unknown-judge-and-a-bad-continuation-mode', 'RFC 0097 §B', 'judge check outside {verifier,host} MUST be rejected')).toBe(false);
+    expect(validate({ ...good, continuation: { mode: 'whenever' } }), req('openwop.it.goal-standing-continuation.rejects-an-unknown-state-an-unknown-judge-and-a-bad-continuation-mode', 'RFC 0097 §B', 'continuation mode outside the enum MUST be rejected')).toBe(false);
   });
 });
 
@@ -88,17 +88,17 @@ describe('goal-standing-continuation: content-free events (RFC 0097 §D, server-
 
   it('goal.evaluated and goal.closed are in the RunEventType enum', () => {
     const en = (runEvent.$defs as Record<string, { enum?: string[] }>).RunEventType?.enum ?? [];
-    expect(en).toContain('goal.evaluated');
+    expect(en, req('openwop.it.goal-standing-continuation.goal-evaluated-and-goal-closed-are-in-the-runeventtype-enum', 'RFC 0097', 'goal.evaluated and goal.closed are in the RunEventType enum')).toContain('goal.evaluated');
     expect(en).toContain('goal.closed');
   });
 
   it('goal.evaluated is content-free — an objective text field is rejected; goal.closed requires a terminal finalState', () => {
     const evaluated = ajv.getSchema('payloads#/$defs/goalEvaluated')!;
-    expect(evaluated({ goalId: 'g1', satisfied: false, confidence: 0.4, runId: 'r1', iterations: 2 }), why('RFC 0097 §D', 'a content-free goal.evaluated MUST validate')).toBe(true);
-    expect(evaluated({ goalId: 'g1', satisfied: false, runId: 'r1', iterations: 2, objective: 'ship it' }), why('RFC 0097 §D', 'goal.evaluated MUST NOT carry objective text')).toBe(false);
+    expect(evaluated({ goalId: 'g1', satisfied: false, confidence: 0.4, runId: 'r1', iterations: 2 }), req('openwop.it.goal-standing-continuation.goal-evaluated-is-content-free-an-objective-text-field-is-rejected-goal-closed-r', 'RFC 0097 §D', 'a content-free goal.evaluated MUST validate')).toBe(true);
+    expect(evaluated({ goalId: 'g1', satisfied: false, runId: 'r1', iterations: 2, objective: 'ship it' }), req('openwop.it.goal-standing-continuation.goal-evaluated-is-content-free-an-objective-text-field-is-rejected-goal-closed-r', 'RFC 0097 §D', 'goal.evaluated MUST NOT carry objective text')).toBe(false);
     const closed = ajv.getSchema('payloads#/$defs/goalClosed')!;
-    expect(closed({ goalId: 'g1', finalState: 'bound-exceeded' }), why('RFC 0097 §D', 'goal.closed with a terminal finalState MUST validate')).toBe(true);
-    expect(closed({ goalId: 'g1', finalState: 'active' }), why('RFC 0097 §D', 'goal.closed MUST NOT use the non-terminal `active` state')).toBe(false);
+    expect(closed({ goalId: 'g1', finalState: 'bound-exceeded' }), req('openwop.it.goal-standing-continuation.goal-evaluated-is-content-free-an-objective-text-field-is-rejected-goal-closed-r', 'RFC 0097 §D', 'goal.closed with a terminal finalState MUST validate')).toBe(true);
+    expect(closed({ goalId: 'g1', finalState: 'active' }), req('openwop.it.goal-standing-continuation.goal-evaluated-is-content-free-an-objective-text-field-is-rejected-goal-closed-r', 'RFC 0097 §D', 'goal.closed MUST NOT use the non-terminal `active` state')).toBe(false);
   });
 });
 
@@ -106,17 +106,17 @@ describe('goal-standing-continuation: behavioral (RFC 0097 §E, capability-gated
   it('a goal cannot be created without bounds when requiresBounds is advertised (422)', async () => {
     const agents = await readCapabilityFamily<{ goals?: { requiresBounds?: boolean } }>('agents');
     if (!behaviorGate('agents.goals', agents?.goals !== undefined)) return;
-    if (agents?.goals?.requiresBounds === false) return; // host opted out of mandatory bounds
+    if (agents?.goals?.requiresBounds === false) return softSkip('blocked', 'precondition not met — `agents?.goals?.requiresBounds === false` returned early (host opted out of mandatory bounds) (seam, prior step, or fixture unavailable)'); // host opted out of mandatory bounds
 
     const res = await driver.post('/v1/host/sample/goals', {
       objective: 'unbounded work',
       completion: { check: 'host' },
       continuation: { mode: 'manual' },
     });
-    if (res.status === 404 || res.status === 403) return; // seam unwired — soft-skip
+    if (res.status === 404 || res.status === 403) return softSkip('blocked', 'precondition not met — `res.status === 404 || res.status === 403` returned early (seam unwired — soft-skip) (seam, prior step, or fixture unavailable)'); // seam unwired — soft-skip
     expect(
       res.status,
-      driver.describe('agent-runtime.md §"Standing goals" clause 2', 'POST /goals without RFC 0058 bounds MUST be rejected (422) when requiresBounds is advertised'),
+      req('openwop.it.goal-standing-continuation.a-goal-cannot-be-created-without-bounds-when-requiresbounds-is-advertised-422', 'agent-runtime.md §"Standing goals" clause 2', 'POST /goals without RFC 0058 bounds MUST be rejected (422) when requiresBounds is advertised'),
     ).toBe(422);
   });
 
@@ -125,15 +125,15 @@ describe('goal-standing-continuation: behavioral (RFC 0097 §E, capability-gated
     if (!behaviorGate('agents.goals', agents?.goals !== undefined)) return;
 
     const list = await driver.get('/v1/host/sample/goals?state=active');
-    if (list.status === 404 || list.status === 403) return;
+    if (list.status === 404 || list.status === 403) return softSkip('blocked', 'precondition not met — `list.status === 404 || list.status === 403` returned early (seam, prior step, or fixture unavailable)');
     const goals = (list.json as { goals?: Array<{ id: string }> })?.goals ?? [];
-    if (goals.length === 0) return;
+    if (goals.length === 0) return softSkip('blocked', 'precondition not met — `goals.length === 0` returned early (seam, prior step, or fixture unavailable)');
 
     const res = await driver.post(`/v1/host/sample/goals/${goals[0]!.id}`, { state: 'satisfied' });
-    if (res.status === 404) return;
+    if (res.status === 404) return softSkip('blocked', 'precondition not met — `res.status === 404` returned early (seam, prior step, or fixture unavailable)');
     expect(
       res.status >= 400,
-      driver.describe('agent-runtime.md §"Standing goals" clause 1', 'a client-supplied state: satisfied MUST be refused — completion is the judge\'s verdict'),
+      req('openwop.it.goal-standing-continuation.a-client-must-not-set-state-satisfied-directly', 'agent-runtime.md §"Standing goals" clause 1', 'a client-supplied state: satisfied MUST be refused — completion is the judge\'s verdict'),
     ).toBe(true);
   });
 });

package/src/scenarios/grpc-transport.test.ts

@@ -34,6 +34,8 @@ import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { behaviorGate } from '../lib/behavior-gate.js';
 import { capabilityFamily } from '../lib/discovery-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
+import { softSkip } from '../lib/soft-skip.js';
 
 const HTTP_SKIP = !process.env.OPENWOP_BASE_URL;
 
@@ -50,23 +52,23 @@ interface GrpcCap {
 describe.skipIf(HTTP_SKIP)('grpc-transport: advertisement shape (grpc-transport.md §Field semantics)', () => {
   it('an advertised capabilities.grpc block satisfies every doc MUST', async () => {
     const res = await driver.get('/.well-known/openwop');
-    if (res.status !== 200) return;
+    if (res.status !== 200) return softSkip('blocked', 'precondition not met — `res.status !== 200` returned early (seam, prior step, or fixture unavailable)');
     const grpc = capabilityFamily<GrpcCap>(res.json, 'grpc');
     if (!behaviorGate('openwop-grpc-transport', grpc !== undefined)) return;
 
     expect(
       typeof grpc!.supported,
-      driver.describe('grpc-transport.md §Field semantics', 'capabilities.grpc.supported MUST be a boolean'),
+      req('openwop.it.grpc-transport.an-advertised-capabilities-grpc-block-satisfies-every-doc-must', 'grpc-transport.md §Field semantics', 'capabilities.grpc.supported MUST be a boolean'),
     ).toBe('boolean');
 
     expect(
       grpc!.service,
-      driver.describe('grpc-transport.md §Field semantics', 'v1 hosts MUST use the canonical service name openwop.v1.Engine'),
+      req('openwop.it.grpc-transport.an-advertised-capabilities-grpc-block-satisfies-every-doc-must', 'grpc-transport.md §Field semantics', 'v1 hosts MUST use the canonical service name openwop.v1.Engine'),
     ).toBe(V1_SERVICE);
 
     expect(
       TLS_VALUES,
-      driver.describe(
+      req('openwop.it.grpc-transport.an-advertised-capabilities-grpc-block-satisfies-every-doc-must', 
         'grpc-transport.md §Field semantics',
         `capabilities.grpc.tls MUST be one of ${TLS_VALUES.join(' / ')} (got ${String(grpc!.tls)})`,
       ),
@@ -75,7 +77,7 @@ describe.skipIf(HTTP_SKIP)('grpc-transport: advertisement shape (grpc-transport.
     if (grpc!.endpoint !== undefined) {
       expect(
         typeof grpc!.endpoint === 'string' && /^grpcs?:\/\/.+/.test(grpc!.endpoint),
-        driver.describe(
+        req('openwop.it.grpc-transport.an-advertised-capabilities-grpc-block-satisfies-every-doc-must', 
           'grpc-transport.md §Field semantics',
           `capabilities.grpc.endpoint MUST be a grpc:// (cleartext) or grpcs:// (TLS) URI (got ${String(grpc!.endpoint)})`,
         ),
@@ -86,7 +88,7 @@ describe.skipIf(HTTP_SKIP)('grpc-transport: advertisement shape (grpc-transport.
       const transports = capabilityFamily<unknown>(res.json, 'supportedTransports');
       expect(
         Array.isArray(transports) && transports.includes('grpc'),
-        driver.describe(
+        req('openwop.it.grpc-transport.an-advertised-capabilities-grpc-block-satisfies-every-doc-must', 
           'grpc-transport.md §Field semantics',
           'supportedTransports MUST include "grpc" when the gRPC surface is exposed',
         ),
@@ -98,7 +100,7 @@ describe.skipIf(HTTP_SKIP)('grpc-transport: advertisement shape (grpc-transport.
     if (production !== undefined && grpc!.supported === true) {
       expect(
         grpc!.tls,
-        driver.describe(
+        req('openwop.it.grpc-transport.an-advertised-capabilities-grpc-block-satisfies-every-doc-must', 
           'grpc-transport.md §Field semantics',
           'production hosts MUST set capabilities.grpc.tls: "required"',
         ),

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

@@ -12,8 +12,8 @@
 
 import { describe, it, expect } from 'vitest';
 import { softSkip } from '../lib/soft-skip.js';
-import { driver } from '../lib/driver.js';
 import { readHeartbeatCap } from '../lib/heartbeat.js';
+import { req } from '../lib/requirement-ids.js';
 
 describe('heartbeat-capability-shape: advertisement (RFC 0060 §A)', () => {
   it('capabilities.heartbeat is absent or a well-formed object', async () => {
@@ -21,14 +21,14 @@ describe('heartbeat-capability-shape: advertisement (RFC 0060 §A)', () => {
     if (cap === null) return softSkip('inapplicable', 'not advertised — valid');
     expect(
       typeof cap.supported,
-      driver.describe('capabilities.schema.json §heartbeat', 'heartbeat.supported MUST be a boolean when the block is present'),
+      req('openwop.it.heartbeat-capability-shape.capabilities-heartbeat-is-absent-or-a-well-formed-object', 'capabilities.schema.json §heartbeat', 'heartbeat.supported MUST be a boolean when the block is present'),
     ).toBe('boolean');
     for (const k of ['minIntervalSec', 'maxRuntimeMs'] as const) {
       if (cap[k] !== undefined) {
         const v = cap[k];
         expect(
           typeof v === 'number' && Number.isInteger(v) && v >= 1,
-          driver.describe('capabilities.schema.json §heartbeat', `heartbeat.${k} MUST be a positive integer when present`),
+          req('openwop.it.heartbeat-capability-shape.capabilities-heartbeat-is-absent-or-a-well-formed-object', 'capabilities.schema.json §heartbeat', `heartbeat.${k} MUST be a positive integer when present`),
         ).toBe(true);
       }
     }

package/src/scenarios/heartbeat-fires-once-per-tick.test.ts

@@ -11,8 +11,8 @@
 
 import { describe, it, expect } from 'vitest';
 import { softSkip } from '../lib/soft-skip.js';
-import { driver } from '../lib/driver.js';
 import { readHeartbeatCap, heartbeatSupported, tickHeartbeat } from '../lib/heartbeat.js';
+import { req } from '../lib/requirement-ids.js';
 
 describe('heartbeat-fires-once-per-tick (RFC 0060 §B.1)', () => {
   it('one tick emits exactly one heartbeat.evaluated', async () => {
@@ -23,7 +23,7 @@ describe('heartbeat-fires-once-per-tick (RFC 0060 §B.1)', () => {
     if (!Array.isArray(evaluated)) return softSkip('blocked', 'host doesn\'t surface per-tick events on the seam');
     expect(
       evaluated.length,
-      driver.describe('RFC 0060 §B.1', 'a single tick MUST emit exactly one heartbeat.evaluated'),
+      req('openwop.it.heartbeat-fires-once-per-tick.one-tick-emits-exactly-one-heartbeat-evaluated', 'RFC 0060 §B.1', 'a single tick MUST emit exactly one heartbeat.evaluated'),
     ).toBe(1);
   });
 });

package/src/scenarios/heartbeat-idempotent-no-spam.test.ts

@@ -12,8 +12,8 @@
 
 import { describe, it, expect } from 'vitest';
 import { softSkip } from '../lib/soft-skip.js';
-import { driver } from '../lib/driver.js';
 import { readHeartbeatCap, heartbeatSupported, tickHeartbeat } from '../lib/heartbeat.js';
+import { req } from '../lib/requirement-ids.js';
 
 function changedCount(json: unknown): number | null {
   const sc = (json as { stateChanged?: unknown[] } | undefined)?.stateChanged;
@@ -32,13 +32,13 @@ describe('heartbeat-idempotent-no-spam (RFC 0060 §B.5)', () => {
     if (unchanged === null) return softSkip('blocked', 'host doesn\'t surface stateChanged on the seam');
     expect(
       unchanged,
-      driver.describe('RFC 0060 §B.5', 'an unchanged tick MUST NOT emit heartbeat.stateChanged'),
+      req('openwop.it.heartbeat-idempotent-no-spam.an-unchanged-tick-enqueues-nothing-only-a-transition-does', 'RFC 0060 §B.5', 'an unchanged tick MUST NOT emit heartbeat.stateChanged'),
     ).toBe(0);
     const transition = await tickHeartbeat({ heartbeatId: hb, observedState: { unread: 3 } });
     if (transition === null) return softSkip('blocked', 'precondition not met — `transition === null` returned early (seam, prior step, or fixture unavailable)');
     expect(
       changedCount(transition.json),
-      driver.describe('RFC 0060 §B.5', 'a transitioning tick MUST emit exactly one heartbeat.stateChanged'),
+      req('openwop.it.heartbeat-idempotent-no-spam.an-unchanged-tick-enqueues-nothing-only-a-transition-does', 'RFC 0060 §B.5', 'a transitioning tick MUST emit exactly one heartbeat.stateChanged'),
     ).toBe(1);
   });
 });

package/src/scenarios/heartbeat-runtime-bound.test.ts

@@ -11,8 +11,8 @@
 
 import { describe, it, expect } from 'vitest';
 import { softSkip } from '../lib/soft-skip.js';
-import { driver } from '../lib/driver.js';
 import { readHeartbeatCap, heartbeatSupported, tickHeartbeat } from '../lib/heartbeat.js';
+import { req } from '../lib/requirement-ids.js';
 
 describe('heartbeat-runtime-bound (RFC 0060 §B.2)', () => {
   it('an over-budget predicate is reported as timeout', async () => {
@@ -25,7 +25,7 @@ describe('heartbeat-runtime-bound (RFC 0060 §B.2)', () => {
     if (!Array.isArray(evaluated) || evaluated.length === 0) return softSkip('blocked', 'host doesn\'t surface per-tick events (!Array.isArray(evaluated) || evaluated.length === 0)');
     expect(
       evaluated.every((e) => e.status === 'timeout'),
-      driver.describe('RFC 0060 §B.2', 'an over-budget predicate MUST be terminated and reported status:"timeout"'),
+      req('openwop.it.heartbeat-runtime-bound.an-over-budget-predicate-is-reported-as-timeout', 'RFC 0060 §B.2', 'an over-budget predicate MUST be terminated and reported status:"timeout"'),
     ).toBe(true);
   });
 });

package/src/scenarios/highConcurrency.test.ts

@@ -25,6 +25,7 @@
 import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
+import { req } from '../lib/requirement-ids.js';
 
 const WORKFLOW_ID = 'conformance-idempotent';
 const SKIP_SCALE = process.env.OPENWOP_SKIP_SCALE_PRODUCTION === '1';
@@ -81,7 +82,7 @@ describe.skipIf(SKIP)(
 
         expect(
           succeeded.length + conflicted.length,
-          driver.describe(
+          req('openwop.it.highConcurrency.10-parallel-requests-with-same-key-yield-one-runid-and-9-replays', 
             'idempotency.md §Concurrent duplicates',
             'every concurrent request MUST resolve to either the cached response or a deterministic 409',
           ),
@@ -90,7 +91,7 @@ describe.skipIf(SKIP)(
         const runIds = new Set(succeeded.map((r) => r.runId).filter((id): id is string => !!id));
         expect(
           runIds.size,
-          driver.describe(
+          req('openwop.it.highConcurrency.10-parallel-requests-with-same-key-yield-one-runid-and-9-replays', 
             'idempotency.md §Layer 1',
             'same idempotency key MUST yield exactly ONE runId across all successful responses',
           ),
@@ -101,7 +102,7 @@ describe.skipIf(SKIP)(
         for (const c of conflicted) {
           expect(
             c.errorCode === 'idempotency_in_flight' || c.errorCode === undefined,
-            driver.describe(
+            req('openwop.it.highConcurrency.10-parallel-requests-with-same-key-yield-one-runid-and-9-replays', 
               'idempotency.md',
               '409 on parallel idempotency-keyed retry MUST carry error="idempotency_in_flight"',
             ),
@@ -109,7 +110,7 @@ describe.skipIf(SKIP)(
           if (c.retryAfter !== undefined) {
             expect(
               c.retryAfter,
-              driver.describe(
+              req('openwop.it.highConcurrency.10-parallel-requests-with-same-key-yield-one-runid-and-9-replays', 
                 'idempotency.md',
                 '409 idempotency_in_flight MUST include a numeric retryAfter',
               ),
@@ -136,7 +137,7 @@ describe.skipIf(SKIP)(
         // A `minimal`-tier host MAY rate-limit; documented in scale-profiles.md.
         expect(
           succeeded.length + rateLimited.length,
-          driver.describe(
+          req('openwop.it.highConcurrency.10-parallel-requests-with-distinct-keys-yield-10-distinct-runids', 
             'rest-endpoints.md',
             'concurrent POST /v1/runs requests MUST resolve to either success or rate-limited',
           ),
@@ -148,7 +149,7 @@ describe.skipIf(SKIP)(
         const uniqueRunIds = new Set(succeededRunIds);
         expect(
           uniqueRunIds.size,
-          driver.describe(
+          req('openwop.it.highConcurrency.10-parallel-requests-with-distinct-keys-yield-10-distinct-runids', 
             'idempotency.md §Layer 1',
             'distinct idempotency keys MUST yield distinct runIds (Layer 1 dedup is keyed)',
           ),
@@ -159,7 +160,7 @@ describe.skipIf(SKIP)(
         for (const r of rateLimited) {
           expect(
             r.retryAfter,
-            driver.describe(
+            req('openwop.it.highConcurrency.10-parallel-requests-with-distinct-keys-yield-10-distinct-runids', 
               'scale-profiles.md §Backpressure',
               '429/503 response MUST include numeric Retry-After',
             ),
@@ -184,7 +185,7 @@ describe.skipIf(SKIP)(
         const succeeded = results.filter((r) => r.status === 200 || r.status === 201);
         expect(
           succeeded.length,
-          driver.describe(
+          req('openwop.it.highConcurrency.5-sequential-retries-with-same-key-100ms-apart-all-succeed-idempotency-cache-sur', 
             'scale-profiles.md §Retry semantics',
             'host MUST handle ≥5 retries with same key 100ms apart without losing the cached response',
           ),
@@ -193,7 +194,7 @@ describe.skipIf(SKIP)(
         const runIds = new Set(succeeded.map((r) => r.runId));
         expect(
           runIds.size,
-          driver.describe(
+          req('openwop.it.highConcurrency.5-sequential-retries-with-same-key-100ms-apart-all-succeed-idempotency-cache-sur', 
             'idempotency.md §Layer 1',
             'all 5 retries with same key MUST resolve to the same runId',
           ),
@@ -202,7 +203,7 @@ describe.skipIf(SKIP)(
         // First request is fresh; subsequent are replays.
         expect(
           results[0]!.replay,
-          driver.describe(
+          req('openwop.it.highConcurrency.5-sequential-retries-with-same-key-100ms-apart-all-succeed-idempotency-cache-sur', 
             'idempotency.md §Server responsibilities',
             'first request with new key MUST NOT be marked as replay',
           ),
@@ -214,7 +215,7 @@ describe.skipIf(SKIP)(
         const someReplay = results.slice(1).some((r) => r.replay);
         expect(
           someReplay,
-          driver.describe(
+          req('openwop.it.highConcurrency.5-sequential-retries-with-same-key-100ms-apart-all-succeed-idempotency-cache-sur', 
             'idempotency.md §Server responsibilities #2',
             'replay responses SHOULD set openwop-Idempotent-Replay: true',
           ),
@@ -236,7 +237,7 @@ describe.skipIf(SKIP)(
         const limits = (discovery.json as { limits?: Record<string, unknown> })?.limits;
         expect(
           limits,
-          driver.describe(
+          req('openwop.it.highConcurrency.concurrent-distinct-key-requests-respect-advertised-idempotency-cache-retention', 
             'capabilities.md §3',
             'limits MUST be advertised in discovery',
           ),
@@ -250,7 +251,7 @@ describe.skipIf(SKIP)(
         if (ackTimeout !== undefined) {
           expect(
             typeof ackTimeout === 'number' && Number.isInteger(ackTimeout) && ackTimeout >= 5,
-            driver.describe(
+            req('openwop.it.highConcurrency.concurrent-distinct-key-requests-respect-advertised-idempotency-cache-retention', 
               'idempotency.md',
               'limits.idempotencyAckTimeoutSec MUST be integer ≥5 when advertised',
             ),

package/src/scenarios/host-callback-declaration.test.ts

@@ -19,6 +19,7 @@ import { readFileSync, readdirSync } from 'node:fs';
 import { join } from 'node:path';
 import { SCENARIOS_DIR } from '../lib/paths.js';
 import { HARNESS_DOUBLE_MODULES } from '../lib/host-callback.js';
+import { req } from '../lib/requirement-ids.js';
 
 const DECLARATION = /export\s+const\s+REQUIRES_HOST_CALLBACK\s*[:=]/;
 /**
@@ -63,7 +64,7 @@ describe.skipIf(SCENARIOS_DIR === null)('host-callback declaration (conformance/
     // Guard: an empty scan makes every leg below vacuously true, which is the
     // shape RFC 0148 §C found in the floor verifier. A gate that passes by
     // having looked at nothing is worse than no gate, because it reports clean.
-    expect(all.length, 'the scenario directory MUST be readable and populated').toBeGreaterThan(100);
+    expect(all.length, req('openwop.it.host-callback-declaration.the-scan-reaches-the-scenario-corpus', 'host-callback-declaration.test.ts (no spec citation in file)', 'the scenario directory MUST be readable and populated')).toBeGreaterThan(100);
     expect(
       all.filter((s) => s.doubles.length > 0).length,
       'the suite MUST contain scenarios that drive harness doubles — if this hits zero the ' +
@@ -78,14 +79,14 @@ describe.skipIf(SCENARIOS_DIR === null)('host-callback declaration (conformance/
       .map((s) => `${s.file} (imports ${s.doubles.join(', ')})`);
     expect(
       undeclared,
-      'A scenario that hands the host a harness-hosted endpoint MUST export ' +
+      req('openwop.it.host-callback-declaration.every-scenario-driving-a-harness-double-declares-the-callback', 'host-callback-declaration.test.ts (no spec citation in file)', 'A scenario that hands the host a harness-hosted endpoint MUST export ' +
         '`REQUIRES_HOST_CALLBACK` naming the connection the host has to originate — or ' +
         '`HOST_CALLBACK_NOT_REQUIRED` explaining why it drives both ends itself.\n\n' +
         'Without it, a consumer running the suite off-process — against a container, VM, or ' +
         'remote origin — discovers the scenario is unwitnessable by watching it fail, and reads ' +
         'a routing problem as host non-conformance. RFC 0148 §A resolves an unwitnessed ' +
         'requirement to `blocked` rather than to a pass, and a consumer can only honour that ' +
-        'for scenarios they can identify in advance.\n  ' + undeclared.join('\n  '),
+        'for scenarios they can identify in advance.\n  ' + undeclared.join('\n  ')),
     ).toEqual([]);
   });
 
@@ -102,9 +103,9 @@ describe.skipIf(SCENARIOS_DIR === null)('host-callback declaration (conformance/
     }
     expect(
       bare,
-      '`REQUIRES_HOST_CALLBACK` MUST be a string naming which connection the host originates — ' +
+      req('openwop.it.host-callback-declaration.the-declaration-states-a-reason-rather-than-a-bare-flag', 'host-callback-declaration.test.ts (no spec citation in file)', '`REQUIRES_HOST_CALLBACK` MUST be a string naming which connection the host originates — ' +
         'a bare boolean says a box was ticked, not what a consumer has to route.\n  ' +
-        bare.join('\n  '),
+        bare.join('\n  ')),
     ).toEqual([]);
   });
 
@@ -119,9 +120,9 @@ describe.skipIf(SCENARIOS_DIR === null)('host-callback declaration (conformance/
       .map((s) => s.file);
     expect(
       orphaned,
-      'a scenario declaring `REQUIRES_HOST_CALLBACK` MUST actually drive a harness-hosted ' +
+      req('openwop.it.host-callback-declaration.nothing-declares-a-callback-it-does-not-make', 'host-callback-declaration.test.ts (no spec citation in file)', 'a scenario declaring `REQUIRES_HOST_CALLBACK` MUST actually drive a harness-hosted ' +
         'endpoint. A declaration that outlived its double is a routing instruction for a ' +
-        'connection nobody makes.\n  ' + orphaned.join('\n  '),
+        'connection nobody makes.\n  ' + orphaned.join('\n  ')),
     ).toEqual([]);
   });
 });

package/src/scenarios/http-client-ssrf.test.ts

@@ -21,6 +21,8 @@
 import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { capabilityFamily } from '../lib/discovery-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
+import { softSkip } from '../lib/soft-skip.js';
 
 async function isHttpClientSupported(): Promise<boolean> {
   const disco = await driver.get('/.well-known/openwop');
@@ -34,7 +36,7 @@ describe('http-client-ssrf: capability advertisement contract', () => {
     if (!(await isHttpClientSupported())) {
       // eslint-disable-next-line no-console
       console.warn('[http-client-ssrf] host does not advertise httpClient; skipping');
-      return;
+      return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `!(await isHttpClientSupported())` returned early ([http-client-ssrf] host does not advertise httpClient; skipping)');
     }
     const disco = await driver.get('/.well-known/openwop');
     const cap = capabilityFamily<{
@@ -44,23 +46,23 @@ describe('http-client-ssrf: capability advertisement contract', () => {
       methods?: unknown;
     }>(disco.json, 'httpClient');
 
-    expect(cap?.supported, driver.describe(
+    expect(cap?.supported, req('openwop.it.http-client-ssrf.host-advertising-httpclient-must-declare-ssrfguard-true-maxresponsebodybytes', 
       'capabilities.md §httpClient',
       'httpClient.supported MUST be a boolean',
     )).toBe(true);
 
-    expect(cap?.ssrfGuard, driver.describe(
+    expect(cap?.ssrfGuard, req('openwop.it.http-client-ssrf.host-advertising-httpclient-must-declare-ssrfguard-true-maxresponsebodybytes', 
       'SECURITY/threat-model-secret-leakage.md (SSRF probing analog)',
       'httpClient.ssrfGuard MUST be true — a host that lets any tenant POST a workflow with arbitrary URLs without SSRF protection enables blind probing of deployer-internal services',
     )).toBe(true);
 
-    expect(typeof cap?.maxResponseBodyBytes, driver.describe(
+    expect(typeof cap?.maxResponseBodyBytes, req('openwop.it.http-client-ssrf.host-advertising-httpclient-must-declare-ssrfguard-true-maxresponsebodybytes', 
       'capabilities.md §httpClient',
       'httpClient.maxResponseBodyBytes MUST be a number — a host that streams unbounded response bodies into variables is a DoS vector',
     )).toBe('number');
     expect((cap?.maxResponseBodyBytes ?? 0) > 0).toBe(true);
 
-    expect(Array.isArray(cap?.methods), driver.describe(
+    expect(Array.isArray(cap?.methods), req('openwop.it.http-client-ssrf.host-advertising-httpclient-must-declare-ssrfguard-true-maxresponsebodybytes', 
       'capabilities.md §httpClient',
       'httpClient.methods MUST be an array of supported HTTP methods',
     )).toBe(true);

package/src/scenarios/i18n-negotiation.test.ts

@@ -36,6 +36,8 @@ import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { behaviorGate } from '../lib/behavior-gate.js';
 import { readCapabilityFamily } from '../lib/discovery-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
+import { softSkip } from '../lib/soft-skip.js';
 
 const HTTP_SKIP = !process.env.OPENWOP_BASE_URL;
 
@@ -65,36 +67,36 @@ function errCode(json: unknown): string | undefined {
 describe.skipIf(HTTP_SKIP)('i18n-negotiation: advertisement shape (i18n.md §Capability advertisement)', () => {
   it('the i18n block is either absent or well-formed', async () => {
     const cap = await readCapabilityFamily<I18nCap>('i18n');
-    if (cap === undefined) return; // absent ⇒ single-locale host — conformant
+    if (cap === undefined) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `cap === undefined` returned early (absent ⇒ single-locale host — conformant)'); // absent ⇒ single-locale host — conformant
 
     expect(
       typeof cap.supported,
-      driver.describe('capabilities.schema.json §i18n', 'i18n.supported MUST be a boolean when the block is present'),
+      req('openwop.it.i18n-negotiation.the-i18n-block-is-either-absent-or-well-formed', 'capabilities.schema.json §i18n', 'i18n.supported MUST be a boolean when the block is present'),
     ).toBe('boolean');
 
     if (cap.defaultLocale !== undefined) {
       expect(
         typeof cap.defaultLocale === 'string' && BCP47.test(cap.defaultLocale),
-        driver.describe('i18n.md §Capability advertisement', `i18n.defaultLocale MUST be a BCP 47 tag (got ${String(cap.defaultLocale)})`),
+        req('openwop.it.i18n-negotiation.the-i18n-block-is-either-absent-or-well-formed', 'i18n.md §Capability advertisement', `i18n.defaultLocale MUST be a BCP 47 tag (got ${String(cap.defaultLocale)})`),
       ).toBe(true);
     }
 
     if (cap.supportedLocales !== undefined) {
       expect(
         Array.isArray(cap.supportedLocales),
-        driver.describe('i18n.md §Capability advertisement', 'i18n.supportedLocales MUST be an array when present'),
+        req('openwop.it.i18n-negotiation.the-i18n-block-is-either-absent-or-well-formed', 'i18n.md §Capability advertisement', 'i18n.supportedLocales MUST be an array when present'),
       ).toBe(true);
       const locales = (cap.supportedLocales as unknown[]) ?? [];
       for (const tag of locales) {
         expect(
           typeof tag === 'string' && BCP47.test(tag),
-          driver.describe('i18n.md §Capability advertisement', `every supportedLocales entry MUST be a BCP 47 tag (got ${String(tag)})`),
+          req('openwop.it.i18n-negotiation.the-i18n-block-is-either-absent-or-well-formed', 'i18n.md §Capability advertisement', `every supportedLocales entry MUST be a BCP 47 tag (got ${String(tag)})`),
         ).toBe(true);
       }
       if (typeof cap.defaultLocale === 'string') {
         expect(
           locales,
-          driver.describe('i18n.md §Capability advertisement', 'supportedLocales MUST contain defaultLocale'),
+          req('openwop.it.i18n-negotiation.the-i18n-block-is-either-absent-or-well-formed', 'i18n.md §Capability advertisement', 'supportedLocales MUST contain defaultLocale'),
         ).toContain(cap.defaultLocale);
       }
     }
@@ -116,7 +118,7 @@ describe.skipIf(HTTP_SKIP)('i18n-negotiation: behavioral (i18n.md §Accept-Langu
     });
     expect(
       res.status,
-      driver.describe(
+      req('openwop.it.i18n-negotiation.an-unsupported-accept-language-falls-back-never-400-and-content-language-reflect', 
         'i18n.md §Accept-Language ("Host MUST NOT") + §Fallback rules',
         'an unsupported Accept-Language MUST NOT fail the request — the route still answers 404 not_found, not 400/406',
       ),
@@ -126,12 +128,12 @@ describe.skipIf(HTTP_SKIP)('i18n-negotiation: behavioral (i18n.md §Accept-Langu
     if (contentLanguage !== null) {
       expect(
         BCP47.test(contentLanguage),
-        driver.describe('i18n.md §Accept-Language rule 4', `Content-Language MUST be a BCP 47 tag (got ${contentLanguage})`),
+        req('openwop.it.i18n-negotiation.an-unsupported-accept-language-falls-back-never-400-and-content-language-reflect', 'i18n.md §Accept-Language rule 4', `Content-Language MUST be a BCP 47 tag (got ${contentLanguage})`),
       ).toBe(true);
       const primary = (tag: string): string => (tag.split('-')[0] ?? tag).toLowerCase();
       expect(
         primary(contentLanguage),
-        driver.describe(
+        req('openwop.it.i18n-negotiation.an-unsupported-accept-language-falls-back-never-400-and-content-language-reflect', 
           'i18n.md §Fallback rules 3–4 + §Conformance',
           'for an unsupported Accept-Language, Content-Language MUST reflect the host default locale (never lie)',
         ),
@@ -148,7 +150,7 @@ describe.skipIf(HTTP_SKIP)('i18n-negotiation: behavioral (i18n.md §Accept-Langu
     });
     expect(
       res.status,
-      driver.describe(
+      req('openwop.it.i18n-negotiation.a-malformed-accept-language-must-not-cause-400', 
         'i18n.md §Accept-Language Host-MUST rule 1',
         'a malformed Accept-Language MUST NOT cause 400 — the host parses best-effort and proceeds (404 not_found here)',
       ),
@@ -190,7 +192,7 @@ describe.skipIf(HTTP_SKIP)('i18n-negotiation: behavioral (i18n.md §Accept-Langu
     // (a) the code is an English snake_case identifier (not localized prose)
     expect(
       typeof negotiatedCode === 'string' && /^[a-z][a-z0-9_]*$/.test(negotiatedCode),
-      driver.describe(
+      req('openwop.it.i18n-negotiation.the-error-code-stays-the-canonical-english-token-under-a-negotiated-locale', 
         'i18n.md §"`locale` field on `ErrorEnvelope.details`"',
         `the machine-readable error code MUST be an English lowercase snake_case identifier, not localized text (got ${String(negotiatedCode)} under ${negotiated})`,
       ),
@@ -199,7 +201,7 @@ describe.skipIf(HTTP_SKIP)('i18n-negotiation: behavioral (i18n.md §Accept-Langu
     // (b) it is byte-identical to the default-locale code — the actual invariance MUST
     expect(
       negotiatedCode,
-      driver.describe(
+      req('openwop.it.i18n-negotiation.the-error-code-stays-the-canonical-english-token-under-a-negotiated-locale', 
         'i18n.md §"`locale` field on `ErrorEnvelope.details`"',
         `the machine-readable error code MUST remain identical regardless of the negotiated locale (default ${defaultLocale} → ${String(baseCode)}; negotiated ${negotiated})`,
       ),