@moltzap/client 2026.505.2 → 2026.507.0

package/dist/internal/__tests__/app-callback-partitioned-dispatcher-real-ws.test.js

@@ -1,230 +0,0 @@
-/**
- * Integration: `MoltZapWsClient` end-to-end deadlock reproducer.
- *
- * Spec: moltzap#356 §8 (test plan, file 5 — moved from app-sdk to
- * packages/client because the dispatcher behaviour under test is at
- * the @moltzap/client layer, and packages/client already has the
- * in-process WS server helper pattern needed for full-transport
- * tests; see PR body "Deviations" for the rationale).
- *
- * Boots an in-process `@effect/platform-node` WebSocket server,
- * connects a real `MoltZapWsClient`, registers two competing appCallback
- * handlers (`before_dispatch` parks on a Deferred;
- * `before_message_delivery` resolves it), and asserts both replies
- * round-trip back to the server. Pre-#356 this hangs; post-#356 it
- * completes via the partitioned dispatcher's
- * `(taskId, conversationId, hookKind)` keying.
- *
- * No mocks — full transport, full schema validation, real fibers.
- */
-import * as NodeSocketServer from "@effect/platform-node/NodeSocketServer";
-import { Deferred, Effect, Scope } from "effect";
-import { describe, expect, it } from "vitest";
-import { MoltZapWsClient } from "../../ws-client.js";
-import { AppsOnBeforeDispatch, AppsOnBeforeMessageDelivery, Connect, PROTOCOL_VERSION, jsonRpcStringId, requestFrame, responseFrame, validators, } from "@moltzap/protocol";
-import { beforeDispatchParams, beforeMessageDeliveryParams, CONV_X, SESSION_A, SESSION_B, } from "./app-callback-test-requests.js";
-const TEST_AGENT_ID = "11111111-1111-4111-8111-111111111111";
-const TEST_POLICY = {
-    maxMessageBytes: 1_000_000,
-    maxPartsPerMessage: 10,
-    maxTextLength: 32_768,
-    maxGroupParticipants: 100,
-    heartbeatIntervalMs: 30_000,
-    rateLimits: {
-        messagesPerMinute: 60,
-        requestsPerMinute: 120,
-    },
-};
-const helloOk = () => ({
-    protocolVersion: PROTOCOL_VERSION,
-    agentId: TEST_AGENT_ID,
-    conversations: [],
-    unreadCounts: {},
-    policy: TEST_POLICY,
-});
-/**
- * Spin up an in-process WS server on 127.0.0.1:0. Caller owns the
- * provided scope; when it closes the server shuts down.
- */
-function startWsServer(handler) {
-    return Effect.gen(function* () {
-        const server = yield* NodeSocketServer.makeWebSocket({
-            port: 0,
-            host: "127.0.0.1",
-        });
-        const addr = server.address;
-        if (addr._tag !== "TcpAddress") {
-            return yield* Effect.die("expected TcpAddress");
-        }
-        const conns = [];
-        yield* Effect.forkScoped(server
-            .run((sock) => Effect.gen(function* () {
-            const write = yield* sock.writer;
-            const received = [];
-            const conn = {
-                send: (raw) => write(raw).pipe(Effect.ignore),
-                get received() {
-                    return received;
-                },
-            };
-            conns.push(conn);
-            yield* sock.runRaw((data) => Effect.gen(function* () {
-                const raw = typeof data === "string"
-                    ? data
-                    : new TextDecoder("utf-8").decode(data);
-                received.push(raw);
-                yield* handler(conn, raw);
-            }));
-        }))
-            .pipe(Effect.ignore));
-        return { url: `http://${addr.hostname}:${addr.port}`, conns };
-    });
-}
-/** Connect a client, complete auth handshake. */
-async function connect(client) {
-    return Effect.runPromise(client.connect());
-}
-async function close(client) {
-    await Effect.runPromise(client.close());
-}
-function responseIds(rawFrames) {
-    return rawFrames.flatMap((raw) => {
-        try {
-            const parsed = JSON.parse(raw);
-            return validators.responseFrame(parsed) && typeof parsed.id === "string"
-                ? [parsed.id]
-                : [];
-        }
-        catch {
-            return [];
-        }
-    });
-}
-describe("integration: AppHost + partitioned appCallback dispatcher", () => {
-    it("two competing handlers (before_dispatch + before_message_delivery) for the " +
-        "same conversation: parked before_dispatch resumes after sibling " +
-        "before_message_delivery completes — both replies ship to the server", async () => {
-        // Pre-#356 (single-fiber dispatcher) this test would hang
-        // forever — vitest's testTimeout is the only thing that
-        // catches it. Post-#356 (partitioned by hookKind) the two
-        // handlers run on independent fibers, the parking deferred
-        // fires from the sibling, and both replies ship.
-        const result = await Effect.runPromise(Effect.scoped(Effect.gen(function* () {
-            const server = yield* startWsServer((conn, raw) => Effect.gen(function* () {
-                const parsed = JSON.parse(raw);
-                if (!validators.requestFrame(parsed)) {
-                    return yield* Effect.die("expected JSON-RPC request frame");
-                }
-                const frame = parsed;
-                if (frame.method === Connect.name) {
-                    yield* conn.send(JSON.stringify(responseFrame(frame.id, {
-                        result: helloOk(),
-                    })));
-                    // Fire BOTH appCallback requests for the SAME (S, C). With
-                    // pre-#356 dispatching they queue on one fiber and
-                    // deadlock; with #356 they run concurrently.
-                    yield* conn.send(JSON.stringify(requestFrame(jsonRpcStringId("rpc-bd-1"), AppsOnBeforeDispatch, beforeDispatchParams(SESSION_A, CONV_X))));
-                    yield* conn.send(JSON.stringify(requestFrame(jsonRpcStringId("rpc-bmd-1"), AppsOnBeforeMessageDelivery, beforeMessageDeliveryParams(SESSION_A, CONV_X))));
-                }
-            }));
-            const client = new MoltZapWsClient({
-                serverUrl: server.url,
-                agentKey: "k",
-                logger: {
-                    info: () => { },
-                    warn: () => { },
-                    error: () => { },
-                },
-            });
-            // Park the dispatch handler. The delivery handler resolves
-            // the parking Deferred — pre-#356 this would never run
-            // because both queue on a single dispatch fiber.
-            const release = yield* Deferred.make();
-            yield* client.handleServerRpc(AppsOnBeforeDispatch, () => Effect.gen(function* () {
-                yield* Deferred.await(release);
-                return { admission: { decision: "grant" } };
-            }));
-            yield* client.handleServerRpc(AppsOnBeforeMessageDelivery, () => Effect.gen(function* () {
-                yield* Deferred.succeed(release, undefined);
-                return { block: false };
-            }));
-            yield* Effect.promise(() => connect(client));
-            // Wait for both replies to land at the server.
-            const deadline = Date.now() + 4000;
-            let bothReplied = false;
-            while (Date.now() < deadline) {
-                const conn = server.conns[0];
-                if (conn) {
-                    const replyIds = responseIds(conn.received);
-                    if (replyIds.includes("rpc-bd-1") &&
-                        replyIds.includes("rpc-bmd-1")) {
-                        bothReplied = true;
-                        break;
-                    }
-                }
-                yield* Effect.sleep("20 millis");
-            }
-            yield* Effect.promise(() => close(client));
-            return bothReplied;
-        })));
-        expect(result).toBe(true);
-    }, /* per-test timeout */ 6000);
-    it("concurrent handlers across two different sessions complete independently " +
-        "(slow handler in session A does not delay session B)", async () => {
-        const result = await Effect.runPromise(Effect.scoped(Effect.gen(function* () {
-            const server = yield* startWsServer((conn, raw) => Effect.gen(function* () {
-                const parsed = JSON.parse(raw);
-                if (!validators.requestFrame(parsed)) {
-                    return yield* Effect.die("expected JSON-RPC request frame");
-                }
-                const frame = parsed;
-                if (frame.method === Connect.name) {
-                    yield* conn.send(JSON.stringify(responseFrame(frame.id, {
-                        result: helloOk(),
-                    })));
-                    // Session A: park forever (until release).
-                    yield* conn.send(JSON.stringify(requestFrame(jsonRpcStringId("rpc-A"), AppsOnBeforeDispatch, beforeDispatchParams(SESSION_A, CONV_X))));
-                    // Session B: must complete despite A being parked.
-                    yield* conn.send(JSON.stringify(requestFrame(jsonRpcStringId("rpc-B"), AppsOnBeforeDispatch, beforeDispatchParams(SESSION_B, CONV_X))));
-                }
-            }));
-            const release = yield* Deferred.make();
-            const client = new MoltZapWsClient({
-                serverUrl: server.url,
-                agentKey: "k",
-                logger: {
-                    info: () => { },
-                    warn: () => { },
-                    error: () => { },
-                },
-            });
-            yield* client.handleServerRpc(AppsOnBeforeDispatch, (params) => Effect.gen(function* () {
-                if (params.taskId === SESSION_A) {
-                    yield* Deferred.await(release);
-                }
-                return { admission: { decision: "grant" } };
-            }));
-            yield* Effect.promise(() => connect(client));
-            const deadline = Date.now() + 4000;
-            let bRan = false;
-            while (Date.now() < deadline) {
-                const conn = server.conns[0];
-                if (conn) {
-                    const replyIds = responseIds(conn.received);
-                    if (replyIds.includes("rpc-B")) {
-                        bRan = true;
-                        break;
-                    }
-                }
-                yield* Effect.sleep("20 millis");
-            }
-            // Release A so close() doesn't have to interrupt a parked
-            // handler.
-            yield* Deferred.succeed(release, undefined);
-            yield* Effect.promise(() => close(client));
-            return bRan;
-        })));
-        expect(result).toBe(true);
-    }, /* per-test timeout */ 6000);
-});
-//# sourceMappingURL=app-callback-partitioned-dispatcher-real-ws.test.js.map

