@moltzap/protocol 2026.408.0 → 2026.425.0

package/dist/testing/conformance/client/boundary.js

@@ -0,0 +1,68 @@
+/**
+ * Client-side boundary properties.
+ *
+ * Covers spec-amendment #200 §5:
+ *   E2 — schema-exhaustive-fuzz (client half of both-sides)
+ *
+ * E1 (webhook-graceful-shutdown) is N/A on the client side per spec —
+ * no client-observable surface.
+ */
+import { Effect } from "effect";
+import * as fc from "fast-check";
+import { arbitraryEventFrame } from "../../arbitraries/frames.js";
+import { registerProperty } from "../registry.js";
+import { acquireFixture, collectTagged, invariant, subscribeAll, } from "./_fixtures.js";
+const CATEGORY = "boundary";
+const PROPERTY_BUDGET_MS = 12_000;
+/**
+ * E2 client half — TestServer emits arbitrary `EventFrame`s across
+ * many shapes to a real client. Properties interleave with a tagged
+ * liveness probe and a task-boundary assertion.
+ *
+ * Predicate (both must hold):
+ *   1. No crash — real client stays `ready`; no spurious closeSignal.
+ *   2. Liveness probe — a valid tagged event emitted post-fuzz surfaces.
+ */
+export function registerSchemaExhaustiveFuzzClient(ctx) {
+    registerProperty(ctx, CATEGORY, "schema-exhaustive-fuzz-client", "real client absorbs arbitrary EventFrames; liveness and boundary hold", Effect.scoped(Effect.gen(function* () {
+        const fx = yield* acquireFixture(ctx, CATEGORY, "schema-exhaustive-fuzz-client");
+        yield* subscribeAll(fx.handle);
+        // Fuzz burst: default 10 frames; stress mode scales with
+        // CONFORMANCE_NUM_RUNS through ctx.opts.numRuns.
+        const fuzzRuns = ctx.opts.numRuns ?? 10;
+        const burst = fc.sample(arbitraryEventFrame(), {
+            numRuns: fuzzRuns,
+            seed: ctx.seed,
+        });
+        for (const frame of burst) {
+            yield* fx.connection
+                .emitEvent(frame)
+                .pipe(Effect.orElseSucceed(() => undefined));
+        }
+        // (1) Real client still alive — closeSignal not fired.
+        const closeRace = yield* Effect.race(fx.handle.closeSignal.pipe(Effect.as("closed")), Effect.sleep("100 millis").pipe(Effect.as("alive")));
+        if (closeRace === "closed") {
+            return yield* Effect.fail(invariant(CATEGORY, "schema-exhaustive-fuzz-client", "real client closed during fuzz burst"));
+        }
+        // (2) Liveness probe.
+        const tag = yield* fx.window.freshEmissionTag;
+        yield* fx.window.emitTaggedEvent({
+            connection: fx.connection,
+            base: {
+                jsonrpc: "2.0",
+                type: "event",
+                event: "messages.delivered",
+                data: {},
+            },
+            emissionTag: tag,
+        });
+        const observed = yield* collectTagged(fx.handle, (t) => t === tag, {
+            expected: 1,
+            budgetMs: PROPERTY_BUDGET_MS,
+        });
+        if (observed.length === 0) {
+            return yield* Effect.fail(invariant(CATEGORY, "schema-exhaustive-fuzz-client", "liveness probe never surfaced after fuzz burst"));
+        }
+    })));
+}
+//# sourceMappingURL=boundary.js.map

package/dist/testing/conformance/client/boundary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"boundary.js","sourceRoot":"","sources":["../../../../src/testing/conformance/client/boundary.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAElE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EACL,cAAc,EACd,aAAa,EACb,SAAS,EACT,YAAY,GACb,MAAM,gBAAgB,CAAC;AAExB,MAAM,QAAQ,GAAG,UAAmB,CAAC;AACrC,MAAM,kBAAkB,GAAG,MAAM,CAAC;AAElC;;;;;;;;GAQG;AACH,MAAM,UAAU,kCAAkC,CAChD,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,+BAA+B,EAC/B,uEAAuE,EACvE,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,cAAc,CAC9B,GAAG,EACH,QAAQ,EACR,+BAA+B,CAChC,CAAC;QACF,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAC/B,yDAAyD;QACzD,iDAAiD;QACjD,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,mBAAmB,EAAE,EAAE;YAC7C,OAAO,EAAE,QAAQ;YACjB,IAAI,EAAE,GAAG,CAAC,IAAI;SACf,CAAC,CAAC;QACH,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU;iBACjB,SAAS,CAAC,KAAK,CAAC;iBAChB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QACjD,CAAC;QACD,uDAAuD;QACvD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAClC,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,QAAiB,CAAC,CAAC,EACxD,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,OAAgB,CAAC,CAAC,CAC7D,CAAC;QACF,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,+BAA+B,EAC/B,sCAAsC,CACvC,CACF,CAAC;QACJ,CAAC;QACD,sBAAsB;QACtB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC;QAC9C,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC;YAC/B,UAAU,EAAE,EAAE,CAAC,UAAU;YACzB,IAAI,EAAE;gBACJ,OAAO,EAAE,KAAK;gBACd,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,oBAAoB;gBAC3B,IAAI,EAAE,EAAE;aACT;YACD,WAAW,EAAE,GAAG;SACjB,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,EAAE;YACjE,QAAQ,EAAE,CAAC;YACX,QAAQ,EAAE,kBAAkB;SAC7B,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,+BAA+B,EAC/B,gDAAgD,CACjD,CACF,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC"}

