@playfast/reform 0.0.1

package/dist/esm/remote/remoteState.js

@@ -0,0 +1,270 @@
+import { Context, Effect, Either, Layer, MutableRef, Option, Runtime, Schema } from 'effect';
+import { AsyncData, narrowStore, widenStore } from '../calc/asyncData.js';
+import * as Channel from '../channel/channel.js';
+import { yieldableClass } from '../definition/definition.js';
+import * as Event from '../event/event.js';
+import { bumpRevision, gatedFlag, makeQueryDriver, RevisionSchema, revisionZero, } from '../internal/queryDriver.js';
+import { reuse as shareStructure } from '../internal/reuse.js';
+import { resolveScheduler } from '../internal/scheduler.js';
+import { sameKey, } from '../internal/sources.js';
+import { makeDerivedStore, makeStore } from '../internal/store.js';
+import { readTracked } from '../internal/track.js';
+import * as Reducer from '../reducer/reducer.js';
+import { Bus, narrowHandled, publish } from '../runtime/bus.js';
+import { Reducers } from '../runtime/loop.js';
+import * as State from '../state/state.js';
+import { StateToken } from '../state/token.js';
+// Intent payloads are typed by the definition's `Intents`, but `Intents` is an
+// open type parameter inside `make`/`live`, so the runtime schemas can only be
+// structural (`Schema.Unknown` in the intent slot). Event schemas are
+// reflective metadata — never decoded on the dispatch path — so the typed view
+// is granted here once (the `narrowStore`/`narrowHandled` style; `any`
+// short-circuits the schema's invariance, no value is cast).
+const looseSchema = (schema) => schema;
+/**
+ * Define a remote state: a query (like `AsyncCalc.make`) plus the intent
+ * events that mutate it. `yield* TheClass` reads the overlaid view;
+ * `TheClass.truth` / `TheClass.pending` / `TheClass.Failed` expose the rest of
+ * the surface. The query/send/apply logic is supplied by `RemoteState.live`.
+ */
+export const make = (name, config) => {
+    const store = Context.GenericTag(`reform/remoteState/${name}`);
+    const truthTag = Context.GenericTag(`reform/remoteState/${name}/truth`);
+    const pendingTag = Context.GenericTag(`reform/remoteState/${name}/pending`);
+    const gated = gatedFlag(config.alwaysOn);
+    const manifest = {
+        kind: 'RemoteState',
+        name,
+        output: config.output,
+        gated,
+        intents: config.intents.map((event) => event.tag),
+        ...(config.error !== undefined ? { error: config.error } : {}),
+    };
+    // Annotated consts so the template literal expressions keep their literal
+    // types (contextual typing) — the statics must match the interface exactly.
+    const truthName = `${name}/truth`;
+    const pendingName = `${name}/pending`;
+    const failedName = `${name}/Failed`;
+    const read = Effect.flatMap(store, readTracked);
+    return yieldableClass(read, {
+        manifest,
+        store,
+        name,
+        inputs: config.inputs,
+        intents: config.intents,
+        gated,
+        truth: new StateToken(truthName, truthTag),
+        pending: new StateToken(pendingName, pendingTag),
+        Failed: Event.make(failedName, looseSchema(Schema.Struct({ intent: Schema.Unknown, error: Schema.Unknown }))),
+    });
+};
+/**
+ * Wire a remote state: the query driver (truth), the overlay (visible view),
+ * the hidden queue reducer, the send procedure, and the settle link between
+ * them — one layer. Hidden names minted per call, namespaced by the remote
+ * state's name: events `…/Queued`/`…/Acked`/`…/Settled`/`…/Invalidated`, state
+ * `…/revision`, reducers `…/pending`/`…/revision`, procedure `…/send`, default
+ * channel `…/sends`.
+ */
+export const live = (remote, config) => {
+    const name = remote.manifest.name;
+    const truthTag = remote.truth.store;
+    const pendingTag = remote.pending.store;
+    // The hidden event vocabulary. `Queued` carries the intent (the queue
+    // reducer's only source of it); `Acked`/`Settled` name the op; `Invalidated`
+    // bumps the hidden revision exactly like an `invalidateOn` event.
+    const Queued = Event.make(`${name}/Queued`, looseSchema(Schema.Struct({ opId: Schema.String, intent: Schema.Unknown })));
+    const Acked = Event.make(`${name}/Acked`, Schema.Struct({ opId: Schema.String }));
+    const Settled = Event.make(`${name}/Settled`, Schema.Struct({ opId: Schema.String }));
+    const Invalidated = Event.make(`${name}/Invalidated`, Schema.Struct({}));
+    // The hidden revision pair (the `invalidateOn` machinery, unconditional here:
+    // `Invalidated` always drives it; user `invalidateOn` events join the same fold).
+    const revisionState = State.make(`${name}/revision`, RevisionSchema);
+    const revisionReducer = Reducer.make(`${name}/revision`, {
+        states: [revisionState],
+        events: [Invalidated, ...(config.invalidateOn ?? [])],
+    });
+    // The settle link, keyed per live so two remote states never cross-resolve.
+    const linkTag = Context.GenericTag(`reform/remoteState/${name}/link`);
+    // ── 1. Driver + link: the truth store and the generation bookkeeping. ──────
+    const driverLayer = Layer.scopedContext(Effect.gen(function* () {
+        // `disabled` is rejected at the type level for non-gated definitions
+        // (erased to `never` there); read it through a loose view for the runtime.
+        const cfg = config;
+        // Requirement-free read (`serviceOption`): the assembly below always
+        // provides the revision store alongside this driver.
+        const revision = Option.getOrUndefined(yield* Effect.serviceOption(revisionState.store));
+        const runtime = yield* Effect.runtime();
+        // Settle waiters: a plain registry, not fibers parked per intent — so the
+        // settle path is independent of the user channel's policy (`latest`/
+        // `exclusive` lanes can't orphan a pending entry by cancelling its fiber).
+        const waiters = MutableRef.make([]);
+        const onSettled = (generation) => {
+            const due = MutableRef.get(waiters).filter((waiter) => waiter.waitFor <= generation);
+            if (due.length === 0)
+                return;
+            MutableRef.update(waiters, (all) => all.filter((waiter) => waiter.waitFor > generation));
+            // Dispatch synchronously (`publish` only enqueues on the unbounded bus):
+            // the settle is enqueued in the same flush as the converged value write.
+            for (const waiter of due) {
+                Runtime.runSync(runtime)(publish('Normal', Event.construct(Settled, { opId: waiter.opId })));
+            }
+        };
+        const driver = yield* makeQueryDriver({
+            name,
+            label: 'RemoteState',
+            gated: remote.gated,
+            inputs: remote.inputs,
+            query: cfg.query,
+            invalidateBy: cfg.invalidateBy,
+            disabled: cfg.disabled,
+            coalesce: cfg.coalesce,
+            reuse: cfg.reuse,
+            extraKey: revision === undefined
+                ? undefined
+                : {
+                    read: () => revision.getSnapshot(),
+                    subscribe: (listener) => revision.subscribe(listener),
+                },
+            onSettled,
+        });
+        const link = {
+            requested: driver.requested,
+            register: (opId, waitFor) => MutableRef.update(waiters, (all) => [...all, { opId, waitFor }]),
+        };
+        return Context.make(truthTag, narrowStore(driver.store)).pipe(Context.add(linkTag, link));
+    }));
+    // ── 2. Overlay: visible = pending.reduce(apply, truth). ────────────────────
+    const overlayLayer = Layer.scoped(remote.store, Effect.gen(function* () {
+        const scheduler = yield* resolveScheduler;
+        // Widened so the arm dispatch below is a plain tag union (read-only view).
+        const feedStore = widenStore(yield* truthTag);
+        const queueStore = yield* pendingTag;
+        const memo = MutableRef.make(undefined);
+        const recompute = () => {
+            const feed = feedStore.getSnapshot();
+            const pending = queueStore.getSnapshot();
+            const key = [feed, pending];
+            const prev = MutableRef.get(memo);
+            if (prev !== undefined && sameKey(key, prev.key))
+                return prev.output;
+            // `apply` runs over every `Success` — including `refetching: true`, so
+            // queued intents stay visible while the server converges; the other
+            // arms pass through by reference.
+            const overlaid = feed._tag === 'Success'
+                ? AsyncData.success(pending.reduce((value, entry) => config.apply(value, entry.intent), feed.value), feed.refetching)
+                : feed;
+            // With `reuse`, also reconcile consecutive overlay outputs: the fold
+            // rebuilds the value per recompute, so untouched subtrees would
+            // otherwise lose identity every time the queue moves.
+            const output = config.reuse === true &&
+                prev !== undefined &&
+                prev.output._tag === 'Success' &&
+                overlaid._tag === 'Success'
+                ? AsyncData.success(shareStructure(prev.output.value, overlaid.value), overlaid.refetching)
+                : overlaid;
+            MutableRef.set(memo, { key, output });
+            return output;
+        };
+        const subscribe = (listener) => {
+            const offFeed = feedStore.subscribe(listener);
+            const offQueue = queueStore.subscribe(listener);
+            return () => {
+                offFeed();
+                offQueue();
+            };
+        };
+        const derived = makeDerivedStore(recompute, subscribe, scheduler);
+        yield* Effect.addFinalizer(() => Effect.sync(derived.unsubscribe));
+        return narrowStore(derived.store);
+    }));
+    // ── 3. Queue reducer: the pending queue's SOLE writer. ─────────────────────
+    // Assembled directly against the registry rather than through `Reducer.live`,
+    // whose parameter types are conditionals TS keeps deferred while `Intents` is
+    // an open type parameter (user code instantiates the public surface
+    // concretely, so this is the one generic caller).
+    const queueReducerName = `${name}/pending`;
+    const queueHandles = new Set([Queued.tag, Acked.tag, Settled.tag]);
+    const foldQueue = (queue, event) => 
+    // `Queued` is the arm carrying the intent (the `undefined` guard is for the
+    // type only — every `Queued` carries one). An ack/settle for an id that is
+    // absent (or already confirmed) keeps the same reference — a true no-op.
+    event._tag === Queued.tag
+        ? event.intent === undefined
+            ? queue
+            : [...queue, { opId: event.opId, intent: event.intent, status: 'sending' }]
+        : event._tag === Acked.tag
+            ? queue.some((entry) => entry.opId === event.opId && entry.status === 'sending')
+                ? queue.map((entry) => entry.opId === event.opId ? { ...entry, status: 'confirmed' } : entry)
+                : queue
+            : queue.some((entry) => entry.opId === event.opId)
+                ? queue.filter((entry) => entry.opId !== event.opId)
+                : queue;
+    const queueReducerLayer = Layer.scopedDiscard(Effect.gen(function* () {
+        const reducers = yield* Reducers;
+        if (reducers.entries.some((entry) => entry.name === queueReducerName)) {
+            yield* Effect.logWarning(`reform: duplicate reducer name '${queueReducerName}' registered`);
+        }
+        const store = yield* pendingTag;
+        const entry = {
+            name: queueReducerName,
+            handles: queueHandles,
+            // The loop only invokes `apply` for events in `handles`; `narrowHandled`
+            // restores that typed view from the erased envelope.
+            apply: (event) => store.set(foldQueue(store.get(), narrowHandled(event))),
+        };
+        yield* Effect.acquireRelease(Effect.sync(() => reducers.register(entry)), () => Effect.sync(() => reducers.unregister(entry)));
+    }));
+    // ── 4. Send procedure: intent dispatch → deliver → ack/settle bookkeeping. ─
+    // Hand-assembled `ProcedureEntry` for the same deferred-conditional reason as
+    // the queue reducer (the `Procedure.live` internals, verbatim).
+    const channel = config.channel ?? Channel.make(`${name}/sends`, { policy: { _tag: 'merge' } });
+    const procedureName = `${name}/send`;
+    const sendHandles = new Set(remote.intents.map((event) => event.tag));
+    const sendProcedureLayer = Layer.scopedDiscard(Effect.gen(function* () {
+        const procedures = yield* Channel.Procedures;
+        if (procedures.entries.some((entry) => entry.name === procedureName)) {
+            yield* Effect.logWarning(`reform: duplicate procedure name '${procedureName}' registered`);
+        }
+        const link = yield* linkTag;
+        // Snapshot the body's full context (Bus + the send's R2) so `run` is total.
+        const runtime = yield* Effect.runtime();
+        const deliver = (intent) => Effect.gen(function* () {
+            const opId = yield* Effect.sync(() => crypto.randomUUID());
+            yield* Event.dispatch(Queued, { opId, intent });
+            const outcome = yield* config.send(intent).pipe(
+            // A defect in `send` is a bug, but it must not strand the entry:
+            // fold it into the failure arm so the intent settles and `Failed`
+            // fires (the channel would otherwise swallow it after logging).
+            Effect.catchAllDefect((defect) => Effect.fail(defect)), Effect.either, 
+            // A cancelled send (a `latest`/`exclusive` user channel tearing the
+            // run down) settles too: the overlay reverts, and if the request
+            // did reach the server the next refetch shows it as truth.
+            Effect.onInterrupt(() => Event.dispatch(Settled, { opId })));
+            yield* Either.match(outcome, {
+                onLeft: (error) => Effect.zipRight(Event.dispatch(remote.Failed, { intent, error }), Event.dispatch(Settled, { opId })),
+                onRight: () => 
+                // Register the waiter BEFORE the invalidation bump: `Invalidated`
+                // routes through the drain loop later, so the run it triggers is
+                // necessarily requested after `requested()` here — the waiter can
+                // never be satisfied by a refetch that predates the ack.
+                Effect.sync(() => link.register(opId, link.requested() + 1)).pipe(Effect.zipRight(Event.dispatch(Acked, { opId })), Effect.zipRight(Event.dispatch(Invalidated, {}))),
+            });
+        });
+        const entry = {
+            name: procedureName,
+            channelName: channel.manifest.name,
+            handles: sendHandles,
+            run: (event) => Effect.provide(deliver(narrowHandled(event)), runtime),
+        };
+        yield* Effect.acquireRelease(Effect.sync(() => procedures.register(entry)), () => Effect.sync(() => procedures.unregister(entry)));
+    }));
+    // ── Assembly. ───────────────────────────────────────────────────────────────
+    // The pending store backs both the overlay and the queue reducer; the hidden
+    // revision store feeds both the driver (`extraKey`) and its reducer; the
+    // channel `.live` is idempotent by name+policy, so a user channel shared with
+    // other procedures wires up exactly once.
+    const pendingStoreLayer = Layer.effect(pendingTag, Effect.map(resolveScheduler, (scheduler) => makeStore([], scheduler)));
+    return Layer.mergeAll(overlayLayer, queueReducerLayer, Reducer.live(revisionReducer, bumpRevision), sendProcedureLayer, Channel.live(channel)).pipe(Layer.provideMerge(driverLayer), Layer.provide(State.live(revisionState, revisionZero)), Layer.provideMerge(pendingStoreLayer));
+};
+//# sourceMappingURL=remoteState.js.map

