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

package/src/scenarios/append-ordering.test.ts

@@ -18,6 +18,8 @@ import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
 import { pollUntilTerminal } from '../lib/polling.js';
 import { isFixtureAdvertised } from '../lib/fixtures.js';
+import { req } from '../lib/requirement-ids.js';
+import { softSkip } from '../lib/soft-skip.js';
 
 const CANDIDATES = ['conformance-append-ordering', 'conformance-multi-node'] as const;
 const FIXTURE = CANDIDATES.find((id) => isFixtureAdvertised(id)) ?? null;
@@ -71,13 +73,13 @@ describe.skipIf(SKIP)('append-ordering: folded channel reflects event sequence',
       console.warn(
         '[append-ordering] fixture emitted no channel.written events; skipping ordering assertions',
       );
-      return;
+      return softSkip('blocked', 'precondition not met — `byChannel.size === 0` returned early ([append-ordering] fixture emitted no channel.written events; skipping ordering assertions) (seam, prior step, or fixture unavailable)');
     }
 
     // For each channel, sequence MUST be strictly increasing within the run.
     for (const [channel, writes] of byChannel) {
       for (let i = 1; i < writes.length; i++) {
-        expect(writes[i].sequence, driver.describe(
+        expect(writes[i].sequence, req('openwop.it.append-ordering.append-reducer-channels-project-entries-in-event-sequence-order', 
           'channels-and-reducers.md §"Append ordering"',
           `channel '${channel}': channel.written events MUST appear in sequence order in the event log`,
         )).toBeGreaterThan(writes[i - 1].sequence);
@@ -101,7 +103,7 @@ describe.skipIf(SKIP)('append-ordering: folded channel reflects event sequence',
       // Property: every cross-engine event carries BOTH sourceEngineId
       // AND sourceRunId (per channel-written-payload.schema.json).
       for (const e of crossEngineWrites) {
-        expect(typeof e.payload?.sourceRunId, driver.describe(
+        expect(typeof e.payload?.sourceRunId, req('openwop.it.append-ordering.append-reducer-channels-project-entries-in-event-sequence-order', 
           'channel-written-payload.schema.json',
           'cross-engine writes MUST carry sourceRunId alongside sourceEngineId',
         )).toBe('string');
@@ -110,7 +112,7 @@ describe.skipIf(SKIP)('append-ordering: folded channel reflects event sequence',
       const seen = new Set<string>();
       for (const e of allWrites) {
         const key = `${e.sequence}::${e.eventId ?? ''}`;
-        expect(seen.has(key), driver.describe(
+        expect(seen.has(key), req('openwop.it.append-ordering.append-reducer-channels-project-entries-in-event-sequence-order', 
           'channels-and-reducers.md §"Tie-breaking when sequences collide"',
           `(sequence, eventId) MUST be unique across the run — duplicate found: ${key}`,
         )).toBe(false);
@@ -125,7 +127,7 @@ describe.skipIf(SKIP)('append-ordering: folded channel reflects event sequence',
     for (const [channel, writes] of byChannel) {
       const projected = (channels as Record<string, unknown>)[channel];
       if (Array.isArray(projected)) {
-        expect(projected.length, driver.describe(
+        expect(projected.length, req('openwop.it.append-ordering.append-reducer-channels-project-entries-in-event-sequence-order', 
           'channels-and-reducers.md §"Append ordering"',
           `channel '${channel}': projected array length MUST equal #channel.written events`,
         )).toBe(writes.length);

package/src/scenarios/approval-gate-events.test.ts

@@ -22,6 +22,7 @@ import { readFileSync } from 'node:fs';
 import { join } from 'node:path';
 import Ajv2020 from 'ajv/dist/2020.js';
 import { SCHEMAS_DIR } from '../lib/paths.js';
+import { req } from '../lib/requirement-ids.js';
 
 interface PayloadsSchema {
   $schema: string;
@@ -41,7 +42,7 @@ describe('category: approval-gate governance events (RFC 0051 §B)', () => {
   it('approval.granted requires gateId + principal; quorumProgress optional', () => {
     const v = compile('approvalGranted');
     expect(v({ gateId: 'g1', principal: 'user_1' }), JSON.stringify(v.errors)).toBe(true);
-    expect(v({ gateId: 'g1', principal: 'user_1', quorumProgress: { granted: 1, required: 2 } })).toBe(true);
+    expect(v({ gateId: 'g1', principal: 'user_1', quorumProgress: { granted: 1, required: 2 } }), req('openwop.it.approval-gate-events.approval-granted-requires-gateid-principal-quorumprogress-optional', 'RFC 0051 §B', 'approval.granted requires gateId + principal; quorumProgress optional')).toBe(true);
     expect(v({ gateId: 'g1' })).toBe(false); // missing principal
     expect(v({ gateId: 'g1', principal: 'user_1', role: 'admin' })).toBe(false); // unknown prop
   });
@@ -49,13 +50,13 @@ describe('category: approval-gate governance events (RFC 0051 §B)', () => {
   it('approval.rejected requires gateId + principal; reason optional', () => {
     const v = compile('approvalRejected');
     expect(v({ gateId: 'g1', principal: 'user_1' }), JSON.stringify(v.errors)).toBe(true);
-    expect(v({ gateId: 'g1', principal: 'user_1', reason: 'incomplete' })).toBe(true);
+    expect(v({ gateId: 'g1', principal: 'user_1', reason: 'incomplete' }), req('openwop.it.approval-gate-events.approval-rejected-requires-gateid-principal-reason-optional', 'RFC 0051 §B', 'approval.rejected requires gateId + principal; reason optional')).toBe(true);
     expect(v({ principal: 'user_1' })).toBe(false); // missing gateId
   });
 
   it('approval.overridden requires gateId + principal + reason (audit breadcrumb)', () => {
     const v = compile('approvalOverridden');
     expect(v({ gateId: 'g1', principal: 'owner_1', reason: 'emergency publish' }), JSON.stringify(v.errors)).toBe(true);
-    expect(v({ gateId: 'g1', principal: 'owner_1' })).toBe(false); // reason MUST be present
+    expect(v({ gateId: 'g1', principal: 'owner_1' }), req('openwop.it.approval-gate-events.approval-overridden-requires-gateid-principal-reason-audit-breadcrumb', 'RFC 0051 §B', 'approval.overridden requires gateId + principal + reason (audit breadcrumb)')).toBe(false); // reason MUST be present
   });
 });

package/src/scenarios/approval-gate-flow.test.ts

@@ -24,6 +24,7 @@ import { describe, it, expect } from 'vitest';
 import { softSkip } from '../lib/soft-skip.js';
 import { driver } from '../lib/driver.js';
 import { readCapabilityFamily } from '../lib/discovery-capabilities.js';
+import { req } from '../lib/requirement-ids.js';
 
 async function authorizationSupported(): Promise<boolean> {
   // Root-first per RFC 0073 (`capabilities.authorization` is the deprecated wrapper shape).
@@ -42,7 +43,7 @@ describe('approval-gate-flow: role-gated, audited approval (RFC 0051 §A)', () =
     const body = res.json as { released?: boolean } | undefined;
     expect(
       body?.released,
-      driver.describe('RFC 0051 §A', 'an unauthorized principal MUST NOT release the gate (fail-closed)'),
+      req('openwop.it.approval-gate-flow.an-unauthorized-principal-does-not-release-the-gate-fail-closed', 'RFC 0051 §A', 'an unauthorized principal MUST NOT release the gate (fail-closed)'),
     ).toBe(false);
   });
 
@@ -57,11 +58,11 @@ describe('approval-gate-flow: role-gated, audited approval (RFC 0051 §A)', () =
     const body = res.json as { event?: { type?: string; payload?: { reason?: string } } } | undefined;
     expect(
       body?.event?.type,
-      driver.describe('RFC 0051 §B', 'taking the override path MUST emit approval.overridden'),
+      req('openwop.it.approval-gate-flow.the-override-path-emits-an-audited-approval-overridden-with-a-reason', 'RFC 0051 §B', 'taking the override path MUST emit approval.overridden'),
     ).toBe('approval.overridden');
     expect(
       typeof body?.event?.payload?.reason === 'string' && body.event.payload.reason.length > 0,
-      driver.describe('RFC 0051 §B', 'approval.overridden MUST carry a non-empty reason (the audit breadcrumb)'),
+      req('openwop.it.approval-gate-flow.the-override-path-emits-an-audited-approval-overridden-with-a-reason', 'RFC 0051 §B', 'approval.overridden MUST carry a non-empty reason (the audit breadcrumb)'),
     ).toBe(true);
   });
 });

package/src/scenarios/approval-payload.test.ts

@@ -43,6 +43,7 @@
 
 import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
+import { req } from '../lib/requirement-ids.js';
 
 const CANONICAL_ACTIONS = ['accept', 'reject', 'refine', 'edit-accept', 'ask'] as const;
 const CANONICAL_EVENT_ACTIONS = ['accept', 'reject', 'refine', 'edit-accept', 'timeout'] as const;
@@ -73,7 +74,7 @@ describe('approval-payload: vocabulary discovery contract', () => {
     // is distinguishable from the canonical form.
     const legacyHits = text.match(/"edit"/g) ?? [];
 
-    expect(legacyHits.length, driver.describe(
+    expect(legacyHits.length, req('openwop.it.approval-payload.host-capability-declaration-does-not-regress-on-the-legacy-edit-form-7-drift-pin', 
       'interrupt.md §"`ApprovalResume`"',
       'capability declaration MUST NOT contain the legacy `"edit"` action token (use `"edit-accept"` per spec)',
     )).toBe(0);
@@ -84,7 +85,7 @@ describe('approval-payload: vocabulary discovery contract', () => {
     // accept/reject/refine/edit-accept/ask. Per-host advertisement is
     // optional; this test pins the vocabulary itself for future
     // scenarios that gate on it.
-    expect(CANONICAL_ACTIONS).toHaveLength(5);
+    expect(CANONICAL_ACTIONS, req('openwop.it.approval-payload.canonical-action-vocabulary-is-documented-in-spec-assertion-free-reference', 'capabilities.md', 'canonical action vocabulary is documented in spec (assertion-free reference)')).toHaveLength(5);
     expect(new Set(CANONICAL_ACTIONS)).toEqual(
       new Set(['accept', 'reject', 'refine', 'edit-accept', 'ask']),
     );
@@ -98,7 +99,7 @@ describe('approval-payload: vocabulary discovery contract', () => {
     // but isn't a resume action (clients can't submit a timeout).
     //
     // Pin this asymmetry so it doesn't drift.
-    expect(CANONICAL_EVENT_ACTIONS).toHaveLength(5);
+    expect(CANONICAL_EVENT_ACTIONS, req('openwop.it.approval-payload.canonical-event-action-vocabulary-differs-from-resume-timeout-instead-of-ask', 'capabilities.md', 'canonical event action vocabulary differs from resume (timeout instead of ask)')).toHaveLength(5);
     expect(new Set(CANONICAL_EVENT_ACTIONS)).toEqual(
       new Set(['accept', 'reject', 'refine', 'edit-accept', 'timeout']),
     );
@@ -112,7 +113,7 @@ describe('approval-payload: vocabulary discovery contract', () => {
     // The 3 documented scopes `whole/section/items` MUST be a stable
     // set in v1.x. Adding a scope is additive (clients tolerating
     // unknown values) but semantic changes need a spec discussion.
-    expect(CANONICAL_REFINE_SCOPES).toHaveLength(3);
+    expect(CANONICAL_REFINE_SCOPES, req('openwop.it.approval-payload.refinefeedback-scope-vocabulary-pin-7-audit-a-5-prereq', 'capabilities.md', 'refineFeedback scope vocabulary pin (§7 audit, A.5 prereq)')).toHaveLength(3);
     expect(new Set(CANONICAL_REFINE_SCOPES)).toEqual(
       new Set(['whole', 'section', 'items']),
     );

package/src/scenarios/artifact-auth.test.ts

@@ -20,8 +20,9 @@
 
 import { describe, it, expect } from 'vitest';
 
-import { driver } from '../lib/driver.js';
 import { loadEnv } from '../lib/env.js';
+import { req } from '../lib/requirement-ids.js';
+import { softSkip } from '../lib/soft-skip.js';
 
 describe('artifact-auth: unauthenticated artifact requests are rejected', () => {
   it('GET /v1/runs/{runId}/artifacts/{artifactId} without Authorization returns 401', async () => {
@@ -31,12 +32,12 @@ describe('artifact-auth: unauthenticated artifact requests are rejected', () =>
     const res = await fetch(
       `${env.baseUrl}/v1/runs/openwop-conformance-noauth-run/artifacts/openwop-conformance-noauth-artifact`,
     );
-    expect(res.status, driver.describe(
+    expect(res.status, req('openwop.it.artifact-auth.get-v1-runs-runid-artifacts-artifactid-without-authorization-returns-401', 
       'rest-endpoints.md GET /v1/runs/{runId}/artifacts/{artifactId}',
       'artifact endpoint MUST reject unauthenticated requests with 401 (never 200, never redirect)',
     )).toBe(401);
-    expect(res.status, 'redirect MUST NOT be used to handle missing auth on artifact endpoint').not.toBe(301);
-    expect(res.status, 'redirect MUST NOT be used to handle missing auth on artifact endpoint').not.toBe(302);
+    expect(res.status, req('openwop.it.artifact-auth.get-v1-runs-runid-artifacts-artifactid-without-authorization-returns-401', 'rest-endpoints.md GET /v1/runs/{runId}/artifacts/{artifactId}', 'redirect MUST NOT be used to handle missing auth on artifact endpoint')).not.toBe(301);
+    expect(res.status, req('openwop.it.artifact-auth.get-v1-runs-runid-artifacts-artifactid-without-authorization-returns-401', 'rest-endpoints.md GET /v1/runs/{runId}/artifacts/{artifactId}', 'redirect MUST NOT be used to handle missing auth on artifact endpoint')).not.toBe(302);
     expect(res.status).not.toBe(200);
 
     // Canonical error envelope: error: 'unauthenticated', message: string.
@@ -46,10 +47,10 @@ describe('artifact-auth: unauthenticated artifact requests are rejected', () =>
     } catch {
       // Some hosts return a bare 401 with no body — acceptable. Skip the
       // envelope-shape assertion in that case.
-      return;
+      return softSkip('blocked', 'precondition not met — an earlier step threw (Some hosts return a bare 401 with no body — acceptable. Skip the envelope-shape assertion in that case.) (seam, prior step, or fixture unavailable)');
     }
     if (typeof body.error === 'string') {
-      expect(body.error, driver.describe(
+      expect(body.error, req('openwop.it.artifact-auth.get-v1-runs-runid-artifacts-artifactid-without-authorization-returns-401', 
         'auth.md §"Error envelope"',
         '401 envelope SHOULD carry `error: "unauthenticated"` for missing-auth on artifact endpoint',
       )).toBe('unauthenticated');

package/src/scenarios/artifact-type-pack-install.test.ts

@@ -26,7 +26,6 @@
  */
 
 import { describe, it, expect } from 'vitest';
-import { driver } from '../lib/driver.js';
 import { behaviorGate, behaviorGatePresent } from '../lib/behavior-gate.js';
 
 const PROFILE = 'openwop-artifact-type-packs';
@@ -37,6 +36,7 @@ import {
   produceArtifact,
   sampleArtifactTypePack,
 } from '../lib/artifactTypes.js';
+import { req } from '../lib/requirement-ids.js';
 
 describe('artifact-type-pack-install: registered artifacts are schema-validated (RFC 0071)', () => {
   it('a conforming payload yields artifact.created { registered: true }', async () => {
@@ -47,24 +47,24 @@ describe('artifact-type-pack-install: registered artifacts are schema-validated
     if (!behaviorGatePresent(PROFILE, installed)) return; // seam absent: skip default, FAIL strict
     expect(
       installed.status >= 200 && installed.status < 300,
-      driver.describe('artifact-type-packs.md §"Pack kind"', 'a valid artifact-type pack MUST install cleanly'),
+      req('openwop.it.artifact-type-pack-install.a-conforming-payload-yields-artifact-created-registered-true', 'artifact-type-packs.md §"Pack kind"', 'a valid artifact-type pack MUST install cleanly'),
     ).toBe(true);
 
     const produced = await produceArtifact(artifactTypeId, { title: 'Hello', body: 'World' });
     if (!behaviorGatePresent(PROFILE, produced)) return; // seam absent: skip default, FAIL strict
     expect(
       produced.json['registered'],
-      driver.describe('artifact-type-packs.md §"Binding the existing artifact surfaces"', 'a payload matching a registered artifactTypeId MUST be marked registered'),
+      req('openwop.it.artifact-type-pack-install.a-conforming-payload-yields-artifact-created-registered-true', 'artifact-type-packs.md §"Binding the existing artifact surfaces"', 'a payload matching a registered artifactTypeId MUST be marked registered'),
     ).toBe(true);
     expect(
       produced.json['validated'],
-      driver.describe('artifact-type-packs.md', 'the host MUST validate the payload against the pack schema before emitting artifact.created'),
+      req('openwop.it.artifact-type-pack-install.a-conforming-payload-yields-artifact-created-registered-true', 'artifact-type-packs.md', 'the host MUST validate the payload against the pack schema before emitting artifact.created'),
     ).toBe(true);
     const evt = produced.json['artifactCreated'] as { registered?: unknown } | undefined;
     if (evt && 'registered' in evt) {
       expect(
         evt.registered,
-        driver.describe('run-event-payloads.schema.json §artifactCreated', 'artifact.created.registered MUST be true for a validated registered artifact'),
+        req('openwop.it.artifact-type-pack-install.a-conforming-payload-yields-artifact-created-registered-true', 'run-event-payloads.schema.json §artifactCreated', 'artifact.created.registered MUST be true for a validated registered artifact'),
       ).toBe(true);
     }
   });
@@ -83,7 +83,7 @@ describe('artifact-type-pack-install: registered artifacts are schema-validated
       produced.json['stored'] === false;
     expect(
       rejected,
-      driver.describe('artifact-type-packs.md §"Binding the existing artifact surfaces"', 'a payload that fails the pack schema MUST NOT be emitted as a validated registered artifact'),
+      req('openwop.it.artifact-type-pack-install.a-schema-violating-payload-is-rejected-not-stored-as-a-validated-registered-arti', 'artifact-type-packs.md §"Binding the existing artifact surfaces"', 'a payload that fails the pack schema MUST NOT be emitted as a validated registered artifact'),
     ).toBe(true);
   });
 });

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',
       ),