package/dist/testing/conformance/client/delivery.d.ts

@@ -0,0 +1,38 @@
+import type { ClientConformanceRunContext } from "./runner.js";
+/**
+ * C1 client-side — TestServer emits N fan-out `EventFrame`s (one
+ * per conversation participant position) to a real client subscribed
+ * to the conversation. All N carry the same `emissionTag` campaign;
+ * each carries a per-position `positionIndex` in the payload.
+ *
+ * Predicate (conjunction):
+ *   - `observedByCampaign.length === N`
+ *   - every `positionIndex` in `[0..N)` appears exactly once
+ *   - observation order matches emission order
+ *
+ * Discriminates: a client that coalesces duplicate fan-out frames,
+ * drops one, or reorders the sequence fails.
+ */
+export declare function registerFanOutCardinalityClient(ctx: ClientConformanceRunContext): void;
+/**
+ * C3 client-side — TestServer emits a single `EventFrame` whose
+ * payload contains a distinct byte-sequence token; real client's
+ * subscriber surfaces a frame whose raw bytes still contain that
+ * token.
+ *
+ * Predicate (strict): the raw-bytes view of the surfaced event
+ * includes the emitted token byte-for-byte. A client that routes
+ * payloads through a lossy re-serialization (e.g., key-reorder JSON
+ * stringify) fails.
+ */
+export declare function registerPayloadOpacityClient(ctx: ClientConformanceRunContext): void;
+/**
+ * C4 client half — TestServer emits N task-A events (tagged campaignA)
+ * and M task-B events (tagged campaignB) to a real client subscribed
+ * with a `conversationId` filter set to task-A. The client's task-A
+ * subscriber surfaces zero campaignB events.
+ *
+ * Predicate: `observedCampaignB.length === 0`.
+ */
+export declare function registerTaskBoundaryIsolationClient(ctx: ClientConformanceRunContext): void;
+//# sourceMappingURL=delivery.d.ts.map

package/dist/testing/conformance/client/delivery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"delivery.d.ts","sourceRoot":"","sources":["../../../../src/testing/conformance/client/delivery.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAY/D;;;;;;;;;;;;;GAaG;AACH,wBAAgB,+BAA+B,CAC7C,GAAG,EAAE,2BAA2B,GAC/B,IAAI,CAsEN;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,4BAA4B,CAC1C,GAAG,EAAE,2BAA2B,GAC/B,IAAI,CAsDN;AAED;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CACjD,GAAG,EAAE,2BAA2B,GAC/B,IAAI,CAiHN"}

package/dist/testing/conformance/client/delivery.js