package/dist/esm/remote/remoteState.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"remoteState.js","sourceRoot":"","sources":["../../../src/remote/remoteState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5F,OAAO,EAAqB,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AACzF,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAC7C,OAAO,EAAiB,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACxE,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAA;AACvC,OAAO,EACL,YAAY,EAEZ,SAAS,EACT,eAAe,EACf,cAAc,EACd,YAAY,GACb,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,KAAK,IAAI,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AACxD,OAAO,EAIL,OAAO,GACR,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAc,MAAM,mBAAmB,CAAA;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAC7C,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAC5D,OAAO,EAAqB,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC7D,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAA;AACvC,OAAO,EAAkB,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAuH3D,+EAA+E;AAC/E,+EAA+E;AAC/E,sEAAsE;AACtE,+EAA+E;AAC/E,uEAAuE;AACvE,6DAA6D;AAC7D,MAAM,WAAW,GAAG,CAAI,MAA+B,EAAyB,EAAE,CAAC,MAAM,CAAA;AAEzF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAQlB,IAAO,EACP,MAA0D,EACK,EAAE;IAEjE,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAC9B,sBAAsB,IAAI,EAAE,CAC7B,CAAA;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CACjC,sBAAsB,IAAI,QAAQ,CACnC,CAAA;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CACnC,sBAAsB,IAAI,UAAU,CACrC,CAAA;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IACxC,MAAM,QAAQ,GAAiC;QAC7C,IAAI,EAAE,aAAa;QACnB,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,KAAK;QACL,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;QACjD,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/D,CAAA;IACD,0EAA0E;IAC1E,4EAA4E;IAC5E,MAAM,SAAS,GAAiB,GAAG,IAAI,QAAQ,CAAA;IAC/C,MAAM,WAAW,GAAmB,GAAG,IAAI,UAAU,CAAA;IACrD,MAAM,UAAU,GAAkB,GAAG,IAAI,SAAS,CAAA;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;IAC/C,OAAO,cAAc,CAAC,IAAI,EAAE;QAC1B,QAAQ;QACR,KAAK;QACL,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,KAAK;QACL,KAAK,EAAE,IAAI,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC;QAC1C,OAAO,EAAE,IAAI,UAAU,CAAC,WAAW,EAAE,UAAU,CAAC;QAChD,MAAM,EAAE,KAAK,CAAC,IAAI,CAChB,UAAU,EACV,WAAW,CACT,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CACjE,CACF;KACF,CAAC,CAAA;AACJ,CAAC,CAAA;AAiDD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAUlB,MAAyD,EACzD,MAA4D,EAY5D,EAAE;IAEF,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAA;IACjC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAA;IACnC,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAA;IAEvC,sEAAsE;IACtE,6EAA6E;IAC7E,kEAAkE;IAClE,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CACvB,GAAG,IAAI,SAAS,EAChB,WAAW,CACT,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAC/D,CACF,CAAA;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IACjF,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IACrF,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAA;IAExE,8EAA8E;IAC9E,kFAAkF;IAClF,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,WAAW,EAAE,cAAc,CAAC,CAAA;IACpE,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,WAAW,EAAE;QACvD,MAAM,EAAE,CAAC,aAAa,CAAC;QACvB,MAAM,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;KACtD,CAAC,CAAA;IAEF,4EAA4E;IAC5E,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAa,sBAAsB,IAAI,OAAO,CAAC,CAAA;IAEjF,8EAA8E;IAC9E,MAAM,WAAW,GAAG,KAAK,CAAC,aAAa,CACrC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,qEAAqE;QACrE,2EAA2E;QAC3E,MAAM,GAAG,GAAG,MAMX,CAAA;QACD,qEAAqE;QACrE,qDAAqD;QACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;QACxF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAO,CAAA;QAE5C,0EAA0E;QAC1E,qEAAqE;QACrE,2EAA2E;QAC3E,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAE7B,EAAE,CAAC,CAAA;QACL,MAAM,SAAS,GAAG,CAAC,UAAkB,EAAE,EAAE;YACvC,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,IAAI,UAAU,CAAC,CAAA;YACpF,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAM;YAC5B,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,GAAG,UAAU,CAAC,CAAC,CAAA;YACxF,yEAAyE;YACzE,yEAAyE;YACzE,KAAK,MAAM,MAAM,IAAI,GAAG,EAAE,CAAC;gBACzB,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CACtB,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CACnE,CAAA;YACH,CAAC;QACH,CAAC,CAAA;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC;YACpC,IAAI;YACJ,KAAK,EAAE,aAAa;YACpB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,YAAY,EAAE,GAAG,CAAC,YAAY;YAC9B,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,QAAQ,EACN,QAAQ,KAAK,SAAS;gBACpB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC;oBACE,IAAI,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;oBAClC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC;iBACtD;YACP,SAAS;SACV,CAAC,CAAA;QACF,MAAM,IAAI,GAAe;YACvB,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,QAAQ,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAC1B,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;SACnE,CAAA;QACD,OAAO,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAc,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CACxE,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAC3B,CAAA;IACH,CAAC,CAAC,CACH,CAAA;IAED,8EAA8E;IAC9E,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAC/B,MAAM,CAAC,KAAK,EACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAA;QACzC,2EAA2E;QAC3E,MAAM,SAAS,GAAG,UAAU,CAAc,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAA;QAC1D,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,UAAU,CAAA;QACpC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAE1B,SAAS,CAAC,CAAA;QACZ,MAAM,SAAS,GAAG,GAAuB,EAAE;YACzC,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,EAAE,CAAA;YACpC,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,EAAE,CAAA;YACxC,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;YAC3B,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACjC,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC,MAAM,CAAA;YACpE,uEAAuE;YACvE,oEAAoE;YACpE,kCAAkC;YAClC,MAAM,QAAQ,GACZ,IAAI,CAAC,IAAI,KAAK,SAAS;gBACrB,CAAC,CAAC,SAAS,CAAC,OAAO,CACf,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAC/E,IAAI,CAAC,UAAU,CAChB;gBACH,CAAC,CAAC,IAAI,CAAA;YACV,qEAAqE;YACrE,gEAAgE;YAChE,sDAAsD;YACtD,MAAM,MAAM,GACV,MAAM,CAAC,KAAK,KAAK,IAAI;gBACrB,IAAI,KAAK,SAAS;gBAClB,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;gBAC9B,QAAQ,CAAC,IAAI,KAAK,SAAS;gBACzB,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,UAAU,CAAC;gBAC3F,CAAC,CAAC,QAAQ,CAAA;YACd,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAA;YACrC,OAAO,MAAM,CAAA;QACf,CAAC,CAAA;QACD,MAAM,SAAS,GAAG,CAAC,QAAoB,EAAgB,EAAE;YACvD,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;YAC7C,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;YAC/C,OAAO,GAAG,EAAE;gBACV,OAAO,EAAE,CAAA;gBACT,QAAQ,EAAE,CAAA;YACZ,CAAC,CAAA;QACH,CAAC,CAAA;QACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;QACjE,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAA;QAClE,OAAO,WAAW,CAAc,OAAO,CAAC,KAAK,CAAC,CAAA;IAChD,CAAC,CAAC,CACH,CAAA;IAED,8EAA8E;IAC9E,8EAA8E;IAC9E,8EAA8E;IAC9E,oEAAoE;IACpE,kDAAkD;IAClD,MAAM,gBAAgB,GAAG,GAAG,IAAI,UAAU,CAAA;IAC1C,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;IACvF,MAAM,SAAS,GAAG,CAChB,KAAsC,EACtC,KAA4E,EAC3C,EAAE;IACnC,4EAA4E;IAC5E,2EAA2E;IAC3E,yEAAyE;IACzE,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,GAAG;QACvB,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS;YAC1B,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QAC7E,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,GAAG;YACxB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC;gBAC9E,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAClB,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,WAAoB,EAAE,CAAC,CAAC,CAAC,KAAK,CAC/E;gBACH,CAAC,CAAC,KAAK;YACT,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;gBAChD,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;gBACpD,CAAC,CAAC,KAAK,CAAA;IACf,MAAM,iBAAiB,GAAG,KAAK,CAAC,aAAa,CAC3C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAA;QAChC,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,EAAE,CAAC;YACtE,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,mCAAmC,gBAAgB,cAAc,CAAC,CAAA;QAC7F,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAA;QAC/B,MAAM,KAAK,GAAiB;YAC1B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,YAAY;YACrB,yEAAyE;YACzE,qDAAqD;YACrD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;SAC1E,CAAA;QACD,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,CAC7E,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAC9C,CAAA;IACH,CAAC,CAAC,CACH,CAAA;IAED,8EAA8E;IAC9E,8EAA8E;IAC9E,gEAAgE;IAChE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAA;IAC9F,MAAM,aAAa,GAAG,GAAG,IAAI,OAAO,CAAA;IACpC,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;IAC1F,MAAM,kBAAkB,GAAG,KAAK,CAAC,aAAa,CAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,UAAU,CAAA;QAC5C,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,CAAC;YACrE,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,qCAAqC,aAAa,cAAc,CAAC,CAAA;QAC5F,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAA;QAC3B,4EAA4E;QAC5E,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAY,CAAA;QACjD,MAAM,OAAO,GAAG,CAAC,MAAS,EAAwC,EAAE,CAClE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAA;YAC1D,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;YAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI;YAC7C,iEAAiE;YACjE,kEAAkE;YAClE,gEAAgE;YAChE,MAAM,CAAC,cAAc,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EACtD,MAAM,CAAC,MAAM;YACb,oEAAoE;YACpE,iEAAiE;YACjE,2DAA2D;YAC3D,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAC5D,CAAA;YACD,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE;gBAC3B,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,MAAM,CAAC,QAAQ,CACb,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAChD,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAClC;gBACH,OAAO,EAAE,GAAG,EAAE;gBACZ,kEAAkE;gBAClE,iEAAiE;gBACjE,kEAAkE;gBAClE,yDAAyD;gBACzD,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAC/D,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAChD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CACjD;aACJ,CAAC,CAAA;QACJ,CAAC,CAAC,CAAA;QACJ,MAAM,KAAK,GAA2B;YACpC,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;YAClC,OAAO,EAAE,WAAW;YACpB,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,CAAI,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC;SAC1E,CAAA;QACD,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,CAC/E,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAChD,CAAA;IACH,CAAC,CAAC,CACH,CAAA;IAED,+EAA+E;IAC/E,6EAA6E;IAC7E,yEAAyE;IACzE,8EAA8E;IAC9E,0CAA0C;IAC1C,MAAM,iBAAiB,GAAG,KAAK,CAAC,MAAM,CACpC,UAAU,EACV,MAAM,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,SAAS,EAAE,EAAE,CACzC,SAAS,CAAkC,EAAE,EAAE,SAAS,CAAC,CAC1D,CACF,CAAA;IACD,OAAO,KAAK,CAAC,QAAQ,CACnB,YAAY,EACZ,iBAAiB,EACjB,OAAO,CAAC,IAAI,CAAC,eAAe,EAAE,YAAY,CAAC,EAC3C,kBAAkB,EAClB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CACtB,CAAC,IAAI,CACJ,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC,EAC/B,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC,EACtD,KAAK,CAAC,YAAY,CAAC,iBAAiB,CAAC,CACtC,CAAA;AACH,CAAC,CAAA"}

