@moltzap/client 2026.528.0 → 2026.717.0

package/dist/notification/__tests__/snapshot-semantics.test.js

@@ -1,261 +0,0 @@
-/* eslint-disable max-nested-callbacks, max-lines-per-function, sonarjs/max-lines-per-function, agent-code-guard/no-example-only-tests -- vitest + Effect.gen + Stream.runForEach nest by construction; AD1 properties are scenario-shaped (snapshot semantics + lifecycle); generative coverage lives in filter-equivalence.test.ts */
-/**
- * Snapshot-semantics property test (validates AD1 via spec #222 §5.3 OQ-3
- * acceptance criterion). Spec B (#596).
- *
- * Four architect-named properties (see `snapshot-semantics.types-check.ts`
- * for the compile-time AD1 canaries):
- *
- *   1. "No notification with arrival time > T_cancel is delivered through s."
- *      — verified via two subscriptions (`s_observer` + `s_target`) racing
- *      against a series of dispatched frames. After `s_target` cancels at
- *      frame index K, only `s_observer` keeps receiving frames K+1…N.
- *   2. "Unregister between frames doesn't affect prior dispatches." —
- *      verified by registering three subscribers, running `dispatch(frameN)`
- *      once; *after* the dispatch returns, interrupt `s2`, then
- *      `dispatch(frameN+1)` — assert s2 received frameN but not frameN+1.
- *      (Renamed in r1 cleanup per P2-3: this test does NOT exercise true
- *      mid-dispatch interleaving; the standalone "mid-dispatch" test below
- *      does.)
- *   3. "In-flight dispatch of frame N is NOT interrupted by an unregister
- *      that commits during frame N." — verified by forking a dispatch whose
- *      first invoked subscriber suspends on a `Deferred`. While the
- *      dispatch fiber is parked mid-handler, interrupt a SIBLING
- *      subscriber's consumer fiber (which calls `handle.unregister`
- *      via the Stream finalizer); release the dispatch fiber and assert
- *      the interrupted sibling STILL received the frame — proving the
- *      dispatch is iterating a snapshot, not the live list.
- *   4. "Closed client terminates all in-flight Streams with `NotConnectedError`."
- *      — verified by forking a `Stream.runForEach` consumer, calling
- *      `closeAll`, then asserting the fiber's exit is a typed
- *      `NotConnectedError` failure.
- *
- * The tests intentionally exercise `SubscriberRegistry` + the
- * `notification/stream.ts` Stream factories together (the public API
- * surface), not the registry alone — Canary #3's "internal Scope, no
- * leakage" contract is what we are validating end-to-end.
- *
- * Per P3 #612 fix (architect revision): each `expect` here asserts a
- * value computed by the system under test rather than the test's own
- * input — no tautological "X === X" patterns.
- *
- * Determinism (r1 cleanup, P2-2): readiness between forked consumers and
- * the dispatch path uses `Effect.yieldNow()` (deterministic single-tick
- * scheduling) rather than `Effect.sleep(...)` (wall-clock dependent).
- * Mid-dispatch suspension uses `Deferred` so the dispatch fiber is parked
- * at a known point inside the handler, independent of any timer.
- */
-import { describe, expect, it } from "vitest";
-import { Cause, Deferred, Effect, Exit, Fiber, Option, Ref, Stream, } from "effect";
-import { NotConnectedError, } from "@moltzap/protocol";
-import { PresenceChangedNotificationDefinition, MessageReceivedNotificationDefinition, } from "@moltzap/protocol";
-import { makeSubscriberRegistry } from "../../runtime/subscribers.js";
-import { subscribe, subscribeAll } from "../stream.js";
-const PROP_TEST_FRAME_COUNT = 6;
-const PROP_TEST_CANCEL_AT = 3;
-function decodedPresence(seq) {
-    return {
-        _tag: "Notification",
-        jsonrpc: "2.0",
-        definition: PresenceChangedNotificationDefinition,
-        method: PresenceChangedNotificationDefinition.name,
-        params: {
-            agentId: `agent-${seq}`,
-            status: seq % 2 === 0 ? "online" : "offline",
-        },
-    };
-}
-function decodedMessageReceived() {
-    return {
-        _tag: "Notification",
-        jsonrpc: "2.0",
-        definition: MessageReceivedNotificationDefinition,
-        method: MessageReceivedNotificationDefinition.name,
-        params: {
-            message: {
-                id: "m1",
-                conversationId: "c1",
-                senderId: "agent-0",
-                parts: [{ type: "text", text: "hi" }],
-            },
-        },
-    };
-}
-describe("AD1 snapshot semantics — Stream cancellation", () => {
-    it("no notification with index > T_cancel is delivered through s_target", () => Effect.runPromise(Effect.gen(function* () {
-        const registry = yield* makeSubscriberRegistry();
-        const observerSeen = yield* Ref.make([]);
-        const targetSeen = yield* Ref.make([]);
-        const observerFiber = yield* Effect.fork(subscribe(registry, PresenceChangedNotificationDefinition).pipe(Stream.runForEach((frame) => Ref.update(observerSeen, (xs) => [
-            ...xs,
-            Number(frame.params.agentId.slice("agent-".length)),
-        ])), Effect.catchAll(() => Effect.void)));
-        const targetStream = subscribe(registry, PresenceChangedNotificationDefinition);
-        const targetFiber = yield* Effect.fork(targetStream.pipe(Stream.take(PROP_TEST_CANCEL_AT), Stream.runForEach((frame) => Ref.update(targetSeen, (xs) => [
-            ...xs,
-            Number(frame.params.agentId.slice("agent-".length)),
-        ])), Effect.catchAll(() => Effect.void)));
-        // Yield once so each forked consumer's Stream.async register
-        // callback commits its subscription into `subsRef` before the
-        // dispatch loop reads the snapshot. `Effect.yieldNow()` is
-        // deterministic (single-tick scheduling) — replaces the prior
-        // `Effect.sleep("10 millis")` which was wall-clock dependent
-        // (P2-2 r1 cleanup).
-        yield* Effect.yieldNow();
-        for (let i = 0; i < PROP_TEST_FRAME_COUNT; i++) {
-            yield* registry.dispatch(decodedPresence(i));
-        }
-        yield* Effect.yieldNow();
-        yield* Fiber.join(targetFiber);
-        // Drain the registry by running closeAll so the observer fiber
-        // terminates with NotConnectedError and we can assert what it saw.
-        yield* registry.closeAll;
-        yield* Fiber.join(observerFiber);
-        const target = yield* Ref.get(targetSeen);
-        const observer = yield* Ref.get(observerSeen);
-        // Target only saw the first PROP_TEST_CANCEL_AT frames before
-        // Stream.take cancelled its subscription.
-        expect(target.length).toBe(PROP_TEST_CANCEL_AT);
-        for (const idx of target) {
-            expect(idx).toBeLessThan(PROP_TEST_CANCEL_AT);
-        }
-        // Observer (never cancelled) saw every frame.
-        expect(observer.length).toBe(PROP_TEST_FRAME_COUNT);
-    })));
-    it("unregister between frames doesn't affect prior dispatches", () => Effect.runPromise(Effect.gen(function* () {
-        // This test confirms a sequential property — dispatch frameN, then
-        // interrupt s2 BETWEEN dispatches, then dispatch frameN+1 — and
-        // observes that s2 received frameN (because it was registered) and
-        // did NOT receive frameN+1 (because the snapshot at the start of
-        // frameN+1's dispatch excludes the now-unregistered s2). Note that
-        // there is NO concurrent interleaving here: every step completes
-        // before the next begins. True mid-dispatch interleaving is
-        // exercised by the "in-flight dispatch is NOT interrupted by an
-        // unregister that commits during frame N" test below.
-        const registry = yield* makeSubscriberRegistry();
-        const receivedByS2 = yield* Ref.make([]);
-        const s1Fiber = yield* Effect.fork(subscribe(registry, PresenceChangedNotificationDefinition).pipe(Stream.runDrain, Effect.catchAll(() => Effect.void)));
-        const s3Fiber = yield* Effect.fork(subscribe(registry, PresenceChangedNotificationDefinition).pipe(Stream.runDrain, Effect.catchAll(() => Effect.void)));
-        const s2Stream = subscribe(registry, PresenceChangedNotificationDefinition);
-        const s2Fiber = yield* Effect.fork(s2Stream.pipe(Stream.runForEach((frame) => Ref.update(receivedByS2, (xs) => [
-            ...xs,
-            Number(frame.params.agentId.slice("agent-".length)),
-        ])), Effect.catchAll(() => Effect.void)));
-        // Single-tick yield so every forked consumer's Stream.async
-        // register callback commits before the first dispatch reads
-        // the snapshot. Deterministic — see file header (P2-2 r1).
-        yield* Effect.yieldNow();
-        yield* registry.dispatch(decodedPresence(0));
-        // Drain s2's onFrame Effect into receivedByS2 deterministically.
-        yield* Effect.yieldNow();
-        // Interrupt s2's consumer; Stream finalizer runs `unregister`
-        // synchronously. Subsequent dispatch's snapshot must exclude s2.
-        yield* Fiber.interrupt(s2Fiber);
-        yield* registry.dispatch(decodedPresence(1));
-        yield* Effect.yieldNow();
-        const seen = yield* Ref.get(receivedByS2);
-        expect(seen).toEqual([0]);
-        // Tidy up sibling fibers.
-        yield* registry.closeAll;
-        yield* Fiber.join(s1Fiber);
-        yield* Fiber.join(s3Fiber);
-    })));
-    it("in-flight dispatch is NOT interrupted by an unregister that commits during frame N", () => Effect.runPromise(Effect.gen(function* () {
-        // True mid-dispatch interleaving — distinguishes the snapshot
-        // semantic from a live-list-iteration semantic (which would skip
-        // the unregistered subscriber).
-        //
-        // Method: register two subscribers directly via the registry API
-        // so we control the dispatch fiber's progress mid-handler. s1's
-        // handler parks the dispatcher on a `Deferred` inside onFrame.
-        // While parked, we call `s2.unregister` synchronously — mutating
-        // `subsRef`. We then release s1; the dispatcher continues to s2
-        // (per its captured snapshot) and invokes `s2.onFrame`. If the
-        // dispatcher iterated the LIVE list, s2 would have been skipped
-        // and `s2Received` would still be empty.
-        //
-        // (Stream-API end-to-end coverage is exercised by tests #1 and
-        // the closeAll lifecycle test #4; here we need the registry's
-        // direct API to control dispatch ordering deterministically.)
-        const registry = yield* makeSubscriberRegistry();
-        const enteredS1 = yield* Deferred.make();
-        const releaseS1 = yield* Deferred.make();
-        const s2Received = yield* Ref.make([]);
-        yield* registry.register(PresenceChangedNotificationDefinition, undefined, {
-            onFrame: () => Effect.gen(function* () {
-                yield* Deferred.succeed(enteredS1, void 0);
-                yield* Deferred.await(releaseS1);
-            }),
-            onClose: () => Effect.void,
-        });
-        const s2Handle = yield* registry.register(PresenceChangedNotificationDefinition, undefined, {
-            onFrame: (frame) => Ref.update(s2Received, (xs) => [
-                ...xs,
-                Number(frame.params.agentId.slice("agent-".length)),
-            ]),
-            onClose: () => Effect.void,
-        });
-        // Fork dispatch. Snapshot at fork time has both s1 and s2.
-        const dispatchFiber = yield* Effect.fork(registry.dispatch(decodedPresence(0)));
-        // Wait until s1's handler enters (dispatch is parked mid-flight).
-        yield* Deferred.await(enteredS1);
-        // Unregister s2 NOW — concurrently with the parked dispatch.
-        // Mutates subsRef; in-flight snapshot is unaffected.
-        yield* s2Handle.unregister;
-        // Release s1; dispatch proceeds to s2 per its snapshot.
-        yield* Deferred.succeed(releaseS1, void 0);
-        yield* Fiber.join(dispatchFiber);
-        const observed = yield* Ref.get(s2Received);
-        // Snapshot semantic: s2 was in the snapshot, so its onFrame fires
-        // even though it was unregistered while dispatch was mid-flight.
-        expect(observed).toEqual([0]);
-        // Sanity: confirm s2's unregister DID commit to subsRef — a
-        // subsequent dispatch must NOT deliver to s2.
-        yield* registry.dispatch(decodedPresence(1));
-        expect(yield* Ref.get(s2Received)).toEqual([0]);
-        yield* registry.closeAll;
-    })));
-    it("closeAll terminates in-flight Streams with NotConnectedError", () => Effect.runPromise(Effect.gen(function* () {
-        const registry = yield* makeSubscriberRegistry();
-        const fiber = yield* Effect.fork(subscribe(registry, MessageReceivedNotificationDefinition).pipe(Stream.runDrain));
-        // Deterministic single-tick yield so the Stream materialises its
-        // subscription (Stream.async register callback runs synchronously
-        // inside Stream.runDrain's setup on the forked fiber's first turn)
-        // before we call closeAll. P2-2 r1 cleanup.
-        yield* Effect.yieldNow();
-        yield* registry.closeAll;
-        const exit = yield* Fiber.await(fiber);
-        const failure = Exit.causeOption(exit).pipe(Option.flatMap(Cause.failureOption));
-        // Verify the typed failure was NotConnectedError, not a defect.
-        const ok = Option.match(failure, {
-            onNone: () => false,
-            onSome: (e) => e instanceof NotConnectedError,
-        });
-        expect(ok).toBe(true);
-    })));
-    it("subscribeAll receives every notification regardless of definition", () => Effect.runPromise(Effect.gen(function* () {
-        const registry = yield* makeSubscriberRegistry();
-        const observed = yield* Ref.make([]);
-        const fiber = yield* Effect.fork(subscribeAll(registry).pipe(Stream.runForEach((frame) => Ref.update(observed, (xs) => [
-            ...xs,
-            frame.definition.name,
-        ])), Effect.catchAll(() => Effect.void)));
-        // Single-tick yield ensures the forked subscribeAll consumer's
-        // register callback commits before dispatch reads the snapshot
-        // (P2-2 r1).
-        yield* Effect.yieldNow();
-        yield* registry.dispatch(decodedPresence(0));
-        yield* registry.dispatch(decodedMessageReceived());
-        // Drain the consumer's onFrame Effect into `observed` before
-        // closing — deterministic single-tick.
-        yield* Effect.yieldNow();
-        yield* registry.closeAll;
-        yield* Fiber.join(fiber);
-        const names = yield* Ref.get(observed);
-        expect(names).toEqual([
-            PresenceChangedNotificationDefinition.name,
-            MessageReceivedNotificationDefinition.name,
-        ]);
-    })));
-});
-//# sourceMappingURL=snapshot-semantics.test.js.map