package/dist/internal/__tests__/app-callback-partitioned-dispatcher-real-ws.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"app-callback-partitioned-dispatcher-real-ws.test.js","sourceRoot":"","sources":["../../../src/internal/__tests__/app-callback-partitioned-dispatcher-real-ws.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,gBAAgB,MAAM,wCAAwC,CAAC;AAC3E,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAErD,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC3B,OAAO,EACP,gBAAgB,EAChB,eAAe,EACf,YAAY,EACZ,aAAa,EACb,UAAU,GACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC3B,MAAM,EACN,SAAS,EACT,SAAS,GACV,MAAM,iCAAiC,CAAC;AAEzC,MAAM,aAAa,GAAG,sCAAsC,CAAC;AAC7D,MAAM,WAAW,GAAG;IAClB,eAAe,EAAE,SAAS;IAC1B,kBAAkB,EAAE,EAAE;IACtB,aAAa,EAAE,MAAM;IACrB,oBAAoB,EAAE,GAAG;IACzB,mBAAmB,EAAE,MAAM;IAC3B,UAAU,EAAE;QACV,iBAAiB,EAAE,EAAE;QACrB,iBAAiB,EAAE,GAAG;KACvB;CACF,CAAC;AAEF,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,CAAC;IACrB,eAAe,EAAE,gBAAgB;IACjC,OAAO,EAAE,aAAa;IACtB,aAAa,EAAE,EAAE;IACjB,YAAY,EAAE,EAAE;IAChB,MAAM,EAAE,WAAW;CACpB,CAAC,CAAC;AAUH;;;GAGG;AACH,SAAS,aAAa,CACpB,OAA+D;IAE/D,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAC,aAAa,CAAC;YACnD,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,WAAW;SAClB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;QAClD,CAAC;QACD,MAAM,KAAK,GAAiB,EAAE,CAAC;QAC/B,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,MAAM;aACH,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;YACjC,MAAM,QAAQ,GAAa,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAe;gBACvB,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC7C,IAAI,QAAQ;oBACV,OAAO,QAAQ,CAAC;gBAClB,CAAC;aACF,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,GAAG,GACP,OAAO,IAAI,KAAK,QAAQ;oBACtB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC5C,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACnB,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC5B,CAAC,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CACH;aACA,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CACvB,CAAC;QACF,OAAO,EAAE,GAAG,EAAE,UAAU,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,iDAAiD;AACjD,KAAK,UAAU,OAAO,CAAC,MAAuB;IAC5C,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,EAAmC,CAAC,CAAC;AAC9E,CAAC;AAED,KAAK,UAAU,KAAK,CAAC,MAAuB;IAC1C,MAAM,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,WAAW,CAAC,SAAgC;IACnD,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;QAC/B,IAAI,CAAC;YACH,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACxC,OAAO,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ;gBACtE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gBACb,CAAC,CAAC,EAAE,CAAC;QACT,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,EAAE,CAAC,6EAA6E;QAC9E,kEAAkE;QAClE,qEAAqE,EAAE,KAAK,IAAI,EAAE;QAClF,0DAA0D;QAC1D,wDAAwD;QACxD,0DAA0D;QAC1D,2DAA2D;QAC3D,iDAAiD;QACjD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,UAAU,CACpC,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAChD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACxC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;gBAC9D,CAAC;gBACD,MAAM,KAAK,GAAG,MAAM,CAAC;gBACrB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC;oBAClC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CACd,IAAI,CAAC,SAAS,CACZ,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE;wBACtB,MAAM,EAAE,OAAO,EAAE;qBAClB,CAAC,CACH,CACF,CAAC;oBACF,2DAA2D;oBAC3D,mDAAmD;oBACnD,6CAA6C;oBAC7C,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CACd,IAAI,CAAC,SAAS,CACZ,YAAY,CACV,eAAe,CAAC,UAAU,CAAC,EAC3B,oBAAoB,EACpB,oBAAoB,CAAC,SAAS,EAAE,MAAM,CAAC,CACxC,CACF,CACF,CAAC;oBACF,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CACd,IAAI,CAAC,SAAS,CACZ,YAAY,CACV,eAAe,CAAC,WAAW,CAAC,EAC5B,2BAA2B,EAC3B,2BAA2B,CAAC,SAAS,EAAE,MAAM,CAAC,CAC/C,CACF,CACF,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CACH,CAAC;YAEF,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC;gBACjC,SAAS,EAAE,MAAM,CAAC,GAAG;gBACrB,QAAQ,EAAE,GAAG;gBACb,MAAM,EAAE;oBACN,IAAI,EAAE,GAAG,EAAE,GAAE,CAAC;oBACd,IAAI,EAAE,GAAG,EAAE,GAAE,CAAC;oBACd,KAAK,EAAE,GAAG,EAAE,GAAE,CAAC;iBAChB;aACF,CAAC,CAAC;YAEH,2DAA2D;YAC3D,uDAAuD;YACvD,iDAAiD;YACjD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAQ,CAAC;YAC7C,KAAK,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,oBAAoB,EAAE,GAAG,EAAE,CACvD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAC/B,OAAO,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC;YAC9C,CAAC,CAAC,CACH,CAAC;YACF,KAAK,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAC9D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC5C,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;YAC1B,CAAC,CAAC,CACH,CAAC;YAEF,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,+CAA+C;YAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;YACnC,IAAI,WAAW,GAAG,KAAK,CAAC;YACxB,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAC5C,IACE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;wBAC7B,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,EAC9B,CAAC;wBACD,WAAW,GAAG,IAAI,CAAC;wBACnB,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YACnC,CAAC;YACD,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAC3C,OAAO,WAAW,CAAC;QACrB,CAAC,CAAC,CACH,CACF,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,EAAE,sBAAsB,CAAC,IAAI,CAAC,CAAC;IAEhC,EAAE,CAAC,2EAA2E;QAC5E,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACnE,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,UAAU,CACpC,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAChD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACxC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;gBAC9D,CAAC;gBACD,MAAM,KAAK,GAAG,MAAM,CAAC;gBACrB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC;oBAClC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CACd,IAAI,CAAC,SAAS,CACZ,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE;wBACtB,MAAM,EAAE,OAAO,EAAE;qBAClB,CAAC,CACH,CACF,CAAC;oBACF,2CAA2C;oBAC3C,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CACd,IAAI,CAAC,SAAS,CACZ,YAAY,CACV,eAAe,CAAC,OAAO,CAAC,EACxB,oBAAoB,EACpB,oBAAoB,CAAC,SAAS,EAAE,MAAM,CAAC,CACxC,CACF,CACF,CAAC;oBACF,mDAAmD;oBACnD,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CACd,IAAI,CAAC,SAAS,CACZ,YAAY,CACV,eAAe,CAAC,OAAO,CAAC,EACxB,oBAAoB,EACpB,oBAAoB,CAAC,SAAS,EAAE,MAAM,CAAC,CACxC,CACF,CACF,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CACH,CAAC;YAEF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAQ,CAAC;YAC7C,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC;gBACjC,SAAS,EAAE,MAAM,CAAC,GAAG;gBACrB,QAAQ,EAAE,GAAG;gBACb,MAAM,EAAE;oBACN,IAAI,EAAE,GAAG,EAAE,GAAE,CAAC;oBACd,IAAI,EAAE,GAAG,EAAE,GAAE,CAAC;oBACd,KAAK,EAAE,GAAG,EAAE,GAAE,CAAC;iBAChB;aACF,CAAC,CAAC;YACH,KAAK,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,oBAAoB,EAAE,CAAC,MAAM,EAAE,EAAE,CAC7D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;oBAChC,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACjC,CAAC;gBACD,OAAO,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC;YAC9C,CAAC,CAAC,CACH,CAAC;YACF,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;YACnC,IAAI,IAAI,GAAG,KAAK,CAAC;YACjB,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAC5C,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;wBAC/B,IAAI,GAAG,IAAI,CAAC;wBACZ,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YACnC,CAAC;YACD,0DAA0D;YAC1D,WAAW;YACX,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAC5C,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAC3C,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CACH,CACF,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,EAAE,sBAAsB,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC,CAAC,CAAC"}

