@openwop/openwop-conformance 1.163.0 → 2.0.0-rc.1

package/src/scenarios/artifact-type-pack-manifest-validation.test.ts

@@ -47,6 +47,7 @@ import Ajv2020 from 'ajv/dist/2020.js';
 import addFormats from 'ajv-formats';
 import type { ErrorObject } from 'ajv';
 import { SCHEMAS_DIR } from '../lib/paths.js';
+import { req } from '../lib/requirement-ids.js';
 
 const SCHEMA_PATH = join(SCHEMAS_DIR, 'artifact-type-pack-manifest.schema.json');
 
@@ -87,7 +88,7 @@ describe('category: artifact-type-pack manifest validation', () => {
     const ok = validate(validManifest());
     expect(
       ok,
-      `artifact-type-packs.md §"Manifest format": a well-formed kind:"artifact-type" manifest MUST validate. Errors: ${JSON.stringify(validate.errors)}`,
+      req('openwop.it.artifact-type-pack-manifest-validation.positive-a-valid-artifact-type-pack-manifest-validates-cleanly', 'artifact-type-packs.md', `artifact-type-packs.md §"Manifest format": a well-formed kind:"artifact-type" manifest MUST validate. Errors: ${JSON.stringify(validate.errors)}`),
     ).toBe(true);
   });
 
@@ -96,45 +97,45 @@ describe('category: artifact-type-pack manifest validation', () => {
     const errs = failsWith(manifest, 'additionalProperties');
     expect(
       errs.some((e) => (e.params as { additionalProperty?: string }).additionalProperty === 'nodes'),
-      'artifact-type-packs.md §"Pack kind": one kind per pack — a foreign `nodes[]` field MUST be rejected (additionalProperties:false)',
+      req('openwop.it.artifact-type-pack-manifest-validation.negative-a-manifest-mixing-artifacttypes-and-nodes-is-rejected-pack-kind-invalid', 'artifact-type-packs.md', 'artifact-type-packs.md §"Pack kind": one kind per pack — a foreign `nodes[]` field MUST be rejected (additionalProperties:false)'),
     ).toBe(true);
   });
 
   it('negative: an empty artifactTypes[] is rejected (a pack MUST declare ≥1 type)', () => {
     const manifest = { ...validManifest(), artifactTypes: [] };
     const errs = failsWith(manifest, 'minItems');
-    expect(errs.length, 'artifact-type-pack-manifest.schema.json: artifactTypes minItems:1').toBeGreaterThan(0);
+    expect(errs.length, req('openwop.it.artifact-type-pack-manifest-validation.negative-an-empty-artifacttypes-is-rejected-a-pack-must-declare-1-type', 'artifact-type-packs.md', 'artifact-type-pack-manifest.schema.json: artifactTypes minItems:1')).toBeGreaterThan(0);
   });
 
   it('negative: an artifactTypeId that is not reverse-DNS scoped is rejected', () => {
     const manifest = validManifest();
     manifest.artifactTypes[0]!.artifactTypeId = 'Vendor.Acme.Model'; // uppercase scope
     const errs = failsWith(manifest, 'pattern');
-    expect(errs.length, 'artifact-type-packs.md: artifactTypeId MUST match the reverse-DNS pattern').toBeGreaterThan(0);
+    expect(errs.length, req('openwop.it.artifact-type-pack-manifest-validation.negative-an-artifacttypeid-that-is-not-reverse-dns-scoped-is-rejected', 'artifact-type-packs.md', 'artifact-type-packs.md: artifactTypeId MUST match the reverse-DNS pattern')).toBeGreaterThan(0);
   });
 
   it('negative: an unknown rendering.display value is rejected (closed RFC 0055 enum, card excluded)', () => {
     const manifest = validManifest();
     (manifest.artifactTypes[0]!.rendering as { display: string }).display = '3d-viewport';
     const errs = failsWith(manifest, 'enum');
-    expect(errs.length, 'artifact-type-packs.md: rendering.display reuses the closed ai-envelope §"Rendering hints" enum').toBeGreaterThan(0);
+    expect(errs.length, req('openwop.it.artifact-type-pack-manifest-validation.negative-an-unknown-rendering-display-value-is-rejected-closed-rfc-0055-enum-car', 'RFC 0055', 'artifact-type-packs.md: rendering.display reuses the closed ai-envelope §"Rendering hints" enum')).toBeGreaterThan(0);
   });
 
   it('negative: a non-conforming exportFormats identifier is rejected (reserved-core + vendor.*/x- only)', () => {
     const manifest = validManifest();
     manifest.artifactTypes[0]!.exportFormats = ['PPTX']; // uppercase, unprefixed
     const errs = failsWith(manifest, 'pattern');
-    expect(errs.length, 'artifact-type-packs.md: exportFormats identifiers are lowercase core ids OR vendor.*/x- extensions').toBeGreaterThan(0);
+    expect(errs.length, req('openwop.it.artifact-type-pack-manifest-validation.negative-a-non-conforming-exportformats-identifier-is-rejected-reserved-core-ven', 'artifact-type-packs.md', 'artifact-type-packs.md: exportFormats identifiers are lowercase core ids OR vendor.*/x- extensions')).toBeGreaterThan(0);
   });
 
   it('positive: the validation field accepts "open"/"closed" and rejects other values (RFC 0075)', () => {
     for (const v of ['open', 'closed']) {
       const m = validManifest();
       (m.artifactTypes[0] as Record<string, unknown>).validation = v;
-      expect(validate(m), `artifact-type-packs.md §validation: "${v}" MUST validate (RFC 0075)`).toBe(true);
+      expect(validate(m), req('openwop.it.artifact-type-pack-manifest-validation.positive-the-validation-field-accepts-open-closed-and-rejects-other-values-rfc-0', 'RFC 0075', `artifact-type-packs.md §validation: "${v}" MUST validate (RFC 0075)`)).toBe(true);
     }
     const bad = validManifest();
     (bad.artifactTypes[0] as Record<string, unknown>).validation = 'lenient';
-    expect(failsWith(bad, 'enum').length, 'validation MUST be open|closed').toBeGreaterThan(0);
+    expect(failsWith(bad, 'enum').length, req('openwop.it.artifact-type-pack-manifest-validation.positive-the-validation-field-accepts-open-closed-and-rejects-other-values-rfc-0', 'RFC 0075', 'validation MUST be open|closed')).toBeGreaterThan(0);
   });
 });