package/dist/notification/__tests__/snapshot-semantics.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"snapshot-semantics.test.js","sourceRoot":"","sources":["../../../src/notification/__tests__/snapshot-semantics.test.ts"],"names":[],"mappings":"AAAA,uUAAuU;AAEvU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,KAAK,EACL,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,EACN,GAAG,EACH,MAAM,GACP,MAAM,QAAQ,CAAC;AAChB,OAAO,EACL,iBAAiB,GAGlB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,qCAAqC,EACrC,qCAAqC,GACtC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEvD,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAChC,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAE9B,SAAS,eAAe,CACtB,GAAW;IAEX,OAAO;QACL,IAAI,EAAE,cAAuB;QAC7B,OAAO,EAAE,KAAK;QACd,UAAU,EAAE,qCAAqC;QACjD,MAAM,EAAE,qCAAqC,CAAC,IAAI;QAClD,MAAM,EAAE;YACN,OAAO,EAAE,SAAS,GAAG,EAAE;YACvB,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;SAC7C;KACmE,CAAC;AACzE,CAAC;AAED,SAAS,sBAAsB;IAG7B,OAAO;QACL,IAAI,EAAE,cAAuB;QAC7B,OAAO,EAAE,KAAK;QACd,UAAU,EAAE,qCAAqC;QACjD,MAAM,EAAE,qCAAqC,CAAC,IAAI;QAClD,MAAM,EAAE;YACN,OAAO,EAAE;gBACP,EAAE,EAAE,IAAI;gBACR,cAAc,EAAE,IAAI;gBACpB,QAAQ,EAAE,SAAS;gBACnB,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;aACtC;SACF;KACmE,CAAC;AACzE,CAAC;AAED,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE,CAC7E,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,sBAAsB,EAAE,CAAC;QACjD,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAwB,EAAE,CAAC,CAAC;QAChE,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAwB,EAAE,CAAC,CAAC;QAE9D,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACtC,SAAS,CAAC,QAAQ,EAAE,qCAAqC,CAAC,CAAC,IAAI,CAC7D,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1B,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;YAC/B,GAAG,EAAE;YACL,MAAM,CACH,KAAK,CAAC,MAA8B,CAAC,OAAO,CAAC,KAAK,CACjD,QAAQ,CAAC,MAAM,CAChB,CACF;SACF,CAAC,CACH,EACD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CACF,CAAC;QAEF,MAAM,YAAY,GAAG,SAAS,CAC5B,QAAQ,EACR,qCAAqC,CACtC,CAAC;QACF,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACpC,YAAY,CAAC,IAAI,CACf,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAChC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1B,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;YAC7B,GAAG,EAAE;YACL,MAAM,CACH,KAAK,CAAC,MAA8B,CAAC,OAAO,CAAC,KAAK,CACjD,QAAQ,CAAC,MAAM,CAChB,CACF;SACF,CAAC,CACH,EACD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CACF,CAAC;QAEF,6DAA6D;QAC7D,8DAA8D;QAC9D,2DAA2D;QAC3D,8DAA8D;QAC9D,6DAA6D;QAC7D,qBAAqB;QACrB,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAEzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,qBAAqB,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC;QACD,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAEzB,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAE/B,+DAA+D;QAC/D,mEAAmE;QACnE,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACzB,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAEjC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAE9C,8DAA8D;QAC9D,0CAA0C;QAC1C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAChD,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,mBAAmB,CAAC,CAAC;QAChD,CAAC;QACD,8CAA8C;QAC9C,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACtD,CAAC,CAAC,CACH,CAAC,CAAC;IAEL,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE,CACnE,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,mEAAmE;QACnE,gEAAgE;QAChE,mEAAmE;QACnE,iEAAiE;QACjE,mEAAmE;QACnE,iEAAiE;QACjE,4DAA4D;QAC5D,gEAAgE;QAChE,sDAAsD;QACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,sBAAsB,EAAE,CAAC;QACjD,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAwB,EAAE,CAAC,CAAC;QAEhE,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAChC,SAAS,CAAC,QAAQ,EAAE,qCAAqC,CAAC,CAAC,IAAI,CAC7D,MAAM,CAAC,QAAQ,EACf,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CACF,CAAC;QACF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAChC,SAAS,CAAC,QAAQ,EAAE,qCAAqC,CAAC,CAAC,IAAI,CAC7D,MAAM,CAAC,QAAQ,EACf,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CACF,CAAC;QAEF,MAAM,QAAQ,GAAG,SAAS,CACxB,QAAQ,EACR,qCAAqC,CACtC,CAAC;QACF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAChC,QAAQ,CAAC,IAAI,CACX,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1B,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;YAC/B,GAAG,EAAE;YACL,MAAM,CACH,KAAK,CAAC,MAA8B,CAAC,OAAO,CAAC,KAAK,CACjD,QAAQ,CAAC,MAAM,CAChB,CACF;SACF,CAAC,CACH,EACD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CACF,CAAC;QAEF,4DAA4D;QAC5D,4DAA4D;QAC5D,2DAA2D;QAC3D,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACzB,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,iEAAiE;QACjE,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAEzB,8DAA8D;QAC9D,iEAAiE;QACjE,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAEhC,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAEzB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE1B,0BAA0B;QAC1B,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACzB,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC,CAAC;IAEL,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE,CAC5F,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,8DAA8D;QAC9D,iEAAiE;QACjE,gCAAgC;QAChC,EAAE;QACF,iEAAiE;QACjE,gEAAgE;QAChE,+DAA+D;QAC/D,iEAAiE;QACjE,gEAAgE;QAChE,+DAA+D;QAC/D,gEAAgE;QAChE,yCAAyC;QACzC,EAAE;QACF,+DAA+D;QAC/D,8DAA8D;QAC9D,8DAA8D;QAC9D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,sBAAsB,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAQ,CAAC;QAC/C,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAQ,CAAC;QAC/C,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAwB,EAAE,CAAC,CAAC;QAE9D,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CACtB,qCAAqC,EACrC,SAAS,EACT;YACE,OAAO,EAAE,GAAG,EAAE,CACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC3C,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACnC,CAAC,CAAC;YACJ,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI;SAC3B,CACF,CAAC;QACF,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CACvC,qCAAqC,EACrC,SAAS,EACT;YACE,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;gBAC7B,GAAG,EAAE;gBACL,MAAM,CACH,KAAK,CAAC,MAA8B,CAAC,OAAO,CAAC,KAAK,CACjD,QAAQ,CAAC,MAAM,CAChB,CACF;aACF,CAAC;YACJ,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI;SAC3B,CACF,CAAC;QAEF,2DAA2D;QAC3D,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACtC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CACtC,CAAC;QAEF,kEAAkE;QAClE,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAEjC,6DAA6D;QAC7D,qDAAqD;QACrD,KAAK,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;QAE3B,wDAAwD;QACxD,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;QAC3C,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAEjC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC5C,kEAAkE;QAClE,iEAAiE;QACjE,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9B,4DAA4D;QAC5D,8CAA8C;QAC9C,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAEhD,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;IAC3B,CAAC,CAAC,CACH,CAAC,CAAC;IAEL,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE,CACtE,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,sBAAsB,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAC9B,SAAS,CAAC,QAAQ,EAAE,qCAAqC,CAAC,CAAC,IAAI,CAC7D,MAAM,CAAC,QAAQ,CAGhB,CACF,CAAC;QAEF,iEAAiE;QACjE,kEAAkE;QAClE,mEAAmE;QACnE,4CAA4C;QAC5C,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAEzB,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAEzB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CACzC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CACpC,CAAC;QACF,gEAAgE;QAChE,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE;YAC/B,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;YACnB,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,iBAAiB;SAC9C,CAAC,CAAC;QACH,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,CACH,CAAC,CAAC;IAEL,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE,CAC3E,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,sBAAsB,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAwB,EAAE,CAAC,CAAC;QAE5D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAC9B,YAAY,CAAC,QAAQ,CAAC,CAAC,IAAI,CACzB,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1B,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;YAC3B,GAAG,EAAE;YACJ,KAAK,CAAC,UAAwC,CAAC,IAAI;SACrD,CAAC,CACH,EACD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CACF,CAAC;QAEF,+DAA+D;QAC/D,+DAA+D;QAC/D,aAAa;QACb,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACzB,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CACtB,sBAAsB,EAAoD,CAC3E,CAAC;QAEF,6DAA6D;QAC7D,uCAAuC;QACvC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACzB,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACzB,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEzB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;YACpB,qCAAqC,CAAC,IAAI;YAC1C,qCAAqC,CAAC,IAAI;SAC3C,CAAC,CAAC;IACL,CAAC,CAAC,CACH,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/dist/notification/__tests__/snapshot-semantics.types-check.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"snapshot-semantics.types-check.d.ts","sourceRoot":"","sources":["../../../src/notification/__tests__/snapshot-semantics.types-check.ts"],"names":[],"mappings":"AAkLA,QAAA,MAAM,yBAAyB,EAAE,OAAsB,CAAC;AACxD,OAAO,EAAE,yBAAyB,EAAE,CAAC"}