package/dist/esm/runtime/bus.js

@@ -0,0 +1,20 @@
+import { Context, Effect, Layer, PubSub } from 'effect';
+/**
+ * Re-narrow an erased `Tagged` envelope to a handler's declared event union. The
+ * loop and channels only route events whose tag is in a handler's `handles`, so
+ * at runtime the envelope IS one of those events; the registries store it as the
+ * generic `Tagged`, and this restores the typed view. The one documented home
+ * for that boundary cast, shared by `Reducer.live` and `Procedure.live`.
+ */
+export const narrowHandled = (event) => event;
+/** The single dispatch bus: an unbounded PubSub fanned out to the loop and procedures. */
+export class Bus extends Context.Tag('reform/Bus')() {
+}
+// Unbounded so `publish` never suspends: UI triggers dispatch synchronously
+// (`Runtime.runSync`, no fiber fork per event), and an event storm can't apply
+// backpressure to the UI thread. The single drain loop empties the bus every
+// microtask, so it does not accumulate. Swap to `PubSub.dropping(N)` if bounded
+// memory is preferred over never dropping (publish stays synchronous either way).
+export const busLayer = Layer.scoped(Bus, PubSub.unbounded());
+export const publish = (priority, event) => Effect.flatMap(Bus, (bus) => PubSub.publish(bus, { priority, event }));
+//# sourceMappingURL=bus.js.map

