@moltzap/client 2026.518.0 → 2026.519.1

package/dist/channel-base/lease.js

@@ -0,0 +1,110 @@
+/**
+ * Channel-base lease primitives.
+ *
+ * Public surface for spec C (#597):
+ * - `LeaseAlreadyConsumed`: canonical tagged error class. One definition site
+ *   across all three channels (claude-code, openclaw, nanoclaw).
+ * - `projectLeaseInvalid`: predicate that narrows a `RpcServerError` to
+ *   `LeaseAlreadyConsumed` when the server's wire-error payload matches the
+ *   single-use-lease shape.
+ * - `catchLeaseInvalid`: Effect-pipe convenience that runs the projection
+ *   inside `Effect.catchTag("RpcServerError", ...)` with
+ *   `Clock.currentTimeMillis` threaded into the projector as `consumedAt`.
+ */
+import { Clock, Data, Effect } from "effect";
+import { RpcServerError } from "@moltzap/protocol";
+/**
+ * The dispatch lease was already consumed (server returned the typed
+ * single-use-lease failure on a second `messages/send` for the same lease).
+ *
+ * Construction is **only** via `projectLeaseInvalid` (or `catchLeaseInvalid`).
+ * The original `RpcServerError` is preserved on `cause` so hosts can inspect
+ * the wire payload without re-fetching.
+ *
+ * See arch sub-issue #605 §3.1 for the shape rationale (cause field is the
+ * verbatim wire error; consumedAt is `Clock.currentTimeMillis` at projection
+ * time; message is derived from cause.message).
+ */
+export class LeaseAlreadyConsumed extends Data.TaggedError("LeaseAlreadyConsumed") {
+}
+const LEASE_ID_FALLBACK = "(unknown)";
+function isLeaseInvalidData(data) {
+    if (typeof data !== "object" || data === null)
+        return false;
+    const reason = data.reason;
+    const tag = data._tag;
+    // Today's wire shape: `ForbiddenError.data.reason === "LeaseInvalid"`
+    // (arch sub-issue #605 §3.2). The `_tag` arm is forward-compat for a
+    // future server that emits the canonical tag in `data` directly.
+    return reason === "LeaseInvalid" || tag === "LeaseAlreadyConsumed";
+}
+/**
+ * Project an `RpcServerError` to `LeaseAlreadyConsumed` if it matches the
+ * lease-invalid wire shape; otherwise return the original error unchanged.
+ *
+ * Predicate (architect-corrected per arch sub-issue #605 §3.2):
+ *   `err.data.reason === "LeaseInvalid"` OR
+ *   `err.data._tag === "LeaseAlreadyConsumed"` (forward-compat for a future
+ *   server that emits the canonical tag in data).
+ *
+ * The wire code (-32001 / generic Forbidden) is intentionally NOT part of
+ * the predicate because the code is too generic to discriminate on alone.
+ *
+ * `ctx.leaseId` (optional) is the lease the caller just sent. Caller-supplied
+ * because the server's `ForbiddenError.data` shape does NOT carry leaseId.
+ * Falls back to `"(unknown)"` when omitted (matches the pre-refactor
+ * claude-code behavior).
+ *
+ * `ctx.consumedAt` (required) is the epoch ms to stamp on the resulting
+ * `LeaseAlreadyConsumed.consumedAt`. Required because `LeaseAlreadyConsumed`
+ * requires it and this function is synchronous (no Clock access). Callers
+ * either pass `Date.now()` directly or use `catchLeaseInvalid` which reads
+ * `Clock.currentTimeMillis` inside the Effect.
+ */
+export function projectLeaseInvalid(err, ctx) {
+    if (!isLeaseInvalidData(err.data))
+        return err;
+    return new LeaseAlreadyConsumed({
+        leaseId: ctx.leaseId ?? LEASE_ID_FALLBACK,
+        consumedAt: ctx.consumedAt,
+        cause: err,
+        message: err.message,
+    });
+}
+/**
+ * Effect-pipe convenience: catches `RpcServerError` and runs
+ * `projectLeaseInvalid` on each instance. Reads `Clock.currentTimeMillis`
+ * inside the catch and passes the result to `projectLeaseInvalid` as
+ * `consumedAt`. Matching errors are surfaced as the typed
+ * `LeaseAlreadyConsumed` on the failure channel; non-matching errors are
+ * re-raised unchanged so downstream `mapError`s see the original
+ * `RpcServerError`.
+ *
+ * Use at every channel's outbound `core.sendReply(...)` boundary:
+ *
+ * ```ts
+ * core.sendReply(conv, text, { dispatchLeaseId: leaseId }).pipe(
+ *   catchLeaseInvalid({ leaseId }),
+ *   // ... per-channel surfacing
+ * )
+ * ```
+ */
+export function catchLeaseInvalid(ctx) {
+    // `Effect.catchAll` over the union (rather than `catchTag("RpcServerError",
+    // ...)`) keeps the typechecker happy when `E2` is unconstrained — without
+    // narrowing on the runtime instance, TS conservatively infers that `E2`
+    // could itself carry `_tag: "RpcServerError"`. The `instanceof` branch
+    // partitions cleanly.
+    return (eff) => Effect.catchAll(eff, (err) => {
+        if (err instanceof RpcServerError) {
+            return Effect.flatMap(Clock.currentTimeMillis, (consumedAt) => Effect.fail(projectLeaseInvalid(err, {
+                ...(ctx?.leaseId !== undefined ? { leaseId: ctx.leaseId } : {}),
+                consumedAt,
+            })));
+        }
+        // Non-RpcServerError residual (E2). Re-raise unchanged so downstream
+        // `mapError`s see it without coupling to channel-base.
+        return Effect.fail(err);
+    });
+}
+//# sourceMappingURL=lease.js.map