package/dist/notification/__tests__/snapshot-semantics.types-check.js

@@ -1,62 +0,0 @@
-/**
- * Type-canary for AD1 (architect-decision: trust `Stream.runForEach`
- * cancellation to preserve spec #222 §5.3 OQ-3 snapshot semantics).
- *
- * Compile-time assertions only — this file is referenced by `tsc --build`
- * (via the package's vitest config glob) but has no runtime test bodies.
- * Any drift in `subscribe` / `subscribeAll` public signatures, or in the
- * Stream lifecycle contract, surfaces as a TypeScript error here.
- *
- * **DO NOT delete this file** without first updating spec #596 AD1 and
- * the architect plan at issue #604.
- *
- * **Architect stub** (Spec B): canaries probe the architect-stubbed
- * `subscribe` / `subscribeAll` signatures in `../stream.ts`. Impl-staff
- * preserves the canary shapes and re-targets them at
- * `MoltZapAgentClient.prototype.subscribe` / `.subscribeAll` once the
- * methods are wired.
- */
-import { Stream } from "effect";
-import { subscribe, subscribeAll } from "../stream.js";
-// Phantom value-level pin: passing a Canary alias forces tsc to resolve
-// the alias; a `false` resolution fires TS2344 because `false` is not
-// assignable to the `true` constraint.
-function assertCanary() {
-    // intentionally empty: type-level pin
-}
-import { PresenceChangedNotificationDefinition } from "@moltzap/protocol";
-const _canary1bStream = subscribe(_canary1bRegistry, PresenceChangedNotificationDefinition, _canary1bIsOnline);
-// P3 #612 fix: ground Canary #3 in the ACTUAL return type of a real
-// `Stream.runForEach(_subStreamForCanary, _handlerForCanary)` call,
-// not a manually-reconstructed `Effect<…, E, R>` inferred from the
-// Stream's own type parameters (which would be a tautology). Calling
-// `runForEach` and capturing the return type forces TypeScript to
-// resolve the overloads using the real Stream value's signature.
-const _ad1Canary3Helper = () => Stream.runForEach(_subStreamForCanary, _handlerForCanary);
-// Phantom value-level call sites: pin each Canary alias as used and let
-// knip/oxlint see the file as fully reachable. tsc never invokes
-// `_ad1Canaries`; the canary alias resolutions happen at type-check
-// time inside the function body.
-function _ad1Canaries() {
-    assertCanary();
-    assertCanary();
-    assertCanary();
-    assertCanary();
-    assertCanary();
-    // Force the runtime-shape value declarations to be used (otherwise
-    // tsc warns even on `declare const`). Also exercises a real call
-    // into Stream.runForEach to keep Canary #3's premise grounded.
-    Stream.runForEach(_subStreamForCanary, _handlerForCanary);
-    _ad1Canary3Helper();
-    // Touch `_canary1bStream` so tsc keeps the canary-call expression
-    // alive (the `Equal<>` assertion + the assignment below force the
-    // overload to resolve at compile time).
-    const _touch1b = _canary1bStream;
-    if (false)
-        _touch1b;
-}
-// Discard return so module-level `_ad1Canaries` is read; an assignment
-// to `_` satisfies the linter without invoking the function.
-const _adhoc_phantom_canary_ref = _ad1Canaries;
-export { _adhoc_phantom_canary_ref };
-//# sourceMappingURL=snapshot-semantics.types-check.js.map