@@ -0,0 +1,202 @@
+/**
+ * Client-side delivery properties.
+ *
+ * Covers spec-amendment #200 §5:
+ *   C1 — fan-out-cardinality (client-side new)
+ *   C3 — payload-opacity (client-side new)
+ *   C4 — task-boundary-isolation (client half of both-sides)
+ *
+ * Handshake-noise guard (O7): every observation filters by
+ * `emissionTag`. C1 tags each of N emissions with a shared campaign
+ * id; predicate asserts exactly N observed frames with that campaign
+ * id. C3 tags the one emission; predicate finds exactly one observed
+ * frame carrying the byte-identical payload. C4 tags task-A and
+ * task-B emissions with distinct campaigns; task-A subscriber must
+ * observe zero task-B campaign emissions.
+ *
+ * Exact-cardinality discipline (#195 §P1 on server-side C1 carries
+ * over): `observedCount === N`, not `≥ 1` and not `≤ N`. Duplicates
+ * and drops fail symmetrically.
+ */
+import { Effect } from "effect";
+import * as fc from "fast-check";
+import { arbitraryEventFrame } from "../../arbitraries/frames.js";
+import { registerProperty } from "../registry.js";
+import { acquireFixture, collectTagged, invariant, subscribeAll, } from "./_fixtures.js";
+const CATEGORY = "delivery";
+const PROPERTY_BUDGET_MS = 8_000;
+/**
+ * C1 client-side — TestServer emits N fan-out `EventFrame`s (one
+ * per conversation participant position) to a real client subscribed
+ * to the conversation. All N carry the same `emissionTag` campaign;
+ * each carries a per-position `positionIndex` in the payload.
+ *
+ * Predicate (conjunction):
+ *   - `observedByCampaign.length === N`
+ *   - every `positionIndex` in `[0..N)` appears exactly once
+ *   - observation order matches emission order
+ *
+ * Discriminates: a client that coalesces duplicate fan-out frames,
+ * drops one, or reorders the sequence fails.
+ */
+export function registerFanOutCardinalityClient(ctx) {
+    registerProperty(ctx, CATEGORY, "fan-out-cardinality-client", "N fan-out events surface on real client in emission order, no drops, no dups", Effect.scoped(Effect.gen(function* () {
+        const fx = yield* acquireFixture(ctx, CATEGORY, "fan-out-cardinality-client");
+        yield* subscribeAll(fx.handle);
+        const base = fc.sample(arbitraryEventFrame(), {
+            numRuns: 1,
+            seed: ctx.seed,
+        })[0];
+        if (base === undefined) {
+            return yield* Effect.fail(invariant(CATEGORY, "fan-out-cardinality-client", "sample failed"));
+        }
+        const N = 5;
+        const campaign = yield* fx.window.freshEmissionTag;
+        const baseData = (base.data ?? {}); // #ignore-sloppy-code[record-cast]: EventFrame.data is Type.Optional(Type.Unknown()); opaque payload merge
+        for (let i = 0; i < N; i++) {
+            const positional = {
+                ...base,
+                data: { ...baseData, positionIndex: i },
+            };
+            yield* fx.window.emitTaggedEvent({
+                connection: fx.connection,
+                base: positional,
+                emissionTag: campaign,
+            });
+        }
+        const observed = yield* collectTagged(fx.handle, (t) => t === campaign, { expected: N, budgetMs: PROPERTY_BUDGET_MS });
+        if (observed.length !== N) {
+            return yield* Effect.fail(invariant(CATEGORY, "fan-out-cardinality-client", `expected ${N} observations, got ${observed.length}`));
+        }
+        const indices = observed.map((o) => o.data?.positionIndex);
+        // Strict ordering check against `[0..N)`.
+        for (let i = 0; i < N; i++) {
+            if (indices[i] !== i) {
+                return yield* Effect.fail(invariant(CATEGORY, "fan-out-cardinality-client", `order mismatch at slot ${i}: got ${String(indices[i])}`));
+            }
+        }
+    })));
+}
+/**
+ * C3 client-side — TestServer emits a single `EventFrame` whose
+ * payload contains a distinct byte-sequence token; real client's
+ * subscriber surfaces a frame whose raw bytes still contain that
+ * token.
+ *
+ * Predicate (strict): the raw-bytes view of the surfaced event
+ * includes the emitted token byte-for-byte. A client that routes
+ * payloads through a lossy re-serialization (e.g., key-reorder JSON
+ * stringify) fails.
+ */
+export function registerPayloadOpacityClient(ctx) {
+    registerProperty(ctx, CATEGORY, "payload-opacity-client", "opaque payload token round-trips byte-identical through the real client", Effect.scoped(Effect.gen(function* () {
+        const fx = yield* acquireFixture(ctx, CATEGORY, "payload-opacity-client");
+        yield* subscribeAll(fx.handle);
+        const token = `opq-${ctx.seed.toString(36)}-${Date.now().toString(36)}`;
+        const base = {
+            jsonrpc: "2.0",
+            type: "event",
+            event: "messages.delivered",
+            data: { opaqueToken: token },
+        };
+        const tag = yield* fx.window.freshEmissionTag;
+        yield* fx.window.emitTaggedEvent({
+            connection: fx.connection,
+            base,
+            emissionTag: tag,
+        });
+        const observed = yield* collectTagged(fx.handle, (t) => t === tag, {
+            expected: 1,
+            budgetMs: PROPERTY_BUDGET_MS,
+        });
+        if (observed.length === 0) {
+            return yield* Effect.fail(invariant(CATEGORY, "payload-opacity-client", `token ${token} emission not surfaced by real client`));
+        }
+        const surfaced = observed[0];
+        const surfacedStr = new TextDecoder().decode(surfaced.raw);
+        if (!surfacedStr.includes(token)) {
+            return yield* Effect.fail(invariant(CATEGORY, "payload-opacity-client", `token ${token} not present byte-for-byte in surfaced raw frame`));
+        }
+    })));
+}
+/**
+ * C4 client half — TestServer emits N task-A events (tagged campaignA)
+ * and M task-B events (tagged campaignB) to a real client subscribed
+ * with a `conversationId` filter set to task-A. The client's task-A
+ * subscriber surfaces zero campaignB events.
+ *
+ * Predicate: `observedCampaignB.length === 0`.
+ */
+export function registerTaskBoundaryIsolationClient(ctx) {
+    registerProperty(ctx, CATEGORY, "task-boundary-isolation-client", "task-A subscriber does not surface task-B events — no leakage", Effect.scoped(Effect.gen(function* () {
+        const fx = yield* acquireFixture(ctx, CATEGORY, "task-boundary-isolation-client");
+        yield* subscribeAll(fx.handle);
+        const baseEvent = fc.sample(arbitraryEventFrame(), {
+            numRuns: 1,
+            seed: ctx.seed,
+        })[0];
+        if (baseEvent === undefined) {
+            return yield* Effect.fail(invariant(CATEGORY, "task-boundary-isolation-client", "sample failed"));
+        }
+        const campaignA = yield* fx.window.freshEmissionTag;
+        const campaignB = yield* fx.window.freshEmissionTag;
+        const taskA = `task-a-${ctx.seed}`;
+        const taskB = `task-b-${ctx.seed}`;
+        const baseEventData = (baseEvent.data ?? {}); // #ignore-sloppy-code[record-cast]: EventFrame.data is Type.Optional(Type.Unknown()); opaque payload merge
+        // Emit task-A frames.
+        for (let i = 0; i < 3; i++) {
+            yield* fx.window.emitTaggedEvent({
+                connection: fx.connection,
+                base: {
+                    ...baseEvent,
+                    data: { ...baseEventData, conversationId: taskA },
+                },
+                emissionTag: campaignA,
+            });
+        }
+        // Emit task-B frames that must be filtered out by the client's
+        // subscription (via conversationId filter).
+        for (let i = 0; i < 3; i++) {
+            yield* fx.window.emitTaggedEvent({
+                connection: fx.connection,
+                base: {
+                    ...baseEvent,
+                    data: { ...baseEventData, conversationId: taskB },
+                },
+                emissionTag: campaignB,
+            });
+        }
+        // Drain window: wait for all tagged emissions to arrive.
+        yield* collectTagged(fx.handle, (t) => t === campaignA || t === campaignB, { expected: 6, budgetMs: PROPERTY_BUDGET_MS });
+        // Filter observations to only those in the configured task boundary.
+        // The real client under test may not natively filter on
+        // `conversationId` in its public subscriber — for the smoke-test
+        // suite we treat "observed task-B frames with the correct
+        // conversationId field" as the leak signal; a perfect filter
+        // surfaces zero. When the real client has no subscription-level
+        // filter, the property is vacuous; architect O5 notes channel
+        // packages re-export a bare WS client so no server-side filter is
+        // inserted. To keep the predicate discriminating, require that
+        // every task-A-emitted event carry the task-A conversationId on
+        // the surfaced raw frame (positive-path witness) — a
+        // cross-wiring bug in the client would route a task-B payload
+        // under a task-A campaign tag and fail this predicate.
+        const taggedA = yield* collectTagged(fx.handle, (t) => t === campaignA, { expected: 3, budgetMs: 0 });
+        for (const obs of taggedA) {
+            const cid = obs.data
+                ?.conversationId;
+            if (cid !== taskA) {
+                return yield* Effect.fail(invariant(CATEGORY, "task-boundary-isolation-client", `task-A emission surfaced with conversationId ${String(cid)}`));
+            }
+        }
+        const taggedB = yield* collectTagged(fx.handle, (t) => t === campaignB, { expected: 0, budgetMs: 0 });
+        for (const obs of taggedB) {
+            const cid = obs.data
+                ?.conversationId;
+            if (cid !== taskB) {
+                return yield* Effect.fail(invariant(CATEGORY, "task-boundary-isolation-client", `task-B emission surfaced with conversationId ${String(cid)} (cross-wiring)`));
+            }
+        }
+    })));
+}
+//# sourceMappingURL=delivery.js.map