package/dist/runtime/index.d.ts

@@ -1,3 +0,0 @@
-export { AgentNotFoundError, MalformedFrameError } from "./errors.js";
-export { snapshot, getOr } from "./refs.js";
-//# sourceMappingURL=index.d.ts.map

package/dist/runtime/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/runtime/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACtE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC"}

package/dist/runtime/index.js

@@ -1,3 +0,0 @@
-export { AgentNotFoundError, MalformedFrameError } from "./errors.js";
-export { snapshot, getOr } from "./refs.js";
-//# sourceMappingURL=index.js.map

package/dist/runtime/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/runtime/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACtE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC"}

package/dist/runtime/notification-types.types-check.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=notification-types.types-check.d.ts.map

package/dist/runtime/notification-types.types-check.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"notification-types.types-check.d.ts","sourceRoot":"","sources":["../../src/runtime/notification-types.types-check.ts"],"names":[],"mappings":""}

package/dist/runtime/notification-types.types-check.js

@@ -1,57 +0,0 @@
-/**
- * Negative type-test canary for Phase 7.5c (#455).
- *
- * Locks the compiler-enforced lift contract that splits unvalidated
- * wire-decoder output (`RawDecodedNotification<D>`,
- * `DecodedNotificationFrame`) from validated typed-bridge surface
- * (`DecodedNotification<D>`).
- *
- * What we assert:
- *
- *   1. `subscribers.dispatch` accepts the raw / unknown-method union
- *      `DecodedNotificationFrame`. Validated `DecodedNotification<D>`
- *      values are still acceptable (subtype of `RawDecodedNotification<D>`),
- *      but a raw frame cannot reach the typed handler bucket without
- *      passing through `validateNotificationParams`.
- *
- *   2. `defineEffectNotificationHandlers(...).dispatch` (the typed
- *      handler dispatcher used by `MoltZapService`) refuses
- *      `RawDecodedNotification<D>` and the broader
- *      `DecodedNotificationFrame` union — only validated
- *      `DecodedNotification<D>` may flow in. This is the load-bearing
- *      negative: a regression that re-aliases the two types would
- *      surface here as a missing `@ts-expect-error`.
- *
- * Compile-only — no runtime test runner picks this file up. The
- * `@ts-expect-error` markers fail the build if they ever start
- * compiling cleanly.
- */
-import { Effect } from "effect";
-import { ConversationArchivedNotificationDefinition, bindNotificationHandler, defineEffectNotificationHandlers, defineNotificationGroup, } from "@moltzap/protocol";
-import { makeSubscriberRegistry } from "./subscribers.js";
-const noopLogger = { warn: () => { } };
-const registry = Effect.runSync(makeSubscriberRegistry(noopLogger));
-const canaryGroup = defineNotificationGroup("phase7.5c-canary", [
-    ConversationArchivedNotificationDefinition,
-]);
-const typedHandlers = defineEffectNotificationHandlers(canaryGroup, [
-    bindNotificationHandler(ConversationArchivedNotificationDefinition, () => Effect.void),
-]);
-// --- Subscribers (raw|unknown) accept the wire-decoder union ---
-void registry.dispatch(rawFrame); // OK: raw subtype of the union
-void registry.dispatch(wireUnion); // OK: union dispatch
-// Validated values are also accepted because `DecodedNotification<D>`
-// is a subtype of `RawDecodedNotification<D>` (params narrower).
-void registry.dispatch(validatedFrame);
-// --- Typed dispatcher refuses pre-validation shapes ---
-// @ts-expect-error - typed dispatcher rejects unvalidated raw frames; lift via `validateNotificationParams` first
-void typedHandlers.dispatch(rawFrame);
-// @ts-expect-error - typed dispatcher rejects the wire-decoder union (includes the unknown-method branch)
-void typedHandlers.dispatch(wireUnion);
-// Validated frame is accepted — proves the negative is not vacuous
-// (a regression that aliases Decoded≡Raw would still pass this line
-// but flip the `@ts-expect-error`s above).
-void typedHandlers.dispatch(validatedFrame);
-// @ts-expect-error - unknown-method branch has no descriptor; typed dispatcher requires `definition`
-void typedHandlers.dispatch(unknownMethodFrame);
-//# sourceMappingURL=notification-types.types-check.js.map