package/dist/notification/__tests__/snapshot-semantics.types-check.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"snapshot-semantics.types-check.js","sourceRoot":"","sources":["../../../src/notification/__tests__/snapshot-semantics.types-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAQhC,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAQvD,wEAAwE;AACxE,sEAAsE;AACtE,uCAAuC;AACvC,SAAS,YAAY;IACnB,sCAAsC;AACxC,CAAC;AA2CD,OAAO,EAAE,qCAAqC,EAAE,MAAM,mBAAmB,CAAC;AAS1E,MAAM,eAAe,GAAG,SAAS,CAC/B,iBAAiB,EACjB,qCAAqC,EACrC,iBAAiB,CAClB,CAAC;AAsCF,oEAAoE;AACpE,oEAAoE;AACpE,mEAAmE;AACnE,qEAAqE;AACrE,kEAAkE;AAClE,iEAAiE;AACjE,MAAM,iBAAiB,GAAG,GAAG,EAAE,CAC7B,MAAM,CAAC,UAAU,CAAC,mBAAmB,EAAE,iBAAiB,CAAC,CAAC;AAe5D,wEAAwE;AACxE,iEAAiE;AACjE,oEAAoE;AACpE,iCAAiC;AACjC,SAAS,YAAY;IACnB,YAAY,EAAmC,CAAC;IAChD,YAAY,EAAsC,CAAC;IACnD,YAAY,EAAmC,CAAC;IAChD,YAAY,EAA6C,CAAC;IAC1D,YAAY,EAA6B,CAAC;IAC1C,mEAAmE;IACnE,iEAAiE;IACjE,+DAA+D;IAC/D,MAAM,CAAC,UAAU,CAAC,mBAAmB,EAAE,iBAAiB,CAAC,CAAC;IAC1D,iBAAiB,EAAE,CAAC;IACpB,kEAAkE;IAClE,kEAAkE;IAClE,wCAAwC;IACxC,MAAM,QAAQ,GAA2B,eAAe,CAAC;IACzD,IAAI,KAAgB;QAAE,QAAQ,CAAC;AACjC,CAAC;AACD,uEAAuE;AACvE,6DAA6D;AAC7D,MAAM,yBAAyB,GAAY,YAAY,CAAC;AACxD,OAAO,EAAE,yBAAyB,EAAE,CAAC"}