package/dist/channel-base/lease.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lease.js","sourceRoot":"","sources":["../../src/channel-base/lease.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,oBAAqB,SAAQ,IAAI,CAAC,WAAW,CACxD,sBAAsB,CAMtB;CAAG;AAaL,MAAM,iBAAiB,GAAG,WAAW,CAAC;AAEtC,SAAS,kBAAkB,CAAC,IAAa;IACvC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC5D,MAAM,MAAM,GAAI,IAAsC,CAAC,MAAM,CAAC;IAC9D,MAAM,GAAG,GAAI,IAAoC,CAAC,IAAI,CAAC;IACvD,sEAAsE;IACtE,qEAAqE;IACrE,iEAAiE;IACjE,OAAO,MAAM,KAAK,cAAc,IAAI,GAAG,KAAK,sBAAsB,CAAC;AACrE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,mBAAmB,CACjC,GAAmB,EACnB,GAA+D;IAE/D,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IAC9C,OAAO,IAAI,oBAAoB,CAAC;QAC9B,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,iBAAiB;QACzC,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,KAAK,EAAE,GAAG;QACV,OAAO,EAAE,GAAG,CAAC,OAAO;KACrB,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,iBAAiB,CAAW,GAE3C;IAGC,4EAA4E;IAC5E,0EAA0E;IAC1E,wEAAwE;IACxE,uEAAuE;IACvE,sBAAsB;IACtB,OAAO,CAAC,GAAG,EAAE,EAAE,CACb,MAAM,CAAC,QAAQ,CACb,GAAG,EACH,CAAC,GAAG,EAAwD,EAAE;QAC5D,IAAI,GAAG,YAAY,cAAc,EAAE,CAAC;YAClC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC,UAAU,EAAE,EAAE,CAC5D,MAAM,CAAC,IAAI,CACT,mBAAmB,CAAC,GAAG,EAAE;gBACvB,GAAG,CAAC,GAAG,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/D,UAAU;aACX,CAAC,CACH,CACF,CAAC;QACJ,CAAC;QACD,qEAAqE;QACrE,uDAAuD;QACvD,OAAO,MAAM,CAAC,IAAI,CAAC,GAAS,CAAC,CAAC;IAChC,CAAC,CACF,CAAC;AACN,CAAC"}