package/src/scenarios/artifact-type-registration-source.test.ts

@@ -36,8 +36,8 @@ import { SCHEMAS_DIR, V1_DIR } from '../lib/paths.js';
 import { driver } from '../lib/driver.js';
 import { behaviorGatePresent } from '../lib/behavior-gate.js';
 import { readArtifactTypesCap } from '../lib/artifactTypes.js';
-
-const why = (specRef: string, requirement: string): string => `${specRef} — ${requirement}`;
+import { req } from '../lib/requirement-ids.js';
+import { softSkip } from '../lib/soft-skip.js';
 const CAPS = join(SCHEMAS_DIR, 'capabilities.schema.json');
 const EVENT_PAYLOADS = join(SCHEMAS_DIR, 'run-event-payloads.schema.json');
 const readDoc = (name: string): string => (V1_DIR ? readFileSync(join(V1_DIR, name), 'utf8') : '');
@@ -59,14 +59,14 @@ describe('artifact-type-registration-source (RFC 0145, always-on)', () => {
     const entry = perTypeEntry();
     const props = entry.properties as Record<string, Record<string, unknown>>;
 
-    expect(props.registrationSource, why('§artifactTypes.types', 'facet is declared')).toBeDefined();
+    expect(props.registrationSource, req('openwop.it.artifact-type-registration-source.a1-the-per-type-entry-declares-registrationsource-as-an-optional-pack-host-enum', '§artifactTypes.types', 'facet is declared')).toBeDefined();
     expect(
       props.registrationSource.enum,
-      why('§artifactTypes.types', 'enum is exactly [pack, host]'),
+      req('openwop.it.artifact-type-registration-source.a1-the-per-type-entry-declares-registrationsource-as-an-optional-pack-host-enum', '§artifactTypes.types', 'enum is exactly [pack, host]'),
     ).toEqual(['pack', 'host']);
     expect(
       (entry.required as string[] | undefined)?.includes('registrationSource') ?? false,
-      why('§artifactTypes.types', 'facet is OPTIONAL — absent ⇒ unspecified provenance, not a default'),
+      req('openwop.it.artifact-type-registration-source.a1-the-per-type-entry-declares-registrationsource-as-an-optional-pack-host-enum', '§artifactTypes.types', 'facet is OPTIONAL — absent ⇒ unspecified provenance, not a default'),
     ).toBe(false);
   });
 