package/dist/pagination.test.d.ts

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

package/dist/pagination.test.d.ts.map

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

package/dist/pagination.test.js

@@ -1,72 +0,0 @@
-import { it as effectIt } from "@effect/vitest";
-import { describe, expect } from "vitest";
-import { Effect } from "effect";
-const it = effectIt.effect;
-import { ContactsList, } from "@moltzap/protocol";
-import { drainPaginatedList, NonAdvancingCursorError, } from "./pagination.js";
-// The drainer is wire-generic; we exercise it through `contacts/list`
-// because its result is the `{ contacts: T[], nextCursor? }` shape the
-// drain enumerates. The fake `sendRpc` never fails (`SendRpcFn<never>`),
-// so the ONLY error channel left is the cursor-cycle guard — keeping the
-// non-advancing assertion non-vacuous.
-const PAGE_SIZE = 2;
-const TOTAL = 5;
-const EXPECTED_PAGE_CALLS = Math.ceil(TOTAL / PAGE_SIZE);
-const CONSTANT_CURSOR = "stuck-cursor";
-const ALL_CONTACTS = Array.from({ length: TOTAL }, (_unused, i) => ({ id: `contact-${i}` }));
-// Keyset paging over an opaque cursor: the cursor encodes the index of
-// the first row of the NEXT page. `nextCursor` present iff more rows
-// remain (Invariant 1: a present cursor means a further page exists).
-function pagingSendRpc() {
-    let calls = 0;
-    const send = ((_definition, params) => {
-        calls++;
-        const cursor = params.cursor;
-        const start = cursor === undefined ? 0 : Number(cursor);
-        const slice = ALL_CONTACTS.slice(start, start + PAGE_SIZE);
-        const nextStart = start + PAGE_SIZE;
-        const hasMore = nextStart < ALL_CONTACTS.length;
-        return Effect.succeed((hasMore
-            ? { contacts: slice, nextCursor: String(nextStart) }
-            : { contacts: slice }));
-    });
-    return { send, callCount: () => calls };
-}
-// Byzantine server: always claims "more" with the SAME cursor — the
-// drain must terminate via the cycle guard rather than loop forever.
-function nonAdvancingSendRpc() {
-    let calls = 0;
-    const send = ((_definition, _params) => {
-        calls++;
-        return Effect.succeed({
-            contacts: ALL_CONTACTS.slice(0, PAGE_SIZE),
-            nextCursor: CONSTANT_CURSOR,
-        });
-    });
-    return { send, callCount: () => calls };
-}
-function contactId(c) {
-    return c.id;
-}
-const EXPECTED_IDS = ALL_CONTACTS.map(contactId);
-describe("drainPaginatedList", () => {
-    it("drains every page, following nextCursor to the tail", () => Effect.gen(function* () {
-        const fake = pagingSendRpc();
-        const contacts = yield* drainPaginatedList(fake.send, ContactsList, "contacts");
-        expect(contacts).toHaveLength(TOTAL);
-        const ids = contacts.map(contactId);
-        expect(ids).toEqual(EXPECTED_IDS);
-        // One RPC call per page — no over-fetch, no truncation.
-        expect(fake.callCount()).toBe(EXPECTED_PAGE_CALLS);
-    }));
-    it("fails with NonAdvancingCursorError on a repeated cursor (cycle guard)", () => Effect.gen(function* () {
-        const fake = nonAdvancingSendRpc();
-        const error = yield* drainPaginatedList(fake.send, ContactsList, "contacts").pipe(Effect.flip);
-        expect(error).toBeInstanceOf(NonAdvancingCursorError);
-        expect(error.method).toBe(ContactsList.name);
-        // Page 1 records cursor C; page 2 (sent with cursor=C) returns C
-        // again → already seen → typed fail. Bounded at 2 calls, no loop.
-        expect(fake.callCount()).toBe(2);
-    }));
-});
-//# sourceMappingURL=pagination.test.js.map