package/dist/index.d.ts

@@ -5,7 +5,7 @@ export { MoltZapService, formatCrossConversationBlock, sanitizeForSystemReminder
 export { AgentNotFoundError, MalformedFrameError } from "./runtime/errors.js";
 export { MoltZapChannelCore, type ChannelCoreOptions, type ChannelService, type ContextBlocks, type DispatchAdmissionDecision, type DispatchAdmissionRequest, type DispatchReleaseFrame, type EnrichedConversationMeta, type EnrichedInboundMessage, type EnrichedSender, type InboundHandler, type PendingDispatchMessage, } from "./channel-core.js";
 export { MoltZapWsClient, type MoltZapWsClientOptions, type ServerRpcContext, type ServerRpcHandler, type RpcCallOptions, } from "./ws-client.js";
-export type { SubscriptionFilter, SubscriptionId, NotificationSubscription, SubscriberHandler, } from "./runtime/subscribers.js";
 export type { CloseInfo } from "./runtime/close-info.js";
+export { TimeoutError as NotificationTimeoutError, StreamClosedError as NotificationStreamClosedError, type NotificationConsumerError, } from "./notification/errors.js";
 export { registerAgent, type RegisterAgentOptions, type RegisterResponse, } from "./auth.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EACL,cAAc,EACd,4BAA4B,EAC5B,yBAAyB,EACzB,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,cAAc,EACnB,KAAK,eAAe,GACrB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,yBAAyB,EAC9B,KAAK,wBAAwB,EAC7B,KAAK,oBAAoB,EACzB,KAAK,wBAAwB,EAC7B,KAAK,sBAAsB,EAC3B,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,sBAAsB,GAC5B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,eAAe,EACf,KAAK,sBAAsB,EAC3B,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,cAAc,GACpB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,kBAAkB,EAClB,cAAc,EACd,wBAAwB,EACxB,iBAAiB,GAClB,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EACL,aAAa,EACb,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,GACtB,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EACL,cAAc,EACd,4BAA4B,EAC5B,yBAAyB,EACzB,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,cAAc,EACnB,KAAK,eAAe,GACrB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,yBAAyB,EAC9B,KAAK,wBAAwB,EAC7B,KAAK,oBAAoB,EACzB,KAAK,wBAAwB,EAC7B,KAAK,sBAAsB,EAC3B,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,sBAAsB,GAC5B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,eAAe,EACf,KAAK,sBAAsB,EAC3B,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,cAAc,GACpB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAIzD,OAAO,EACL,YAAY,IAAI,wBAAwB,EACxC,iBAAiB,IAAI,6BAA6B,EAClD,KAAK,yBAAyB,GAC/B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,aAAa,EACb,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,GACtB,MAAM,WAAW,CAAC"}

package/dist/index.js

@@ -5,5 +5,9 @@ export { MoltZapService, formatCrossConversationBlock, sanitizeForSystemReminder
 export { AgentNotFoundError, MalformedFrameError } from "./runtime/errors.js";
 export { MoltZapChannelCore, } from "./channel-core.js";
 export { MoltZapWsClient, } from "./ws-client.js";
+// Spec B (#596) — tagged errors for the typed-Stream subscribe surface.
+// `NotificationConsumerError` is a type union (see notification/errors.ts
+// header for rationale, codex review r1 finding #8).
+export { TimeoutError as NotificationTimeoutError, StreamClosedError as NotificationStreamClosedError, } from "./notification/errors.js";
 export { registerAgent, } from "./auth.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EACL,cAAc,EACd,4BAA4B,EAC5B,yBAAyB,GAO1B,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC9E,OAAO,EACL,kBAAkB,GAYnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,eAAe,GAKhB,MAAM,gBAAgB,CAAC;AAQxB,OAAO,EACL,aAAa,GAGd,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EACL,cAAc,EACd,4BAA4B,EAC5B,yBAAyB,GAO1B,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC9E,OAAO,EACL,kBAAkB,GAYnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,eAAe,GAKhB,MAAM,gBAAgB,CAAC;AAExB,wEAAwE;AACxE,0EAA0E;AAC1E,qDAAqD;AACrD,OAAO,EACL,YAAY,IAAI,wBAAwB,EACxC,iBAAiB,IAAI,6BAA6B,GAEnD,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,aAAa,GAGd,MAAM,WAAW,CAAC"}