@@ -77,22 +77,22 @@ describe('artifact-type-registration-source (RFC 0145, always-on)', () => {
 
     expect(
       validate({ validated: true, registrationSource: 'host', schemaVersion: 1 }),
-      why('§artifactTypes.types', `"host" validates: ${JSON.stringify(validate.errors)}`),
+      req('openwop.it.artifact-type-registration-source.a2-a-valid-provenance-validates-an-out-of-enum-value-does-not', '§artifactTypes.types', `"host" validates: ${JSON.stringify(validate.errors)}`),
     ).toBe(true);
     expect(
       validate({ validated: true, registrationSource: 'pack' }),
-      why('§artifactTypes.types', `"pack" validates: ${JSON.stringify(validate.errors)}`),
+      req('openwop.it.artifact-type-registration-source.a2-a-valid-provenance-validates-an-out-of-enum-value-does-not', '§artifactTypes.types', `"pack" validates: ${JSON.stringify(validate.errors)}`),
     ).toBe(true);
     // Absent stays legal — requirement 2.
     expect(
       validate({ validated: true }),
-      why('§artifactTypes.types', `absent validates: ${JSON.stringify(validate.errors)}`),
+      req('openwop.it.artifact-type-registration-source.a2-a-valid-provenance-validates-an-out-of-enum-value-does-not', '§artifactTypes.types', `absent validates: ${JSON.stringify(validate.errors)}`),
     ).toBe(true);
     // A third provenance is a wire error, NOT a hint to ignore. This is where the facet
     // parts company with RFC 0136's `format`, and the reason is in the docblock.
     expect(
       validate({ validated: true, registrationSource: 'registry' }),
-      why('§artifactTypes.types', 'an undefined provenance is REJECTED'),
+      req('openwop.it.artifact-type-registration-source.a2-a-valid-provenance-validates-an-out-of-enum-value-does-not', '§artifactTypes.types', 'an undefined provenance is REJECTED'),
     ).toBe(false);
   });
 
@@ -107,7 +107,7 @@ describe('artifact-type-registration-source (RFC 0145, always-on)', () => {
     // advertise a provenance it could never emit.
     expect(
       entryProps.registrationSource.enum,
-      why('RFC 0145 req 3', 'discovery enum matches artifact.created enum'),
+      req('openwop.it.artifact-type-registration-source.a3-the-facet-mirrors-the-vocabulary-artifact-created-already-carries', 'RFC 0145 req 3', 'discovery enum matches artifact.created enum'),
     ).toEqual(eventProps.registrationSource.enum);
   });
 
@@ -118,10 +118,10 @@ describe('artifact-type-registration-source (RFC 0145, always-on)', () => {
       const facetList = readDoc(name).match(
         /validated, validation, schemaVersion, store, render, export[^}]*}/,
       );
-      expect(facetList, why(`${name} §"Per-type facets"`, 'per-type facet list present')).not.toBeNull();
+      expect(facetList, req('openwop.it.artifact-type-registration-source.a4-both-prose-sites-list-the-facet-so-schema-and-normative-surface-cannot-drift', `${name} §"Per-type facets"`, 'per-type facet list present')).not.toBeNull();
       expect(
         facetList?.[0].includes('registrationSource'),
-        why(`${name} §"Per-type facets"`, 'facet list names registrationSource'),
+        req('openwop.it.artifact-type-registration-source.a4-both-prose-sites-list-the-facet-so-schema-and-normative-surface-cannot-drift', `${name} §"Per-type facets"`, 'facet list names registrationSource'),
       ).toBe(true);
     }
   });
@@ -130,11 +130,11 @@ describe('artifact-type-registration-source (RFC 0145, always-on)', () => {
     const doc = readDoc('artifact-type-packs.md');
     expect(
       /Serving is a MUST for host-registered/.test(doc),
-      why('§Schema distribution', 'serving is a MUST for no-pack types'),
+      req('openwop.it.artifact-type-registration-source.a5-the-spec-states-the-must-should-asymmetry-the-facet-exists-to-disclose', '§Schema distribution', 'serving is a MUST for no-pack types'),
     ).toBe(true);
     expect(
       /serving stays a SHOULD for them/.test(doc),
-      why('§Schema distribution', 'serving stays a SHOULD for pack-backed types'),
+      req('openwop.it.artifact-type-registration-source.a5-the-spec-states-the-must-should-asymmetry-the-facet-exists-to-disclose', '§Schema distribution', 'serving stays a SHOULD for pack-backed types'),
     ).toBe(true);
   });
 });