package/dist/esm/runtime/bus.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bus.js","sourceRoot":"","sources":["../../../src/runtime/bus.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAOvD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAI,KAAa,EAAK,EAAE,CAAC,KAAc,CAAA;AAUpE,0FAA0F;AAC1F,MAAM,OAAO,GAAI,SAAQ,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,EAAgC;CAAG;AAErF,4EAA4E;AAC5E,+EAA+E;AAC/E,6EAA6E;AAC7E,gFAAgF;AAChF,kFAAkF;AAClF,MAAM,CAAC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,EAAY,CAAC,CAAA;AAEvE,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,QAAkB,EAAE,KAAa,EAAmC,EAAE,CAC5F,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA"}

package/dist/esm/runtime/loop.js

@@ -0,0 +1,116 @@
+import { Chunk, Context, Effect, Layer, PubSub, Queue } from 'effect';
+import { Channels, channelsLayer, Procedures, proceduresLayer, } from '../channel/channel.js';
+import { notificationsLayer } from '../internal/scheduler.js';
+import { Bus, busLayer } from './bus.js';
+export class Reducers extends Context.Tag('reform/Reducers')() {
+}
+/** Drop an item from a `Map<string, Array>` bucket, pruning the key when it empties. */
+const dropFromBuckets = (map, key, item) => {
+    const bucket = map.get(key);
+    if (bucket === undefined)
+        return;
+    const next = bucket.filter((entry) => entry !== item);
+    if (next.length === 0)
+        map.delete(key);
+    else
+        map.set(key, next);
+};
+const makeReducerRegistry = () => {
+    const entries = [];
+    const byTag = new Map();
+    return {
+        entries,
+        byTag,
+        register: (entry) => {
+            entries.push(entry);
+            for (const tag of entry.handles) {
+                const bucket = byTag.get(tag);
+                if (bucket === undefined)
+                    byTag.set(tag, [entry]);
+                else
+                    bucket.push(entry);
+            }
+        },
+        unregister: (entry) => {
+            const index = entries.indexOf(entry);
+            if (index >= 0)
+                entries.splice(index, 1);
+            for (const tag of entry.handles)
+                dropFromBuckets(byTag, tag, entry);
+        },
+    };
+};
+export const reducersLayer = Layer.sync(Reducers, makeReducerRegistry);
+/** High before Normal; within a priority class, dispatch order is preserved. */
+const rank = (priority) => (priority === 'High' ? 0 : 1);
+// The single drain loop: one fiber that frame-batches the bus. Each tick it
+// harvests every event dispatched in that microtask, runs all matching reducers
+// in ONE synchronous pass (so the store notifier flushes once for the batch),
+// then routes each event to the channels its procedures run on.
+const drain = Effect.gen(function* () {
+    const bus = yield* Bus;
+    const reducers = yield* Reducers;
+    const { byName: channels } = yield* Channels;
+    const procedures = yield* Procedures;
+    const subscription = yield* PubSub.subscribe(bus);
+    yield* Effect.forkScoped(Effect.forever(Effect.gen(function* () {
+        // Block until the first event, then drain the rest of this tick.
+        const first = yield* Queue.take(subscription);
+        const rest = yield* Queue.takeAll(subscription);
+        const frame = [first, ...Chunk.toArray(rest)];
+        // Stable priority order: High-dispatched (UI) events fold before
+        // Normal-dispatched (procedure follow-up) events in the same frame. A
+        // two-bucket partition does this in O(m) with no comparator — push order
+        // preserves intra-priority dispatch order — instead of sorting the frame.
+        const high = [];
+        const normal = [];
+        for (const envelope of frame) {
+            if (rank(envelope.priority) === 0)
+                high.push(envelope);
+            else
+                normal.push(envelope);
+        }
+        const ordered = high.concat(normal);
+        // One synchronous block: every reducer write for the frame coalesces into
+        // a single notification flush. Routing to channels happens here too, so
+        // procedure bodies (run later, off their channel fibers) see post-batch
+        // state. No `yield*` in between, or the flush could fire early.
+        const failures = [];
+        yield* Effect.sync(() => {
+            for (const envelope of ordered) {
+                for (const reducer of reducers.byTag.get(envelope.event._tag) ?? []) {
+                    // Isolate each fold: a synchronous throw in one reducer must not
+                    // abandon the rest of the frame nor (via the `forever` below) kill
+                    // the drain fiber and freeze the whole app. Collect and log after.
+                    try {
+                        reducer.apply(envelope.event);
+                    }
+                    catch (error) {
+                        failures.push({ event: envelope.event, error });
+                    }
+                }
+            }
+            for (const envelope of ordered) {
+                // Offer to each DISTINCT channel once. Routing per-procedure would
+                // offer a shared channel multiple times for one event, and each offer
+                // re-runs every procedure on it — duplicate execution.
+                for (const channelName of procedures.channelsByTag.get(envelope.event._tag) ?? []) {
+                    channels.get(channelName)?.offer(envelope.event);
+                }
+            }
+        });
+        yield* Effect.forEach(failures, (failure) => Effect.logError(`reform: reducer threw handling '${failure.event._tag}'`, failure.error), { discard: true });
+    }).pipe(
+    // Belt-and-suspenders: even a defect outside the isolated fold (a bug in
+    // the loop itself) is logged and the tick restarts, so the bus never goes
+    // permanently deaf.
+    Effect.catchAllCause((cause) => Effect.logError('reform: drain tick crashed', cause)))));
+});
+/**
+ * The reform engine: provides the bus + reducer/channel/procedure registries +
+ * the per-runtime notification scheduler to the application and forks the single
+ * drain loop. Registration mutates the live collections, so reducers/procedures/
+ * channels merged alongside are picked up before the first dispatch (boot).
+ */
+export const Engine = Layer.scopedDiscard(drain).pipe(Layer.provideMerge(Layer.mergeAll(busLayer, reducersLayer, channelsLayer, proceduresLayer, notificationsLayer)));
+//# sourceMappingURL=loop.js.map