package/dist/pagination.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"pagination.test.js","sourceRoot":"","sources":["../src/pagination.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,IAAI,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC;AAC3B,OAAO,EACL,YAAY,GAIb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,kBAAkB,EAClB,uBAAuB,GAExB,MAAM,iBAAiB,CAAC;AAEzB,sEAAsE;AACtE,uEAAuE;AACvE,yEAAyE;AACzE,yEAAyE;AACzE,uCAAuC;AAEvC,MAAM,SAAS,GAAG,CAAC,CAAC;AACpB,MAAM,KAAK,GAAG,CAAC,CAAC;AAChB,MAAM,mBAAmB,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC;AACzD,MAAM,eAAe,GAAG,cAAc,CAAC;AAMvC,MAAM,YAAY,GAA+B,KAAK,CAAC,IAAI,CACzD,EAAE,MAAM,EAAE,KAAK,EAAE,EACjB,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,CACzC,CAAC;AAEF,uEAAuE;AACvE,qEAAqE;AACrE,sEAAsE;AACtE,SAAS,aAAa;IAIpB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,IAAI,GAAG,CAAC,CACZ,WAAc,EACd,MAAmB,EACgB,EAAE;QACrC,KAAK,EAAE,CAAC;QACR,MAAM,MAAM,GAAI,MAAuC,CAAC,MAAM,CAAC;QAC/D,MAAM,KAAK,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,CAAC,CAAC;QAC3D,MAAM,SAAS,GAAG,KAAK,GAAG,SAAS,CAAC;QACpC,MAAM,OAAO,GAAG,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC;QAChD,OAAO,MAAM,CAAC,OAAO,CACnB,CAAC,OAAO;YACN,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE;YACpD,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAgB,CACxC,CAAC;IACJ,CAAC,CAAqB,CAAC;IACvB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;AAC1C,CAAC;AAED,oEAAoE;AACpE,qEAAqE;AACrE,SAAS,mBAAmB;IAI1B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,IAAI,GAAG,CAAC,CACZ,WAAc,EACd,OAAoB,EACe,EAAE;QACrC,KAAK,EAAE,CAAC;QACR,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC;YAC1C,UAAU,EAAE,eAAe;SACb,CAAC,CAAC;IACpB,CAAC,CAAqB,CAAC;IACvB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,SAAS,CAAC,CAAc;IAC/B,OAAO,CAAC,CAAC,EAAE,CAAC;AACd,CAAC;AAED,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAEjD,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE,CAC7D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,IAAI,GAAG,aAAa,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,kBAAkB,CACxC,IAAI,CAAC,IAAI,EACT,YAAY,EACZ,UAAU,CACX,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,GAAG,GAAI,QAAuC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAClC,wDAAwD;QACxD,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC,CAAC;IAEN,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE,CAC/E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,IAAI,GAAG,mBAAmB,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,kBAAkB,CACrC,IAAI,CAAC,IAAI,EACT,YAAY,EACZ,UAAU,CACX,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpB,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC,uBAAuB,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC7C,iEAAiE;QACjE,kEAAkE;QAClE,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC,CAAC;AACR,CAAC,CAAC,CAAC"}