package/dist/runtime/notification-types.types-check.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"notification-types.types-check.js","sourceRoot":"","sources":["../../src/runtime/notification-types.types-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EACL,0CAA0C,EAC1C,uBAAuB,EACvB,gCAAgC,EAChC,uBAAuB,GAIxB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE1D,MAAM,UAAU,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE,CAAC;AACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC,CAAC;AACpE,MAAM,WAAW,GAAG,uBAAuB,CAAC,kBAAkB,EAAE;IAC9D,0CAA0C;CAClC,CAAC,CAAC;AACZ,MAAM,aAAa,GAAG,gCAAgC,CAAC,WAAW,EAAE;IAClE,uBAAuB,CACrB,0CAA0C,EAC1C,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAClB;CACF,CAAC,CAAC;AAUH,kEAAkE;AAElE,KAAK,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,+BAA+B;AACjE,KAAK,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,qBAAqB;AACxD,sEAAsE;AACtE,iEAAiE;AACjE,KAAK,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;AAEvC,yDAAyD;AAEzD,kHAAkH;AAClH,KAAK,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAEtC,0GAA0G;AAC1G,KAAK,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;AAEvC,mEAAmE;AACnE,oEAAoE;AACpE,2CAA2C;AAC3C,KAAK,aAAa,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;AAS5C,qGAAqG;AACrG,KAAK,aAAa,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC"}