package/dist/esm/runtime/loop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop.js","sourceRoot":"","sources":["../../../src/runtime/loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACrE,OAAO,EACL,QAAQ,EACR,aAAa,EACb,UAAU,EACV,eAAe,GAChB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAC1D,OAAO,EAAE,GAAG,EAAE,QAAQ,EAA8B,MAAM,OAAO,CAAA;AAiCjE,MAAM,OAAO,QAAS,SAAQ,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAA6B;CAAG;AAE5F,wFAAwF;AACxF,MAAM,eAAe,GAAG,CAAI,GAA0B,EAAE,GAAW,EAAE,IAAO,EAAQ,EAAE;IACpF,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC3B,IAAI,MAAM,KAAK,SAAS;QAAE,OAAM;IAChC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAA;IACrD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;;QACjC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AACzB,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,GAAoB,EAAE;IAChD,MAAM,OAAO,GAAwB,EAAE,CAAA;IACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+B,CAAA;IACpD,OAAO;QACL,OAAO;QACP,KAAK;QACL,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE;YAClB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACnB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBAChC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAC7B,IAAI,MAAM,KAAK,SAAS;oBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;;oBAC5C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACzB,CAAC;QACH,CAAC;QACD,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE;YACpB,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;YACpC,IAAI,KAAK,IAAI,CAAC;gBAAE,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;YACxC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO;gBAAE,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;QACrE,CAAC;KACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAA;AAEtE,gFAAgF;AAChF,MAAM,IAAI,GAAG,CAAC,QAA8B,EAAU,EAAE,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAEtF,4EAA4E;AAC5E,gFAAgF;AAChF,8EAA8E;AAC9E,gEAAgE;AAChE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAChC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,GAAG,CAAA;IACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAA;IAChC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAA;IAC5C,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,UAAU,CAAA;IACpC,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;IAEjD,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,iEAAiE;QACjE,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;QAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAA;QAC/C,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;QAE7C,iEAAiE;QACjE,sEAAsE;QACtE,yEAAyE;QACzE,0EAA0E;QAC1E,MAAM,IAAI,GAAoB,EAAE,CAAA;QAChC,MAAM,MAAM,GAAoB,EAAE,CAAA;QAClC,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;;gBACjD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC5B,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAEnC,0EAA0E;QAC1E,wEAAwE;QACxE,wEAAwE;QACxE,gEAAgE;QAChE,MAAM,QAAQ,GAA+D,EAAE,CAAA;QAC/E,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACtB,KAAK,MAAM,QAAQ,IAAI,OAAO,EAAE,CAAC;gBAC/B,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;oBACpE,iEAAiE;oBACjE,mEAAmE;oBACnE,mEAAmE;oBACnE,IAAI,CAAC;wBACH,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;oBAC/B,CAAC;oBAAC,OAAO,KAAK,EAAE,CAAC;wBACf,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;oBACjD,CAAC;gBACH,CAAC;YACH,CAAC;YACD,KAAK,MAAM,QAAQ,IAAI,OAAO,EAAE,CAAC;gBAC/B,mEAAmE;gBACnE,sEAAsE;gBACtE,uDAAuD;gBACvD,KAAK,MAAM,WAAW,IAAI,UAAU,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;oBAClF,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;gBAClD,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAA;QACF,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,QAAQ,EACR,CAAC,OAAO,EAAE,EAAE,CACV,MAAM,CAAC,QAAQ,CACb,mCAAmC,OAAO,CAAC,KAAK,CAAC,IAAI,GAAG,EACxD,OAAO,CAAC,KAAK,CACd,EACH,EAAE,OAAO,EAAE,IAAI,EAAE,CAClB,CAAA;IACH,CAAC,CAAC,CAAC,IAAI;IACL,yEAAyE;IACzE,0EAA0E;IAC1E,oBAAoB;IACpB,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,4BAA4B,EAAE,KAAK,CAAC,CAAC,CACtF,CACF,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAwD,KAAK,CAAC,aAAa,CAC5F,KAAK,CACN,CAAC,IAAI,CACJ,KAAK,CAAC,YAAY,CAChB,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,eAAe,EAAE,kBAAkB,CAAC,CAC5F,CACF,CAAA"}