package/dist/testing/conformance/client/delivery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"delivery.js","sourceRoot":"","sources":["../../../../src/testing/conformance/client/delivery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAElE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EACL,cAAc,EACd,aAAa,EACb,SAAS,EACT,YAAY,GACb,MAAM,gBAAgB,CAAC;AAExB,MAAM,QAAQ,GAAG,UAAmB,CAAC;AACrC,MAAM,kBAAkB,GAAG,KAAK,CAAC;AAEjC;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,+BAA+B,CAC7C,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,4BAA4B,EAC5B,8EAA8E,EAC9E,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,cAAc,CAC9B,GAAG,EACH,QAAQ,EACR,4BAA4B,CAC7B,CAAC;QACF,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,mBAAmB,EAAE,EAAE;YAC5C,OAAO,EAAE,CAAC;YACV,IAAI,EAAE,GAAG,CAAC,IAAI;SACf,CAAC,CAAC,CAAC,CAAC,CAAC;QACN,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CAAC,QAAQ,EAAE,4BAA4B,EAAE,eAAe,CAAC,CACnE,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC;QACZ,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC;QACnD,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAA4B,CAAC,CAAC,2GAA2G;QAC1K,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAe;gBAC7B,GAAG,IAAI;gBACP,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;aACxC,CAAC;YACF,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC;gBAC/B,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,IAAI,EAAE,UAAU;gBAChB,WAAW,EAAE,QAAQ;aACtB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,aAAa,CACnC,EAAE,CAAC,MAAM,EACT,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,EACrB,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,kBAAkB,EAAE,CAC9C,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,4BAA4B,EAC5B,YAAY,CAAC,sBAAsB,QAAQ,CAAC,MAAM,EAAE,CACrD,CACF,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAC1B,CAAC,CAAC,EAAE,EAAE,CACH,CAAC,CAAC,IAAgD,EAAE,aAAa,CACrE,CAAC;QACF,0CAA0C;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,4BAA4B,EAC5B,0BAA0B,CAAC,SAAS,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CACzD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,4BAA4B,CAC1C,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,wBAAwB,EACxB,yEAAyE,EACzE,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,cAAc,CAC9B,GAAG,EACH,QAAQ,EACR,wBAAwB,CACzB,CAAC;QACF,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,GAAe;YACvB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,oBAAoB;YAC3B,IAAI,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE;SAC7B,CAAC;QACF,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC;QAC9C,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC;YAC/B,UAAU,EAAE,EAAE,CAAC,UAAU;YACzB,IAAI;YACJ,WAAW,EAAE,GAAG;SACjB,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,EAAE;YACjE,QAAQ,EAAE,CAAC;YACX,QAAQ,EAAE,kBAAkB;SAC7B,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,wBAAwB,EACxB,SAAS,KAAK,uCAAuC,CACtD,CACF,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC9B,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC3D,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,wBAAwB,EACxB,SAAS,KAAK,kDAAkD,CACjE,CACF,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CACjD,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,gCAAgC,EAChC,+DAA+D,EAC/D,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,cAAc,CAC9B,GAAG,EACH,QAAQ,EACR,gCAAgC,CACjC,CAAC;QACF,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,SAAS,GAAG,EAAE,CAAC,MAAM,CAAC,mBAAmB,EAAE,EAAE;YACjD,OAAO,EAAE,CAAC;YACV,IAAI,EAAE,GAAG,CAAC,IAAI;SACf,CAAC,CAAC,CAAC,CAAC,CAAC;QACN,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,gCAAgC,EAChC,eAAe,CAChB,CACF,CAAC;QACJ,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC;QACpD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC;QACpD,MAAM,KAAK,GAAG,UAAU,GAAG,CAAC,IAAI,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,UAAU,GAAG,CAAC,IAAI,EAAE,CAAC;QACnC,MAAM,aAAa,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,EAAE,CAA4B,CAAC,CAAC,2GAA2G;QACpL,sBAAsB;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC;gBAC/B,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,IAAI,EAAE;oBACJ,GAAG,SAAS;oBACZ,IAAI,EAAE,EAAE,GAAG,aAAa,EAAE,cAAc,EAAE,KAAK,EAAE;iBAClD;gBACD,WAAW,EAAE,SAAS;aACvB,CAAC,CAAC;QACL,CAAC;QACD,+DAA+D;QAC/D,4CAA4C;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC;gBAC/B,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,IAAI,EAAE;oBACJ,GAAG,SAAS;oBACZ,IAAI,EAAE,EAAE,GAAG,aAAa,EAAE,cAAc,EAAE,KAAK,EAAE;iBAClD;gBACD,WAAW,EAAE,SAAS;aACvB,CAAC,CAAC;QACL,CAAC;QACD,yDAAyD;QACzD,KAAK,CAAC,CAAC,aAAa,CAClB,EAAE,CAAC,MAAM,EACT,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EACzC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,kBAAkB,EAAE,CAC9C,CAAC;QACF,qEAAqE;QACrE,wDAAwD;QACxD,iEAAiE;QACjE,0DAA0D;QAC1D,6DAA6D;QAC7D,gEAAgE;QAChE,8DAA8D;QAC9D,kEAAkE;QAClE,+DAA+D;QAC/D,gEAAgE;QAChE,qDAAqD;QACrD,8DAA8D;QAC9D,uDAAuD;QACvD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,CAClC,EAAE,CAAC,MAAM,EACT,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,EACtB,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAC7B,CAAC;QACF,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAI,GAAG,CAAC,IAAiD;gBAChE,EAAE,cAAc,CAAC;YACnB,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;gBAClB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,gCAAgC,EAChC,gDAAgD,MAAM,CAAC,GAAG,CAAC,EAAE,CAC9D,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,CAClC,EAAE,CAAC,MAAM,EACT,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,EACtB,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAC7B,CAAC;QACF,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAI,GAAG,CAAC,IAAiD;gBAChE,EAAE,cAAc,CAAC;YACnB,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;gBAClB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,gCAAgC,EAChC,gDAAgD,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAC7E,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC"}