package/dist/runtime/close-info.d.ts

@@ -1,84 +0,0 @@
-/**
- * Close-metadata extraction for the WebSocket reader fiber.
- *
- * Responsibility: inspect an `Exit.Exit<void, Socket.SocketError>` produced by
- * `Socket.runRaw(...)` and project it onto a caller-facing `CloseInfo`
- * (WebSocket `{code, reason}`). Spec #222 AC 5.4 requires the real close
- * metadata, not hardcoded constants, when upstream surfaces it; OQ-5 names
- * the defaults to synthesize when it does not.
- *
- * Pure module: no I/O, no Refs, no fibers. Called exactly once per socket
- * lifetime from `MoltZapAgentClient`'s reader-fiber `Effect.onExit` hook
- * (`ws-client.ts:386-411` today — post-impl the extraction happens at that
- * same point before calling `onDisconnect(close)`).
- *
- * Error channel: `extractCloseInfo` is total — every possible `Exit` maps to
- * a `CloseInfo`. The defaults below are the resolution of OQ-5 (A). No
- * typed error surface on this module.
- */
-import { Cause, Data, Exit } from "effect";
-import * as Socket from "@effect/platform/Socket";
-/**
- * WebSocket close metadata surfaced to `AgentClientOptions.onDisconnect`
- * (required arg post-migration — see design doc §Deletions, OQ-6) and to
- * the conformance-adapter's `RealClientCloseEvent`. Mirrors the WHATWG
- * WebSocket `CloseEvent` fields restricted to `{code, reason}` — `wasClean`
- * is derivable from `code` and not worth its own field.
- */
-export interface CloseInfo {
-    readonly code: number;
-    readonly reason: string;
-}
-/**
- * Discriminated shape the reader-fiber exit falls into. Implementation's
- * `extractCloseInfo` pattern-matches this union and returns the `{code,
- * reason}` projection. Named here so downstream review can check that
- * every branch has an assigned close pair.
- *
- * Exhaustiveness (Principle 4): the `Unknown` branch is the residual for
- * any `SocketError` variant `@effect/platform` adds in the future. The
- * implementation's pattern-match ends in `default: return absurd(kind)`.
- */
-export type CloseKind = Data.TaggedEnum<{
-    /** Graceful `SocketCloseError` — upstream code + reason round-tripped. */
-    Clean: {
-        readonly code: number;
-        readonly reason: string;
-    };
-    /** `Exit.Success` with no close frame observed — socket ended cleanly. */
-    EndOfStream: {};
-    /** `SocketGenericError` with reason "Open" / "OpenTimeout". */
-    HandshakeFailure: {
-        readonly underlying: "Open" | "OpenTimeout";
-    };
-    /** `SocketGenericError` with reason "Read" / "Write" — transport broke. */
-    TransportFailure: {
-        readonly underlying: "Read" | "Write";
-    };
-    /** Cause did not match any known `SocketError` shape. */
-    Unknown: {};
-}>;
-/**
- * OQ-5 resolution defaults. Exported so the implementation, tests, and
- * the conformance-adapter's V7 proof share one source of truth.
- */
-export declare const DEFAULT_GRACEFUL_CLOSE: CloseInfo;
-export declare const DEFAULT_ABNORMAL_CLOSE: CloseInfo;
-/**
- * Classify a reader-fiber exit cause into `CloseKind`. Total; the
- * `Unknown` branch is the residual for future `SocketError` variants.
- *
- * Logic:
- *   1. If the cause carries a `SocketCloseError` failure (reason ===
- *      "Close"), surface its `code` + `closeReason` as `Clean`.
- *   2. If it carries a `SocketGenericError`, branch on `reason`:
- *        - "Open" / "OpenTimeout" → `HandshakeFailure`
- *        - "Read" / "Write" → `TransportFailure`
- *   3. Anything else (interrupt, unknown defect, no failure) →
- *      `Unknown`. The caller (`extractCloseInfo`) maps this to the
- *      OQ-5 abnormal default.
- */
-export declare function classifyCloseCause(cause: Cause.Cause<Socket.SocketError>): CloseKind;
-/** Projects an `Exit` onto `CloseInfo`. */
-export declare function extractCloseInfo(exit: Exit.Exit<void, Socket.SocketError>): CloseInfo;
-//# sourceMappingURL=close-info.d.ts.map

package/dist/runtime/close-info.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"close-info.d.ts","sourceRoot":"","sources":["../../src/runtime/close-info.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC3C,OAAO,KAAK,MAAM,MAAM,yBAAyB,CAAC;AAElD;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;IACtC,0EAA0E;IAC1E,KAAK,EAAE;QACL,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC;IACF,0EAA0E;IAC1E,WAAW,EAAE,EAAE,CAAC;IAChB,+DAA+D;IAC/D,gBAAgB,EAAE;QAChB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,aAAa,CAAC;KAC7C,CAAC;IACF,2EAA2E;IAC3E,gBAAgB,EAAE;QAChB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC;KACvC,CAAC;IACF,yDAAyD;IACzD,OAAO,EAAE,EAAE,CAAC;CACb,CAAC,CAAC;AAIH;;;GAGG;AACH,eAAO,MAAM,sBAAsB,EAAE,SAGpC,CAAC;AACF,eAAO,MAAM,sBAAsB,EAAE,SAGpC,CAAC;AAOF;;;;;;;;;;;;;GAaG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GACrC,SAAS,CAMX;AA4BD,2CAA2C;AAC3C,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,GACxC,SAAS,CAiBX"}

package/dist/runtime/close-info.js