package/dist/esm/scene/scene.js

@@ -0,0 +1,31 @@
+import { Layer } from 'effect';
+import { CurrentSeedOverrides } from '../internal/seeds.js';
+/**
+ * Define a scene — `scene(TodoApp, { provide: [makeTestApp(client, seeds)] })`.
+ * The composition's contract flows through `C`, so consumers stay typed.
+ */
+export const scene = (composition, config) => ({
+    kind: 'Scene',
+    composition,
+    provide: config.provide,
+    ...(config.boot !== undefined ? { boot: config.boot } : {}),
+});
+/**
+ * Overlay seed values onto a CLOSED scene — the tooling/test seam (dev-tool
+ * inspector overrides, proofs). Scenes stay closed for authors: this does not
+ * reopen `provide`, it wraps each layer with `Layer.locally(CurrentSeedOverrides,
+ * seeds)` so `State.live` boots matching stores from the override instead of
+ * the authored seed.
+ *
+ * Keys are state MEMBER NAMES as reflected in `manifest.states` (e.g. `count`),
+ * not group names. If two groups in one scene share a member name, both receive
+ * the override (documented limitation). Values are schema-validated at build:
+ * an invalid value silently falls back to the authored seed. `StateFamily`
+ * entries are not covered.
+ */
+export const seedScene = (base, seeds) => Object.keys(seeds).length === 0
+    ? base
+    : { ...base, provide: base.provide.map(Layer.locally(CurrentSeedOverrides, seeds)) };
+/** Reflection guard: is this exported value a scene? */
+export const isScene = (v) => typeof v === 'object' && v !== null && v.kind === 'Scene';
+//# sourceMappingURL=scene.js.map