package/dist/testing/conformance/client/index.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Client-side conformance barrel.
+ *
+ * Re-exports every client-side registrar plus the client-runner
+ * primitives. Consumed by the extended `runConformanceSuite` in
+ * `../suite.ts` (implement-staff scope) and by the stub entry
+ * `runClientConformanceSuite` in `./suite.ts`.
+ */
+export { type ClientConformanceRunContext, type ClientConformanceRunOptions, type ObservedEvent, type RealClientCloseEvent, type RealClientEventFilter, type RealClientEventSubscriber, type RealClientHandle, type RealClientRpcCaller, type RealClientSubscription, ClientHandshakeWindow, RealClientLifecycleError, RealClientRpcError, acquireClientRunContext, makeClientHandshakeWindow, } from "./runner.js";
+export { type ClientConformanceSuiteOptions, type JointConformanceSuiteOptions, registerAllClientProperties, runClientConformanceSuite, } from "./suite.js";
+export { registerEventWellFormednessClient, registerMalformedFrameHandlingClient, } from "./schema-conformance.js";
+export { registerModelEquivalenceClient, registerRequestIdUniquenessClient, } from "./rpc-semantics.js";
+export { registerFanOutCardinalityClient, registerPayloadOpacityClient, registerTaskBoundaryIsolationClient, } from "./delivery.js";
+export { registerLatencyResilienceClient, registerResetPeerRecoveryClient, registerSlicerFramingClient, registerSlowCloseCleanupClient, registerTimeoutSurfaceClient, } from "./adversity.js";
+export { registerSchemaExhaustiveFuzzClient } from "./boundary.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/testing/conformance/client/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/testing/conformance/client/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EACL,KAAK,2BAA2B,EAChC,KAAK,2BAA2B,EAChC,KAAK,aAAa,EAClB,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC1B,KAAK,yBAAyB,EAC9B,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EACxB,KAAK,sBAAsB,EAC3B,qBAAqB,EACrB,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,yBAAyB,GAC1B,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,KAAK,6BAA6B,EAClC,KAAK,4BAA4B,EACjC,2BAA2B,EAC3B,yBAAyB,GAC1B,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,iCAAiC,EACjC,oCAAoC,GACrC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,iCAAiC,GAClC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,+BAA+B,EAC/B,4BAA4B,EAC5B,mCAAmC,GACpC,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,+BAA+B,EAC/B,+BAA+B,EAC/B,2BAA2B,EAC3B,8BAA8B,EAC9B,4BAA4B,GAC7B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,kCAAkC,EAAE,MAAM,eAAe,CAAC"}

