@moltzap/protocol 2026.503.3 → 2026.504.0

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

@@ -26,10 +26,17 @@
  * server-side adversity module's degradation contract.
  */
 import { Clock, Effect } from "effect";
+import { MessageDeliveredNotificationDefinition } from "../../../schema/notifications.js";
+import { brandNotificationFrame } from "../../../schema/internal-frames.js";
 import { PropertyUnavailable, registerProperty } from "../registry.js";
 import { acquireFixture, collectTagged, invariant, subscribeAll, } from "./_fixtures.js";
+import { AgentsList } from "../../../schema/methods/auth.js";
 const CATEGORY = "adversity";
 const PROPERTY_BUDGET_MS = 10_000;
+const TIMEOUT_ERROR_PREVIEW_CHARS = 200;
+const PROPERTY_LATENCY_RESILIENCE_CLIENT = "latency-resilience-client";
+const PROPERTY_TIMEOUT_SURFACE_CLIENT = "timeout-surface-client";
+const PROPERTY_SLOW_CLOSE_CLEANUP_CLIENT = "slow-close-cleanup-client";
 function unavailable(name, reason) {
     return new PropertyUnavailable({ category: CATEGORY, name, reason });
 }
@@ -40,33 +47,32 @@ function unavailable(name, reason) {
  * discriminating against drops/dups.
  */
 export function registerLatencyResilienceClient(ctx) {
-    registerProperty(ctx, CATEGORY, "latency-resilience-client", "fan-out survives latency (Toxiproxy) or degrades to cardinality check", Effect.scoped(Effect.gen(function* () {
+    registerProperty(ctx, CATEGORY, PROPERTY_LATENCY_RESILIENCE_CLIENT, "fan-out survives latency (Toxiproxy) or degrades to cardinality check", Effect.scoped(Effect.gen(function* () {
         if (ctx.toxiproxy === null) {
-            return yield* Effect.fail(unavailable("latency-resilience-client", "Toxiproxy not provisioned; client-side latency toxic unavailable in this run"));
+            return yield* Effect.fail(unavailable(PROPERTY_LATENCY_RESILIENCE_CLIENT, "Toxiproxy not provisioned; client-side latency toxic unavailable in this run"));
         }
-        const fx = yield* acquireFixture(ctx, CATEGORY, "latency-resilience-client");
+        const fx = yield* acquireFixture(ctx, CATEGORY, PROPERTY_LATENCY_RESILIENCE_CLIENT);
         yield* subscribeAll(fx.handle);
-        const base = {
+        const base = brandNotificationFrame({
             jsonrpc: "2.0",
-            type: "event",
-            event: "messages.delivered",
-            data: {},
-        };
+            method: MessageDeliveredNotificationDefinition.name,
+            params: {},
+        });
         const N = 3;
         const campaign = yield* fx.window.freshEmissionTag;
         for (let i = 0; i < N; i++) {
-            yield* fx.window.emitTaggedEvent({
+            yield* fx.window.emitTaggedNotification({
                 connection: fx.connection,
                 base: {
                     ...base,
-                    data: { positionIndex: i },
+                    params: { positionIndex: i },
                 },
                 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, "latency-resilience-client", `expected ${N} under latency, got ${observed.length}`));
+            return yield* Effect.fail(invariant(CATEGORY, PROPERTY_LATENCY_RESILIENCE_CLIENT, `expected ${N} under latency, got ${observed.length}`));
         }
     })));
 }
@@ -99,8 +105,8 @@ export function registerResetPeerRecoveryClient(ctx) {
  *   - `RealClientRpcError.kind === "timeout"`
  */
 export function registerTimeoutSurfaceClient(ctx) {
-    registerProperty(ctx, CATEGORY, "timeout-surface-client", "never-responded RPC surfaces typed RpcTimeoutError on the real client", Effect.scoped(Effect.gen(function* () {
-        const fx = yield* acquireFixture(ctx, CATEGORY, "timeout-surface-client");
+    registerProperty(ctx, CATEGORY, PROPERTY_TIMEOUT_SURFACE_CLIENT, "never-responded RPC surfaces typed RpcTimeoutError on the real client", Effect.scoped(Effect.gen(function* () {
+        const fx = yield* acquireFixture(ctx, CATEGORY, PROPERTY_TIMEOUT_SURFACE_CLIENT);
         // Do NOT start a responder — TestServer silently absorbs the
         // request. The real client's internal timeout must fire.
         //
@@ -109,24 +115,24 @@ export function registerTimeoutSurfaceClient(ctx) {
         // exceeds the budget, this property reports unavailable rather
         // than pretending to assert the client-internal deadline.
         const start = yield* Clock.currentTimeMillis;
-        const outcome = yield* Effect.exit(fx.handle.call.call("agents/list", {}).pipe(Effect.timeoutFail({
+        const outcome = yield* Effect.exit(fx.handle.call.call(AgentsList.name, {}).pipe(Effect.timeoutFail({
             duration: `${PROPERTY_BUDGET_MS} millis`,
-            onTimeout: () => unavailable("timeout-surface-client", `client timeout > ${PROPERTY_BUDGET_MS}ms suite budget`),
+            onTimeout: () => unavailable(PROPERTY_TIMEOUT_SURFACE_CLIENT, `client timeout > ${PROPERTY_BUDGET_MS}ms suite budget`),
         })));
         const elapsed = (yield* Clock.currentTimeMillis) - start;
         if (outcome._tag === "Success") {
-            return yield* Effect.fail(invariant(CATEGORY, "timeout-surface-client", "RPC unexpectedly resolved without a response"));
+            return yield* Effect.fail(invariant(CATEGORY, PROPERTY_TIMEOUT_SURFACE_CLIENT, "RPC unexpectedly resolved without a response"));
         }
         // Walk the cause chain for a RealClientRpcError matching the
         // typed-timeout contract. `PropertyUnavailable` from the suite
         // budget is a different branch.
         const causeStr = String(outcome.cause);
         if (causeStr.includes("PropertyUnavailable")) {
-            return yield* Effect.fail(unavailable("timeout-surface-client", `client timeout exceeded suite budget (${elapsed}ms)`));
+            return yield* Effect.fail(unavailable(PROPERTY_TIMEOUT_SURFACE_CLIENT, `client timeout exceeded suite budget (${elapsed}ms)`));
         }
         if (!causeStr.includes("RpcTimeoutError") &&
             !causeStr.includes("timeout")) {
-            return yield* Effect.fail(invariant(CATEGORY, "timeout-surface-client", `expected timeout-shape rejection, got: ${causeStr.slice(0, 200)}`));
+            return yield* Effect.fail(invariant(CATEGORY, PROPERTY_TIMEOUT_SURFACE_CLIENT, `expected timeout-shape rejection, got: ${causeStr.slice(0, TIMEOUT_ERROR_PREVIEW_CHARS)}`));
         }
     })));
 }
@@ -139,8 +145,8 @@ export function registerTimeoutSurfaceClient(ctx) {
  * resolves within budget; Scope teardown completes.
  */
 export function registerSlowCloseCleanupClient(ctx) {
-    registerProperty(ctx, CATEGORY, "slow-close-cleanup-client", "slow close completes; real client's closeSignal resolves and Scope releases", Effect.scoped(Effect.gen(function* () {
-        const fx = yield* acquireFixture(ctx, CATEGORY, "slow-close-cleanup-client");
+    registerProperty(ctx, CATEGORY, PROPERTY_SLOW_CLOSE_CLEANUP_CLIENT, "slow close completes; real client's closeSignal resolves and Scope releases", Effect.scoped(Effect.gen(function* () {
+        const fx = yield* acquireFixture(ctx, CATEGORY, PROPERTY_SLOW_CLOSE_CLEANUP_CLIENT);
         // Initiate a close from the TestServer side.
         yield* fx.connection
             .close({ code: 1001, reason: "slow-close-test" })
@@ -149,12 +155,12 @@ export function registerSlowCloseCleanupClient(ctx) {
         const closeBudget = 3_000;
         const settled = yield* Effect.exit(fx.handle.closeSignal.pipe(Effect.timeoutFail({
             duration: `${closeBudget} millis`,
-            onTimeout: () => invariant(CATEGORY, "slow-close-cleanup-client", `closeSignal did not resolve within ${closeBudget}ms`),
+            onTimeout: () => invariant(CATEGORY, PROPERTY_SLOW_CLOSE_CLEANUP_CLIENT, `closeSignal did not resolve within ${closeBudget}ms`),
         })));
         if (settled._tag === "Failure") {
             const causeStr = String(settled.cause);
             if (causeStr.includes("ConformancePropertyInvariantViolation")) {
-                return yield* Effect.fail(invariant(CATEGORY, "slow-close-cleanup-client", `closeSignal timed out (${closeBudget}ms budget)`));
+                return yield* Effect.fail(invariant(CATEGORY, PROPERTY_SLOW_CLOSE_CLEANUP_CLIENT, `closeSignal timed out (${closeBudget}ms budget)`));
             }
         }
     })));

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

@@ -1 +1 @@
-{"version":3,"file":"adversity.js","sourceRoot":"","sources":["../../../../src/testing/conformance/client/adversity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGvC,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACvE,OAAO,EACL,cAAc,EACd,aAAa,EACb,SAAS,EACT,YAAY,GACb,MAAM,gBAAgB,CAAC;AAExB,MAAM,QAAQ,GAAG,WAAoB,CAAC;AACtC,MAAM,kBAAkB,GAAG,MAAM,CAAC;AAElC,SAAS,WAAW,CAAC,IAAY,EAAE,MAAc;IAC/C,OAAO,IAAI,mBAAmB,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AACvE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,+BAA+B,CAC7C,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,2BAA2B,EAC3B,uEAAuE,EACvE,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,IAAI,GAAG,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,WAAW,CACT,2BAA2B,EAC3B,8EAA8E,CAC/E,CACF,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,cAAc,CAC9B,GAAG,EACH,QAAQ,EACR,2BAA2B,CAC5B,CAAC;QACF,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAe;YACvB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,oBAAoB;YAC3B,IAAI,EAAE,EAAE;SACT,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC;QACZ,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC;QACnD,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,IAAI;oBACP,IAAI,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE;iBAC3B;gBACD,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,2BAA2B,EAC3B,YAAY,CAAC,uBAAuB,QAAQ,CAAC,MAAM,EAAE,CACtD,CACF,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CACzC,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,uBAAuB,EACvB,wDAAwD,EACxD,MAAM,CAAC,IAAI,CACT,WAAW,CACT,uBAAuB,EACvB,GAAG,CAAC,SAAS,KAAK,IAAI;QACpB,CAAC,CAAC,qDAAqD;QACvD,CAAC,CAAC,oFAAoF,CACzF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,+BAA+B,CAC7C,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,4BAA4B,EAC5B,6EAA6E,EAC7E,MAAM,CAAC,IAAI,CACT,WAAW,CACT,4BAA4B,EAC5B,GAAG,CAAC,SAAS,KAAK,IAAI;QACpB,CAAC,CAAC,yDAAyD;QAC3D,CAAC,CAAC,0EAA0E,CAC/E,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,4BAA4B,CAC1C,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,wBAAwB,EACxB,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,wBAAwB,CACzB,CAAC;QACF,6DAA6D;QAC7D,yDAAyD;QACzD,EAAE;QACF,8DAA8D;QAC9D,8DAA8D;QAC9D,+DAA+D;QAC/D,0DAA0D;QAC1D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAChC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,IAAI,CACzC,MAAM,CAAC,WAAW,CAAC;YACjB,QAAQ,EAAE,GAAG,kBAAkB,SAAS;YACxC,SAAS,EAAE,GAAG,EAAE,CACd,WAAW,CACT,wBAAwB,EACxB,oBAAoB,kBAAkB,iBAAiB,CACxD;SACJ,CAAC,CACH,CACF,CAAC;QACF,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,KAAK,CAAC;QACzD,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,wBAAwB,EACxB,8CAA8C,CAC/C,CACF,CAAC;QACJ,CAAC;QACD,6DAA6D;QAC7D,+DAA+D;QAC/D,gCAAgC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,QAAQ,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC;YAC7C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,WAAW,CACT,wBAAwB,EACxB,yCAAyC,OAAO,KAAK,CACtD,CACF,CAAC;QACJ,CAAC;QACD,IACE,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC;YACrC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC7B,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,wBAAwB,EACxB,0CAA0C,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CACnE,CACF,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,8BAA8B,CAC5C,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,2BAA2B,EAC3B,6EAA6E,EAC7E,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,cAAc,CAC9B,GAAG,EACH,QAAQ,EACR,2BAA2B,CAC5B,CAAC;QACF,6CAA6C;QAC7C,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU;aACjB,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;aAChD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QAC/C,+CAA+C;QAC/C,MAAM,WAAW,GAAG,KAAK,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAChC,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CACxB,MAAM,CAAC,WAAW,CAAC;YACjB,QAAQ,EAAE,GAAG,WAAW,SAAS;YACjC,SAAS,EAAE,GAAG,EAAE,CACd,SAAS,CACP,QAAQ,EACR,2BAA2B,EAC3B,sCAAsC,WAAW,IAAI,CACtD;SACJ,CAAC,CACH,CACF,CAAC;QACF,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,QAAQ,CAAC,QAAQ,CAAC,uCAAuC,CAAC,EAAE,CAAC;gBAC/D,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,2BAA2B,EAC3B,0BAA0B,WAAW,YAAY,CAClD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"adversity.js","sourceRoot":"","sources":["../../../../src/testing/conformance/client/adversity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACvC,OAAO,EAAE,sCAAsC,EAAE,MAAM,kCAAkC,CAAC;AAC1F,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAE5E,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACvE,OAAO,EACL,cAAc,EACd,aAAa,EACb,SAAS,EACT,YAAY,GACb,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE7D,MAAM,QAAQ,GAAG,WAAoB,CAAC;AACtC,MAAM,kBAAkB,GAAG,MAAM,CAAC;AAClC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AACxC,MAAM,kCAAkC,GAAG,2BAA2B,CAAC;AACvE,MAAM,+BAA+B,GAAG,wBAAwB,CAAC;AACjE,MAAM,kCAAkC,GAAG,2BAA2B,CAAC;AAEvE,SAAS,WAAW,CAAC,IAAY,EAAE,MAAc;IAC/C,OAAO,IAAI,mBAAmB,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AACvE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,+BAA+B,CAC7C,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,kCAAkC,EAClC,uEAAuE,EACvE,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,IAAI,GAAG,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,WAAW,CACT,kCAAkC,EAClC,8EAA8E,CAC/E,CACF,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,cAAc,CAC9B,GAAG,EACH,QAAQ,EACR,kCAAkC,CACnC,CAAC;QACF,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,sBAAsB,CAAC;YAClC,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,sCAAsC,CAAC,IAAI;YACnD,MAAM,EAAE,EAAE;SACX,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,CAAC;QACZ,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC;QACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,sBAAsB,CAAC;gBACtC,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,IAAI,EAAE;oBACJ,GAAG,IAAI;oBACP,MAAM,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE;iBAC7B;gBACD,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,kCAAkC,EAClC,YAAY,CAAC,uBAAuB,QAAQ,CAAC,MAAM,EAAE,CACtD,CACF,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CACzC,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,uBAAuB,EACvB,wDAAwD,EACxD,MAAM,CAAC,IAAI,CACT,WAAW,CACT,uBAAuB,EACvB,GAAG,CAAC,SAAS,KAAK,IAAI;QACpB,CAAC,CAAC,qDAAqD;QACvD,CAAC,CAAC,oFAAoF,CACzF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,+BAA+B,CAC7C,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,4BAA4B,EAC5B,6EAA6E,EAC7E,MAAM,CAAC,IAAI,CACT,WAAW,CACT,4BAA4B,EAC5B,GAAG,CAAC,SAAS,KAAK,IAAI;QACpB,CAAC,CAAC,yDAAyD;QAC3D,CAAC,CAAC,0EAA0E,CAC/E,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,4BAA4B,CAC1C,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,6DAA6D;QAC7D,yDAAyD;QACzD,EAAE;QACF,8DAA8D;QAC9D,8DAA8D;QAC9D,+DAA+D;QAC/D,0DAA0D;QAC1D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAChC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAC3C,MAAM,CAAC,WAAW,CAAC;YACjB,QAAQ,EAAE,GAAG,kBAAkB,SAAS;YACxC,SAAS,EAAE,GAAG,EAAE,CACd,WAAW,CACT,+BAA+B,EAC/B,oBAAoB,kBAAkB,iBAAiB,CACxD;SACJ,CAAC,CACH,CACF,CAAC;QACF,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,KAAK,CAAC;QACzD,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,+BAA+B,EAC/B,8CAA8C,CAC/C,CACF,CAAC;QACJ,CAAC;QACD,6DAA6D;QAC7D,+DAA+D;QAC/D,gCAAgC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,QAAQ,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC;YAC7C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,WAAW,CACT,+BAA+B,EAC/B,yCAAyC,OAAO,KAAK,CACtD,CACF,CAAC;QACJ,CAAC;QACD,IACE,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC;YACrC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC7B,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,+BAA+B,EAC/B,0CAA0C,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,2BAA2B,CAAC,EAAE,CAC3F,CACF,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,8BAA8B,CAC5C,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,kCAAkC,EAClC,6EAA6E,EAC7E,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,cAAc,CAC9B,GAAG,EACH,QAAQ,EACR,kCAAkC,CACnC,CAAC;QACF,6CAA6C;QAC7C,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU;aACjB,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;aAChD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QAC/C,+CAA+C;QAC/C,MAAM,WAAW,GAAG,KAAK,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAChC,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CACxB,MAAM,CAAC,WAAW,CAAC;YACjB,QAAQ,EAAE,GAAG,WAAW,SAAS;YACjC,SAAS,EAAE,GAAG,EAAE,CACd,SAAS,CACP,QAAQ,EACR,kCAAkC,EAClC,sCAAsC,WAAW,IAAI,CACtD;SACJ,CAAC,CACH,CACF,CAAC;QACF,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,QAAQ,CAAC,QAAQ,CAAC,uCAAuC,CAAC,EAAE,CAAC;gBAC/D,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,SAAS,CACP,QAAQ,EACR,kCAAkC,EAClC,0BAA0B,WAAW,YAAY,CAClD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC"}

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

@@ -1,12 +1,12 @@
 import type { ClientConformanceRunContext } from "./runner.js";
 /**
- * E2 client half — TestServer emits arbitrary `EventFrame`s across
+ * E2 client half — TestServer emits arbitrary `NotificationFrame`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.
+ *   2. Liveness probe — a valid tagged notification emitted post-fuzz surfaces.
  */
 export declare function registerSchemaExhaustiveFuzzClient(ctx: ClientConformanceRunContext): void;
 //# sourceMappingURL=boundary.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"boundary.d.ts","sourceRoot":"","sources":["../../../../src/testing/conformance/client/boundary.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAY/D;;;;;;;;GAQG;AACH,wBAAgB,kCAAkC,CAChD,GAAG,EAAE,2BAA2B,GAC/B,IAAI,CAoEN"}
+{"version":3,"file":"boundary.d.ts","sourceRoot":"","sources":["../../../../src/testing/conformance/client/boundary.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAc/D;;;;;;;;GAQG;AACH,wBAAgB,kCAAkC,CAChD,GAAG,EAAE,2BAA2B,GAC/B,IAAI,CAmEN"}

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

@@ -9,51 +9,54 @@
  */
 import { Effect } from "effect";
 import * as fc from "fast-check";
-import { arbitraryEventFrame } from "../../arbitraries/frames.js";
+import { MessageDeliveredNotificationDefinition } from "../../../schema/notifications.js";
+import { brandNotificationFrame } from "../../../schema/internal-frames.js";
+import { arbitraryNotificationFrame } 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;
+const DEFAULT_FUZZ_BURST_RUNS = 10;
+const PROPERTY_SCHEMA_EXHAUSTIVE_FUZZ_CLIENT = "schema-exhaustive-fuzz-client";
 /**
- * E2 client half — TestServer emits arbitrary `EventFrame`s across
+ * E2 client half — TestServer emits arbitrary `NotificationFrame`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.
+ *   2. Liveness probe — a valid tagged notification 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");
+    registerProperty(ctx, CATEGORY, PROPERTY_SCHEMA_EXHAUSTIVE_FUZZ_CLIENT, "real client absorbs arbitrary NotificationFrames; liveness and boundary hold", Effect.scoped(Effect.gen(function* () {
+        const fx = yield* acquireFixture(ctx, CATEGORY, PROPERTY_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(), {
+        const fuzzRuns = ctx.opts.numRuns ?? DEFAULT_FUZZ_BURST_RUNS;
+        const burst = fc.sample(arbitraryNotificationFrame(), {
             numRuns: fuzzRuns,
             seed: ctx.seed,
         });
         for (const frame of burst) {
             yield* fx.connection
-                .emitEvent(frame)
+                .emitNotification(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"));
+            return yield* Effect.fail(invariant(CATEGORY, PROPERTY_SCHEMA_EXHAUSTIVE_FUZZ_CLIENT, "real client closed during fuzz burst"));
         }
         // (2) Liveness probe.
         const tag = yield* fx.window.freshEmissionTag;
-        yield* fx.window.emitTaggedEvent({
+        yield* fx.window.emitTaggedNotification({
             connection: fx.connection,
-            base: {
+            base: brandNotificationFrame({
                 jsonrpc: "2.0",
-                type: "event",
-                event: "messages.delivered",
-                data: {},
-            },
+                method: MessageDeliveredNotificationDefinition.name,
+                params: {},
+            }),
             emissionTag: tag,
         });
         const observed = yield* collectTagged(fx.handle, (t) => t === tag, {
@@ -61,7 +64,7 @@ export function registerSchemaExhaustiveFuzzClient(ctx) {
             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"));
+            return yield* Effect.fail(invariant(CATEGORY, PROPERTY_SCHEMA_EXHAUSTIVE_FUZZ_CLIENT, "liveness probe never surfaced after fuzz burst"));
         }
     })));
 }

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

@@ -1 +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"}
+{"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,sCAAsC,EAAE,MAAM,kCAAkC,CAAC;AAC1F,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAEzE,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;AAClC,MAAM,uBAAuB,GAAG,EAAE,CAAC;AACnC,MAAM,sCAAsC,GAAG,+BAA+B,CAAC;AAE/E;;;;;;;;GAQG;AACH,MAAM,UAAU,kCAAkC,CAChD,GAAgC;IAEhC,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,sCAAsC,EACtC,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,sCAAsC,CACvC,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,uBAAuB,CAAC;QAC7D,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,0BAA0B,EAAE,EAAE;YACpD,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,gBAAgB,CAAC,KAAK,CAAC;iBACvB,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,sCAAsC,EACtC,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,sBAAsB,CAAC;YACtC,UAAU,EAAE,EAAE,CAAC,UAAU;YACzB,IAAI,EAAE,sBAAsB,CAAC;gBAC3B,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,sCAAsC,CAAC,IAAI;gBACnD,MAAM,EAAE,EAAE;aACX,CAAC;YACF,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,sCAAsC,EACtC,gDAAgD,CACjD,CACF,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC"}

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

@@ -1,6 +1,6 @@
 import type { ClientConformanceRunContext } from "./runner.js";
 /**
- * C1 client-side — TestServer emits N fan-out `EventFrame`s (one
+ * C1 client-side — TestServer emits N fan-out `NotificationFrame`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.
@@ -15,20 +15,20 @@ import type { ClientConformanceRunContext } from "./runner.js";
  */
 export declare function registerFanOutCardinalityClient(ctx: ClientConformanceRunContext): void;
 /**
- * C3 client-side — TestServer emits a single `EventFrame` whose
+ * C3 client-side — TestServer emits a single `NotificationFrame` 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
+ * Predicate (strict): the raw-bytes view of the surfaced notification
  * 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
+ * C4 client half — TestServer emits N task-A notifications (tagged campaignA)
+ * and M task-B notifications (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.
  *

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

@@ -1 +1 @@
-{"version":3,"file":"delivery.d.ts","sourceRoot":"","sources":["../../../../src/testing/conformance/client/delivery.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAoB/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;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,GAAG,EAAE,2BAA2B,GAC/B,IAAI,CA4DN"}
+{"version":3,"file":"delivery.d.ts","sourceRoot":"","sources":["../../../../src/testing/conformance/client/delivery.ts"],"names":[],"mappings":"AAmCA,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAoB/D;;;;;;;;;;;;;GAaG;AACH,wBAAgB,+BAA+B,CAC7C,GAAG,EAAE,2BAA2B,GAC/B,IAAI,CAuEN;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,4BAA4B,CAC1C,GAAG,EAAE,2BAA2B,GAC/B,IAAI,CAuDN;AAED;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CACjD,GAAG,EAAE,2BAA2B,GAC/B,IAAI,CA+GN;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,GAAG,EAAE,2BAA2B,GAC/B,IAAI,CAoEN"}

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

@@ -20,21 +20,23 @@
  */
 import { Effect } from "effect";
 import * as fc from "fast-check";
-import { eventFrame } from "../../../helpers.js";
-import { EventNames } from "../../../schema/events.js";
-import { arbitraryEventFrame } from "../../arbitraries/frames.js";
+import { notificationFrame } from "../../../helpers.js";
+import { ConversationArchivedNotificationDefinition, ConversationUnarchivedNotificationDefinition, MessageDeliveredNotificationDefinition, } from "../../../schema/notifications.js";
+import { agentId, conversationId as toConversationId, } from "../../../schema/primitives.js";
+import { brandNotificationFrame } from "../../../schema/internal-frames.js";
+import { arbitraryNotificationFrame } from "../../arbitraries/frames.js";
 import { registerProperty } from "../registry.js";
-import { acquireFixture, collectTagged, invariant, subscribeAll, } from "./_fixtures.js";
+import { acquireFixture, collectTagged, invariant, notificationParamsRecord, subscribeAll, } from "./_fixtures.js";
 const CATEGORY = "delivery";
 const PROPERTY_BUDGET_MS = 8_000;
-function isStringKeyedRecord(value) {
-    return typeof value === "object" && value !== null && !Array.isArray(value);
-}
-function eventDataRecord(data) {
-    return isStringKeyedRecord(data) ? data : {};
-}
+const PROPERTY_FAN_OUT_CARDINALITY_CLIENT = "fan-out-cardinality-client";
+const PROPERTY_PAYLOAD_OPACITY_CLIENT = "payload-opacity-client";
+const PROPERTY_TASK_BOUNDARY_ISOLATION_CLIENT = "task-boundary-isolation-client";
+const PAYLOAD_TOKEN_RADIX = 36;
+const TASK_BOUNDARY_EMISSION_COUNT = 3;
+const LIFECYCLE_OBSERVATION_COUNT = 2;
 /**
- * C1 client-side — TestServer emits N fan-out `EventFrame`s (one
+ * C1 client-side — TestServer emits N fan-out `NotificationFrame`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.
@@ -48,25 +50,25 @@ function eventDataRecord(data) {
  * 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");
+    registerProperty(ctx, CATEGORY, PROPERTY_FAN_OUT_CARDINALITY_CLIENT, "N fan-out notifications surface on real client in emission order, no drops, no dups", Effect.scoped(Effect.gen(function* () {
+        const fx = yield* acquireFixture(ctx, CATEGORY, PROPERTY_FAN_OUT_CARDINALITY_CLIENT);
         yield* subscribeAll(fx.handle);
-        const base = fc.sample(arbitraryEventFrame(), {
+        const base = fc.sample(arbitraryNotificationFrame(), {
             numRuns: 1,
             seed: ctx.seed,
         })[0];
         if (base === undefined) {
-            return yield* Effect.fail(invariant(CATEGORY, "fan-out-cardinality-client", "sample failed"));
+            return yield* Effect.fail(invariant(CATEGORY, PROPERTY_FAN_OUT_CARDINALITY_CLIENT, "sample failed"));
         }
         const N = 5;
         const campaign = yield* fx.window.freshEmissionTag;
-        const baseData = eventDataRecord(base.data);
+        const baseParams = notificationParamsRecord(base.params);
         for (let i = 0; i < N; i++) {
-            const positional = {
+            const positional = brandNotificationFrame({
                 ...base,
-                data: { ...baseData, positionIndex: i },
-            };
-            yield* fx.window.emitTaggedEvent({
+                params: { ...baseParams, positionIndex: i },
+            });
+            yield* fx.window.emitTaggedNotification({
                 connection: fx.connection,
                 base: positional,
                 emissionTag: campaign,
@@ -74,41 +76,42 @@ export function registerFanOutCardinalityClient(ctx) {
         }
         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}`));
+            return yield* Effect.fail(invariant(CATEGORY, PROPERTY_FAN_OUT_CARDINALITY_CLIENT, `expected ${N} observations, got ${observed.length}`));
         }
-        const indices = observed.map((o) => o.data?.positionIndex);
+        const indices = observed.map((o) => o.params.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])}`));
+                return yield* Effect.fail(invariant(CATEGORY, PROPERTY_FAN_OUT_CARDINALITY_CLIENT, `order mismatch at slot ${i}: got ${String(indices[i])}`));
             }
         }
     })));
 }
 /**
- * C3 client-side — TestServer emits a single `EventFrame` whose
+ * C3 client-side — TestServer emits a single `NotificationFrame` 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
+ * Predicate (strict): the raw-bytes view of the surfaced notification
  * 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");
+    registerProperty(ctx, CATEGORY, PROPERTY_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, PROPERTY_PAYLOAD_OPACITY_CLIENT);
         yield* subscribeAll(fx.handle);
-        const token = `opq-${ctx.seed.toString(36)}-${Date.now().toString(36)}`;
-        const base = {
+        const token = `opq-${ctx.seed.toString(PAYLOAD_TOKEN_RADIX)}-${Date.now().toString(PAYLOAD_TOKEN_RADIX)}`;
+        const base = brandNotificationFrame({
             jsonrpc: "2.0",
-            type: "event",
-            event: "messages.delivered",
-            data: { opaqueToken: token },
-        };
+            method: MessageDeliveredNotificationDefinition.name,
+            params: {
+                opaqueToken: token,
+            },
+        });
         const tag = yield* fx.window.freshEmissionTag;
-        yield* fx.window.emitTaggedEvent({
+        yield* fx.window.emitTaggedNotification({
             connection: fx.connection,
             base,
             emissionTag: tag,
@@ -118,58 +121,58 @@ export function registerPayloadOpacityClient(ctx) {
             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`));
+            return yield* Effect.fail(invariant(CATEGORY, PROPERTY_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`));
+            return yield* Effect.fail(invariant(CATEGORY, PROPERTY_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
+ * C4 client half — TestServer emits N task-A notifications (tagged campaignA)
+ * and M task-B notifications (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");
+    registerProperty(ctx, CATEGORY, PROPERTY_TASK_BOUNDARY_ISOLATION_CLIENT, "task-A subscriber does not surface task-B notifications — no leakage", Effect.scoped(Effect.gen(function* () {
+        const fx = yield* acquireFixture(ctx, CATEGORY, PROPERTY_TASK_BOUNDARY_ISOLATION_CLIENT);
         yield* subscribeAll(fx.handle);
-        const baseEvent = fc.sample(arbitraryEventFrame(), {
+        const baseNotification = fc.sample(arbitraryNotificationFrame(), {
             numRuns: 1,
             seed: ctx.seed,
         })[0];
-        if (baseEvent === undefined) {
-            return yield* Effect.fail(invariant(CATEGORY, "task-boundary-isolation-client", "sample failed"));
+        if (baseNotification === undefined) {
+            return yield* Effect.fail(invariant(CATEGORY, PROPERTY_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 = eventDataRecord(baseEvent.data);
+        const baseParams = notificationParamsRecord(baseNotification.params);
         // Emit task-A frames.
-        for (let i = 0; i < 3; i++) {
-            yield* fx.window.emitTaggedEvent({
+        for (let i = 0; i < TASK_BOUNDARY_EMISSION_COUNT; i++) {
+            yield* fx.window.emitTaggedNotification({
                 connection: fx.connection,
                 base: {
-                    ...baseEvent,
-                    data: { ...baseEventData, conversationId: taskA },
+                    ...baseNotification,
+                    params: { ...baseParams, 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({
+        for (let i = 0; i < TASK_BOUNDARY_EMISSION_COUNT; i++) {
+            yield* fx.window.emitTaggedNotification({
                 connection: fx.connection,
                 base: {
-                    ...baseEvent,
-                    data: { ...baseEventData, conversationId: taskB },
+                    ...baseNotification,
+                    params: { ...baseParams, conversationId: taskB },
                 },
                 emissionTag: campaignB,
             });
@@ -185,24 +188,22 @@ export function registerTaskBoundaryIsolationClient(ctx) {
         // 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
+        // every task-A-emitted notification 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;
+            const cid = obs.params.conversationId;
             if (cid !== taskA) {
-                return yield* Effect.fail(invariant(CATEGORY, "task-boundary-isolation-client", `task-A emission surfaced with conversationId ${String(cid)}`));
+                return yield* Effect.fail(invariant(CATEGORY, PROPERTY_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;
+            const cid = obs.params.conversationId;
             if (cid !== taskB) {
-                return yield* Effect.fail(invariant(CATEGORY, "task-boundary-isolation-client", `task-B emission surfaced with conversationId ${String(cid)} (cross-wiring)`));
+                return yield* Effect.fail(invariant(CATEGORY, PROPERTY_TASK_BOUNDARY_ISOLATION_CLIENT, `task-B emission surfaced with conversationId ${String(cid)} (cross-wiring)`));
             }
         }
     })));
@@ -214,38 +215,41 @@ export function registerTaskBoundaryIsolationClient(ctx) {
  */
 export function registerArchiveLifecycleClient(ctx) {
     const name = "archive-lifecycle-client";
-    registerProperty(ctx, CATEGORY, name, "archive/unarchive lifecycle events surface on the real client in order", Effect.scoped(Effect.gen(function* () {
+    registerProperty(ctx, CATEGORY, name, "archive/unarchive lifecycle notifications surface on the real client in order", Effect.scoped(Effect.gen(function* () {
         const fx = yield* acquireFixture(ctx, CATEGORY, name);
         yield* subscribeAll(fx.handle);
-        const conversationId = "00000000-0000-4000-8000-000000000001";
+        const conversationId = toConversationId("00000000-0000-4000-8000-000000000001");
+        const by = agentId(fx.handle.agentId);
         const tag = yield* fx.window.freshEmissionTag;
-        yield* fx.window.emitTaggedEvent({
+        yield* fx.window.emitTaggedNotification({
             connection: fx.connection,
-            base: eventFrame(EventNames.ConversationArchived, {
+            base: notificationFrame(ConversationArchivedNotificationDefinition, {
                 conversationId,
                 archivedAt: new Date(0).toISOString(),
-                by: fx.handle.agentId,
+                by,
             }),
             emissionTag: tag,
         });
-        yield* fx.window.emitTaggedEvent({
+        yield* fx.window.emitTaggedNotification({
             connection: fx.connection,
-            base: eventFrame(EventNames.ConversationUnarchived, {
+            base: notificationFrame(ConversationUnarchivedNotificationDefinition, {
                 conversationId,
-                by: fx.handle.agentId,
+                by,
             }),
             emissionTag: tag,
         });
         const observed = yield* collectTagged(fx.handle, (t) => t === tag, {
-            expected: 2,
+            expected: LIFECYCLE_OBSERVATION_COUNT,
             budgetMs: PROPERTY_BUDGET_MS,
         });
-        if (observed.length !== 2) {
-            return yield* Effect.fail(invariant(CATEGORY, name, `expected 2 lifecycle observations, got ${observed.length}`));
+        if (observed.length !== LIFECYCLE_OBSERVATION_COUNT) {
+            return yield* Effect.fail(invariant(CATEGORY, name, `expected ${LIFECYCLE_OBSERVATION_COUNT} lifecycle observations, got ${observed.length}`));
         }
-        if (observed[0]?.eventName !== EventNames.ConversationArchived ||
-            observed[1]?.eventName !== EventNames.ConversationUnarchived) {
-            return yield* Effect.fail(invariant(CATEGORY, name, `lifecycle order mismatch: ${observed.map((o) => o.eventName).join(",")}`));
+        if (observed[0]?.notificationName !==
+            ConversationArchivedNotificationDefinition.name ||
+            observed[1]?.notificationName !==
+                ConversationUnarchivedNotificationDefinition.name) {
+            return yield* Effect.fail(invariant(CATEGORY, name, `lifecycle order mismatch: ${observed.map((o) => o.notificationName).join(",")}`));
         }
     })));
 }