package/dist/esm/scene/scene.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scene.js","sourceRoot":"","sources":["../../../src/scene/scene.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAG9B,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA;AAgCxD;;;GAGG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,WAAyC,EACzC,MAGC,EACS,EAAE,CAAC,CAAC;IACd,IAAI,EAAE,OAAO;IACb,WAAW;IACX,OAAO,EAAE,MAAM,CAAC,OAAO;IACvB,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAC5D,CAAC,CAAA;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAAc,EACd,KAAwC,EAC9B,EAAE,CACZ,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;IAC7B,CAAC,CAAC,IAAI;IACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAC,EAAE,CAAA;AAExF,wDAAwD;AACxD,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAU,EAAc,EAAE,CAChD,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAK,CAAiC,CAAC,IAAI,KAAK,OAAO,CAAA"}

package/dist/esm/state/state.js

@@ -0,0 +1,43 @@
+import { Context, Effect, FiberRef, Layer, Option, Schema } from 'effect';
+import { yieldableClass } from '../definition/definition.js';
+import { resolveScheduler } from '../internal/scheduler.js';
+import { CurrentSeedOverrides } from '../internal/seeds.js';
+import { makeStore } from '../internal/store.js';
+import { readTracked } from '../internal/track.js';
+/**
+ * Atomic reactive state. `State.make` is the *definition* (a reflectable
+ * manifest + an internal store tag); it carries no starting value — the seed is
+ * an implementation detail supplied at create-time by `State.live(state, seed)`.
+ * Composed into a `StateGroup` exactly as `@effect/rpc` composes rpcs.
+ */
+export const make = (name, schema, options = {}) => {
+    const store = Context.GenericTag(`reform/state/${name}`);
+    const manifest = {
+        kind: 'State',
+        name,
+        schema,
+        ...(options.title !== undefined ? { title: options.title } : {}),
+        ...(options.description !== undefined ? { description: options.description } : {}),
+    };
+    const read = Effect.flatMap(store, readTracked);
+    return yieldableClass(read, { manifest, store });
+};
+/**
+ * Resolve the value a store should boot from: the ambient seed override when
+ * one is present (and valid) for this state's member name, else the authored
+ * `initial`. Reads `CurrentSeedOverrides` — empty outside the tooling seam
+ * (`Scene.seedScene`), so production wiring always boots from `initial`. An
+ * override is decoded against the state's schema; an invalid value silently
+ * falls back to `initial` — a half-typed override from the dev tool must never
+ * crash a preview.
+ */
+const resolveSeed = (state, initial) => Effect.map(FiberRef.get(CurrentSeedOverrides), (overrides) => state.manifest.name in overrides
+    ? Option.getOrElse(Schema.decodeUnknownOption(state.manifest.schema)(overrides[state.manifest.name]), () => initial)
+    : initial);
+/**
+ * Allocate a state's store, seeded with `initial` — `State.live(Feed, seed)`.
+ * The seed lives here (implementation), not on the definition, so the same
+ * definition can boot from different values in app vs. test wiring.
+ */
+export const live = (state, initial) => Layer.effect(state.store, Effect.zipWith(resolveScheduler, resolveSeed(state, initial), (scheduler, seed) => makeStore(seed, scheduler)));
+//# sourceMappingURL=state.js.map

package/dist/esm/state/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/state/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzE,OAAO,EAAiB,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA;AACxD,OAAO,EAAE,SAAS,EAAc,MAAM,mBAAmB,CAAA;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AA0B/C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,IAAO,EACP,MAA6B,EAC7B,UAAwB,EAAE,EACR,EAAE;IACpB,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAqB,gBAAgB,IAAI,EAAE,CAAC,CAAA;IAC5E,MAAM,QAAQ,GAAwB;QACpC,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,MAAM;QACN,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnF,CAAA;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;IAC/C,OAAO,cAAc,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAA;AAClD,CAAC,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,GAAG,CAClB,KAAQ,EACR,OAAsB,EACQ,EAAE,CAChC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAC3D,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,SAAS;IAC9B,CAAC,CAAC,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EACjF,GAAG,EAAE,CAAC,OAAO,CACd;IACH,CAAC,CAAC,OAAO,CACZ,CAAA;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,KAAQ,EACR,OAAsB,EACa,EAAE,CACrC,KAAK,CAAC,MAAM,CACV,KAAK,CAAC,KAAK,EACX,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,CAChF,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAC3B,CACF,CAAA"}

package/dist/esm/state/stateFamily.js