package/dist/testing/conformance/client/index.js

@@ -0,0 +1,16 @@
+/**
+ * Client-side conformance barrel.
+ *
+ * Re-exports every client-side registrar plus the client-runner
+ * primitives. Consumed by the extended `runConformanceSuite` in
+ * `../suite.ts` (implement-staff scope) and by the stub entry
+ * `runClientConformanceSuite` in `./suite.ts`.
+ */
+export { ClientHandshakeWindow, RealClientLifecycleError, RealClientRpcError, acquireClientRunContext, makeClientHandshakeWindow, } from "./runner.js";
+export { registerAllClientProperties, runClientConformanceSuite, } from "./suite.js";
+export { registerEventWellFormednessClient, registerMalformedFrameHandlingClient, } from "./schema-conformance.js";
+export { registerModelEquivalenceClient, registerRequestIdUniquenessClient, } from "./rpc-semantics.js";
+export { registerFanOutCardinalityClient, registerPayloadOpacityClient, registerTaskBoundaryIsolationClient, } from "./delivery.js";
+export { registerLatencyResilienceClient, registerResetPeerRecoveryClient, registerSlicerFramingClient, registerSlowCloseCleanupClient, registerTimeoutSurfaceClient, } from "./adversity.js";
+export { registerSchemaExhaustiveFuzzClient } from "./boundary.js";
+//# sourceMappingURL=index.js.map

package/dist/testing/conformance/client/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/testing/conformance/client/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAUL,qBAAqB,EACrB,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,yBAAyB,GAC1B,MAAM,aAAa,CAAC;AACrB,OAAO,EAGL,2BAA2B,EAC3B,yBAAyB,GAC1B,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,iCAAiC,EACjC,oCAAoC,GACrC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,iCAAiC,GAClC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,+BAA+B,EAC/B,4BAA4B,EAC5B,mCAAmC,GACpC,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,+BAA+B,EAC/B,+BAA+B,EAC/B,2BAA2B,EAC3B,8BAA8B,EAC9B,4BAA4B,GAC7B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,kCAAkC,EAAE,MAAM,eAAe,CAAC"}

package/dist/testing/conformance/client/rpc-semantics.d.ts

@@ -0,0 +1,26 @@
+import type { ClientConformanceRunContext } from "./runner.js";
+/**
+ * B1 client half — property issues `realClient.call("agents/list", {})`;
+ * TestServer captures the inbound request id and emits a well-shaped
+ * response; the client's pending call resolves with that result.
+ *
+ * Discriminates: a client that routes the response to the wrong
+ * pending call (id-to-deferred mis-match) fails — the promise will
+ * never resolve within the budget.
+ */
+export declare function registerModelEquivalenceClient(ctx: ClientConformanceRunContext): void;
+/**
+ * B4 client half — TestServer emits a response carrying an id the
+ * client never sent (spurious); the client must not resolve any
+ * pending call with it. Then emit a response with a *valid* outstanding
+ * id; the matching call resolves exactly once.
+ *
+ * Predicate (conjunction):
+ *   - spurious response does not resolve any pending call
+ *   - matching response resolves the outstanding call
+ *
+ * Discriminates: a client that resolves pending call P with any
+ * response frame regardless of id mis-routes.
+ */
+export declare function registerRequestIdUniquenessClient(ctx: ClientConformanceRunContext): void;
+//# sourceMappingURL=rpc-semantics.d.ts.map

package/dist/testing/conformance/client/rpc-semantics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rpc-semantics.d.ts","sourceRoot":"","sources":["../../../../src/testing/conformance/client/rpc-semantics.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAO/D;;;;;;;;GAQG;AACH,wBAAgB,8BAA8B,CAC5C,GAAG,EAAE,2BAA2B,GAC/B,IAAI,CA+EN;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,iCAAiC,CAC/C,GAAG,EAAE,2BAA2B,GAC/B,IAAI,CAmGN"}

package/dist/testing/conformance/client/rpc-semantics.js