package/dist/notification/__tests__/filter-equivalence.test.d.ts

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

package/dist/notification/__tests__/filter-equivalence.test.d.ts.map

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

package/dist/notification/__tests__/filter-equivalence.test.js

@@ -0,0 +1,123 @@
+/* eslint-disable max-nested-callbacks, max-lines-per-function, sonarjs/max-lines-per-function, agent-code-guard/as-unknown-as, agent-code-guard/async-keyword, jsdoc/text-escaping -- fast-check + Effect.gen + Stream.runForEach nest by construction; the cross-shape brand erasure in `oracle`/`fakeOtherFrame` is the typed→erased boundary the property test deliberately probes; fc.asyncProperty requires an async function */
+/**
+ * Filter-equivalence oracle (spec #596 §Acceptance criteria).
+ *
+ * For any property-generated sequence of inbound notifications (length up
+ * to 32, value pool size up to 8) and any property-generated typed
+ * predicate `p`, the Stream-based subscribe API output equals the pure-JS
+ * reference `frames.filter(frame => def===frame.definition && p(frame.params))`.
+ *
+ * The oracle is a pure-JS reference implementation embedded in this file
+ * (NOT a reference to the deleted three-storage shape).
+ *
+ * Bounded generators per spec: max array length 32, value pool size 8.
+ *
+ * The type-guard overload narrows the Stream's payload to
+ * `DecodedNotification<D, R>`; the second property-test below pins the
+ * runtime narrowing matches the compile-time canary in
+ * `snapshot-semantics.types-check.ts → Canary #1`.
+ */
+import { describe, expect, it } from "vitest";
+import * as fc from "fast-check";
+import { Effect, Fiber, Ref, Stream } from "effect";
+import { PresenceChangedNotificationDefinition, } from "@moltzap/protocol";
+import { makeSubscriberRegistry } from "../../runtime/subscribers.js";
+import { subscribe } from "../stream.js";
+const MAX_SEQUENCE_LENGTH = 32;
+const VALUE_POOL_SIZE = 8;
+const PROPERTY_RUN_COUNT = 25;
+const arbAgentId = fc
+    .integer({ min: 0, max: VALUE_POOL_SIZE - 1 })
+    .map((n) => `agent-${n}`);
+const arbStatus = fc.constantFrom("online", "offline");
+const arbGeneratedFrame = fc.record({
+    definitionTag: fc.constantFrom("presence", "other"),
+    agentId: arbAgentId,
+    status: arbStatus,
+});
+const arbSequence = fc.array(arbGeneratedFrame, {
+    minLength: 0,
+    maxLength: MAX_SEQUENCE_LENGTH,
+});
+/** Pure-JS reference oracle. Filters by definition identity + predicate. */
+function oracle(frames, predicate) {
+    const presenceOnly = frames.filter((f) => f.definitionTag === "presence");
+    const presenceParams = presenceOnly.map((f) => ({ agentId: f.agentId, status: f.status }));
+    return presenceParams.filter(predicate);
+}
+function decodedPresence(generated) {
+    return {
+        _tag: "Notification",
+        jsonrpc: "2.0",
+        definition: PresenceChangedNotificationDefinition,
+        method: PresenceChangedNotificationDefinition.name,
+        params: {
+            agentId: generated.agentId,
+            status: generated.status,
+        },
+    };
+}
+function fakeOtherFrame(generated) {
+    // A frame whose `.definition` reference does NOT match
+    // `PresenceChangedNotificationDefinition` — used to verify the registry's
+    // definition-identity filter drops it before the predicate runs.
+    const raw = {
+        _tag: "Notification",
+        jsonrpc: "2.0",
+        definition: { name: "other/method" },
+        method: "other/method",
+        params: { agentId: generated.agentId, status: generated.status },
+    };
+    return raw; // #ignore-sloppy-code[as-unknown-as]: fake-frame for the non-matching arm; the test is precisely about the boundary's behaviour on misshapen frames
+}
+describe("Spec B filter-equivalence oracle", () => {
+    it("Stream output equals pure-JS filter oracle for arbitrary inputs", () => fc.assert(fc.asyncProperty(arbSequence, async (frames) => {
+        // Property-generated predicate: deterministic, total, varies by
+        // status. Closing over an outer counter would invalidate the
+        // oracle equivalence.
+        const predicate = (params) => params.status === "online";
+        const collected = await Effect.runPromise(Effect.gen(function* () {
+            const registry = yield* makeSubscriberRegistry();
+            const seen = yield* Ref.make([]);
+            const fiber = yield* Effect.fork(subscribe(registry, PresenceChangedNotificationDefinition, predicate).pipe(Stream.runForEach((frame) => Ref.update(seen, (xs) => [...xs, frame.params])), Effect.catchAll(() => Effect.void)));
+            // Yield once to materialise the Stream's subscription via
+            // Stream.async's register callback.
+            yield* Effect.yieldNow();
+            for (const f of frames) {
+                const decoded = f.definitionTag === "presence"
+                    ? decodedPresence(f)
+                    : fakeOtherFrame(f);
+                yield* registry.dispatch(decoded);
+            }
+            yield* Effect.yieldNow();
+            yield* registry.closeAll;
+            yield* Fiber.join(fiber);
+            return yield* Ref.get(seen);
+        }));
+        const expected = oracle(frames, predicate);
+        expect(collected).toEqual(expected);
+    }), { numRuns: PROPERTY_RUN_COUNT }));
+    it("user-defined type guard narrows the Stream payload", () => Effect.runPromise(Effect.gen(function* () {
+        const registry = yield* makeSubscriberRegistry();
+        const seen = yield* Ref.make([]);
+        const isOnline = (params) => params.status === "online";
+        const fiber = yield* Effect.fork(subscribe(registry, PresenceChangedNotificationDefinition, isOnline).pipe(Stream.runForEach((frame) => Ref.update(seen, (xs) => [...xs, frame.params])), Effect.catchAll(() => Effect.void)));
+        yield* Effect.yieldNow();
+        yield* registry.dispatch(decodedPresence({
+            definitionTag: "presence",
+            agentId: "agent-0",
+            status: "online",
+        }));
+        yield* registry.dispatch(decodedPresence({
+            definitionTag: "presence",
+            agentId: "agent-1",
+            status: "offline",
+        }));
+        yield* Effect.yieldNow();
+        yield* registry.closeAll;
+        yield* Fiber.join(fiber);
+        const observed = yield* Ref.get(seen);
+        expect(observed).toEqual([{ agentId: "agent-0", status: "online" }]);
+    })));
+});
+//# sourceMappingURL=filter-equivalence.test.js.map

