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

package/src/lib/seams.ts

@@ -0,0 +1,45 @@
+/**
+ * Suite 2.0.0 — the seams profile (RFC 0168 §C; `openwop-conformance-seams-v2`).
+ *
+ * v1 scenarios reach the host-sample seams at `/v1/host/sample/…`,
+ * `/v1/host/workspace/files…` and `/v1/packs-test/…`. In v2 those operations
+ * leave the canonical API for `api/seams-v2.yaml` under `/conformance/seams/…`
+ * (RFC 0168 §C.2). Under target major 2 the driver rewrites the v1 seam path
+ * to its v2 address, so the 165 scenarios that name a seam keep working
+ * without a sweep; the sweep to `seamPath()` is the P3-F polish.
+ *
+ * How a v2 host advertises the profile: RFC 0168 §C.1 forbids a `testSeams`
+ * capability flag and RFC 0169 §C.1 removes the root `profiles[]`; the
+ * reconciliation (recorded against RFC 0168 at its flip) is the
+ * `conformance` METADATA key (RFC 0169 §A.1a): `conformance.seamsProfile:
+ * "openwop-conformance-seams-v2"`. Metadata, not a capability family.
+ */
+export const SEAMS_PROFILE_ID = 'openwop-conformance-seams-v2';
+export const SEAMS_PREFIX = '/conformance/seams';
+
+const V1_SEAM_PREFIXES: ReadonlyArray<readonly [RegExp, string]> = [
+  [/^\/v1\/host\/sample\//, `${SEAMS_PREFIX}/sample/`],
+  [/^\/v1\/host\/workspace\/files/, `${SEAMS_PREFIX}/workspace/files`],
+  [/^\/v1\/packs-test\//, `${SEAMS_PREFIX}/packs-test/`],
+];
+
+/** The v2 address of a v1 seam path; a non-seam path is returned unchanged. */
+export function seamPath(v1Path: string): string {
+  for (const [re, to] of V1_SEAM_PREFIXES) if (re.test(v1Path)) return v1Path.replace(re, to);
+  return v1Path;
+}
+
+export function isSeamPath(path: string): boolean {
+  return V1_SEAM_PREFIXES.some(([re]) => re.test(path)) || path.startsWith(`${SEAMS_PREFIX}/`);
+}
+
+/** Whether a (v2) discovery document advertises the seams profile. */
+export function seamsProfileAdvertised(doc: Readonly<Record<string, unknown>> | null | undefined): boolean {
+  const conf = doc?.['conformance'];
+  return typeof conf === 'object' && conf !== null && (conf as Record<string, unknown>)['seamsProfile'] === SEAMS_PROFILE_ID;
+}
+
+/** The target major the runner selected (RFC 0168 §D.3); 1 when unset. */
+export function targetMajor(): 1 | 2 {
+  return process.env['OPENWOP_TARGET_MAJOR'] === '2' ? 2 : 1;
+}

package/src/lib/spec-coherence.ts

@@ -80,38 +80,21 @@
  * is no longer the only place the exclusion reason lives.
  */
 
-/** Scenarios whose subject is the corpus. Kept honest by `spec-coherence-registry.test.ts`. */
-export const SPEC_COHERENCE_SCENARIOS: ReadonlySet<string> = new Set([
-  'artifact-schema-compile-bounded.test.ts',
-  'artifact-type-legacy-ids.test.ts',
-  'capability-example-root-layout.test.ts',
-  'certification-floor-enforcement.test.ts',
-  'chain-subchain-unsupported-refused.test.ts',
-  'compensation-profile.test.ts',
-  'core-manifest-and-extension-registry.test.ts',
-  'discovery-canonical-family-no-shadow.test.ts',
-  'edge-condition-truthy-falsy.test.ts',
-  'effect-identity-composition.test.ts',
-  'effect-identity-cross-scope.test.ts',
-  'error-envelope-canonical-shape.test.ts',
-  'event-codemap-complete.test.ts',
-  'form-content-packs.test.ts',
-  'multi-region-effect-vocabulary.test.ts',
-  'normative-example-extraction.test.ts',
-  'openapi-asyncapi-sdk-parity.test.ts',
-  'pack-manifest-extensions.test.ts',
-  'protocol-version-grammar.test.ts',
-  'registry-declarative-kinds.test.ts',
-  'rfc-0147-self-audit.test.ts',
-  'rfc-lifecycle-coherence.test.ts',
-  'semantic-digest-v2.test.ts',
-  'spec-corpus-validity.test.ts',
-  'spec-section-citations.test.ts',
-  'tool-result-trust-monotone.test.ts',
-  'versioned-composition-profiles.test.ts',
-  'workflow-chain-internal-flag.test.ts',
-  'workload-identity-profile.test.ts',
-]);
+/**
+ * Scenarios whose subject is the corpus. Suite 2.0.0 (RFC 0168 §D.1): they
+ * live in `src/coherence/`, not `src/scenarios/`, and the set is the DIRECTORY
+ * LISTING — one source of truth instead of four (this list, the package.json
+ * negations, spec-coherence-scenarios.json and the registry self-test used to
+ * each carry a copy). They run in the spec repo's CI (scripts/check-spec-coherence.mjs)
+ * and never enter a host bundle; the published tarball excludes the directory.
+ */
+import { existsSync, readdirSync } from 'node:fs';
+import { fileURLToPath } from 'node:url';
+import { dirname, join } from 'node:path';
+const COHERENCE_DIR = join(dirname(fileURLToPath(import.meta.url)), '..', 'coherence');
+export const SPEC_COHERENCE_SCENARIOS: ReadonlySet<string> = new Set(
+  existsSync(COHERENCE_DIR) ? readdirSync(COHERENCE_DIR).filter((f) => f.endsWith('.test.ts')).sort() : [],
+);
 
 /**
  * Scenarios that gate on `V1_DIR` **and** drive the host, so their `blocked` is

package/src/lib/v2.ts

@@ -0,0 +1,62 @@
+/**
+ * Suite 2.0.0 — helpers for v2 scenarios (`v2-*.test.ts`, target major 2).
+ *
+ *   v2Discovery()          the v2 representation of /.well-known/openwop
+ *                          (OpenWOP-Version: 2.0), memoized per worker.
+ *   familyAdvertised(key)  RFC 0169 §A.2: presence of the family record IS the
+ *                          claim; there is no `supported` field. Returns the
+ *                          record or null.
+ *   v2Validator(name)      an Ajv 2020 validator for schemas/v2/<name>, with the
+ *                          whole v2 tree registered so cross-file $refs resolve
+ *                          (SCHEMAS_DIR is the spec-artifacts peer in the
+ *                          published layout — lib/paths.ts).
+ *   gateFamily(key)        the RFC 0148 §B gate for a v2 family: records
+ *                          `inapplicable` (family absent) or `skipped`
+ *                          (opted out) through behaviorGate under the
+ *                          requirement id `openwop.family.<key>`, and returns
+ *                          the record when advertised.
+ */
+import { readFileSync, readdirSync, statSync } from 'node:fs';
+import { join } from 'node:path';
+import { Ajv2020 } from 'ajv/dist/2020.js';
+import addFormats from 'ajv-formats';
+import { driver } from './driver.js';
+import { SCHEMAS_DIR } from './paths.js';
+import { behaviorGate } from './behavior-gate.js';
+
+let cached: Record<string, unknown> | null | undefined;
+export async function v2Discovery(): Promise<Record<string, unknown> | null> {
+  if (cached !== undefined) return cached;
+  const res = await driver.get('/.well-known/openwop', { authenticated: false, headers: { 'OpenWOP-Version': '2.0' } });
+  cached = res.status === 200 && res.json && typeof res.json === 'object' ? (res.json as Record<string, unknown>) : null;
+  return cached;
+}
+export function resetV2Discovery(): void { cached = undefined; }
+
+export async function familyAdvertised(key: string): Promise<Record<string, unknown> | null> {
+  const doc = await v2Discovery();
+  const rec = doc?.[key];
+  return rec && typeof rec === 'object' && !Array.isArray(rec) ? (rec as Record<string, unknown>) : null;
+}
+
+export async function gateFamily(key: string): Promise<Record<string, unknown> | null> {
+  const rec = await familyAdvertised(key);
+  return behaviorGate(`family.${key}`, rec !== null) ? rec : null;
+}
+
+let ajv: Ajv2020 | undefined;
+function v2Ajv(): Ajv2020 {
+  if (ajv) return ajv;
+  ajv = new Ajv2020({ allErrors: true, strict: false });
+  addFormats(ajv);
+  const root = join(SCHEMAS_DIR, 'v2');
+  const walk = (d: string): string[] => readdirSync(d).flatMap((n) => { const p = join(d, n); return statSync(p).isDirectory() ? walk(p) : p.endsWith('.schema.json') ? [p] : []; });
+  for (const p of walk(root)) { try { ajv.addSchema(JSON.parse(readFileSync(p, 'utf8')) as Record<string, unknown>); } catch { /* a duplicate $id is registered once */ } }
+  return ajv;
+}
+export function v2Validator(name: string): (doc: unknown) => { ok: boolean; errors: string } {
+  const id = `https://openwop.dev/spec/v2/${name.endsWith('.schema.json') ? name : `${name}.schema.json`}`;
+  const a = v2Ajv();
+  const validate = a.getSchema(id) ?? a.compile(JSON.parse(readFileSync(join(SCHEMAS_DIR, 'v2', ...name.split('/')), 'utf8')) as Record<string, unknown>);
+  return (doc: unknown) => ({ ok: validate(doc) as boolean, errors: a.errorsText(validate.errors, { separator: '; ' }) });
+}

package/src/scenarios/a2a-1-0-agent-card.test.ts

@@ -34,6 +34,7 @@
 
 import { describe, it, expect, beforeAll, afterAll } from 'vitest';
 import { A2AFakePeer } from '../lib/a2a-fake-peer.js';
+import { req } from '../lib/requirement-ids.js';
 
 export const HOST_CALLBACK_NOT_REQUIRED = 'the suite drives both ends itself: it boots the dual-era A2AFakePeer in-process and reads its agent card directly; no host connection is originated';
 
@@ -57,24 +58,24 @@ describe('RFC 0152 — the suite peer speaks A2A 1.0 (dual-era A2AFakePeer)', ()
     expect(res.status).toBe(200);
     const card = (await res.json()) as Record<string, unknown>;
     const ifaces = card['supportedInterfaces'] as Array<{ url: string; protocolBinding: string; protocolVersion: string }>;
-    expect(Array.isArray(ifaces) && ifaces.length > 0, '1.0 REQUIRES supportedInterfaces[]').toBe(true);
+    expect(Array.isArray(ifaces) && ifaces.length > 0, req('openwop.it.a2a-1-0-agent-card.the-agent-card-is-1-0-shaped-supportedinterfaces-no-top-level-url-protocolversio', 'RFC 0152 §A/§B/§C/§D', '1.0 REQUIRES supportedInterfaces[]')).toBe(true);
     expect(ifaces.map((i) => i.protocolVersion)).toEqual(['1.0', '0.3']);
     for (const i of ifaces) {
       expect(i.protocolBinding).toBe('JSONRPC');
       expect(i.url.startsWith(peer.endpoint())).toBe(true);
     }
-    expect(card['url'], '1.0 removed top-level url').toBeUndefined();
-    expect(card['protocolVersion'], '1.0 removed top-level protocolVersion (it is per interface)').toBeUndefined();
+    expect(card['url'], req('openwop.it.a2a-1-0-agent-card.the-agent-card-is-1-0-shaped-supportedinterfaces-no-top-level-url-protocolversio', 'RFC 0152 §A/§B/§C/§D', '1.0 removed top-level url')).toBeUndefined();
+    expect(card['protocolVersion'], req('openwop.it.a2a-1-0-agent-card.the-agent-card-is-1-0-shaped-supportedinterfaces-no-top-level-url-protocolversio', 'RFC 0152 §A/§B/§C/§D', '1.0 removed top-level protocolVersion (it is per interface)')).toBeUndefined();
     const caps = card['capabilities'] as Record<string, unknown>;
     expect(caps['extendedAgentCard']).toBe(false);
-    expect(Array.isArray(card['skills']) && (card['skills'] as unknown[]).length > 0, 'skills[] REQUIRED').toBe(true);
-    for (const k of ['name', 'description', 'version', 'defaultInputModes', 'defaultOutputModes']) expect(card[k], `${k} REQUIRED`).toBeDefined();
+    expect(Array.isArray(card['skills']) && (card['skills'] as unknown[]).length > 0, req('openwop.it.a2a-1-0-agent-card.the-agent-card-is-1-0-shaped-supportedinterfaces-no-top-level-url-protocolversio', 'RFC 0152 §A/§B/§C/§D', 'skills[] REQUIRED')).toBe(true);
+    for (const k of ['name', 'description', 'version', 'defaultInputModes', 'defaultOutputModes']) expect(card[k], req('openwop.it.a2a-1-0-agent-card.the-agent-card-is-1-0-shaped-supportedinterfaces-no-top-level-url-protocolversio', 'RFC 0152 §A/§B/§C/§D', `${k} REQUIRED`)).toBeDefined();
   });
 
   it('the card shape follows the era asked for: A2A-Version: 0.3 on the GET returns the 0.3 card from the same peer', async () => {
     const res = await fetch(`${peer.endpoint()}/.well-known/agent-card.json`, { headers: { 'A2A-Version': '0.3' } });
     const card = (await res.json()) as Record<string, unknown>;
-    expect(card['protocolVersion']).toBe('0.3.0');
+    expect(card['protocolVersion'], req('openwop.it.a2a-1-0-agent-card.the-card-shape-follows-the-era-asked-for-a2a-version-0-3-on-the-get-returns-the', 'RFC 0152 §A/§B/§C/§D', 'the card shape follows the era asked for: A2A-Version: 0.3 on the GET returns the 0.3 card from the same peer')).toBe('0.3.0');
     expect(typeof card['url']).toBe('string');
     expect(card['supportedInterfaces']).toBeUndefined();
     // and the default-constructed peer (0.3-first) serves the 0.3 card to a header-less GET
@@ -95,7 +96,7 @@ describe('RFC 0152 — the suite peer speaks A2A 1.0 (dual-era A2AFakePeer)', ()
     await legacy.start(0);
     try {
       const card = (await (await fetch(`${legacy.endpoint()}/.well-known/agent-card.json`)).json()) as Record<string, unknown>;
-      expect(card['protocolVersion']).toBe('0.3.0');
+      expect(card['protocolVersion'], req('openwop.it.a2a-1-0-agent-card.a-legacy-only-peer-serves-the-0-3-card-shape-follows-revision-not-calendar', 'RFC 0152 §A/§B/§C/§D', 'a legacy-only peer serves the 0.3 card — shape follows revision, not calendar')).toBe('0.3.0');
       expect(typeof card['url']).toBe('string');
       expect(card['supportedInterfaces']).toBeUndefined();
     } finally {
@@ -105,14 +106,14 @@ describe('RFC 0152 — the suite peer speaks A2A 1.0 (dual-era A2AFakePeer)', ()
 
   it('A2A-Version absent ⇒ 0.3 semantics; message/send returns a 0.3 task', async () => {
     const r = await rpc(peer.endpoint(), 'message/send', { message: { kind: 'message', messageId: 'm1', role: 'user', parts: [{ kind: 'text', text: 'hi' }] } });
-    expect(r.error).toBeUndefined();
+    expect(r.error, req('openwop.it.a2a-1-0-agent-card.a2a-version-absent-0-3-semantics-message-send-returns-a-0-3-task', 'RFC 0152 §A/§B/§C/§D', 'A2A-Version absent ⇒ 0.3 semantics; message/send returns a 0.3 task')).toBeUndefined();
     expect(r.result?.['kind']).toBe('task');
     expect((r.result?.['status'] as { state: string }).state).toBe('submitted');
   });
 
   it('an unsupported version fails -32009 VERSION_NOT_SUPPORTED with supportedVersions[] (HTTP 400)', async () => {
     const r = await rpc(peer.endpoint(), 'SendMessage', { message: { messageId: 'm2', role: 'ROLE_USER', parts: [{ text: 'hi' }] } }, '99.0');
-    expect(r.status).toBe(400);
+    expect(r.status, req('openwop.it.a2a-1-0-agent-card.an-unsupported-version-fails-32009-version-not-supported-with-supportedversions', 'RFC 0152 §A/§B/§C/§D', 'an unsupported version fails -32009 VERSION_NOT_SUPPORTED with supportedVersions[] (HTTP 400)')).toBe(400);
     expect(r.error?.code).toBe(-32009);
     expect(r.error?.data?.['reason']).toBe('VERSION_NOT_SUPPORTED');
     expect(r.error?.data?.['supportedVersions']).toEqual(['1.0', '0.3']); // constructor order
@@ -123,7 +124,7 @@ describe('RFC 0152 — the suite peer speaks A2A 1.0 (dual-era A2AFakePeer)', ()
     await only10.start(0);
     try {
       const r = await rpc(only10.endpoint(), 'message/send', { message: { parts: [] } });
-      expect(r.error?.code).toBe(-32009);
+      expect(r.error?.code, req('openwop.it.a2a-1-0-agent-card.a-1-0-only-peer-rejects-a-header-less-request-which-is-0-3-by-rule', 'RFC 0152 §A/§B/§C/§D', 'a 1.0-only peer rejects a header-less request (which is 0.3 by rule)')).toBe(-32009);
       expect(r.error?.data?.['requested']).toBe('0.3');
     } finally {
       await only10.stop();
@@ -135,8 +136,8 @@ describe('RFC 0152 — the suite peer speaks A2A 1.0 (dual-era A2AFakePeer)', ()
     const r = await rpc(peer.endpoint(), 'SendMessage', { message: { messageId: 'm3', role: 'ROLE_USER', parts: [{ text: 'hello 1.0' }] } }, '1.0');
     expect(r.error).toBeUndefined();
     const task = r.result?.['task'] as Record<string, unknown>;
-    expect(task, 'SendMessageResponse is a oneof payload: { task } | { message }').toBeDefined();
-    expect(task['kind'], '1.0 removed the kind discriminator').toBeUndefined();
+    expect(task, req('openwop.it.a2a-1-0-agent-card.sendmessage-1-0-returns-task-with-task-state-role-part-oneof-no-kind-status-time', 'RFC 0152 §A/§B/§C/§D', 'SendMessageResponse is a oneof payload: { task } | { message }')).toBeDefined();
+    expect(task['kind'], req('openwop.it.a2a-1-0-agent-card.sendmessage-1-0-returns-task-with-task-state-role-part-oneof-no-kind-status-time', 'RFC 0152 §A/§B/§C/§D', '1.0 removed the kind discriminator')).toBeUndefined();
     const status = task['status'] as { state: string; timestamp?: string };
     expect(status.state).toBe('TASK_STATE_SUBMITTED');
     expect(typeof status.timestamp).toBe('string');
@@ -144,7 +145,7 @@ describe('RFC 0152 — the suite peer speaks A2A 1.0 (dual-era A2AFakePeer)', ()
     expect(history[0]?.['role']).toBe('ROLE_USER');
     const part = (history[0]?.['parts'] as Array<Record<string, unknown>>)[0]!;
     expect(part['text']).toBe('hello 1.0');
-    expect(part['kind'], 'Part is a oneof — discriminate by member presence').toBeUndefined();
+    expect(part['kind'], req('openwop.it.a2a-1-0-agent-card.sendmessage-1-0-returns-task-with-task-state-role-part-oneof-no-kind-status-time', 'RFC 0152 §A/§B/§C/§D', 'Part is a oneof — discriminate by member presence')).toBeUndefined();
     expect(Array.isArray(task['artifacts'])).toBe(true);
   });
 
@@ -153,7 +154,7 @@ describe('RFC 0152 — the suite peer speaks A2A 1.0 (dual-era A2AFakePeer)', ()
     const sent = await rpc(peer.endpoint(), 'SendMessage', { message: { messageId: 'm4', role: 'ROLE_USER', parts: [{ text: 'x' }] } }, '1.0');
     const id = (sent.result?.['task'] as { id: string }).id;
     const got = await rpc(peer.endpoint(), 'GetTask', { id }, '1.0');
-    expect((got.result as { status: { state: string } }).status.state).toBe('TASK_STATE_SUBMITTED');
+    expect((got.result as { status: { state: string } }).status.state, req('openwop.it.a2a-1-0-agent-card.gettask-canceltask-listtasks-per-d-1-incl-task-not-cancelable-on-a-terminal-task', 'RFC 0152 §A/§B/§C/§D', 'GetTask / CancelTask / ListTasks per §D.1, incl. TASK_NOT_CANCELABLE on a terminal task')).toBe('TASK_STATE_SUBMITTED');
     const listed = await rpc(peer.endpoint(), 'ListTasks', { status: 'TASK_STATE_SUBMITTED' }, '1.0');
     expect((listed.result as { totalSize: number }).totalSize).toBe(1);
     const cancelled = await rpc(peer.endpoint(), 'CancelTask', { id }, '1.0');
@@ -168,12 +169,12 @@ describe('RFC 0152 — the suite peer speaks A2A 1.0 (dual-era A2AFakePeer)', ()
 
   it('a 0.3 method name under a 1.0 header is method-not-found — loudly', async () => {
     const r = await rpc(peer.endpoint(), 'message/send', { message: { parts: [] } }, '1.0');
-    expect(r.status).toBe(404);
+    expect(r.status, req('openwop.it.a2a-1-0-agent-card.a-0-3-method-name-under-a-1-0-header-is-method-not-found-loudly', 'RFC 0152 §A/§B/§C/§D', 'a 0.3 method name under a 1.0 header is method-not-found — loudly')).toBe(404);
     expect(r.error?.code).toBe(-32601);
   });
 
   it('streaming is honestly unsupported: SubscribeToTask ⇒ UNSUPPORTED_OPERATION, matching capabilities.streaming=false', async () => {
     const r = await rpc(peer.endpoint(), 'SubscribeToTask', { id: 'task-1' }, '1.0');
-    expect(r.error?.code).toBe(-32004);
+    expect(r.error?.code, req('openwop.it.a2a-1-0-agent-card.streaming-is-honestly-unsupported-subscribetotask-unsupported-operation-matching', 'RFC 0152 §A/§B/§C/§D', 'streaming is honestly unsupported: SubscribeToTask ⇒ UNSUPPORTED_OPERATION, matching capabilities.streaming=false')).toBe(-32004);
   });
 });

package/src/scenarios/a2a-1-0-task-roundtrip.test.ts

@@ -27,6 +27,7 @@ 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';
 
 const PROFILE = 'a2a-1.0';
 const STATES_10 = [
@@ -75,27 +76,27 @@ describe('RFC 0152 §D — a2a-1.0-task-roundtrip (host as A2A 1.0 server, gated
   it('SendMessage @1.0 creates a task whose id is the runId, in 1.0 spelling; GetTask reads it back; unknown id is TASK_NOT_FOUND', async () => {
     if (!behaviorGate(PROFILE, await claims10())) return;
     const url = await jsonrpc10Url();
-    expect(url, driver.describe('a2a-integration.md §C', 'a `a2a-1.0` host MUST publish a JSONRPC/1.0 interface in its card')).not.toBeNull();
+    expect(url, req('openwop.it.a2a-1-0-task-roundtrip.sendmessage-1-0-creates-a-task-whose-id-is-the-runid-in-1-0-spelling-gettask-rea', 'a2a-integration.md §C', 'a `a2a-1.0` host MUST publish a JSONRPC/1.0 interface in its card')).not.toBeNull();
     const sent = await rpc10(url!, 'SendMessage', {
       message: { messageId: `conf-${Date.now()}`, role: 'ROLE_USER', parts: [{ text: 'openwop conformance a2a-1.0 roundtrip' }] },
       configuration: { returnImmediately: true },
     }, 1);
-    expect(sent.status, driver.describe('a2a-integration.md §D.1', 'SendMessage MUST be accepted on the 1.0 interface')).toBe(200);
-    expect(sent.error, driver.describe('a2a-integration.md §D.1', `SendMessage MUST NOT error: ${JSON.stringify(sent.error)}`)).toBeUndefined();
+    expect(sent.status, req('openwop.it.a2a-1-0-task-roundtrip.sendmessage-1-0-creates-a-task-whose-id-is-the-runid-in-1-0-spelling-gettask-rea', 'a2a-integration.md §D.1', 'SendMessage MUST be accepted on the 1.0 interface')).toBe(200);
+    expect(sent.error, req('openwop.it.a2a-1-0-task-roundtrip.sendmessage-1-0-creates-a-task-whose-id-is-the-runid-in-1-0-spelling-gettask-rea', 'a2a-integration.md §D.1', `SendMessage MUST NOT error: ${JSON.stringify(sent.error)}`)).toBeUndefined();
     const result = sent.result ?? {};
     // SendMessageResponse is a oneof: { task } | { message }. A run-creating host answers with a task.
     const task = (result['task'] ?? (result['id'] !== undefined ? result : undefined)) as { id?: string; contextId?: string; status?: { state?: string; timestamp?: string }; history?: Array<{ role?: string; parts?: Array<Record<string, unknown>> }>; kind?: unknown } | undefined;
-    expect(task, driver.describe('a2a-integration.md §D.1', 'SendMessage without taskId MUST create a run and return `{ task }`')).toBeDefined();
-    expect(task!.kind, driver.describe('a2a-integration.md §D.5', '1.0 has no `kind` discriminator')).toBeUndefined();
+    expect(task, req('openwop.it.a2a-1-0-task-roundtrip.sendmessage-1-0-creates-a-task-whose-id-is-the-runid-in-1-0-spelling-gettask-rea', 'a2a-integration.md §D.1', 'SendMessage without taskId MUST create a run and return `{ task }`')).toBeDefined();
+    expect(task!.kind, req('openwop.it.a2a-1-0-task-roundtrip.sendmessage-1-0-creates-a-task-whose-id-is-the-runid-in-1-0-spelling-gettask-rea', 'a2a-integration.md §D.5', '1.0 has no `kind` discriminator')).toBeUndefined();
     expect(typeof task!.id).toBe('string');
-    expect(STATES_10, driver.describe('a2a-integration.md §D.4', 'status.state MUST use the 1.0 TASK_STATE_* spelling')).toContain(task!.status?.state);
+    expect(STATES_10, req('openwop.it.a2a-1-0-task-roundtrip.sendmessage-1-0-creates-a-task-whose-id-is-the-runid-in-1-0-spelling-gettask-rea', 'a2a-integration.md §D.4', 'status.state MUST use the 1.0 TASK_STATE_* spelling')).toContain(task!.status?.state);
     for (const m of task!.history ?? []) {
-      expect(['ROLE_USER', 'ROLE_AGENT'], driver.describe('a2a-integration.md §D.2', 'history roles are ROLE_*')).toContain(m.role);
-      for (const p of m.parts ?? []) expect(p['kind'], driver.describe('a2a-integration.md §D.3', 'Part is a oneof — no `kind`')).toBeUndefined();
+      expect(['ROLE_USER', 'ROLE_AGENT'], req('openwop.it.a2a-1-0-task-roundtrip.sendmessage-1-0-creates-a-task-whose-id-is-the-runid-in-1-0-spelling-gettask-rea', 'a2a-integration.md §D.2', 'history roles are ROLE_*')).toContain(m.role);
+      for (const p of m.parts ?? []) expect(p['kind'], req('openwop.it.a2a-1-0-task-roundtrip.sendmessage-1-0-creates-a-task-whose-id-is-the-runid-in-1-0-spelling-gettask-rea', 'a2a-integration.md §D.3', 'Part is a oneof — no `kind`')).toBeUndefined();
     }
     // Task.id IS the runId (RFC 0100): the OpenWOP snapshot for it MUST exist for the same caller.
     const snap = await driver.get(`/v1/runs/${encodeURIComponent(task!.id!)}`);
-    expect(snap.status, driver.describe('a2a-integration.md §D.4', '`Task.id` MUST be the backing runId — GET /v1/runs/{id} resolves it for the same principal')).toBe(200);
+    expect(snap.status, req('openwop.it.a2a-1-0-task-roundtrip.sendmessage-1-0-creates-a-task-whose-id-is-the-runid-in-1-0-spelling-gettask-rea', 'a2a-integration.md §D.4', '`Task.id` MUST be the backing runId — GET /v1/runs/{id} resolves it for the same principal')).toBe(200);
     // GetTask reads it back with the same id and a valid 1.0 state.
     const got = await rpc10(url!, 'GetTask', { id: task!.id }, 2);
     expect(got.error).toBeUndefined();
@@ -104,7 +105,7 @@ describe('RFC 0152 §D — a2a-1.0-task-roundtrip (host as A2A 1.0 server, gated
     expect(STATES_10).toContain(gotTask.status?.state);
     // Unknown id — and, per §E, a cross-tenant id — MUST be TASK_NOT_FOUND, never forbidden.
     const missing = await rpc10(url!, 'GetTask', { id: `run_does_not_exist_${Date.now()}` }, 3);
-    expect(missing.error?.code, driver.describe('a2a-integration.md §D.7/§E', 'an unknown or unreadable task MUST be TASK_NOT_FOUND (-32001) — no enumeration')).toBe(-32001);
+    expect(missing.error?.code, req('openwop.it.a2a-1-0-task-roundtrip.sendmessage-1-0-creates-a-task-whose-id-is-the-runid-in-1-0-spelling-gettask-rea', 'a2a-integration.md §D.7/§E', 'an unknown or unreadable task MUST be TASK_NOT_FOUND (-32001) — no enumeration')).toBe(-32001);
     // Tidy: cancel the run we created (best effort; terminal runs answer TASK_NOT_CANCELABLE which is fine).
     await rpc10(url!, 'CancelTask', { id: task!.id }, 4);
   });

package/src/scenarios/a2a-card-runtime-consistency.test.ts

@@ -29,6 +29,7 @@ import { softSkip } from '../lib/soft-skip.js';
 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';
 
 const PROFILE = 'a2a-1.0';
 
@@ -81,14 +82,14 @@ describe('RFC 0152 §C — a2a-card-runtime-consistent (gated on a2a.profiles
     if (!behaviorGate(PROFILE, await claims10())) return;
     const caps = (await a2a())!;
     const card = await fetchCard(caps);
-    expect(card, driver.describe('a2a-integration.md §C', '`agentCardUrl` MUST resolve to the Agent Card (200)')).not.toBeNull();
+    expect(card, req('openwop.it.a2a-card-runtime-consistency.the-card-is-1-0-shaped-and-reachable-at-agentcardurl', 'a2a-integration.md §C', '`agentCardUrl` MUST resolve to the Agent Card (200)')).not.toBeNull();
     expect(
       Array.isArray(card!.supportedInterfaces) && card!.supportedInterfaces!.length > 0,
-      driver.describe('a2a-integration.md §C', 'a host claiming `a2a-1.0` MUST publish a 1.0 card: `supportedInterfaces[]` REQUIRED (≥1)'),
+      req('openwop.it.a2a-card-runtime-consistency.the-card-is-1-0-shaped-and-reachable-at-agentcardurl', 'a2a-integration.md §C', 'a host claiming `a2a-1.0` MUST publish a 1.0 card: `supportedInterfaces[]` REQUIRED (≥1)'),
     ).toBe(true);
-    expect(card!.url, driver.describe('a2a-integration.md §C', '1.0 removed the top-level `url` — a card with both shapes is neither')).toBeUndefined();
-    expect(card!.protocolVersion, driver.describe('a2a-integration.md §C', '1.0 removed the top-level `protocolVersion` (per interface now)')).toBeUndefined();
-    expect(Array.isArray(card!.skills) && card!.skills!.length > 0, driver.describe('a2a-integration.md §C', '`skills[]` MUST be non-empty — one per invocable workflow')).toBe(true);
+    expect(card!.url, req('openwop.it.a2a-card-runtime-consistency.the-card-is-1-0-shaped-and-reachable-at-agentcardurl', 'a2a-integration.md §C', '1.0 removed the top-level `url` — a card with both shapes is neither')).toBeUndefined();
+    expect(card!.protocolVersion, req('openwop.it.a2a-card-runtime-consistency.the-card-is-1-0-shaped-and-reachable-at-agentcardurl', 'a2a-integration.md §C', '1.0 removed the top-level `protocolVersion` (per interface now)')).toBeUndefined();
+    expect(Array.isArray(card!.skills) && card!.skills!.length > 0, req('openwop.it.a2a-card-runtime-consistency.the-card-is-1-0-shaped-and-reachable-at-agentcardurl', 'a2a-integration.md §C', '`skills[]` MUST be non-empty — one per invocable workflow')).toBe(true);
   });
 
   it('a header-less card GET returns the 0.3-shaped card while a2a-0.3-legacy is advertised (§B receiver rule applied to discovery — S18 Q1)', async () => {
@@ -97,17 +98,17 @@ describe('RFC 0152 §C — a2a-card-runtime-consistent (gated on a2a.profiles
     if (typeof caps.agentCardUrl !== 'string') return softSkip('blocked', 'no agentCardUrl advertised');
     const legacy = (caps.protocolVersions ?? []).includes('0.3');
     const res = await fetch(caps.agentCardUrl, { headers: { accept: 'application/json' } });
-    expect(res.status, driver.describe('a2a-integration.md §C', 'a header-less card GET MUST succeed — discovery must not fail')).toBe(200);
+    expect(res.status, req('openwop.it.a2a-card-runtime-consistency.a-header-less-card-get-returns-the-0-3-shaped-card-while-a2a-0-3-legacy-is-adver', 'a2a-integration.md §C', 'a header-less card GET MUST succeed — discovery must not fail')).toBe(200);
     const card = (await res.json()) as Card10 & { url?: string; protocolVersion?: string };
     if (legacy) {
       // While 0.3 is advertised the header-less card is the 0.3 shape: an
       // external 0.3 client reading `card.url` keeps working through the
       // legacy window — the point of advertising `a2a-0.3-legacy` at all.
-      expect(typeof card.url, driver.describe('a2a-integration.md §C', 'header-less = 0.3 (§B receiver rule): the card MUST carry the 0.3 top-level `url` while `protocolVersions ∋ 0.3`')).toBe('string');
-      expect(card.supportedInterfaces, driver.describe('a2a-integration.md §C', 'the header-less card MUST NOT be the 1.0 shape while 0.3 is advertised (a card with both shapes is neither)')).toBeUndefined();
+      expect(typeof card.url, req('openwop.it.a2a-card-runtime-consistency.a-header-less-card-get-returns-the-0-3-shaped-card-while-a2a-0-3-legacy-is-adver', 'a2a-integration.md §C', 'header-less = 0.3 (§B receiver rule): the card MUST carry the 0.3 top-level `url` while `protocolVersions ∋ 0.3`')).toBe('string');
+      expect(card.supportedInterfaces, req('openwop.it.a2a-card-runtime-consistency.a-header-less-card-get-returns-the-0-3-shaped-card-while-a2a-0-3-legacy-is-adver', 'a2a-integration.md §C', 'the header-less card MUST NOT be the 1.0 shape while 0.3 is advertised (a card with both shapes is neither)')).toBeUndefined();
     } else {
       // 0.3 dropped: the preferred-version (1.0) card is served header-less.
-      expect(Array.isArray(card.supportedInterfaces) && card.supportedInterfaces!.length > 0, driver.describe('a2a-integration.md §C', 'with 0.3 dropped, the header-less card is the preferredVersion (1.0) card')).toBe(true);
+      expect(Array.isArray(card.supportedInterfaces) && card.supportedInterfaces!.length > 0, req('openwop.it.a2a-card-runtime-consistency.a-header-less-card-get-returns-the-0-3-shaped-card-while-a2a-0-3-legacy-is-adver', 'a2a-integration.md §C', 'with 0.3 dropped, the header-less card is the preferredVersion (1.0) card')).toBe(true);
     }
   });
 
@@ -115,12 +116,12 @@ describe('RFC 0152 §C — a2a-card-runtime-consistent (gated on a2a.profiles
     if (!behaviorGate(PROFILE, await claims10())) return;
     const caps = (await a2a())!;
     const card = await fetchCard(caps);
-    if (card === null) return; // asserted above
+    if (card === null) return softSkip('blocked', 'precondition not met — `card === null` returned early (asserted above) (seam, prior step, or fixture unavailable)'); // asserted above
     const fromCard = [...new Set((card.supportedInterfaces ?? []).map((i) => i.protocolVersion).filter((v): v is string => typeof v === 'string'))].sort();
     const fromDiscovery = [...new Set(caps.protocolVersions ?? [])].sort();
     expect(
       fromCard,
-      driver.describe(
+      req('openwop.it.a2a-card-runtime-consistency.the-set-of-supportedinterfaces-protocolversion-equals-capabilities-a2a-protocolv', 
         'a2a-integration.md §C',
         'the SET of `supportedInterfaces[].protocolVersion` MUST equal `capabilities.a2a.protocolVersions` — two documents, one fact; ' +
           'a version advertised in one and not the other is card/runtime drift (`a2a-card-runtime-consistent`)',
@@ -132,14 +133,14 @@ describe('RFC 0152 §C — a2a-card-runtime-consistent (gated on a2a.profiles
     if (!behaviorGate(PROFILE, await claims10())) return;
     const caps = (await a2a())!;
     const card = await fetchCard(caps);
-    if (card === null) return;
+    if (card === null) return softSkip('blocked', 'precondition not met — `card === null` returned early (seam, prior step, or fixture unavailable)');
     const ifaces = card.supportedInterfaces ?? [];
     expect(
       ifaces.some((i) => i.protocolBinding === 'JSONRPC' && i.protocolVersion === '1.0' && typeof i.url === 'string'),
-      driver.describe('a2a-integration.md §C', 'the `a2a-1.0` profile floor is the JSON-RPC binding at 1.0; HTTP+JSON / gRPC are optional additions'),
+      req('openwop.it.a2a-card-runtime-consistency.a2a-1-0-must-serve-the-json-rpc-binding-at-1-0-the-mandatory-floor-and-should-li', 'a2a-integration.md §C', 'the `a2a-1.0` profile floor is the JSON-RPC binding at 1.0; HTTP+JSON / gRPC are optional additions'),
     ).toBe(true);
     for (const i of ifaces) {
-      expect(['JSONRPC', 'GRPC', 'HTTP+JSON'], driver.describe('a2a-integration.md §C', 'protocolBinding uses the upstream binding names')).toContain(i.protocolBinding);
+      expect(['JSONRPC', 'GRPC', 'HTTP+JSON'], req('openwop.it.a2a-card-runtime-consistency.a2a-1-0-must-serve-the-json-rpc-binding-at-1-0-the-mandatory-floor-and-should-li', 'a2a-integration.md §C', 'protocolBinding uses the upstream binding names')).toContain(i.protocolBinding);
     }
     if (typeof caps.preferredVersion === 'string' && ifaces.length > 0) {
       // SHOULD, so a soft expectation: report, do not fail.
@@ -154,14 +155,14 @@ describe('RFC 0152 §C — a2a-card-runtime-consistent (gated on a2a.profiles
     if (!behaviorGate(PROFILE, await claims10())) return;
     const caps = (await a2a())!;
     const card = await fetchCard(caps);
-    if (card === null) return;
+    if (card === null) return softSkip('blocked', 'precondition not met — `card === null` returned early (seam, prior step, or fixture unavailable)');
     expect(
       card.capabilities?.streaming === true,
-      driver.describe('a2a-integration.md §C', '`capabilities.streaming` on the card MUST equal `capabilities.a2a.streaming` on discovery'),
+      req('openwop.it.a2a-card-runtime-consistency.card-capabilities-streaming-pushnotifications-equal-the-discovery-flags', 'a2a-integration.md §C', '`capabilities.streaming` on the card MUST equal `capabilities.a2a.streaming` on discovery'),
     ).toBe(caps.streaming === true);
     expect(
       card.capabilities?.pushNotifications === true,
-      driver.describe('a2a-integration.md §C', '`capabilities.pushNotifications` on the card MUST equal `capabilities.a2a.pushNotifications`'),
+      req('openwop.it.a2a-card-runtime-consistency.card-capabilities-streaming-pushnotifications-equal-the-discovery-flags', 'a2a-integration.md §C', '`capabilities.pushNotifications` on the card MUST equal `capabilities.a2a.pushNotifications`'),
     ).toBe(caps.pushNotifications === true);
   });
 });

package/src/scenarios/a2a-peer-authority.test.ts

@@ -33,6 +33,7 @@ import { driver } from '../lib/driver.js';
 import { behaviorGate } from '../lib/behavior-gate.js';
 import { capabilityFamily } from '../lib/discovery-capabilities.js';
 import { getA2AFakePeer } from '../lib/a2a-fake-peer.js';
+import { req } from '../lib/requirement-ids.js';
 
 export const REQUIRES_HOST_CALLBACK = "the host issues A2A JSON-RPC calls to the suite's fake peer via /v1/host/sample/a2a/invoke (peerUrl), which the peer records";
 
@@ -75,25 +76,25 @@ describe('RFC 0152 §E — a2a-peer-no-authority-escalation (host as A2A client,
     // The peer must actually have answered with the authority-asserting message,
     // or this leg is vacuous.
     const created = peer.taskCount();
-    expect(created, driver.describe('RFCS/0152 §E', 'the host MUST have created a task on the peer for this leg to mean anything')).toBeGreaterThan(0);
+    expect(created, req('openwop.it.a2a-peer-authority.a-peer-reply-that-asserts-approval-scopes-and-a-foreign-task-reference-changes-n', 'RFCS/0152 §E', 'the host MUST have created a task on the peer for this leg to mean anything')).toBeGreaterThan(0);
     const report = (drive.json as { peerAuthority?: PeerAuthorityReport }).peerAuthority;
     if (report === undefined) {
       // Additive seam field not yet implemented: blocked, not passed.
       expect(
         report,
-        driver.describe(
+        req('openwop.it.a2a-peer-authority.a-peer-reply-that-asserts-approval-scopes-and-a-foreign-task-reference-changes-n', 
           'host-sample-test-seams.md §22',
           'the invoke seam SHOULD report `peerAuthority: { approvalAdvanced, scopesWidened, referencedTaskDereferenced }` for ' +
             'scenario "peer-asserts-authority"; until it does this requirement is unobservable and resolves to `blocked`, not passed',
         ),
       ).toBeDefined();
-      return;
+      return softSkip('blocked', 'precondition not met — `report === undefined` returned early (seam, prior step, or fixture unavailable)');
     }
-    expect(report.approvalAdvanced, driver.describe('RFCS/0152 §E', 'peer content MUST NOT advance an approval gate (a2a-peer-no-authority-escalation)')).toBe(false);
-    expect(report.scopesWidened, driver.describe('RFCS/0152 §E', 'peer content MUST NOT widen the run’s scopes or tool allowlist')).toBe(false);
+    expect(report.approvalAdvanced, req('openwop.it.a2a-peer-authority.a-peer-reply-that-asserts-approval-scopes-and-a-foreign-task-reference-changes-n', 'RFCS/0152 §E', 'peer content MUST NOT advance an approval gate (a2a-peer-no-authority-escalation)')).toBe(false);
+    expect(report.scopesWidened, req('openwop.it.a2a-peer-authority.a-peer-reply-that-asserts-approval-scopes-and-a-foreign-task-reference-changes-n', 'RFCS/0152 §E', 'peer content MUST NOT widen the run’s scopes or tool allowlist')).toBe(false);
     expect(
       report.referencedTaskDereferenced,
-      driver.describe('a2a-integration.md §D.2', '`referenceTaskIds[]` are opaque hints — MUST NOT be dereferenced on the peer’s say-so'),
+      req('openwop.it.a2a-peer-authority.a-peer-reply-that-asserts-approval-scopes-and-a-foreign-task-reference-changes-n', 'a2a-integration.md §D.2', '`referenceTaskIds[]` are opaque hints — MUST NOT be dereferenced on the peer’s say-so'),
     ).toBe(false);
   });
 });