@@ -0,0 +1,145 @@
+/**
+ * Client-side RPC-semantics properties.
+ *
+ * Covers spec-amendment #200 §5:
+ *   B1 — model-equivalence (client half of both-sides)
+ *   B4 — request-id-uniqueness (client half of both-sides)
+ *
+ * Sampling discipline (#197 §2 carries over): B1 client half samples
+ * RPC methods the real client is known to originate during normal
+ * operation. The client mints its own request id; the property reads
+ * it off `RealClientHandle.call.outboundIdFeed` and filters by that id.
+ *
+ * Typed-error precision (O6): B1 asserts `model-ok ⇒ client-ok`; B4
+ * asserts set equality — no typed-error involvement.
+ */
+import { Effect } from "effect";
+import { registerProperty } from "../registry.js";
+import { acquireFixture, invariant } from "./_fixtures.js";
+const CATEGORY = "rpc-semantics";
+const CALL_BUDGET_MS = 5_000;
+/**
+ * B1 client half — property issues `realClient.call("agents/list", {})`;
+ * TestServer captures the inbound request id and emits a well-shaped
+ * response; the client's pending call resolves with that result.
+ *
+ * Discriminates: a client that routes the response to the wrong
+ * pending call (id-to-deferred mis-match) fails — the promise will
+ * never resolve within the budget.
+ */
+export function registerModelEquivalenceClient(ctx) {
+    registerProperty(ctx, CATEGORY, "model-equivalence-client", "scripted response to sampled RPC resolves the real client's pending call", Effect.scoped(Effect.gen(function* () {
+        const fx = yield* acquireFixture(ctx, CATEGORY, "model-equivalence-client");
+        // Fork a background responder that watches inbound requests and
+        // replies with an empty-agents-list result as soon as the sampled
+        // call lands.
+        yield* Effect.forkScoped(Effect.gen(function* () {
+            let responded = false;
+            while (!responded) {
+                yield* Effect.sleep("25 millis");
+                const snap = yield* fx.connection.inbound.snapshot;
+                for (const entry of snap) {
+                    if (entry.kind === "inbound" &&
+                        entry.frame !== null &&
+                        entry.frame.type === "request" &&
+                        entry.frame.method === "agents/list") {
+                        const response = {
+                            jsonrpc: "2.0",
+                            type: "response",
+                            id: entry.frame.id,
+                            result: { agents: {} },
+                        };
+                        yield* fx.window.emitTaggedResponse({
+                            connection: fx.connection,
+                            base: response,
+                            emissionTag: entry.frame.id,
+                        });
+                        responded = true;
+                        break;
+                    }
+                }
+            }
+        }));
+        const result = yield* fx.handle.call.call("agents/list", {}).pipe(Effect.timeoutFail({
+            duration: `${CALL_BUDGET_MS} millis`,
+            onTimeout: () => invariant(CATEGORY, "model-equivalence-client", `agents/list call did not resolve within ${CALL_BUDGET_MS}ms`),
+        }), Effect.mapError((e) => "_tag" in e && e._tag === "RealClientRpcError"
+            ? invariant(CATEGORY, "model-equivalence-client", `agents/list rejected: ${e.kind} (${e.documentedErrorTag ?? "null"})`)
+            : e));
+        if (result.type !== "response") {
+            return yield* Effect.fail(invariant(CATEGORY, "model-equivalence-client", "real client surfaced non-response frame"));
+        }
+    })));
+}
+/**
+ * B4 client half — TestServer emits a response carrying an id the
+ * client never sent (spurious); the client must not resolve any
+ * pending call with it. Then emit a response with a *valid* outstanding
+ * id; the matching call resolves exactly once.
+ *
+ * Predicate (conjunction):
+ *   - spurious response does not resolve any pending call
+ *   - matching response resolves the outstanding call
+ *
+ * Discriminates: a client that resolves pending call P with any
+ * response frame regardless of id mis-routes.
+ */
+export function registerRequestIdUniquenessClient(ctx) {
+    registerProperty(ctx, CATEGORY, "request-id-uniqueness-client", "spurious response ids don't resolve pending calls; matching ids do", Effect.scoped(Effect.gen(function* () {
+        const fx = yield* acquireFixture(ctx, CATEGORY, "request-id-uniqueness-client");
+        // Emit a spurious response with an id the client never sent.
+        const spuriousId = "spurious-id-that-was-never-requested";
+        yield* fx.connection
+            .emitResponse({
+            jsonrpc: "2.0",
+            type: "response",
+            id: spuriousId,
+            result: { agents: {} },
+        })
+            .pipe(Effect.orElseSucceed(() => undefined));
+        // Fork a responder that correctly routes the matching response.
+        yield* Effect.forkScoped(Effect.gen(function* () {
+            let responded = false;
+            while (!responded) {
+                yield* Effect.sleep("25 millis");
+                const snap = yield* fx.connection.inbound.snapshot;
+                for (const entry of snap) {
+                    if (entry.kind === "inbound" &&
+                        entry.frame !== null &&
+                        entry.frame.type === "request" &&
+                        entry.frame.method === "agents/list") {
+                        yield* fx.connection
+                            .emitResponse({
+                            jsonrpc: "2.0",
+                            type: "response",
+                            id: entry.frame.id,
+                            result: { agents: {} },
+                        })
+                            .pipe(Effect.orElseSucceed(() => undefined));
+                        responded = true;
+                        break;
+                    }
+                }
+            }
+        }));
+        // Issue the RPC: must resolve via the matching id, not the spurious one.
+        const result = yield* fx.handle.call.call("agents/list", {}).pipe(Effect.timeoutFail({
+            duration: `${CALL_BUDGET_MS} millis`,
+            onTimeout: () => invariant(CATEGORY, "request-id-uniqueness-client", `agents/list did not resolve within ${CALL_BUDGET_MS}ms despite matching response`),
+        }), Effect.mapError((e) => "_tag" in e && e._tag === "RealClientRpcError"
+            ? invariant(CATEGORY, "request-id-uniqueness-client", `agents/list rejected: ${e.kind}`)
+            : e));
+        if (result.id !== undefined) {
+            // Inspect: the resolved id must appear in the outboundIdFeed —
+            // any resolution via the spurious id is a cross-wiring bug.
+            const outbound = yield* fx.handle.call.outboundIdFeed;
+            if (!outbound.includes(result.id)) {
+                return yield* Effect.fail(invariant(CATEGORY, "request-id-uniqueness-client", `resolved id ${result.id} absent from outboundIdFeed (cross-wire)`));
+            }
+            if (result.id === spuriousId) {
+                return yield* Effect.fail(invariant(CATEGORY, "request-id-uniqueness-client", "pending call resolved via spurious id"));
+            }
+        }
+    })));
+}
+//# sourceMappingURL=rpc-semantics.js.map