package/dist/service.typed-bridge.test.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=service.typed-bridge.test.d.ts.map

package/dist/service.typed-bridge.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"service.typed-bridge.test.d.ts","sourceRoot":"","sources":["../src/service.typed-bridge.test.ts"],"names":[],"mappings":""}

package/dist/service.typed-bridge.test.js

@@ -1,93 +0,0 @@
-/**
- * Drives a stale-shape notification through the real subscriber →
- * service → typed-handler dispatch path (`handleNotification` →
- * `notificationHandlers.dispatch`). The helper test in
- * `ws-client.typed-bridge.test.ts` exercises `validateNotificationParams`
- * in isolation; this file proves the subscriber-fanout bridge actually
- * invokes it and skips dispatch on drift, so the stale frame never
- * reaches the typed handler bound inside `createNotificationHandlers`.
- *
- * Discriminating choice: `ConversationArchivedNotificationDefinition`
- * is one of the five notifications in `serviceNotificationGroup`, so a
- * payload missing the required `archivedAt` field hits the typed-handler
- * dispatch path (which would call `markConversationArchived` +
- * `fanout(handlers.conversationArchived, ...)`). The regression asserts:
- *   1. The typed `conversationArchived` user handler is NOT invoked.
- *   2. The internal `archivedConversationIds` set is NOT updated.
- *   3. The raw-notification handler IS invoked (proves the
- *      pre-validation surface still fires; only the typed dispatch is
- *      gated).
- *   4. A drift warning is logged with the notification name.
- */
-import { describe, expect, it, vi } from "vitest";
-import { ConversationArchivedNotificationDefinition, agentId, conversationId, notificationFrame, } from "@moltzap/protocol";
-import { MoltZapService } from "./service.js";
-class TestMoltZapService extends MoltZapService {
-    driveNotification(notification) {
-        this.handleNotification(notification);
-    }
-}
-const CONV_ID = conversationId("00000000-0000-4000-8000-000000c0a4ed");
-const BY_AGENT = agentId("00000000-0000-4000-8000-0000000a9e47");
-// Constructing the stale-shape fixture as `RawDecodedNotification`
-// (params: unknown) lets TypeScript accept the unvalidated payload
-// without a type lie: the wire decoder is payload-opaque, so a frame
-// missing the required `archivedAt` field is structurally a Raw
-// notification — the typed-bridge lift in `validateNotificationParams`
-// is what rejects it at dispatch time.
-const STALE_ARCHIVED = {
-    jsonrpc: "2.0",
-    method: ConversationArchivedNotificationDefinition.name,
-    params: { conversationId: CONV_ID, by: BY_AGENT },
-    _tag: "Notification",
-    definition: ConversationArchivedNotificationDefinition,
-};
-const LIVE_ARCHIVED = {
-    ...notificationFrame(ConversationArchivedNotificationDefinition, {
-        conversationId: CONV_ID,
-        archivedAt: "2026-05-05T00:00:00.000Z",
-        by: BY_AGENT,
-    }),
-    _tag: "Notification",
-    definition: ConversationArchivedNotificationDefinition,
-};
-describe("MoltZapService.handleNotification subscriber-fanout bridge", () => {
-    it("skips typed dispatch on a stale shape, fans out raw, and logs drift", () => {
-        const warn = vi.fn();
-        const service = new TestMoltZapService({
-            serverUrl: "ws://test",
-            agentKey: "test-key",
-            logger: { info: vi.fn(), warn, error: vi.fn() },
-        });
-        const onArchived = vi.fn();
-        const onRaw = vi.fn();
-        service.on("conversationArchived", onArchived);
-        service.on("rawNotification", onRaw);
-        service.driveNotification(STALE_ARCHIVED);
-        // Typed handler MUST NOT see the malformed payload.
-        expect(onArchived).not.toHaveBeenCalled();
-        expect(service.isConversationArchived(CONV_ID)).toBe(false);
-        // Raw-notification handler still fires — fanout runs before the
-        // typed-bridge gate, so subscribers using the opaque surface are
-        // unaffected.
-        expect(onRaw).toHaveBeenCalledTimes(1);
-        // Drift warning surfaced via the WsClientLogger.
-        expect(warn).toHaveBeenCalledTimes(1);
-        expect(String(warn.mock.calls[0]?.[0])).toMatch(/conversations\/archived.*drift signal/);
-    });
-    it("dispatches a live shape to the typed handler and updates internal state", () => {
-        const warn = vi.fn();
-        const service = new TestMoltZapService({
-            serverUrl: "ws://test",
-            agentKey: "test-key",
-            logger: { info: vi.fn(), warn, error: vi.fn() },
-        });
-        const onArchived = vi.fn();
-        service.on("conversationArchived", onArchived);
-        service.driveNotification(LIVE_ARCHIVED);
-        expect(onArchived).toHaveBeenCalledTimes(1);
-        expect(service.isConversationArchived(CONV_ID)).toBe(true);
-        expect(warn).not.toHaveBeenCalled();
-    });
-});
-//# sourceMappingURL=service.typed-bridge.test.js.map

