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

package/src/scenarios/production-backpressure.test.ts

@@ -41,6 +41,8 @@ import { loadEnv } from '../lib/env.js';
 import { behaviorGate } from '../lib/behavior-gate.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
 import { capabilityFamily } from '../lib/discovery-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
+import { softSkip } from '../lib/soft-skip.js';
 
 interface BackpressureCaps {
   supported?: boolean;
@@ -72,12 +74,12 @@ describe('production-backpressure: capability shape', () => {
       return;
     }
 
-    expect(prod?.supported, driver.describe(
+    expect(prod?.supported, req('openwop.it.production-backpressure.host-that-claims-openwop-production-with-backpressure-advertises-required-fields', 
       'production-profile.md §Compatibility baseline',
       'capabilities.production.supported MUST be true when claiming the openwop-production profile',
     )).toBe(true);
 
-    expect(prod?.backpressure?.supported, driver.describe(
+    expect(prod?.backpressure?.supported, req('openwop.it.production-backpressure.host-that-claims-openwop-production-with-backpressure-advertises-required-fields', 
       'production-profile.md §Backpressure',
       'capabilities.production.backpressure.supported MUST be true for production-profile claimants',
     )).toBe(true);
@@ -86,7 +88,7 @@ describe('production-backpressure: capability shape', () => {
       expect(
         Number.isInteger(prod.backpressure.inflightCap) &&
           prod.backpressure.inflightCap >= 1,
-        driver.describe(
+        req('openwop.it.production-backpressure.host-that-claims-openwop-production-with-backpressure-advertises-required-fields', 
           'capabilities.schema.json production.backpressure.inflightCap',
           'inflightCap MUST be an integer ≥ 1 when advertised',
         ),
@@ -97,7 +99,7 @@ describe('production-backpressure: capability shape', () => {
       expect(
         Number.isInteger(prod.backpressure.retryAfterSeconds) &&
           prod.backpressure.retryAfterSeconds >= 0,
-        driver.describe(
+        req('openwop.it.production-backpressure.host-that-claims-openwop-production-with-backpressure-advertises-required-fields', 
           'capabilities.schema.json production.backpressure.retryAfterSeconds',
           'retryAfterSeconds MUST be a non-negative integer when advertised',
         ),
@@ -120,7 +122,7 @@ describe('production-backpressure: 503 envelope under saturation', () => {
       console.warn(
         '[production-backpressure] host does not advertise inflightCap; skipping saturation assertion',
       );
-      return;
+      return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `cap === undefined` returned early ([production-backpressure] host does not advertise inflightCap; skipping saturation assertion)');
     }
 
     // Use the conformance-delay fixture to hold inflight slots via
@@ -132,7 +134,7 @@ describe('production-backpressure: 503 envelope under saturation', () => {
       console.warn(
         `[production-backpressure] ${FIXTURE} not advertised; skipping saturation (host doesn't seed the long-running fixture)`,
       );
-      return;
+      return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `!isFixtureAdvertised(FIXTURE)` returned early ([production-backpressure] … not advertised; skipping saturation (host doesn\'t seed the long-running fixture))');
     }
 
     // Create `cap` long-running runs and open SSE streams against each
@@ -210,7 +212,7 @@ describe('production-backpressure: 503 envelope under saturation', () => {
         }
       }
       await Promise.allSettled(slotPromises);
-      return;
+      return softSkip('blocked', 'precondition not met — `saturationEarlyExit` returned early (seam, prior step, or fixture unavailable)');
     }
 
     // Let SSE connections register.
@@ -231,11 +233,11 @@ describe('production-backpressure: 503 envelope under saturation', () => {
         console.warn(
           `[production-backpressure] expected 503 at cap+1=${cap + 1}, got ${blocked.status}; saturation may need tuning`,
         );
-        return;
+        return softSkip('blocked', 'precondition not met — `blocked.status !== 503` returned early ([production-backpressure] expected 503 at cap+1=…, got …; saturation may need tuning) (seam, prior step, or fixture unavailable)');
       }
 
       const retryAfterHeader = blocked.headers.get('retry-after');
-      expect(retryAfterHeader, driver.describe(
+      expect(retryAfterHeader, req('openwop.it.production-backpressure.saturating-advertised-inflightcap-returns-503-retry-after-canonical-envelope', 
         'production-profile.md §Backpressure',
         '503 response MUST include a Retry-After header',
       )).toBeTruthy();
@@ -247,7 +249,7 @@ describe('production-backpressure: 503 envelope under saturation', () => {
         details?: { retryAfter?: number };
       };
 
-      expect(body.error, driver.describe(
+      expect(body.error, req('openwop.it.production-backpressure.saturating-advertised-inflightcap-returns-503-retry-after-canonical-envelope', 
         'production-profile.md §Backpressure',
         '503 envelope MUST have error: "service_unavailable"',
       )).toBe('service_unavailable');
@@ -255,14 +257,14 @@ describe('production-backpressure: 503 envelope under saturation', () => {
       expect(typeof body.message).toBe('string');
       expect((body.message ?? '').length).toBeGreaterThan(0);
 
-      expect(typeof body.details?.retryAfter, driver.describe(
+      expect(typeof body.details?.retryAfter, req('openwop.it.production-backpressure.saturating-advertised-inflightcap-returns-503-retry-after-canonical-envelope', 
         'production-profile.md §Backpressure',
         'details.retryAfter MUST be present and numeric',
       )).toBe('number');
 
       // details.retryAfter MUST equal the Retry-After header in seconds.
       const headerSeconds = Number.parseInt(retryAfterHeader ?? '', 10);
-      expect(body.details?.retryAfter, driver.describe(
+      expect(body.details?.retryAfter, req('openwop.it.production-backpressure.saturating-advertised-inflightcap-returns-503-retry-after-canonical-envelope', 
         'production-profile.md §Backpressure',
         'details.retryAfter MUST equal Retry-After header in seconds',
       )).toBe(headerSeconds);
@@ -270,7 +272,7 @@ describe('production-backpressure: 503 envelope under saturation', () => {
       // If retryAfterSeconds is advertised, both equal it.
       const advertised = prod?.backpressure?.retryAfterSeconds;
       if (advertised !== undefined) {
-        expect(headerSeconds, driver.describe(
+        expect(headerSeconds, req('openwop.it.production-backpressure.saturating-advertised-inflightcap-returns-503-retry-after-canonical-envelope', 
           'capabilities.schema.json production.backpressure.retryAfterSeconds',
           'Retry-After MUST equal advertised retryAfterSeconds when both are present',
         )).toBe(advertised);
@@ -319,11 +321,11 @@ describe('production-backpressure: discovery exempt from cap', () => {
       // Without advertised cap we can't saturate deterministically;
       // fall back to a single discovery probe.
       const probe = await driver.get('/.well-known/openwop');
-      expect(probe.status, driver.describe(
+      expect(probe.status, req('openwop.it.production-backpressure.get-well-known-openwop-returns-200-even-when-inflight-is-saturated', 
         'production-profile.md §Backpressure',
         'discovery MUST answer regardless of load',
       )).toBe(200);
-      return;
+      return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `cap === undefined` returned early');
     }
 
     // Issue many concurrent discovery probes; all MUST succeed.
@@ -333,7 +335,7 @@ describe('production-backpressure: discovery exempt from cap', () => {
       ),
     );
     for (const probe of probes) {
-      expect(probe.status, driver.describe(
+      expect(probe.status, req('openwop.it.production-backpressure.get-well-known-openwop-returns-200-even-when-inflight-is-saturated', 
         'production-profile.md §Backpressure',
         'discovery MUST bypass the inflight cap (health probes always answer)',
       )).toBe(200);

package/src/scenarios/production-retention-expiry.test.ts

@@ -32,6 +32,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';
 
 interface RetentionCaps {
   supported?: boolean;
@@ -63,12 +65,12 @@ describe('production-retention-expiry: capability shape', () => {
       return;
     }
 
-    expect(prod?.retention?.supported, driver.describe(
+    expect(prod?.retention?.supported, req('openwop.it.production-retention-expiry.host-claiming-openwop-production-with-retention-advertises-required-fields', 
       'production-profile.md §"Event retention"',
       'capabilities.production.retention.supported MUST be true for production-profile claimants',
     )).toBe(true);
 
-    expect(prod?.retention?.minWindowSeconds, driver.describe(
+    expect(prod?.retention?.minWindowSeconds, req('openwop.it.production-retention-expiry.host-claiming-openwop-production-with-retention-advertises-required-fields', 
       'production-profile.md §"Event retention"',
       'capabilities.production.retention.minWindowSeconds MUST be advertised when retention.supported is true',
     )).toBeDefined();
@@ -76,7 +78,7 @@ describe('production-retention-expiry: capability shape', () => {
     expect(
       Number.isInteger(prod?.retention?.minWindowSeconds) &&
         (prod?.retention?.minWindowSeconds ?? 0) >= SEVEN_DAYS_SECONDS,
-      driver.describe(
+      req('openwop.it.production-retention-expiry.host-claiming-openwop-production-with-retention-advertises-required-fields', 
         'production-profile.md §"Event retention"',
         'minWindowSeconds MUST be an integer ≥ 604800 (7 days) for public production-profile claimants',
       ),
@@ -126,14 +128,14 @@ describe('production-retention-expiry: 410/404 envelope on expired run', () => {
       console.warn(
         '[production-retention-expiry] no expired runId available (set OPENWOP_TEST_EXPIRED_RUN_ID or advertise testForceExpire + provide OPENWOP_TEST_FORCE_EXPIRE_URL); skipping envelope assertion',
       );
-      return;
+      return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `expiredRunId === undefined` returned early ([production-retention-expiry] no expired runId available (set OPENWOP_TEST_EXPIRED_RUN_ID or advertise testForceExp…');
     }
 
     const res = await driver.get(`/v1/runs/${encodeURIComponent(expiredRunId)}`);
 
     expect(
       res.status === 410 || res.status === 404,
-      driver.describe(
+      req('openwop.it.production-retention-expiry.get-v1-runs-expiredrunid-returns-410-or-404-with-canonical-envelope', 
         'production-profile.md §"Event retention"',
         'expired run MUST return 410 Gone (preferred) or 404 Not Found',
       ),
@@ -145,7 +147,7 @@ describe('production-retention-expiry: 410/404 envelope on expired run', () => {
       details?: { expiredAt?: string };
     };
 
-    expect(typeof body.error, driver.describe(
+    expect(typeof body.error, req('openwop.it.production-retention-expiry.get-v1-runs-expiredrunid-returns-410-or-404-with-canonical-envelope', 
       'production-profile.md §"Event retention"',
       'expired-run response MUST use the canonical error envelope ({error, message, details?})',
     )).toBe('string');

package/src/scenarios/profile-discovery-core-alias.test.ts

@@ -30,6 +30,8 @@ import { join } from 'node:path';
 import { driver } from '../lib/driver.js';
 import { PROFILE_NAMES, deriveProfiles, hasProfile, type DiscoveryPayload } from '../lib/profiles.js';
 import { V1_DIR } from '../lib/paths.js';
+import { req } from '../lib/requirement-ids.js';
+import { softSkip } from '../lib/soft-skip.js';
 
 const CANONICAL = 'openwop-discovery-core';
 const ALIAS = 'openwop-core';
@@ -59,7 +61,7 @@ describe('RFC 0155 §A — openwop-discovery-core is canonical, openwop-core is
     expect(PROFILE_NAMES).toContain(ALIAS);
     expect(
       PROFILE_NAMES.indexOf(CANONICAL),
-      'the canonical name precedes its alias so derived sets read canonical-first',
+      req('openwop.it.profile-discovery-core-alias.both-names-are-in-the-closed-catalog-canonical-first', 'RFC 0155 §A', 'the canonical name precedes its alias so derived sets read canonical-first'),
     ).toBeLessThan(PROFILE_NAMES.indexOf(ALIAS));
   });
 
@@ -69,26 +71,26 @@ describe('RFC 0155 §A — openwop-discovery-core is canonical, openwop-core is
     for (const [label, c] of PAYLOADS) {
       const canonical = hasProfile(c, CANONICAL);
       const alias = hasProfile(c, ALIAS);
-      expect(alias, `${label}: hasProfile(alias) MUST equal hasProfile(canonical)`).toBe(canonical);
+      expect(alias, req('openwop.it.profile-discovery-core-alias.the-alias-derives-exactly-when-the-canonical-name-derives-for-payloads-on-both-s', 'RFC 0155 §A', `${label}: hasProfile(alias) MUST equal hasProfile(canonical)`)).toBe(canonical);
       const derived = deriveProfiles(c);
       expect(
         derived.includes(ALIAS),
-        `${label}: deriveProfiles MUST emit the alias iff it emits the canonical name (never the alias alone)`,
+        req('openwop.it.profile-discovery-core-alias.the-alias-derives-exactly-when-the-canonical-name-derives-for-payloads-on-both-s', 'RFC 0155 §A', `${label}: deriveProfiles MUST emit the alias iff it emits the canonical name (never the alias alone)`),
       ).toBe(derived.includes(CANONICAL));
       if (canonical) trueCount++;
       else falseCount++;
     }
     // Non-vacuity: an equivalence over payloads that all derive (or none do)
     // proves nothing about the other side.
-    expect(trueCount, 'at least one payload MUST derive the predicate').toBeGreaterThan(0);
-    expect(falseCount, 'at least one payload MUST fail the predicate').toBeGreaterThan(0);
+    expect(trueCount, req('openwop.it.profile-discovery-core-alias.the-alias-derives-exactly-when-the-canonical-name-derives-for-payloads-on-both-s', 'RFC 0155 §A', 'at least one payload MUST derive the predicate')).toBeGreaterThan(0);
+    expect(falseCount, req('openwop.it.profile-discovery-core-alias.the-alias-derives-exactly-when-the-canonical-name-derives-for-payloads-on-both-s', 'RFC 0155 §A', 'at least one payload MUST fail the predicate')).toBeGreaterThan(0);
   });
 
   it('a derived set that carries the alias carries the canonical name immediately before it', () => {
     const derived = deriveProfiles(CORE);
     const i = derived.indexOf(CANONICAL);
     expect(i).toBeGreaterThanOrEqual(0);
-    expect(derived[i + 1], 'alias rides directly beside its canonical name').toBe(ALIAS);
+    expect(derived[i + 1], req('openwop.it.profile-discovery-core-alias.a-derived-set-that-carries-the-alias-carries-the-canonical-name-immediately-befo', 'RFC 0155 §A', 'alias rides directly beside its canonical name')).toBe(ALIAS);
   });
 });
 
@@ -99,7 +101,7 @@ describe.skipIf(V1_DIR === null)('RFC 0155 §A — profiles.md states the rename
     const md = doc();
     expect(md).toMatch(/###\s+`openwop-discovery-core`\s+\(canonical\)/);
     expect(md).toMatch(/alias `openwop-core` \(deprecated\)/);
-    expect(md, 'the alias MUST be defined as deriving exactly when the canonical name derives').toMatch(
+    expect(md, req('openwop.it.profile-discovery-core-alias.names-the-canonical-profile-and-marks-openwop-core-as-a-deprecated-alias', 'RFC 0155 §A', 'the alias MUST be defined as deriving exactly when the canonical name derives')).toMatch(
       /derives \*\*exactly when\*\* `openwop-discovery-core` derives/,
     );
   });
@@ -107,7 +109,7 @@ describe.skipIf(V1_DIR === null)('RFC 0155 §A — profiles.md states the rename
   it('states that an unqualified conformance claim means openwop-core-standard', () => {
     const md = doc();
     expect(md).toMatch(/unqualified\*\* "OpenWOP conformant".*\*\*MUST\*\* mean \*\*`openwop-core-standard`\*\*/s);
-    expect(md, 'discovery-only claims MUST say openwop-discovery-core').toMatch(
+    expect(md, req('openwop.it.profile-discovery-core-alias.states-that-an-unqualified-conformance-claim-means-openwop-core-standard', 'RFC 0155 §A', 'discovery-only claims MUST say openwop-discovery-core')).toMatch(
       /discovery-only\*\* claim \*\*MUST\*\* say \*\*`openwop-discovery-core`\*\*/,
     );
   });
@@ -116,7 +118,7 @@ describe.skipIf(V1_DIR === null)('RFC 0155 §A — profiles.md states the rename
     const md = doc();
     const canonicalLine = md.indexOf("'openwop-discovery-core'             if openwop-discovery-core(c)");
     const aliasLine = md.indexOf("'openwop-core'                       if openwop-discovery-core(c)");
-    expect(canonicalLine).toBeGreaterThan(0);
+    expect(canonicalLine, req('openwop.it.profile-discovery-core-alias.the-reference-derivation-lists-the-alias-beside-the-canonical-name-never-alone', 'RFC 0155 §A', 'the reference derivation lists the alias beside the canonical name, never alone')).toBeGreaterThan(0);
     expect(aliasLine).toBeGreaterThan(canonicalLine);
   });
 });
@@ -124,11 +126,11 @@ describe.skipIf(V1_DIR === null)('RFC 0155 §A — profiles.md states the rename
 describe.skipIf(!process.env.OPENWOP_BASE_URL)('RFC 0155 §A — a live host derives both names or neither', () => {
   it('the discovery payload derives the alias iff it derives the canonical name', async () => {
     const res = await driver.get('/.well-known/openwop');
-    if (res.status !== 200) return; // discovery is witnessed elsewhere; this leg is about the alias rule
+    if (res.status !== 200) return softSkip('blocked', 'precondition not met — `res.status !== 200` returned early (discovery is witnessed elsewhere; this leg is about the alias rule) (seam, prior step, or fixture unavailable)'); // discovery is witnessed elsewhere; this leg is about the alias rule
     const derived = deriveProfiles(res.json as DiscoveryPayload);
     expect(
       derived.includes(ALIAS),
-      driver.describe(
+      req('openwop.it.profile-discovery-core-alias.the-discovery-payload-derives-the-alias-iff-it-derives-the-canonical-name', 
         'profiles.md §"openwop-discovery-core"',
         'the deprecated alias MUST derive exactly when the canonical name derives — a host is never `openwop-core` without being `openwop-discovery-core`',
       ),

package/src/scenarios/profileDerivation.test.ts

@@ -25,6 +25,7 @@ import {
   type DiscoveryPayload,
   type ProfileName,
 } from '../lib/profiles.js';
+import { req } from '../lib/requirement-ids.js';
 
 /**
  * Minimum payload that satisfies `openwop-core`. Other fixtures extend this.
@@ -42,16 +43,16 @@ const CORE_PAYLOAD: DiscoveryPayload = {
 
 describe('profiles: openwop-core predicate per spec/v1/profiles.md §`openwop-core`', () => {
   it('accepts the minimum-conforming payload', () => {
-    expect(isCore(CORE_PAYLOAD)).toBe(true);
+    expect(isCore(CORE_PAYLOAD), req('openwop.it.profileDerivation.accepts-the-minimum-conforming-payload', 'spec/v1/profiles.md', 'accepts the minimum-conforming payload')).toBe(true);
   });
 
   it('rejects payload without protocolVersion', () => {
     const { protocolVersion: _omit, ...rest } = CORE_PAYLOAD;
-    expect(isCore(rest as DiscoveryPayload)).toBe(false);
+    expect(isCore(rest as DiscoveryPayload), req('openwop.it.profileDerivation.rejects-payload-without-protocolversion', 'spec/v1/profiles.md', 'rejects payload without protocolVersion')).toBe(false);
   });
 
   it('rejects v2.x protocolVersion', () => {
-    expect(isCore({ ...CORE_PAYLOAD, protocolVersion: '2.0.0' })).toBe(false);
+    expect(isCore({ ...CORE_PAYLOAD, protocolVersion: '2.0.0' }), req('openwop.it.profileDerivation.rejects-v2-x-protocolversion', 'spec/v1/profiles.md', 'rejects v2.x protocolVersion')).toBe(false);
   });
 
   it('rejects negative limits (RFC 2119 MUST: non-negative integers)', () => {
@@ -59,7 +60,7 @@ describe('profiles: openwop-core predicate per spec/v1/profiles.md §`openwop-co
       isCore({
         ...CORE_PAYLOAD,
         limits: { ...CORE_PAYLOAD.limits!, clarificationRounds: -1 },
-      }),
+      }), req('openwop.it.profileDerivation.rejects-negative-limits-rfc-2119-must-non-negative-integers', 'RFC 2119', 'rejects negative limits (RFC 2119 MUST: non-negative integers)'),
     ).toBe(false);
   });
 
@@ -68,17 +69,17 @@ describe('profiles: openwop-core predicate per spec/v1/profiles.md §`openwop-co
       isCore({
         ...CORE_PAYLOAD,
         limits: { ...CORE_PAYLOAD.limits!, schemaRounds: 1.5 },
-      }),
+      }), req('openwop.it.profileDerivation.rejects-fractional-limits', 'spec/v1/profiles.md', 'rejects fractional limits'),
     ).toBe(false);
   });
 
   it('accepts empty supportedEnvelopes array (engine-only host)', () => {
-    expect(isCore({ ...CORE_PAYLOAD, supportedEnvelopes: [] })).toBe(true);
+    expect(isCore({ ...CORE_PAYLOAD, supportedEnvelopes: [] }), req('openwop.it.profileDerivation.accepts-empty-supportedenvelopes-array-engine-only-host', 'spec/v1/profiles.md', 'accepts empty supportedEnvelopes array (engine-only host)')).toBe(true);
   });
 
   it('rejects non-array supportedEnvelopes', () => {
     expect(
-      isCore({ ...CORE_PAYLOAD, supportedEnvelopes: 'prd.create' as unknown as string[] }),
+      isCore({ ...CORE_PAYLOAD, supportedEnvelopes: 'prd.create' as unknown as string[] }), req('openwop.it.profileDerivation.rejects-non-array-supportedenvelopes', 'spec/v1/profiles.md', 'rejects non-array supportedEnvelopes'),
     ).toBe(false);
   });
 });
@@ -89,12 +90,12 @@ describe('profiles: openwop-interrupts predicate per spec/v1/profiles.md §`open
       isInterrupts({
         ...CORE_PAYLOAD,
         supportedEnvelopes: ['prd.create', 'clarification.request'],
-      }),
+      }), req('openwop.it.profileDerivation.passes-when-clarification-request-is-in-supportedenvelopes', 'spec/v1/profiles.md', 'passes when clarification.request is in supportedEnvelopes'),
     ).toBe(true);
   });
 
   it('fails when clarification.request is absent (fire-and-forget host)', () => {
-    expect(isInterrupts(CORE_PAYLOAD)).toBe(false);
+    expect(isInterrupts(CORE_PAYLOAD), req('openwop.it.profileDerivation.fails-when-clarification-request-is-absent-fire-and-forget-host', 'spec/v1/profiles.md', 'fails when clarification.request is absent (fire-and-forget host)')).toBe(false);
   });
 
   it('implies openwop-core', () => {
@@ -103,7 +104,7 @@ describe('profiles: openwop-interrupts predicate per spec/v1/profiles.md §`open
       protocolVersion: '2.0.0',
       supportedEnvelopes: ['clarification.request'],
     };
-    expect(isInterrupts(broken)).toBe(false);
+    expect(isInterrupts(broken), req('openwop.it.profileDerivation.implies-openwop-core', 'spec/v1/profiles.md', 'implies openwop-core')).toBe(false);
   });
 });
 
@@ -113,7 +114,7 @@ describe('profiles: openwop-secrets predicate per spec/v1/profiles.md §`openwop
       isSecrets({
         ...CORE_PAYLOAD,
         secrets: { supported: true, scopes: ['user'] },
-      }),
+      }), req('openwop.it.profileDerivation.passes-when-secrets-supported-true-and-scopes-includes-user', 'spec/v1/profiles.md', 'passes when secrets.supported=true and scopes includes user'),
     ).toBe(true);
   });
 
@@ -122,7 +123,7 @@ describe('profiles: openwop-secrets predicate per spec/v1/profiles.md §`openwop
       isSecrets({
         ...CORE_PAYLOAD,
         secrets: { supported: true, scopes: ['user', 'tenant'] },
-      }),
+      }), req('openwop.it.profileDerivation.passes-with-multiple-scopes', 'spec/v1/profiles.md', 'passes with multiple scopes'),
     ).toBe(true);
   });
 
@@ -131,7 +132,7 @@ describe('profiles: openwop-secrets predicate per spec/v1/profiles.md §`openwop
       isSecrets({
         ...CORE_PAYLOAD,
         secrets: { supported: true, scopes: ['tenant'] },
-      }),
+      }), req('openwop.it.profileDerivation.fails-when-scopes-omits-user', 'spec/v1/profiles.md', 'fails when scopes omits user'),
     ).toBe(false);
   });
 
@@ -140,12 +141,12 @@ describe('profiles: openwop-secrets predicate per spec/v1/profiles.md §`openwop
       isSecrets({
         ...CORE_PAYLOAD,
         secrets: { supported: false, scopes: ['user'] },
-      }),
+      }), req('openwop.it.profileDerivation.fails-when-secrets-supported-false', 'spec/v1/profiles.md', 'fails when secrets.supported=false'),
     ).toBe(false);
   });
 
   it('fails when secrets field is absent', () => {
-    expect(isSecrets(CORE_PAYLOAD)).toBe(false);
+    expect(isSecrets(CORE_PAYLOAD), req('openwop.it.profileDerivation.fails-when-secrets-field-is-absent', 'spec/v1/profiles.md', 'fails when secrets field is absent')).toBe(false);
   });
 });
 
@@ -158,7 +159,7 @@ describe('profiles: openwop-provider-policy predicate per spec/v1/profiles.md §
           supported: ['anthropic'],
           policies: { modes: ['optional', 'required'] },
         },
-      }),
+      }), req('openwop.it.profileDerivation.passes-when-policies-modes-contains-optional', 'spec/v1/profiles.md', 'passes when policies.modes contains optional'),
     ).toBe(true);
   });
 
@@ -170,7 +171,7 @@ describe('profiles: openwop-provider-policy predicate per spec/v1/profiles.md §
           supported: ['anthropic'],
           policies: { modes: [] },
         },
-      }),
+      }), req('openwop.it.profileDerivation.fails-when-policies-modes-is-empty-per-spec-empty-not-a-valid-third-state', 'spec/v1/profiles.md', 'fails when policies.modes is empty (per spec: empty {} not a valid third state)'),
     ).toBe(false);
   });
 
@@ -182,7 +183,7 @@ describe('profiles: openwop-provider-policy predicate per spec/v1/profiles.md §
           supported: ['anthropic'],
           policies: { modes: ['required'] },
         },
-      }),
+      }), req('openwop.it.profileDerivation.fails-when-policies-modes-omits-optional-cannot-satisfy-default-no-restriction-c', 'spec/v1/profiles.md', 'fails when policies.modes omits optional (cannot satisfy default-no-restriction case)'),
     ).toBe(false);
   });
 
@@ -191,23 +192,23 @@ describe('profiles: openwop-provider-policy predicate per spec/v1/profiles.md §
       isProviderPolicy({
         ...CORE_PAYLOAD,
         aiProviders: { supported: ['anthropic'] },
-      }),
+      }), req('openwop.it.profileDerivation.fails-when-policies-field-is-absent', 'spec/v1/profiles.md', 'fails when policies field is absent'),
     ).toBe(false);
   });
 });
 
 describe('profiles: openwop-fixtures predicate per spec/v1/profiles.md §`openwop-fixtures` (RFC 0003)', () => {
   it('rejects payloads missing `fixtures`', () => {
-    expect(isFixtures(CORE_PAYLOAD)).toBe(false);
+    expect(isFixtures(CORE_PAYLOAD), req('openwop.it.profileDerivation.rejects-payloads-missing-fixtures', 'spec/v1/profiles.md', 'rejects payloads missing `fixtures`')).toBe(false);
   });
 
   it('rejects empty `fixtures` array', () => {
-    expect(isFixtures({ ...CORE_PAYLOAD, fixtures: [] })).toBe(false);
+    expect(isFixtures({ ...CORE_PAYLOAD, fixtures: [] }), req('openwop.it.profileDerivation.rejects-empty-fixtures-array', 'spec/v1/profiles.md', 'rejects empty `fixtures` array')).toBe(false);
   });
 
   it('accepts non-empty string array', () => {
     expect(
-      isFixtures({ ...CORE_PAYLOAD, fixtures: ['conformance-noop'] }),
+      isFixtures({ ...CORE_PAYLOAD, fixtures: ['conformance-noop'] }), req('openwop.it.profileDerivation.accepts-non-empty-string-array', 'spec/v1/profiles.md', 'accepts non-empty string array'),
     ).toBe(true);
   });
 
@@ -216,16 +217,16 @@ describe('profiles: openwop-fixtures predicate per spec/v1/profiles.md §`openwo
       isFixtures({
         ...CORE_PAYLOAD,
         fixtures: ['conformance-noop', 'openwop.smoke.byok'],
-      }),
+      }), req('openwop.it.profileDerivation.accepts-vendor-prefixed-fixture-ids', 'spec/v1/profiles.md', 'accepts vendor-prefixed fixture ids'),
     ).toBe(true);
   });
 
   it('rejects array with empty-string entries', () => {
-    expect(isFixtures({ ...CORE_PAYLOAD, fixtures: ['', 'conformance-noop'] })).toBe(false);
+    expect(isFixtures({ ...CORE_PAYLOAD, fixtures: ['', 'conformance-noop'] }), req('openwop.it.profileDerivation.rejects-array-with-empty-string-entries', 'spec/v1/profiles.md', 'rejects array with empty-string entries')).toBe(false);
   });
 
   it('rejects non-array `fixtures`', () => {
-    expect(isFixtures({ ...CORE_PAYLOAD, fixtures: 'conformance-noop' })).toBe(false);
+    expect(isFixtures({ ...CORE_PAYLOAD, fixtures: 'conformance-noop' }), req('openwop.it.profileDerivation.rejects-non-array-fixtures', 'spec/v1/profiles.md', 'rejects non-array `fixtures`')).toBe(false);
     expect(
       isFixtures({ ...CORE_PAYLOAD, fixtures: { 'conformance-noop': true } }),
     ).toBe(false);
@@ -233,12 +234,12 @@ describe('profiles: openwop-fixtures predicate per spec/v1/profiles.md §`openwo
 
   it('rejects array with non-string entries', () => {
     expect(
-      isFixtures({ ...CORE_PAYLOAD, fixtures: ['conformance-noop', 42] as unknown[] }),
+      isFixtures({ ...CORE_PAYLOAD, fixtures: ['conformance-noop', 42] as unknown[] }), req('openwop.it.profileDerivation.rejects-array-with-non-string-entries', 'spec/v1/profiles.md', 'rejects array with non-string entries'),
     ).toBe(false);
   });
 
   it('rejects when openwop-core fails (predicate is layered)', () => {
-    expect(isFixtures({ fixtures: ['conformance-noop'] })).toBe(false);
+    expect(isFixtures({ fixtures: ['conformance-noop'] }), req('openwop.it.profileDerivation.rejects-when-openwop-core-fails-predicate-is-layered', 'spec/v1/profiles.md', 'rejects when openwop-core fails (predicate is layered)')).toBe(false);
   });
 });
 
@@ -249,7 +250,7 @@ describe('profiles: deriveProfiles produces the full set', () => {
     // (no supportedTransports set => permitted), openwop-node-packs (discovery-
     // only predicate is openwop-core).
     const result = deriveProfiles(CORE_PAYLOAD);
-    expect(result).toContain('openwop-core');
+    expect(result, req('openwop.it.profileDerivation.returns-openwop-core-stream-node-packs-for-the-minimum-payload', 'spec/v1/profiles.md', 'returns openwop-core + stream-* + node-packs for the minimum payload')).toContain('openwop-core');
     expect(result).toContain('openwop-stream-sse');
     expect(result).toContain('openwop-stream-poll');
     expect(result).toContain('openwop-node-packs');
@@ -282,7 +283,7 @@ describe('profiles: deriveProfiles produces the full set', () => {
       'openwop-node-packs',
       'openwop-fixtures',
     ];
-    expect(result).toEqual(expected);
+    expect(result, req('openwop.it.profileDerivation.returns-the-full-set-for-a-richly-advertised-host', 'spec/v1/profiles.md', 'returns the full set for a richly-advertised host')).toEqual(expected);
   });
 
   it('returns stable order matching PROFILE_NAMES', () => {
@@ -293,7 +294,7 @@ describe('profiles: deriveProfiles produces the full set', () => {
     };
     const first = deriveProfiles(rich);
     const second = deriveProfiles(rich);
-    expect(first).toEqual(second);
+    expect(first, req('openwop.it.profileDerivation.returns-stable-order-matching-profile-names', 'spec/v1/profiles.md', 'returns stable order matching PROFILE_NAMES')).toEqual(second);
     // Specifically: openwop-interrupts before openwop-secrets even though openwop-secrets
     // was added to the payload "second."
     expect(first.indexOf('openwop-interrupts')).toBeLessThan(first.indexOf('openwop-secrets'));
@@ -301,13 +302,13 @@ describe('profiles: deriveProfiles produces the full set', () => {
 
   it('returns empty for a non-conforming payload', () => {
     const broken: DiscoveryPayload = { protocolVersion: '0.9.0' };
-    expect(deriveProfiles(broken)).toEqual([]);
+    expect(deriveProfiles(broken), req('openwop.it.profileDerivation.returns-empty-for-a-non-conforming-payload', 'spec/v1/profiles.md', 'returns empty for a non-conforming payload')).toEqual([]);
   });
 
   it('is deterministic across calls (same input → same output)', () => {
     const calls = Array.from({ length: 10 }, () => deriveProfiles(CORE_PAYLOAD));
     for (let i = 1; i < calls.length; i++) {
-      expect(calls[i]).toEqual(calls[0]);
+      expect(calls[i], req('openwop.it.profileDerivation.is-deterministic-across-calls-same-input-same-output', 'spec/v1/profiles.md', 'is deterministic across calls (same input → same output)')).toEqual(calls[0]);
     }
   });
 });
@@ -330,7 +331,7 @@ describe('profiles: hasProfile is consistent with deriveProfiles', () => {
       'openwop-node-packs',
       'openwop-fixtures',
     ] as const) {
-      expect(hasProfile(rich, p)).toBe(derived.has(p));
+      expect(hasProfile(rich, p), req('openwop.it.profileDerivation.membership-matches-the-derived-set-for-every-profile', 'spec/v1/profiles.md', 'membership matches the derived set for every profile')).toBe(derived.has(p));
     }
   });
 });

package/src/scenarios/prompt-all-four-kinds-events.test.ts

@@ -35,6 +35,8 @@ import { pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.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 WORKFLOW_ID = 'conformance-prompt-all-four-kinds';
 const SKIP_NO_FIXTURE = !isFixtureAdvertised(WORKFLOW_ID);
@@ -85,7 +87,7 @@ describe.skipIf(SKIP_NO_FIXTURE || HTTP_SKIP)('prompt-all-four-kinds-events: eac
     const create = await driver.post('/v1/runs', { workflowId: WORKFLOW_ID });
     expect(
       create.status,
-      driver.describe(
+      req('openwop.it.prompt-all-four-kinds-events.emits-agent-promptresolved-prompt-composed-for-system-user-schema-hint-and-few-s', 
         'spec/v1/rest-endpoints.md',
         'POST /v1/runs MUST return 201 on accepted creation',
       ),
@@ -95,7 +97,7 @@ describe.skipIf(SKIP_NO_FIXTURE || HTTP_SKIP)('prompt-all-four-kinds-events: eac
     const terminal = await pollUntilTerminal(runId);
     expect(
       terminal.status,
-      driver.describe(
+      req('openwop.it.prompt-all-four-kinds-events.emits-agent-promptresolved-prompt-composed-for-system-user-schema-hint-and-few-s', 
         'fixtures.md conformance-prompt-all-four-kinds §Terminal status',
         'fixture MUST reach terminal `completed`',
       ),
@@ -120,7 +122,7 @@ describe.skipIf(SKIP_NO_FIXTURE || HTTP_SKIP)('prompt-all-four-kinds-events: eac
     for (const expectedKind of ['system', 'user', 'schema-hint', 'few-shot']) {
       expect(
         resolvedKinds.includes(expectedKind),
-        driver.describe(
+        req('openwop.it.prompt-all-four-kinds-events.emits-agent-promptresolved-prompt-composed-for-system-user-schema-hint-and-few-s', 
           'spec/v1/prompts.md §"PromptKind"',
           `host MUST emit \`agent.promptResolved\` with kind: "${expectedKind}" when the node carries the matching ref`,
         ),
@@ -144,14 +146,14 @@ describe.skipIf(SKIP_NO_FIXTURE || HTTP_SKIP)('prompt-all-four-kinds-events: eac
     for (const expectedRef of expectedTemplates) {
       expect(
         resolvedRefs.includes(expectedRef),
-        driver.describe(
+        req('openwop.it.prompt-all-four-kinds-events.emits-agent-promptresolved-prompt-composed-for-system-user-schema-hint-and-few-s', 
           'spec/v1/prompts.md §"Resolution chain (normative)"',
           `\`agent.promptResolved.resolved\` MUST surface "${expectedRef}" — the fixture carries it on the node config and the resolver MUST return it (multi-entry few-shot[slotIndex] regression pin)`,
         ),
       ).toBe(true);
       expect(
         composedRefs.includes(expectedRef),
-        driver.describe(
+        req('openwop.it.prompt-all-four-kinds-events.emits-agent-promptresolved-prompt-composed-for-system-user-schema-hint-and-few-s', 
           'spec/v1/prompts.md §"Composition + observability"',
           `\`prompt.composed.refs[]\` MUST contain "${expectedRef}" — one composition per resolved ref`,
         ),
@@ -161,7 +163,7 @@ describe.skipIf(SKIP_NO_FIXTURE || HTTP_SKIP)('prompt-all-four-kinds-events: eac
     // silently dropped non-zero few-shot indices would emit fewer.
     expect(
       composedRefs.length,
-      driver.describe(
+      req('openwop.it.prompt-all-four-kinds-events.emits-agent-promptresolved-prompt-composed-for-system-user-schema-hint-and-few-s', 
         'spec/v1/prompts.md §"Composition + observability"',
         'host MUST emit one `prompt.composed` event per composed body (5 refs → 5 events when all five resolve, including both few-shot entries)',
       ),
@@ -172,7 +174,7 @@ describe.skipIf(SKIP_NO_FIXTURE || HTTP_SKIP)('prompt-all-four-kinds-events: eac
     const d = await readDiscovery();
     if (!behaviorGate('prompts-supported', promptsSupported(d))) return;
     const create = await driver.post('/v1/runs', { workflowId: WORKFLOW_ID });
-    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 };
     await pollUntilTerminal(runId);
     const events = await readAllEvents(runId);
@@ -186,11 +188,11 @@ describe.skipIf(SKIP_NO_FIXTURE || HTTP_SKIP)('prompt-all-four-kinds-events: eac
     const firstComposedIdx = events.findIndex((e) => e.type === 'prompt.composed');
     expect(
       firstResolvedIdx >= 0 && firstComposedIdx >= 0,
-      'both event types MUST appear in the event log',
+      req('openwop.it.prompt-all-four-kinds-events.emits-the-first-agent-promptresolved-before-the-first-prompt-composed-resolution', 'spec/v1/prompts.md §"Composition + observability"', 'both event types MUST appear in the event log'),
     ).toBe(true);
     expect(
       firstResolvedIdx,
-      driver.describe(
+      req('openwop.it.prompt-all-four-kinds-events.emits-the-first-agent-promptresolved-before-the-first-prompt-composed-resolution', 
         'spec/v1/prompts.md §"Composition + observability"',
         'resolution events MUST precede the first composition event in the run log (composition cannot start before any resolution completes)',
       ),