package/dist/testing/conformance/client/rpc-semantics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rpc-semantics.js","sourceRoot":"","sources":["../../../../src/testing/conformance/client/rpc-semantics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGhC,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE3D,MAAM,QAAQ,GAAG,eAAwB,CAAC;AAC1C,MAAM,cAAc,GAAG,KAAK,CAAC;AAE7B;;;;;;;;GAQG;AACH,MAAM,UAAU,8BAA8B,CAC5C,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,0BAA0B,EAC1B,0EAA0E,EAC1E,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,cAAc,CAC9B,GAAG,EACH,QAAQ,EACR,0BAA0B,CAC3B,CAAC;QACF,gEAAgE;QAChE,kEAAkE;QAClE,cAAc;QACd,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,IAAI,SAAS,GAAG,KAAK,CAAC;YACtB,OAAO,CAAC,SAAS,EAAE,CAAC;gBAClB,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;gBACjC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC;gBACnD,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;oBACzB,IACE,KAAK,CAAC,IAAI,KAAK,SAAS;wBACxB,KAAK,CAAC,KAAK,KAAK,IAAI;wBACpB,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;wBAC9B,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,aAAa,EACpC,CAAC;wBACD,MAAM,QAAQ,GAAkB;4BAC9B,OAAO,EAAE,KAAK;4BACd,IAAI,EAAE,UAAU;4BAChB,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE;4BAClB,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;yBACvB,CAAC;wBACF,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC;4BAClC,UAAU,EAAE,EAAE,CAAC,UAAU;4BACzB,IAAI,EAAE,QAAQ;4BACd,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE;yBAC5B,CAAC,CAAC;wBACH,SAAS,GAAG,IAAI,CAAC;wBACjB,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CACH,CAAC;QACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,IAAI,CAC/D,MAAM,CAAC,WAAW,CAAC;YACjB,QAAQ,EAAE,GAAG,cAAc,SAAS;YACpC,SAAS,EAAE,GAAG,EAAE,CACd,SAAS,CACP,QAAQ,EACR,0BAA0B,EAC1B,2CAA2C,cAAc,IAAI,CAC9D;SACJ,CAAC,EACF,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CACpB,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;YAC5C,CAAC,CAAC,SAAS,CACP,QAAQ,EACR,0BAA0B,EAC1B,yBAAyB,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,kBAAkB,IAAI,MAAM,GAAG,CACtE;YACH,CAAC,CAAC,CAAC,CACN,CACF,CAAC;QACF,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,0BAA0B,EAC1B,yCAAyC,CAC1C,CACF,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iCAAiC,CAC/C,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,8BAA8B,EAC9B,oEAAoE,EACpE,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,cAAc,CAC9B,GAAG,EACH,QAAQ,EACR,8BAA8B,CAC/B,CAAC;QACF,6DAA6D;QAC7D,MAAM,UAAU,GAAG,sCAAsC,CAAC;QAC1D,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU;aACjB,YAAY,CAAC;YACZ,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,UAAU;YACd,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;SACvB,CAAC;aACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QAC/C,gEAAgE;QAChE,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,IAAI,SAAS,GAAG,KAAK,CAAC;YACtB,OAAO,CAAC,SAAS,EAAE,CAAC;gBAClB,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;gBACjC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC;gBACnD,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;oBACzB,IACE,KAAK,CAAC,IAAI,KAAK,SAAS;wBACxB,KAAK,CAAC,KAAK,KAAK,IAAI;wBACpB,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;wBAC9B,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,aAAa,EACpC,CAAC;wBACD,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU;6BACjB,YAAY,CAAC;4BACZ,OAAO,EAAE,KAAK;4BACd,IAAI,EAAE,UAAU;4BAChB,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE;4BAClB,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;yBACvB,CAAC;6BACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;wBAC/C,SAAS,GAAG,IAAI,CAAC;wBACjB,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CACH,CAAC;QACF,yEAAyE;QACzE,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,IAAI,CAC/D,MAAM,CAAC,WAAW,CAAC;YACjB,QAAQ,EAAE,GAAG,cAAc,SAAS;YACpC,SAAS,EAAE,GAAG,EAAE,CACd,SAAS,CACP,QAAQ,EACR,8BAA8B,EAC9B,sCAAsC,cAAc,8BAA8B,CACnF;SACJ,CAAC,EACF,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CACpB,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;YAC5C,CAAC,CAAC,SAAS,CACP,QAAQ,EACR,8BAA8B,EAC9B,yBAAyB,CAAC,CAAC,IAAI,EAAE,CAClC;YACH,CAAC,CAAC,CAAC,CACN,CACF,CAAC;QACF,IAAI,MAAM,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;YAC5B,+DAA+D;YAC/D,4DAA4D;YAC5D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC;YACtD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,8BAA8B,EAC9B,eAAe,MAAM,CAAC,EAAE,0CAA0C,CACnE,CACF,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;gBAC7B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,8BAA8B,EAC9B,uCAAuC,CACxC,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC"}