@@ -0,0 +1,96 @@
+import { Context, Effect, Layer } from 'effect';
+import { definitionClass } from '../definition/definition.js';
+import { resolveScheduler } from '../internal/scheduler.js';
+import { makeStore } from '../internal/store.js';
+import { readTracked } from '../internal/track.js';
+/**
+ * A reducer fold returns this to evict the key it folded over, instead of a new
+ * value. The loop drops the entry's store from the family, so a normalized
+ * collection (chat messages, search hits, transient rows) does not grow without
+ * bound — the one fix for the otherwise-unbounded per-key `Map`.
+ */
+export const Tombstone = Symbol.for('reform/StateFamily/Tombstone');
+const makeFamilyStore = (seed, scheduler, options = {}) => {
+    const entries = new Map();
+    const evictWhenUnused = options.evictWhenUnused === true;
+    // Live subscriber count per key — maintained only when eviction is on.
+    const subscribers = new Map();
+    // Wrap a store's `subscribe` to ref-count, evicting the key when it falls idle.
+    // `get`/`set`/`getVersion` are delegated unchanged, so the loop writes and the
+    // host reads see the same cell; only subscribe/unsubscribe are instrumented.
+    const refCounted = (key, store) => ({
+        ...store,
+        subscribe: (listener) => {
+            subscribers.set(key, (subscribers.get(key) ?? 0) + 1);
+            const off = store.subscribe(listener);
+            const released = { done: false };
+            return () => {
+                if (released.done)
+                    return;
+                released.done = true;
+                off();
+                const remaining = (subscribers.get(key) ?? 1) - 1;
+                if (remaining > 0) {
+                    subscribers.set(key, remaining);
+                    return;
+                }
+                subscribers.delete(key);
+                queueMicrotask(() => {
+                    if ((subscribers.get(key) ?? 0) === 0)
+                        entries.delete(key);
+                });
+            };
+        },
+    });
+    return {
+        at: (key) => {
+            const existing = entries.get(key);
+            if (existing !== undefined)
+                return existing;
+            const base = makeStore(seed(key), scheduler);
+            const created = evictWhenUnused ? refCounted(key, base) : base;
+            entries.set(key, created);
+            return created;
+        },
+        forget: (key) => {
+            entries.delete(key);
+            subscribers.delete(key);
+        },
+        clear: () => {
+            entries.clear();
+            subscribers.clear();
+        },
+        size: () => entries.size,
+    };
+};
+/**
+ * Normalized keyed state: one logical State per key, backed by a single family
+ * store. Scales with the collection without re-rendering unrelated entries.
+ */
+export const make = (name, key, value, options = {}) => {
+    const store = Context.GenericTag(`reform/family/${name}`);
+    const manifest = {
+        kind: 'StateFamily',
+        name,
+        key,
+        value,
+        ...(options.title !== undefined ? { title: options.title } : {}),
+        ...(options.description !== undefined ? { description: options.description } : {}),
+    };
+    return definitionClass({ manifest, store });
+};
+/**
+ * Read one entry by key — `StateFamily.read(ItemUi, id)`. Inside a render it
+ * subscribes that key's slice; elsewhere it just snapshots (D5).
+ */
+export const read = (family, key) => Effect.flatMap(family.store, (fs) => readTracked(fs.at(key)));
+/**
+ * Allocate a family's keyed store — `StateFamily.live(ItemUi, seed)`. The seed
+ * is a plain value or a factory; a factory receives the key, so a new entry can
+ * derive its starting value from its own id (`(id) => ({ ...blank, id }))`).
+ */
+export const live = (family, initial, options = {}) => {
+    const seed = typeof initial === 'function' ? initial : () => initial;
+    return Layer.effect(family.store, Effect.map(resolveScheduler, (scheduler) => makeFamilyStore(seed, scheduler, options)));
+};
+//# sourceMappingURL=stateFamily.js.map

package/dist/esm/state/stateFamily.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stateFamily.js","sourceRoot":"","sources":["../../../src/state/stateFamily.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAe,MAAM,QAAQ,CAAA;AAC5D,OAAO,EAAiB,eAAe,EAAE,MAAM,0BAA0B,CAAA;AACzE,OAAO,EAAE,gBAAgB,EAAkB,MAAM,uBAAuB,CAAA;AACxE,OAAO,EAAE,SAAS,EAAc,MAAM,mBAAmB,CAAA;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAE/C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAkB,MAAM,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAA;AAkClF,MAAM,eAAe,GAAG,CACtB,IAAmB,EACnB,SAAoB,EACpB,UAAyB,EAAE,EACR,EAAE;IACrB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAe,CAAA;IACtC,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,KAAK,IAAI,CAAA;IACxD,uEAAuE;IACvE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAa,CAAA;IAExC,gFAAgF;IAChF,+EAA+E;IAC/E,6EAA6E;IAC7E,MAAM,UAAU,GAAG,CAAC,GAAM,EAAE,KAAe,EAAY,EAAE,CAAC,CAAC;QACzD,GAAG,KAAK;QACR,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE;YACtB,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YACrD,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;YACrC,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;YAChC,OAAO,GAAG,EAAE;gBACV,IAAI,QAAQ,CAAC,IAAI;oBAAE,OAAM;gBACzB,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAA;gBACpB,GAAG,EAAE,CAAA;gBACL,MAAM,SAAS,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA;gBACjD,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;oBAClB,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;oBAC/B,OAAM;gBACR,CAAC;gBACD,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBACvB,cAAc,CAAC,GAAG,EAAE;oBAClB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;wBAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBAC5D,CAAC,CAAC,CAAA;YACJ,CAAC,CAAA;QACH,CAAC;KACF,CAAC,CAAA;IAEF,OAAO;QACL,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;YACV,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACjC,IAAI,QAAQ,KAAK,SAAS;gBAAE,OAAO,QAAQ,CAAA;YAC3C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAA;YAC5C,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;YAC9D,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;YACzB,OAAO,OAAO,CAAA;QAChB,CAAC;QACD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;YACd,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;YACnB,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACzB,CAAC;QACD,KAAK,EAAE,GAAG,EAAE;YACV,OAAO,CAAC,KAAK,EAAE,CAAA;YACf,WAAW,CAAC,KAAK,EAAE,CAAA;QACrB,CAAC;QACD,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI;KACzB,CAAA;AACH,CAAC,CAAA;AAsBD;;;GAGG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,IAAO,EACP,GAA0B,EAC1B,KAA4B,EAC5B,UAAsE,EAAE,EAC7C,EAAE;IAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAuC,iBAAiB,IAAI,EAAE,CAAC,CAAA;IAC/F,MAAM,QAAQ,GAAiC;QAC7C,IAAI,EAAE,aAAa;QACnB,IAAI;QACJ,GAAG;QACH,KAAK;QACL,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnF,CAAA;IACD,OAAO,eAAe,CAA4B,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAA;AACxE,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,MAAiC,EACjC,GAAM,EACsC,EAAE,CAC9C,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAE/D;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,MAAiC,EACjC,OAA4B,EAC5B,UAAyB,EAAE,EACK,EAAE;IAClC,MAAM,IAAI,GAAkB,OAAO,OAAO,KAAK,UAAU,CAAC,CAAC,CAAE,OAAyB,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAA;IACtG,OAAO,KAAK,CAAC,MAAM,CACjB,MAAM,CAAC,KAAK,EACZ,MAAM,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAO,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAC7F,CAAA;AACH,CAAC,CAAA"}