package/dist/notification/__tests__/filter-equivalence.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter-equivalence.test.js","sourceRoot":"","sources":["../../../src/notification/__tests__/filter-equivalence.test.ts"],"names":[],"mappings":"AAAA,saAAsa;AAEta;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACpD,OAAO,EACL,qCAAqC,GAGtC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAEzC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAC/B,MAAM,eAAe,GAAG,CAAC,CAAC;AAC1B,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAY9B,MAAM,UAAU,GAAG,EAAE;KAClB,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,eAAe,GAAG,CAAC,EAAE,CAAC;KAC7C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;AAE5B,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAuB,QAAQ,EAAE,SAAS,CAAC,CAAC;AAE7E,MAAM,iBAAiB,GAAiC,EAAE,CAAC,MAAM,CAAC;IAChE,aAAa,EAAE,EAAE,CAAC,YAAY,CAAuB,UAAU,EAAE,OAAO,CAAC;IACzE,OAAO,EAAE,UAAU;IACnB,MAAM,EAAE,SAAS;CAClB,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,EAAE,CAAC,KAAK,CAAC,iBAAiB,EAAE;IAC9C,SAAS,EAAE,CAAC;IACZ,SAAS,EAAE,mBAAmB;CAC/B,CAAC,CAAC;AAEH,4EAA4E;AAC5E,SAAS,MAAM,CACb,MAAqC,EACrC,SAA8C;IAE9C,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,UAAU,CAAC,CAAC;IAC1E,MAAM,cAAc,GAAG,YAAY,CAAC,GAAG,CACrC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAA8B,CAC1E,CAAC;IACF,OAAO,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,eAAe,CACtB,SAAyB;IAEzB,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,CAAC,OAAoC;YACvD,MAAM,EAAE,SAAS,CAAC,MAAM;SACzB;KACmE,CAAC;AACzE,CAAC;AAMD,SAAS,cAAc,CAAC,SAAyB;IAC/C,uDAAuD;IACvD,0EAA0E;IAC1E,iEAAiE;IACjE,MAAM,GAAG,GAAG;QACV,IAAI,EAAE,cAAuB;QAC7B,OAAO,EAAE,KAAK;QACd,UAAU,EAAE,EAAE,IAAI,EAAE,cAAc,EAAa;QAC/C,MAAM,EAAE,cAAc;QACtB,MAAM,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE;KACjE,CAAC;IACF,OAAO,GAA+B,CAAC,CAAC,oJAAoJ;AAC9L,CAAC;AAED,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE,CACzE,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;QAC7C,gEAAgE;QAChE,6DAA6D;QAC7D,sBAAsB;QACtB,MAAM,SAAS,GAAG,CAAC,MAAsB,EAAE,EAAE,CAC3C,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC;QAE7B,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,UAAU,CACvC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,sBAAsB,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAgC,EAAE,CAAC,CAAC;YAEhE,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAC9B,SAAS,CACP,QAAQ,EACR,qCAAqC,EACrC,SAAS,CACV,CAAC,IAAI,CACJ,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1B,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAChD,EACD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CACF,CAAC;YAEF,0DAA0D;YAC1D,oCAAoC;YACpC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAEzB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,MAAM,OAAO,GACX,CAAC,CAAC,aAAa,KAAK,UAAU;oBAC5B,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC;oBACpB,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;gBACxB,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;YAED,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACzB,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACzB,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAEzB,OAAO,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC,CAAC,CACH,CAAC;QAEF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAChC,CAAC,CAAC;IAEL,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE,CAC5D,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,sBAAsB,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAgC,EAAE,CAAC,CAAC;QAOhE,MAAM,QAAQ,GAAG,CAAC,MAAsB,EAA4B,EAAE,CACpE,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC;QAE7B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAC9B,SAAS,CACP,QAAQ,EACR,qCAAqC,EACrC,QAAQ,CACT,CAAC,IAAI,CACJ,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1B,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAChD,EACD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CACF,CAAC;QACF,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAEzB,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CACtB,eAAe,CAAC;YACd,aAAa,EAAE,UAAU;YACzB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,QAAQ;SACjB,CAAC,CACH,CAAC;QACF,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CACtB,eAAe,CAAC;YACd,aAAa,EAAE,UAAU;YACzB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB,CAAC,CACH,CAAC;QAEF,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,QAAQ,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CACH,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/dist/notification/__tests__/snapshot-semantics.test.d.ts

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

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

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

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

@@ -0,0 +1,261 @@
+/* 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,3 @@
+declare const _adhoc_phantom_canary_ref: unknown;
+export { _adhoc_phantom_canary_ref };
+//# sourceMappingURL=snapshot-semantics.types-check.d.ts.map

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

@@ -0,0 +1 @@
+{"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"}