@@ -1,102 +0,0 @@
-/**
- * Close-metadata extraction for the WebSocket reader fiber.
- *
- * Responsibility: inspect an `Exit.Exit<void, Socket.SocketError>` produced by
- * `Socket.runRaw(...)` and project it onto a caller-facing `CloseInfo`
- * (WebSocket `{code, reason}`). Spec #222 AC 5.4 requires the real close
- * metadata, not hardcoded constants, when upstream surfaces it; OQ-5 names
- * the defaults to synthesize when it does not.
- *
- * Pure module: no I/O, no Refs, no fibers. Called exactly once per socket
- * lifetime from `MoltZapAgentClient`'s reader-fiber `Effect.onExit` hook
- * (`ws-client.ts:386-411` today — post-impl the extraction happens at that
- * same point before calling `onDisconnect(close)`).
- *
- * Error channel: `extractCloseInfo` is total — every possible `Exit` maps to
- * a `CloseInfo`. The defaults below are the resolution of OQ-5 (A). No
- * typed error surface on this module.
- */
-import { Cause, Data, Exit } from "effect";
-import * as Socket from "@effect/platform/Socket";
-const CloseKind = Data.taggedEnum();
-/**
- * OQ-5 resolution defaults. Exported so the implementation, tests, and
- * the conformance-adapter's V7 proof share one source of truth.
- */
-export const DEFAULT_GRACEFUL_CLOSE = {
-    code: 1000,
-    reason: "normal",
-};
-export const DEFAULT_ABNORMAL_CLOSE = {
-    code: 1006,
-    reason: "abnormal",
-};
-/** Exhaustiveness sentinel for `CloseKind` switches (Principle 4). */
-function absurd(x) {
-    throw new Error(`unreachable CloseKind branch: ${JSON.stringify(x)}`);
-}
-/**
- * Classify a reader-fiber exit cause into `CloseKind`. Total; the
- * `Unknown` branch is the residual for future `SocketError` variants.
- *
- * Logic:
- *   1. If the cause carries a `SocketCloseError` failure (reason ===
- *      "Close"), surface its `code` + `closeReason` as `Clean`.
- *   2. If it carries a `SocketGenericError`, branch on `reason`:
- *        - "Open" / "OpenTimeout" → `HandshakeFailure`
- *        - "Read" / "Write" → `TransportFailure`
- *   3. Anything else (interrupt, unknown defect, no failure) →
- *      `Unknown`. The caller (`extractCloseInfo`) maps this to the
- *      OQ-5 abnormal default.
- */
-export function classifyCloseCause(cause) {
-    for (const failure of Cause.failures(cause)) {
-        const kind = classifySocketFailure(failure);
-        if (kind !== null)
-            return kind;
-    }
-    return CloseKind.Unknown();
-}
-function classifySocketFailure(failure) {
-    if (Socket.SocketCloseError.is(failure)) {
-        return CloseKind.Clean({
-            code: failure.code,
-            reason: failure.closeReason ?? "",
-        });
-    }
-    if (!Socket.isSocketError(failure))
-        return null;
-    return classifyGenericSocketError(failure);
-}
-function classifyGenericSocketError(failure) {
-    switch (failure.reason) {
-        case "Open":
-        case "OpenTimeout":
-            return CloseKind.HandshakeFailure({ underlying: failure.reason });
-        case "Read":
-        case "Write":
-            return CloseKind.TransportFailure({ underlying: failure.reason });
-        default:
-            return CloseKind.Unknown();
-    }
-}
-/** Projects an `Exit` onto `CloseInfo`. */
-export function extractCloseInfo(exit) {
-    if (Exit.isSuccess(exit)) {
-        return DEFAULT_GRACEFUL_CLOSE;
-    }
-    const kind = classifyCloseCause(exit.cause);
-    switch (kind._tag) {
-        case "Clean":
-            return { code: kind.code, reason: kind.reason };
-        case "EndOfStream":
-            return DEFAULT_GRACEFUL_CLOSE;
-        case "HandshakeFailure":
-        case "TransportFailure":
-        case "Unknown":
-            return DEFAULT_ABNORMAL_CLOSE;
-        default:
-            return absurd(kind);
-    }
-}
-//# sourceMappingURL=close-info.js.map

package/dist/runtime/close-info.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"close-info.js","sourceRoot":"","sources":["../../src/runtime/close-info.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC3C,OAAO,KAAK,MAAM,MAAM,yBAAyB,CAAC;AA4ClD,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,EAAa,CAAC;AAE/C;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAc;IAC/C,IAAI,EAAE,IAAI;IACV,MAAM,EAAE,QAAQ;CACjB,CAAC;AACF,MAAM,CAAC,MAAM,sBAAsB,GAAc;IAC/C,IAAI,EAAE,IAAI;IACV,MAAM,EAAE,UAAU;CACnB,CAAC;AAEF,sEAAsE;AACtE,SAAS,MAAM,CAAC,CAAQ;IACtB,MAAM,IAAI,KAAK,CAAC,iCAAiC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACxE,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAsC;IAEtC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;IACjC,CAAC;IACD,OAAO,SAAS,CAAC,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAgB;IAC7C,IAAI,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC,KAAK,CAAC;YACrB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;SAClC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,0BAA0B,CAAC,OAAoC,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAkC;IAElC,QAAQ,OAAO,CAAC,MAAM,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC;QACZ,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC,gBAAgB,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACpE,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,gBAAgB,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACpE;YACE,OAAO,SAAS,CAAC,OAAO,EAAE,CAAC;IAC/B,CAAC;AACH,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,gBAAgB,CAC9B,IAAyC;IAEzC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,sBAAsB,CAAC;IAChC,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QAClD,KAAK,aAAa;YAChB,OAAO,sBAAsB,CAAC;QAChC,KAAK,kBAAkB,CAAC;QACxB,KAAK,kBAAkB,CAAC;QACxB,KAAK,SAAS;YACZ,OAAO,sBAAsB,CAAC;QAChC;YACE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;AACH,CAAC"}

package/dist/runtime/close-info.test.d.ts

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

package/dist/runtime/close-info.test.d.ts.map

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