@@ -179,7 +179,7 @@ describe('artifact-type-registration-source: the advert agrees with the event (R
     const target = comparableType(cap);
     // INAPPLICABLE, not gated. `registrationSource` is OPTIONAL (requirement 2) and strict mode
     // must not coerce a host into advertising it — the same call RFC 0142 makes for `store`.
-    if (target === null) return;
+    if (target === null) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `target === null` returned early (INAPPLICABLE, not gated. `registrationSource` is OPTIONAL (requirement 2) and strict mode must not coerce a host into advertis…');
 
     const started = await driver.post('/v1/host/sample/artifacttypes/runproduce', {
       artifactTypeId: target.id,
@@ -189,10 +189,10 @@ describe('artifact-type-registration-source: the advert agrees with the event (R
     // scenario that owns that enforcement. Gating again here would double-report one defect,
     // and gating on the seam for a 0145 advert would coerce hosts into wiring 0142's host-sample
     // surface in order to advertise a facet that has nothing to do with it.
-    if (started.status === 404 || started.status === 405) return; // seam absent — 0142 reports it
+    if (started.status === 404 || started.status === 405) return softSkip('blocked', 'precondition not met — `started.status === 404 || started.status === 405` returned early (seam absent — 0142 reports it) (seam, prior step, or fixture unavailable)'); // seam absent — 0142 reports it
     expect(
       started.status >= 200 && started.status < 300,
-      driver.describe('coverage.md §"Open seams"', 'runproduce starts a real run producing one artifact of the requested registered type'),
+      req('openwop.it.artifact-type-registration-source.the-emitted-registrationsource-equals-the-advertised-one-for-that-type', 'coverage.md §"Open seams"', 'runproduce starts a real run producing one artifact of the requested registered type'),
     ).toBe(true);
     const runId = (started.json as Record<string, unknown> | undefined)?.['runId'];
     if (!behaviorGatePresent(PROFILE, typeof runId === 'string' ? runId : null)) return;
@@ -200,18 +200,18 @@ describe('artifact-type-registration-source: the advert agrees with the event (R
     const events = await driver.get(`/v1/runs/${runId}/events/poll?timeout=5`);
     expect(
       events.status,
-      driver.describe('run-events surface', 'the run event log is readable over the standard poll endpoint'),
+      req('openwop.it.artifact-type-registration-source.the-emitted-registrationsource-equals-the-advertised-one-for-that-type', 'run-events surface', 'the run event log is readable over the standard poll endpoint'),
     ).toBe(200);
     const list = ((events.json as Record<string, unknown>)?.['events'] ?? []) as Array<Record<string, unknown>>;
     const created = list.filter((e) => e['type'] === 'artifact.created');
     // Emission itself is RFC 0142's MUST, reported by its own leg. Reaching here without an
     // event means that leg is already red; don't restate its finding as a 0145 failure.
-    if (created.length === 0) return;
+    if (created.length === 0) return softSkip('blocked', 'precondition not met — `created.length === 0` returned early (Emission itself is RFC 0142\'s MUST, reported by its own leg. Reaching here without an event means that leg is already red; don\'t restate its finding as a 0…');
 
     const payload = (created[0]?.['payload'] ?? created[0]?.['data'] ?? {}) as Record<string, unknown>;
     expect(
       payload['registrationSource'],
-      driver.describe(
+      req('openwop.it.artifact-type-registration-source.the-emitted-registrationsource-equals-the-advertised-one-for-that-type', 
         'RFC 0145 requirement 3',
         `the host advertises registrationSource: "${target.advertised}" for ${target.id}, so that is the value it MUST emit — an advert of one provenance against an event carrying another (or carrying none, which asserts UNSPECIFIED provenance and therefore disagrees) is a false advertisement, not a permitted divergence`,
       ),

package/src/scenarios/artifact-type-store-emission.test.ts

@@ -43,31 +43,28 @@ import { driver } from '../lib/driver.js';
 import { behaviorGate, behaviorGatePresent } from '../lib/behavior-gate.js';
 import { readArtifactTypesCap } from '../lib/artifactTypes.js';
 import { SCHEMAS_DIR, V1_DIR } from '../lib/paths.js';
+import { req } from '../lib/requirement-ids.js';
+import { softSkip } from '../lib/soft-skip.js';
 
 const PROFILE = 'openwop-artifact-type-store';
 
-/** Server-free assertion message helper — leg A must not touch `driver`, whose
- *  describe() loads env and would make a "server-free" leg fail on a missing
- *  OPENWOP_BASE_URL instead of on its assertion (a vacuous red). */
-const why = (specRef: string, requirement: string): string => `${specRef} — ${requirement}`;
-
 describe('artifact-type-store-emission: the payload fact is pinned always-on (RFC 0142 leg A)', () => {
   it('artifactCreated REQUIRES artifactType — the fact the RFC 0138 replay correction rests on', () => {
     const schema = JSON.parse(
       readFileSync(join(SCHEMAS_DIR, 'run-event-payloads.schema.json'), 'utf8'),
     ) as { $defs?: Record<string, { properties?: Record<string, unknown>; required?: string[] }> };
     const ac = schema.$defs?.['artifactCreated'];
-    expect(ac !== undefined, 'run-event-payloads.schema.json — $defs/artifactCreated exists').toBe(true);
+    expect(ac !== undefined, req('openwop.it.artifact-type-store-emission.artifactcreated-requires-artifacttype-the-fact-the-rfc-0138-replay-correction-re', 'RFC 0138', 'run-event-payloads.schema.json — $defs/artifactCreated exists')).toBe(true);
     expect(
       ac?.required?.includes('artifactType'),
-      why(
+      req('openwop.it.artifact-type-store-emission.artifactcreated-requires-artifacttype-the-fact-the-rfc-0138-replay-correction-re', 
         'run-event-payloads.schema.json §artifactCreated',
         'artifactType is REQUIRED on the artifact.created payload — artifactTypeId values ride in the fixed event log, which is why identifier migrations MUST NOT rewrite history (RFC 0141) and why this fact must be pinned by an always-on leg rather than a gated one (RFC 0138 G8)',
       ),
     ).toBe(true);
     expect(
       Object.keys(ac?.properties ?? {}).includes('registered'),
-      why('run-event-payloads.schema.json §artifactCreated', 'the registered flag the store-tier validation promise is reported through is present'),
+      req('openwop.it.artifact-type-store-emission.artifactcreated-requires-artifacttype-the-fact-the-rfc-0138-replay-correction-re', 'run-event-payloads.schema.json §artifactCreated', 'the registered flag the store-tier validation promise is reported through is present'),
     ).toBe(true);
   });
 });
@@ -83,21 +80,21 @@ describe('artifact-type-store-emission: what `store: true` claims is stated norm
   it.skipIf(V1_DIR === null)('the claim is quantified over artifacts of the type, not over the host\'s paths', () => {
     expect(
       /\*\*every\*\* path by which the host persists an artifact carrying that registered `artifactTypeId` MUST emit `artifact\.created`/.test(doc),
-      why(
+      req('openwop.it.artifact-type-store-emission.the-claim-is-quantified-over-artifacts-of-the-type-not-over-the-host-s-paths', 
         'artifact-type-packs.md §"Sub-flags"',
         'EVERY production path emits, not at least one — the permissive reading lets a host wire the leg-B seam through its single emitting path and pass while most of its production stays silent',
       ),
     ).toBe(true);
     expect(
       /MUST NOT advertise `store: true` for that type/.test(doc),
-      why('artifact-type-packs.md §"Sub-flags"', 'a host with a silent persistence path for the type is forbidden from advertising it, rather than merely discouraged'),
+      req('openwop.it.artifact-type-store-emission.the-claim-is-quantified-over-artifacts-of-the-type-not-over-the-host-s-paths', 'artifact-type-packs.md §"Sub-flags"', 'a host with a silent persistence path for the type is forbidden from advertising it, rather than merely discouraged'),
     ).toBe(true);
   });
 
   it.skipIf(V1_DIR === null)('the obligation is scoped to REGISTERED types, so the unregistered tier does not falsify an advert', () => {
     expect(
       /a path that persists only unregistered artifacts[^.]*is outside this facet and does not falsify the advert/.test(doc),
-      why(
+      req('openwop.it.artifact-type-store-emission.the-obligation-is-scoped-to-registered-types-so-the-unregistered-tier-does-not-f', 
         'artifact-type-packs.md §"Sub-flags"',
         'the narrowing is normative, not a courtesy — without it a host holds back an honest advert on account of a path the facet never bound',
       ),
@@ -107,7 +104,7 @@ describe('artifact-type-store-emission: what `store: true` claims is stated norm
   it.skipIf(V1_DIR === null)('per-type is named as the instrument, including the case it cannot rescue', () => {
     expect(
       /cannot be advertised `store: true` at all until one of those two facts changes/.test(doc),
-      why(
+      req('openwop.it.artifact-type-store-emission.per-type-is-named-as-the-instrument-including-the-case-it-cannot-rescue', 
         'artifact-type-packs.md §"Sub-flags"',
         'a single type produced through both an emitting and a non-emitting path is not advertisable — per-type resolves a heterogeneous fleet, not a heterogeneous type',
       ),
@@ -144,7 +141,7 @@ describe('artifact-type-store-emission: a store:true host MUST emit, witnessed f
     const cap = await readArtifactTypesCap();
     // `store` is OPTIONAL. A host that does not advertise it is INAPPLICABLE —
     // not gated: strict mode must not coerce hosts into an advertisement.
-    if (!storeAdvertised(cap)) return; // scenario inapplicable
+    if (!storeAdvertised(cap)) return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `!storeAdvertised(cap)` returned early (scenario inapplicable)'); // scenario inapplicable
 
     const requested = storeTypeId(cap) ?? 'vendor.conformance.note';
     const started = await driver.post('/v1/host/sample/artifacttypes/runproduce', {
@@ -155,7 +152,7 @@ describe('artifact-type-store-emission: a store:true host MUST emit, witnessed f
 
     expect(
       started.status >= 200 && started.status < 300,
-      driver.describe('coverage.md §"Open seams"', 'runproduce starts a real run producing one artifact of the requested registered type'),
+      req('openwop.it.artifact-type-store-emission.artifact-created-appears-in-the-event-log-with-the-bound-artifacttype-and-regist', 'coverage.md §"Open seams"', 'runproduce starts a real run producing one artifact of the requested registered type'),
     ).toBe(true);
     const runId = (started.json as Record<string, unknown> | undefined)?.['runId'];
     if (!behaviorGatePresent(PROFILE, typeof runId === 'string' ? runId : null)) return;
@@ -163,14 +160,14 @@ describe('artifact-type-store-emission: a store:true host MUST emit, witnessed f
     const events = await driver.get(`/v1/runs/${runId}/events/poll?timeout=5`);
     expect(
       events.status,
-      driver.describe('run-events surface', 'the run event log is readable over the standard poll endpoint — the same wire any consumer uses'),
+      req('openwop.it.artifact-type-store-emission.artifact-created-appears-in-the-event-log-with-the-bound-artifacttype-and-regist', 'run-events surface', 'the run event log is readable over the standard poll endpoint — the same wire any consumer uses'),
     ).toBe(200);
     const list = ((events.json as Record<string, unknown>)?.['events'] ?? []) as Array<Record<string, unknown>>;
     const created = list.filter((e) => e['type'] === 'artifact.created');
 
     expect(
       created.length > 0,
-      driver.describe(
+      req('openwop.it.artifact-type-store-emission.artifact-created-appears-in-the-event-log-with-the-bound-artifacttype-and-regist', 
         'artifact-type-packs.md §"Host capability", store row',
         'a host advertising store:true MUST emit artifact.created — persistence without emission is the exact posture the advertisement forbids',
       ),
@@ -179,14 +176,14 @@ describe('artifact-type-store-emission: a store:true host MUST emit, witnessed f
     const payload = (created[0]?.['payload'] ?? created[0]?.['data'] ?? {}) as Record<string, unknown>;
     expect(
       payload['artifactType'],
-      driver.describe(
+      req('openwop.it.artifact-type-store-emission.artifact-created-appears-in-the-event-log-with-the-bound-artifacttype-and-regist', 
         'run-event-payloads.schema.json §artifactCreated',
         'the emitted artifactType is the bound id — an event present but carrying the wrong type would let a mis-wired emitter pass a presence-only check',
       ),
     ).toBe(requested);
     expect(
       payload['registered'],
-      driver.describe(
+      req('openwop.it.artifact-type-store-emission.artifact-created-appears-in-the-event-log-with-the-bound-artifacttype-and-regist', 
         'artifact-type-packs.md §"Binding the existing artifact surfaces"',
         'a store-tier host validates before emitting and reports registered:true for a registered type',
       ),

package/src/scenarios/artifact-type-store-without-render.test.ts

@@ -25,7 +25,6 @@
 
 import { describe, it, expect } from 'vitest';
 import { softSkip } from '../lib/soft-skip.js';
-import { driver } from '../lib/driver.js';
 import { behaviorGate, behaviorGatePresent } from '../lib/behavior-gate.js';
 
 const PROFILE = 'openwop-artifact-type-packs';
@@ -36,6 +35,7 @@ import {
   produceArtifact,
   sampleArtifactTypePack,
 } from '../lib/artifactTypes.js';
+import { req } from '../lib/requirement-ids.js';
 
 describe('artifact-type-store-without-render: store-only hosts must not fail the run (RFC 0071)', () => {
   it('a stored-but-unrendered artifact completes the run', async () => {
@@ -54,15 +54,15 @@ describe('artifact-type-store-without-render: store-only hosts must not fail the
 
     expect(
       produced.json['stored'],
-      driver.describe('artifact-type-packs.md §host.artifactTypes', 'a host advertising store:true MUST persist the artifact'),
+      req('openwop.it.artifact-type-store-without-render.a-stored-but-unrendered-artifact-completes-the-run', 'artifact-type-packs.md §host.artifactTypes', 'a host advertising store:true MUST persist the artifact'),
     ).toBe(true);
     expect(
       produced.json['rendered'],
-      driver.describe('artifact-type-packs.md §host.artifactTypes', 'render:false host MUST NOT render'),
+      req('openwop.it.artifact-type-store-without-render.a-stored-but-unrendered-artifact-completes-the-run', 'artifact-type-packs.md §host.artifactTypes', 'render:false host MUST NOT render'),
     ).toBe(false);
     expect(
       produced.json['runStatus'],
-      driver.describe('artifact-type-packs.md §host.artifactTypes', 'a host MUST NOT fail the run solely because it lacks a renderer for a stored artifact type'),
+      req('openwop.it.artifact-type-store-without-render.a-stored-but-unrendered-artifact-completes-the-run', 'artifact-type-packs.md §host.artifactTypes', 'a host MUST NOT fail the run solely because it lacks a renderer for a stored artifact type'),
     ).toBe('completed');
   });
 });

package/src/scenarios/audit-log-integrity.test.ts

@@ -19,6 +19,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 AuditIntegrityCaps {
   hashChain?: boolean;
@@ -50,11 +52,11 @@ describe('audit-log-integrity: profile shape', () => {
       capabilityFamily<AuthCaps>(disco.json, 'auth')
         ?.auditLogIntegrity ?? {};
 
-    expect(integrity.hashChain, driver.describe(
+    expect(integrity.hashChain, req('openwop.it.audit-log-integrity.host-that-claims-the-profile-advertises-required-capability-fields', 
       'auth-profiles.md §"Audit-log integrity"',
       "openwop-audit-log-integrity profile MUST advertise auditLogIntegrity.hashChain: true",
     )).toBe(true);
-    expect(integrity.checkpointSignatureAlgorithm, driver.describe(
+    expect(integrity.checkpointSignatureAlgorithm, req('openwop.it.audit-log-integrity.host-that-claims-the-profile-advertises-required-capability-fields', 
       'auth-profiles.md §"Audit-log integrity" §"Key management"',
       'checkpointSignatureAlgorithm MUST be present (canonical: ed25519)',
     )).toBeDefined();
@@ -72,11 +74,11 @@ describe('audit-log-integrity: verify endpoint returns chainValid', () => {
     if (verify.status === 404) {
       // Host claims the profile but doesn't expose the endpoint — that's
       // a profile-claim violation. Fail explicitly.
-      expect(verify.status, driver.describe(
+      expect(verify.status, req('openwop.it.audit-log-integrity.get-v1-audit-verify-on-a-recent-range-reports-chainvalid-true', 
         'auth-profiles.md §"Audit-log integrity" §"Verification endpoint"',
         'claiming openwop-audit-log-integrity profile REQUIRES exposing GET /v1/audit/verify',
       )).not.toBe(404);
-      return;
+      return softSkip('blocked', 'precondition not met — `verify.status === 404` returned early (seam, prior step, or fixture unavailable)');
     }
     expect(verify.status).toBe(200);
 
@@ -88,7 +90,7 @@ describe('audit-log-integrity: verify endpoint returns chainValid', () => {
       anomalies?: unknown[];
     };
 
-    expect(body.chainValid, driver.describe(
+    expect(body.chainValid, req('openwop.it.audit-log-integrity.get-v1-audit-verify-on-a-recent-range-reports-chainvalid-true', 
       'auth-profiles.md §"Audit-log integrity"',
       'unmodified audit range MUST report chainValid: true',
     )).toBe(true);
@@ -97,7 +99,7 @@ describe('audit-log-integrity: verify endpoint returns chainValid', () => {
 
     if (Array.isArray(body.checkpoints) && body.checkpoints.length > 0) {
       const cp = body.checkpoints[0];
-      expect(typeof cp.signature, 'checkpoint signature MUST be a non-empty string').toBe('string');
+      expect(typeof cp.signature, req('openwop.it.audit-log-integrity.get-v1-audit-verify-on-a-recent-range-reports-chainvalid-true', 'auth-profiles.md §"Audit-log integrity"', 'checkpoint signature MUST be a non-empty string')).toBe('string');
       expect((cp.signature ?? '').length).toBeGreaterThan(0);
     }
   });

package/src/scenarios/auth-api-key-rotation.test.ts

@@ -29,6 +29,8 @@ import { driver } from '../lib/driver.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 RotationCaps {
   supported?: boolean;
@@ -65,12 +67,12 @@ describe('auth-api-key-rotation: capability shape', () => {
       return;
     }
 
-    expect(auth?.profiles?.includes(PROFILE), driver.describe(
+    expect(auth?.profiles?.includes(PROFILE), req('openwop.it.auth-api-key-rotation.host-claiming-rotation-profile-advertises-required-fields', 
       'auth-profiles.md §`openwop-auth-api-key-rotation`',
       'capabilities.auth.profiles MUST include openwop-auth-api-key-rotation when the profile is claimed',
     )).toBe(true);
 
-    expect(auth?.rotation?.supported, driver.describe(
+    expect(auth?.rotation?.supported, req('openwop.it.auth-api-key-rotation.host-claiming-rotation-profile-advertises-required-fields', 
       'auth-profiles.md §`openwop-auth-api-key-rotation`',
       'capabilities.auth.rotation.supported MUST be true when the profile is claimed',
     )).toBe(true);
@@ -79,7 +81,7 @@ describe('auth-api-key-rotation: capability shape', () => {
       expect(
         Number.isInteger(auth.rotation.minGraceSeconds) &&
           auth.rotation.minGraceSeconds >= 0,
-        driver.describe(
+        req('openwop.it.auth-api-key-rotation.host-claiming-rotation-profile-advertises-required-fields', 
           'capabilities.schema.json auth.rotation.minGraceSeconds',
           'minGraceSeconds MUST be a non-negative integer when advertised',
         ),
@@ -109,7 +111,7 @@ describe('auth-api-key-rotation: two-key overlap', () => {
       console.warn(
         '[auth-api-key-rotation] OPENWOP_TEST_SECONDARY_API_KEY not supplied; skipping two-key overlap assertion',
       );
-      return;
+      return softSkip('blocked', 'precondition not met — `!secondaryKey` returned early ([auth-api-key-rotation] OPENWOP_TEST_SECONDARY_API_KEY not supplied; skipping two-key overlap assertion) (seam, prior step, or fixture unavailable)');
     }
 
     if (!isFixtureAdvertised(FIXTURE)) {
@@ -117,12 +119,12 @@ describe('auth-api-key-rotation: two-key overlap', () => {
       console.warn(
         `[auth-api-key-rotation] ${FIXTURE} not advertised; skipping overlap assertion`,
       );
-      return;
+      return softSkip('inapplicable', 'capability or profile not advertised by this host — gate `!isFixtureAdvertised(FIXTURE)` returned early ([auth-api-key-rotation] … not advertised; skipping overlap assertion)');
     }
 
     // Primary key — uses driver's default Authorization header (env-loaded).
     const primary = await driver.post('/v1/runs', { workflowId: FIXTURE });
-    expect(primary.status, driver.describe(
+    expect(primary.status, req('openwop.it.auth-api-key-rotation.primary-secondary-keys-both-authenticate-the-same-operation', 
       'auth-profiles.md §`openwop-auth-api-key-rotation`',
       'primary key MUST authenticate POST /v1/runs during rotation grace',
     )).toBe(201);
@@ -137,7 +139,7 @@ describe('auth-api-key-rotation: two-key overlap', () => {
         headers: { Authorization: `Bearer ${secondaryKey}` },
       },
     );
-    expect(secondary.status, driver.describe(
+    expect(secondary.status, req('openwop.it.auth-api-key-rotation.primary-secondary-keys-both-authenticate-the-same-operation', 
       'auth-profiles.md §`openwop-auth-api-key-rotation`',
       'secondary key MUST authenticate POST /v1/runs during rotation grace',
     )).toBe(201);
@@ -167,7 +169,7 @@ describe('auth-api-key-rotation: canary redaction', () => {
       },
     );
 
-    expect(res.status, driver.describe(
+    expect(res.status, req('openwop.it.auth-api-key-rotation.invalid-bearer-returns-401-without-echoing-the-canary-credential', 
       'auth.md §3',
       'invalid bearer MUST return 401, not 200 or 403',
     )).toBe(401);
@@ -175,7 +177,7 @@ describe('auth-api-key-rotation: canary redaction', () => {
     // The response body MUST NOT echo the canary in any field. We
     // check the serialized JSON to catch echoes even in nested fields.
     const serialized = JSON.stringify(res.json ?? {});
-    expect(serialized.includes(CANARY), driver.describe(
+    expect(serialized.includes(CANARY), req('openwop.it.auth-api-key-rotation.invalid-bearer-returns-401-without-echoing-the-canary-credential', 
       'auth.md §"No credential echo" + threat-model-auth-profiles.md A1',
       'rotation-profile hosts MUST NOT echo the rejected credential in error responses',
     )).toBe(false);