package/dist/service.typed-bridge.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"service.typed-bridge.test.js","sourceRoot":"","sources":["../src/service.typed-bridge.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAClD,OAAO,EACL,0CAA0C,EAC1C,OAAO,EACP,cAAc,EACd,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAM9C,MAAM,kBAAmB,SAAQ,cAAc;IACtC,iBAAiB,CAAC,YAAsC;QAC7D,IAAI,CAAC,kBAAkB,CAAC,YAAY,CAAC,CAAC;IACxC,CAAC;CACF;AAED,MAAM,OAAO,GAAG,cAAc,CAAC,sCAAsC,CAAC,CAAC;AACvE,MAAM,QAAQ,GAAG,OAAO,CAAC,sCAAsC,CAAC,CAAC;AAMjE,mEAAmE;AACnE,mEAAmE;AACnE,qEAAqE;AACrE,gEAAgE;AAChE,uEAAuE;AACvE,uCAAuC;AACvC,MAAM,cAAc,GAA4B;IAC9C,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,0CAA0C,CAAC,IAAI;IACvD,MAAM,EAAE,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE;IACjD,IAAI,EAAE,cAAc;IACpB,UAAU,EAAE,0CAA0C;CAC5B,CAAC;AAE7B,MAAM,aAAa,GAA4B;IAC7C,GAAG,iBAAiB,CAAC,0CAA0C,EAAE;QAC/D,cAAc,EAAE,OAAO;QACvB,UAAU,EAAE,0BAA0B;QACtC,EAAE,EAAE,QAAQ;KACb,CAAC;IACF,IAAI,EAAE,cAAc;IACpB,UAAU,EAAE,0CAA0C;CACvD,CAAC;AAEF,QAAQ,CAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,IAAI,kBAAkB,CAAC;YACrC,SAAS,EAAE,WAAW;YACtB,QAAQ,EAAE,UAAU;YACpB,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE;SAChD,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QACtB,OAAO,CAAC,EAAE,CAAC,sBAAsB,EAAE,UAAU,CAAC,CAAC;QAC/C,OAAO,CAAC,EAAE,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC;QAErC,OAAO,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC;QAE1C,oDAAoD;QACpD,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;QAC1C,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE5D,gEAAgE;QAChE,iEAAiE;QACjE,cAAc;QACd,MAAM,CAAC,KAAK,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QAEvC,iDAAiD;QACjD,MAAM,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAC7C,uCAAuC,CACxC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,IAAI,kBAAkB,CAAC;YACrC,SAAS,EAAE,WAAW;YACtB,QAAQ,EAAE,UAAU;YACpB,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE;SAChD,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,OAAO,CAAC,EAAE,CAAC,sBAAsB,EAAE,UAAU,CAAC,CAAC;QAE/C,OAAO,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;QAEzC,MAAM,CAAC,UAAU,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ws-client.typed-bridge.test.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=ws-client.typed-bridge.test.d.ts.map

package/dist/ws-client.typed-bridge.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ws-client.typed-bridge.test.d.ts","sourceRoot":"","sources":["../src/ws-client.typed-bridge.test.ts"],"names":[],"mappings":""}

package/dist/ws-client.typed-bridge.test.js

@@ -1,105 +0,0 @@
-/**
- * Typed-bridge regression: the wire decoder is payload-opaque (so
- * `delivery/payload-opacity-client` conformance holds). Inbound typed
- * consumers MUST validate `params` before exposing them to a typed
- * handler. A stale Phase-6 `task/closed` shape (carrying `sessionId` +
- * scalar `closedBy`) is a known-method notification whose method
- * matches `TaskClosedNotificationDefinition`, so a definition-only
- * match would silently bridge a malformed payload into a typed
- * consumer. Both bridges (`acceptTypedNotification` for
- * `waitForNotification` and the shared `validateNotificationParams`
- * helper used by `service.handleNotification`) log and skip instead.
- */
-import { describe, expect, it, vi } from "vitest";
-import { PresenceChangedNotificationDefinition, TaskClosedNotificationDefinition, agentId, conversationId, notificationFrame, taskId, } from "@moltzap/protocol";
-import { acceptTypedNotification, validateNotificationParams, } from "./ws-client.js";
-// Stale wire-shape fixture as `RawDecodedNotification` (params: unknown):
-// the wire decoder is payload-opaque, so the pre-Phase-7 `sessionId` /
-// scalar `closedBy` shape is structurally a valid Raw notification.
-// `validateNotificationParams` is what rejects it at the typed-bridge
-// boundary; the type system distinguishes "decoded from the wire" from
-// "validated against the schema."
-const STALE_TASK_CLOSED = {
-    jsonrpc: "2.0",
-    method: TaskClosedNotificationDefinition.name,
-    params: {
-        sessionId: "11111111-1111-4111-8111-111111111111",
-        closedBy: "33333333-3333-4333-8333-333333333333",
-    },
-    _tag: "Notification",
-    definition: TaskClosedNotificationDefinition,
-};
-const LIVE_TASK_CLOSED = {
-    ...notificationFrame(TaskClosedNotificationDefinition, {
-        taskId: taskId("11111111-1111-4111-8111-111111111111"),
-        conversations: {
-            main: conversationId("22222222-2222-4222-8222-222222222222"),
-        },
-        closedBy: {
-            agentId: agentId("33333333-3333-4333-8333-333333333333"),
-            ownerId: "owner-1",
-        },
-    }),
-    _tag: "Notification",
-    definition: TaskClosedNotificationDefinition,
-};
-function makeLogger() {
-    return {
-        info: vi.fn(),
-        warn: vi.fn(),
-        error: vi.fn(),
-    };
-}
-describe("acceptTypedNotification", () => {
-    it("rejects a stale `task/closed` payload, logs the drift signal", () => {
-        const logger = makeLogger();
-        const accepted = acceptTypedNotification(TaskClosedNotificationDefinition, STALE_TASK_CLOSED, logger);
-        expect(accepted).toBe(false);
-        expect(logger.warn).toHaveBeenCalledTimes(1);
-        expect(String(logger.warn.mock.calls[0]?.[0])).toMatch(/task\/closed.*drift signal/);
-    });
-    it("accepts a live `task/closed` payload — proves the validator is not vacuously false", () => {
-        const logger = makeLogger();
-        const accepted = acceptTypedNotification(TaskClosedNotificationDefinition, LIVE_TASK_CLOSED, logger);
-        expect(accepted).toBe(true);
-        expect(logger.warn).not.toHaveBeenCalled();
-    });
-    it("returns false for a non-matching definition without invoking validateParams", () => {
-        const logger = makeLogger();
-        const validateSpy = vi.spyOn(TaskClosedNotificationDefinition, "validateParams");
-        const wrongMethod = {
-            jsonrpc: "2.0",
-            method: PresenceChangedNotificationDefinition.name,
-            params: {},
-            _tag: "Notification",
-            definition: PresenceChangedNotificationDefinition,
-        };
-        const accepted = acceptTypedNotification(TaskClosedNotificationDefinition, wrongMethod, logger);
-        expect(accepted).toBe(false);
-        expect(validateSpy).not.toHaveBeenCalled();
-        expect(logger.warn).not.toHaveBeenCalled();
-        validateSpy.mockRestore();
-    });
-    it("works without a logger (logger is optional)", () => {
-        const accepted = acceptTypedNotification(TaskClosedNotificationDefinition, STALE_TASK_CLOSED, undefined);
-        expect(accepted).toBe(false);
-    });
-});
-// Tests the shared validation core used by both inbound typed bridges
-// (`acceptTypedNotification` and `service.handleNotification`). A
-// refactor that breaks the shared core surfaces here, not via downstream
-// integration regressions.
-describe("validateNotificationParams", () => {
-    it("returns false + logs when params fail the attached schema", () => {
-        const logger = makeLogger();
-        expect(validateNotificationParams(STALE_TASK_CLOSED, logger)).toBe(false);
-        expect(logger.warn).toHaveBeenCalledTimes(1);
-        expect(String(logger.warn.mock.calls[0]?.[0])).toMatch(/task\/closed.*drift signal/);
-    });
-    it("returns true + no log when params conform", () => {
-        const logger = makeLogger();
-        expect(validateNotificationParams(LIVE_TASK_CLOSED, logger)).toBe(true);
-        expect(logger.warn).not.toHaveBeenCalled();
-    });
-});
-//# sourceMappingURL=ws-client.typed-bridge.test.js.map

package/dist/ws-client.typed-bridge.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"ws-client.typed-bridge.test.js","sourceRoot":"","sources":["../src/ws-client.typed-bridge.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAClD,OAAO,EACL,qCAAqC,EACrC,gCAAgC,EAChC,OAAO,EACP,cAAc,EACd,iBAAiB,EACjB,MAAM,GACP,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,uBAAuB,EACvB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AAUxB,0EAA0E;AAC1E,uEAAuE;AACvE,oEAAoE;AACpE,sEAAsE;AACtE,uEAAuE;AACvE,kCAAkC;AAClC,MAAM,iBAAiB,GAAkB;IACvC,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,gCAAgC,CAAC,IAAI;IAC7C,MAAM,EAAE;QACN,SAAS,EAAE,sCAAsC;QACjD,QAAQ,EAAE,sCAAsC;KACjD;IACD,IAAI,EAAE,cAAc;IACpB,UAAU,EAAE,gCAAgC;CAC5B,CAAC;AAEnB,MAAM,gBAAgB,GAAkB;IACtC,GAAG,iBAAiB,CAAC,gCAAgC,EAAE;QACrD,MAAM,EAAE,MAAM,CAAC,sCAAsC,CAAC;QACtD,aAAa,EAAE;YACb,IAAI,EAAE,cAAc,CAAC,sCAAsC,CAAC;SAC7D;QACD,QAAQ,EAAE;YACR,OAAO,EAAE,OAAO,CAAC,sCAAsC,CAAC;YACxD,OAAO,EAAE,SAAS;SACnB;KACF,CAAC;IACF,IAAI,EAAE,cAAc;IACpB,UAAU,EAAE,gCAAgC;CAC7C,CAAC;AAEF,SAAS,UAAU;IAKjB,OAAO;QACL,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE;QACb,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE;QACb,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE;KACf,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,uBAAuB,CACtC,gCAAgC,EAChC,iBAAiB,EACjB,MAAM,CACP,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CACpD,4BAA4B,CAC7B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,uBAAuB,CACtC,gCAAgC,EAChC,gBAAgB,EAChB,MAAM,CACP,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;QAC5B,MAAM,WAAW,GAAG,EAAE,CAAC,KAAK,CAC1B,gCAAgC,EAChC,gBAAgB,CACjB,CAAC;QACF,MAAM,WAAW,GAAuB;YACtC,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,qCAAqC,CAAC,IAAI;YAClD,MAAM,EAAE,EAAE;YACV,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE,qCAAqC;SAC5B,CAAC;QACxB,MAAM,QAAQ,GAAG,uBAAuB,CACtC,gCAAgC,EAChC,WAAW,EACX,MAAM,CACP,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;QAC3C,WAAW,CAAC,WAAW,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,QAAQ,GAAG,uBAAuB,CACtC,gCAAgC,EAChC,iBAAiB,EACjB,SAAS,CACV,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,sEAAsE;AACtE,kEAAkE;AAClE,yEAAyE;AACzE,2BAA2B;AAC3B,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;QAC5B,MAAM,CAAC,0BAA0B,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CACpD,4BAA4B,CAC7B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;QAC5B,MAAM,CAAC,0BAA0B,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}