@playfast/reform 0.0.5 → 0.0.7

package/dist/internal/stateRegistry.js

@@ -0,0 +1,28 @@
+import { Effect } from 'effect';
+/**
+ * Module-load registry of the DI tag identifiers minted by `State.make` /
+ * `StateFamily.make`. Two distinct definitions that claim one identifier (e.g.
+ * `State.make('open')` in two different features) otherwise collapse silently —
+ * `Layer.merge` resolves identical tags to the rightmost, with no error. Here we
+ * surface the clash.
+ *
+ * Warned, not thrown — mirroring duplicate reducer/procedure names: a cross-
+ * feature clash is a footgun, but a module may legitimately be re-evaluated under
+ * the same identifier (HMR), so a hard throw would punish dev reloads. The
+ * `warned` set keeps that to one warning per identifier regardless of reloads.
+ * In-group clashes (where every member is addressable by name) are a harder error
+ * — see `StateGroup.make`, which throws.
+ */
+const claimed = new Set();
+const warned = new Set();
+export const claimStateTag = (identifier) => {
+    if (!claimed.has(identifier)) {
+        claimed.add(identifier);
+        return;
+    }
+    if (warned.has(identifier))
+        return;
+    warned.add(identifier);
+    Effect.runSync(Effect.logWarning(`reform: duplicate state tag '${identifier}' — two definitions collide and the last merged wins; namespace the name per feature`));
+};
+//# sourceMappingURL=stateRegistry.js.map

package/dist/internal/stateRegistry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stateRegistry.js","sourceRoot":"","sources":["../../src/internal/stateRegistry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B;;;;;;;;;;;;;GAaG;AACH,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;AACjC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;AAEhC,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,UAAkB,EAAQ,EAAE;IACxD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACvB,OAAM;IACR,CAAC;IACD,IAAI,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAM;IAClC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACtB,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,UAAU,CACf,gCAAgC,UAAU,sFAAsF,CACjI,CACF,CAAA;AACH,CAAC,CAAA"}

package/dist/internal/store.d.ts

@@ -0,0 +1,47 @@
+import { type Inspectable } from './inspect';
+import { type Scheduler } from './scheduler';
+/**
+ * A reactive cell living outside Effect. The single source of truth for one
+ * slice of state. `set` is internal: only the reduce loop ever holds a Store
+ * (reducers return values, the loop writes them), which is how "state changes
+ * only in the reduce loop" is enforced structurally — there is no public writer.
+ *
+ * This is the synchronous, React-facing analog of Effect's `SubscriptionRef`
+ * (a `Ref` + `PubSub` + a `changes` `Stream`). We don't use `SubscriptionRef`
+ * directly because `useSyncExternalStore` requires a *synchronous* `getSnapshot`
+ * and a *synchronous* `subscribe` returning an unsubscribe thunk, whereas
+ * `SubscriptionRef.get` is an `Effect` and its `changes` is a `Stream` (a fiber
+ * per subscription). Mutable state is held in a `MutableRef` (Effect's mutable
+ * cell), so there is no reassigned binding.
+ *
+ * `getSnapshot` + `subscribe` are the stable pair the React bridge binds to;
+ * `getSnapshot` returns the same reference until the value actually changes.
+ * `getVersion` returns a monotonic counter bumped on every real change — the
+ * host sums it across a render's tracked stores for a `useSyncExternalStore`
+ * snapshot, which closes the tear/dropped-update window a value snapshot can't.
+ */
+export interface Store<in out A> extends Inspectable {
+    get(): A;
+    set(value: A): void;
+    getSnapshot(): A;
+    getVersion(): number;
+    subscribe(listener: () => void): () => void;
+}
+export declare const makeStore: <A>(initial: A, scheduler?: Scheduler) => Store<A>;
+/**
+ * A read-only `Store` whose value is computed from upstream sources.
+ *
+ * Reads are pull-fresh: `get`/`getSnapshot` call `compute` directly, so a
+ * headless snapshot always reflects the current source state without waiting for
+ * a notification (`compute` must memoize so an unchanged read returns a stable
+ * reference — `useSyncExternalStore` requires it). *Notifications*, by contrast,
+ * run through the same coalescing scheduler as `makeStore`: an upstream change
+ * recomputes once and wakes subscribers only when the output actually moves (by
+ * `Equal.equals`), so every store kind shares one notification timing. `set` is
+ * a no-op — the only writer is the upstream subscription.
+ */
+export declare const makeDerivedStore: <A>(compute: () => A, subscribeUpstream: (onChange: () => void) => () => void, scheduler?: Scheduler) => {
+    readonly store: Store<A>;
+    readonly unsubscribe: () => void;
+};
+//# sourceMappingURL=store.d.ts.map

package/dist/internal/store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/internal/store.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,WAAW,EAAe,MAAM,WAAW,CAAA;AACzD,OAAO,EAAoB,KAAK,SAAS,EAAE,MAAM,aAAa,CAAA;AAE9D;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,WAAW,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,WAAW;IAClD,GAAG,IAAI,CAAC,CAAA;IACR,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAA;IACnB,WAAW,IAAI,CAAC,CAAA;IAChB,UAAU,IAAI,MAAM,CAAA;IACpB,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAA;CAC5C;AAED,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,SAAS,CAAC,EAAE,YAAW,SAA4B,KAAG,KAAK,CAAC,CAAC,CAwBzF,CAAA;AAED;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,GAAI,CAAC,EAChC,SAAS,MAAM,CAAC,EAChB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,IAAI,KAAK,MAAM,IAAI,EACvD,YAAW,SAA4B,KACtC;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,IAAI,CAAA;CA8B9D,CAAA"}

package/dist/internal/store.js

@@ -0,0 +1,73 @@
+import { Equal, MutableRef } from 'effect';
+import { inspectable } from './inspect';
+import { defaultScheduler } from './scheduler';
+export const makeStore = (initial, scheduler = defaultScheduler) => {
+    // The store is a mutable reactive slot by design, so its value lives in a
+    // `MutableRef` we update in place (no reassigned binding).
+    const value = MutableRef.make(initial);
+    const version = MutableRef.make(0);
+    const listeners = new Set();
+    return {
+        get: () => MutableRef.get(value),
+        getSnapshot: () => MutableRef.get(value),
+        getVersion: () => MutableRef.get(version),
+        set: (next) => {
+            if (Equal.equals(MutableRef.get(value), next))
+                return;
+            MutableRef.set(value, next);
+            MutableRef.update(version, (n) => n + 1);
+            scheduler.schedule(listeners);
+        },
+        subscribe: (listener) => {
+            listeners.add(listener);
+            return () => {
+                listeners.delete(listener);
+            };
+        },
+        ...inspectable(() => ({ _id: 'reform/Store', value: MutableRef.get(value) })),
+    };
+};
+/**
+ * A read-only `Store` whose value is computed from upstream sources.
+ *
+ * Reads are pull-fresh: `get`/`getSnapshot` call `compute` directly, so a
+ * headless snapshot always reflects the current source state without waiting for
+ * a notification (`compute` must memoize so an unchanged read returns a stable
+ * reference — `useSyncExternalStore` requires it). *Notifications*, by contrast,
+ * run through the same coalescing scheduler as `makeStore`: an upstream change
+ * recomputes once and wakes subscribers only when the output actually moves (by
+ * `Equal.equals`), so every store kind shares one notification timing. `set` is
+ * a no-op — the only writer is the upstream subscription.
+ */
+export const makeDerivedStore = (compute, subscribeUpstream, scheduler = defaultScheduler) => {
+    const listeners = new Set();
+    const version = MutableRef.make(0);
+    // The last output we notified against — tracked only here, never touched by
+    // reads, so a `get` racing ahead of `onChange` can't suppress a notification.
+    const seen = MutableRef.make({ value: compute() });
+    const onChange = () => {
+        const previous = MutableRef.get(seen);
+        const next = compute();
+        MutableRef.set(seen, { value: next });
+        if (previous === undefined || !Equal.equals(previous.value, next)) {
+            MutableRef.update(version, (n) => n + 1);
+            scheduler.schedule(listeners);
+        }
+    };
+    const unsubscribe = subscribeUpstream(onChange);
+    const store = {
+        get: compute,
+        getSnapshot: compute,
+        getVersion: () => MutableRef.get(version),
+        set: () => { },
+        subscribe: (listener) => {
+            listeners.add(listener);
+            return () => {
+                listeners.delete(listener);
+            };
+        },
+        ...inspectable(() => ({ _id: 'reform/Store', value: compute() })),
+    };
+    return { store, unsubscribe };
+};
+//# sourceMappingURL=store.js.map

package/dist/internal/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../src/internal/store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAA;AAC1C,OAAO,EAAoB,WAAW,EAAE,MAAM,WAAW,CAAA;AACzD,OAAO,EAAE,gBAAgB,EAAkB,MAAM,aAAa,CAAA;AA8B9D,MAAM,CAAC,MAAM,SAAS,GAAG,CAAI,OAAU,EAAE,YAAuB,gBAAgB,EAAY,EAAE;IAC5F,0EAA0E;IAC1E,2DAA2D;IAC3D,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACtC,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAc,CAAA;IACvC,OAAO;QACL,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;QAChC,WAAW,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;QACxC,UAAU,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC;QACzC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;YACZ,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;gBAAE,OAAM;YACrD,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;YAC3B,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YACxC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;QAC/B,CAAC;QACD,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE;YACtB,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YACvB,OAAO,GAAG,EAAE;gBACV,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;YAC5B,CAAC,CAAA;QACH,CAAC;QACD,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;KAC9E,CAAA;AACH,CAAC,CAAA;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,OAAgB,EAChB,iBAAuD,EACvD,YAAuB,gBAAgB,EACyB,EAAE;IAClE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAc,CAAA;IACvC,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAClC,4EAA4E;IAC5E,8EAA8E;IAC9E,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAoC,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAA;IACrF,MAAM,QAAQ,GAAG,GAAG,EAAE;QACpB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACrC,MAAM,IAAI,GAAG,OAAO,EAAE,CAAA;QACtB,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QACrC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YAClE,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YACxC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;QAC/B,CAAC;IACH,CAAC,CAAA;IACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAA;IAC/C,MAAM,KAAK,GAAa;QACtB,GAAG,EAAE,OAAO;QACZ,WAAW,EAAE,OAAO;QACpB,UAAU,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC;QACzC,GAAG,EAAE,GAAG,EAAE,GAAE,CAAC;QACb,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE;YACtB,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YACvB,OAAO,GAAG,EAAE;gBACV,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;YAC5B,CAAC,CAAA;QACH,CAAC;QACD,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;KAClE,CAAA;IACD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAA;AAC/B,CAAC,CAAA"}

package/{src/internal/track.ts → dist/internal/track.d.ts}

@@ -1,6 +1,5 @@
-import { Context, Effect, Option } from 'effect'
-import type { Store } from './store'
-
+import { Context, Effect } from 'effect';
+import type { Store } from './store';
 /**
  * Anything a render can depend on: a source it can subscribe to for changes and
  * snapshot a monotonic version from. `Store` (and the calc/family stores)
@@ -10,28 +9,25 @@ import type { Store } from './store'
  * window a per-store value snapshot cannot.
  */
 export interface Subscribable {
-  subscribe(listener: () => void): () => void
-  getVersion(): number
+    subscribe(listener: () => void): () => void;
+    getVersion(): number;
 }
-
 /** A per-render dependency sink. The renderer provides one; reads record into it. */
 export interface Tracker {
-  add(source: Subscribable): void
+    add(source: Subscribable): void;
 }
-
 /**
  * The active render's dependency tracker (D5). Present only while a composition
  * is rendering under `@reform/react`; absent in procedures and headless reads.
  */
-export class CurrentTracker extends Context.Tag('reform/Tracker')<CurrentTracker, Tracker>() {}
-
+declare const CurrentTrackerBase: Context.TagClass<CurrentTracker, 'reform/Tracker', Tracker>;
+export declare class CurrentTracker extends CurrentTrackerBase {
+}
 /**
  * Read a store's current snapshot and, if a tracker is active, record the store
  * as a dependency of the current render. One read API, two behaviors by context
  * (D5): inside a render it subscribes the slice; elsewhere it just snapshots.
  */
-export const readTracked = <A>(store: Store<A>): Effect.Effect<A> =>
-  Effect.map(Effect.serviceOption(CurrentTracker), (tracker) => {
-    if (Option.isSome(tracker)) tracker.value.add(store)
-    return store.getSnapshot()
-  })
+export declare const readTracked: <A>(store: Store<A>) => Effect.Effect<A>;
+export {};
+//# sourceMappingURL=track.d.ts.map

package/dist/internal/track.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"track.d.ts","sourceRoot":"","sources":["../../src/internal/track.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAChD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAEpC;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAA;IAC3C,UAAU,IAAI,MAAM,CAAA;CACrB;AAED,qFAAqF;AACrF,MAAM,WAAW,OAAO;IACtB,GAAG,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI,CAAA;CAChC;AAED;;;GAGG;AACH,QAAA,MAAM,kBAAkB,EAAE,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,gBAAgB,EAAE,OAAO,CAC1B,CAAA;AAC1D,qBAAa,cAAe,SAAQ,kBAAkB;CAAG;AAEzD;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAI5D,CAAA"}

package/dist/internal/track.js

@@ -0,0 +1,19 @@
+import { Context, Effect, Option } from 'effect';
+/**
+ * The active render's dependency tracker (D5). Present only while a composition
+ * is rendering under `@reform/react`; absent in procedures and headless reads.
+ */
+const CurrentTrackerBase = Context.Tag('reform/Tracker')();
+export class CurrentTracker extends CurrentTrackerBase {
+}
+/**
+ * Read a store's current snapshot and, if a tracker is active, record the store
+ * as a dependency of the current render. One read API, two behaviors by context
+ * (D5): inside a render it subscribes the slice; elsewhere it just snapshots.
+ */
+export const readTracked = (store) => Effect.map(Effect.serviceOption(CurrentTracker), (tracker) => {
+    if (Option.isSome(tracker))
+        tracker.value.add(store);
+    return store.getSnapshot();
+});
+//# sourceMappingURL=track.js.map

package/dist/internal/track.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"track.js","sourceRoot":"","sources":["../../src/internal/track.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAqBhD;;;GAGG;AACH,MAAM,kBAAkB,GACtB,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAA2B,CAAA;AAC1D,MAAM,OAAO,cAAe,SAAQ,kBAAkB;CAAG;AAEzD;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAI,KAAe,EAAoB,EAAE,CAClE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE;IAC3D,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACpD,OAAO,KAAK,CAAC,WAAW,EAAE,CAAA;AAC5B,CAAC,CAAC,CAAA"}

package/dist/procedure/procedure.d.ts

@@ -0,0 +1,40 @@
+import { Effect, Layer } from 'effect';
+import type { YieldWrap } from 'effect/Utils';
+import { type ChannelClass, Procedures } from '../channel/channel';
+import { type Manifest } from '../definition/definition';
+import { type AnyEvent, type EventType } from '../event/event';
+import { type Ctx } from '../internal/ctx';
+import { Bus } from '../runtime/bus';
+/** The reflectable descriptor a procedure carries. */
+export interface ProcedureManifest extends Manifest {
+    readonly kind: 'Procedure';
+}
+export interface ProcedureClass<Events extends ReadonlyArray<AnyEvent>> {
+    new (): {};
+    readonly manifest: ProcedureManifest;
+    /** The trigger events (marker data; read by `Procedure.live`). */
+    readonly events: Events;
+    /** The channel this procedure's runs are scheduled on (marker data). */
+    readonly channel: ChannelClass;
+}
+export interface ProcedureConfig<Events extends ReadonlyArray<AnyEvent>> {
+    readonly events: Events;
+    /** The scheduling lane. Replaces the old `concurrency` option. */
+    readonly channel: ChannelClass;
+}
+export type AnyProcedure = ProcedureClass<ReadonlyArray<AnyEvent>>;
+/**
+ * A cross-event-loop flow. The *definition* declares its trigger events and the
+ * channel it runs on; the *implementation* is the effectful body. Procedures no
+ * longer subscribe to the bus themselves — the single drain loop routes events
+ * to the channel, which runs the registered bodies under its policy.
+ */
+export declare const make: <const Events extends ReadonlyArray<AnyEvent>>(name: string, config: ProcedureConfig<Events>) => ProcedureClass<Events>;
+/**
+ * Register the flow body into its channel. The body may read state and dispatch
+ * events, but never writes state (the core invariant); its context requirements
+ * (RPC clients, etc.) are captured here so the channel fiber can run it with no
+ * outstanding R.
+ */
+export declare const live: <Events extends ReadonlyArray<AnyEvent>, Eff extends YieldWrap<Effect.Effect<any, any, any>>, Done>(procedure: ProcedureClass<Events>, body: (event: EventType<Events[number]>) => Generator<Eff, Done, never>) => Layer.Layer<never, never, Procedures | Bus | Ctx<Eff>>;
+//# sourceMappingURL=procedure.d.ts.map

package/dist/procedure/procedure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"procedure.d.ts","sourceRoot":"","sources":["../../src/procedure/procedure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,EAAE,KAAK,YAAY,EAAuB,UAAU,EAAE,MAAM,oBAAoB,CAAA;AACvF,OAAO,EAAE,KAAK,QAAQ,EAAmB,MAAM,0BAA0B,CAAA;AACzE,OAAO,EAAE,KAAK,QAAQ,EAAE,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC9D,OAAO,EAAE,KAAK,GAAG,EAAE,MAAM,iBAAiB,CAAA;AAC1C,OAAO,EAAE,GAAG,EAAiB,MAAM,gBAAgB,CAAA;AAEnD,sDAAsD;AACtD,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAC3B;AAED,MAAM,WAAW,cAAc,CAAC,MAAM,SAAS,aAAa,CAAC,QAAQ,CAAC;IACpE,QAAQ,EAAE,CAAA;IACV,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAA;IACpC,kEAAkE;IAClE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,wEAAwE;IACxE,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;CAC/B;AAED,MAAM,WAAW,eAAe,CAAC,MAAM,SAAS,aAAa,CAAC,QAAQ,CAAC;IACrE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;CAC/B;AAED,MAAM,MAAM,YAAY,GAAG,cAAc,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAA;AAElE;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,QAAQ,CAAC,EAC/D,MAAM,MAAM,EACZ,QAAQ,eAAe,CAAC,MAAM,CAAC,KAC9B,cAAc,CAAC,MAAM,CAKpB,CAAA;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GACf,MAAM,SAAS,aAAa,CAAC,QAAQ,CAAC,EACtC,GAAG,SAAS,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EACnD,IAAI,EAEJ,WAAW,cAAc,CAAC,MAAM,CAAC,EACjC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,KACtE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,GAAG,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CA6BvD,CAAA"}

package/dist/procedure/procedure.js

@@ -0,0 +1,50 @@
+import { Effect, Layer } from 'effect';
+import { Procedures } from '../channel/channel';
+import { definitionClass } from '../definition/definition';
+import {} from '../event/event';
+import {} from '../internal/ctx';
+import { Bus, narrowHandled } from '../runtime/bus';
+/**
+ * A cross-event-loop flow. The *definition* declares its trigger events and the
+ * channel it runs on; the *implementation* is the effectful body. Procedures no
+ * longer subscribe to the bus themselves — the single drain loop routes events
+ * to the channel, which runs the registered bodies under its policy.
+ */
+export const make = (name, config) => definitionClass({
+    manifest: { kind: 'Procedure', name },
+    events: config.events,
+    channel: config.channel,
+});
+/**
+ * Register the flow body into its channel. The body may read state and dispatch
+ * events, but never writes state (the core invariant); its context requirements
+ * (RPC clients, etc.) are captured here so the channel fiber can run it with no
+ * outstanding R.
+ */
+export const live = (procedure, body) => {
+    const name = procedure.manifest.name;
+    const channelName = procedure.channel.manifest.name;
+    const handles = new Set(procedure.events.map((e) => e.tag));
+    // Scoped registration (see `Reducer.live`): an eager procedure's scope is the
+    // root runtime's, so behavior is unchanged; a lazy feature's procedure registers
+    // on mount and unregisters on unmount, so it stops running and is reclaimed.
+    return Layer.scopedDiscard(Effect.gen(function* () {
+        const procedures = yield* Procedures;
+        if (procedures.entries.some((e) => e.name === name)) {
+            yield* Effect.logWarning(`reform: duplicate procedure name '${name}' registered`);
+        }
+        // Snapshot the body's full context (Bus + RPC clients) so `run` is total.
+        const runtime = yield* Effect.runtime();
+        const entry = {
+            name,
+            channelName,
+            // The channel only routes events whose tag is in `handles`, so at runtime
+            // `event` is always one of `Events`; `narrowHandled` restores the body's
+            // declared event union from the erased `Tagged` envelope.
+            handles,
+            run: (event) => Effect.provide(Effect.gen(() => body(narrowHandled(event))), runtime),
+        };
+        yield* Effect.acquireRelease(Effect.sync(() => procedures.register(entry)), () => Effect.sync(() => procedures.unregister(entry)));
+    }));
+};
+//# sourceMappingURL=procedure.js.map

package/dist/procedure/procedure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"procedure.js","sourceRoot":"","sources":["../../src/procedure/procedure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAEtC,OAAO,EAA0C,UAAU,EAAE,MAAM,oBAAoB,CAAA;AACvF,OAAO,EAAiB,eAAe,EAAE,MAAM,0BAA0B,CAAA;AACzE,OAAO,EAAiC,MAAM,gBAAgB,CAAA;AAC9D,OAAO,EAAY,MAAM,iBAAiB,CAAA;AAC1C,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAwBnD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,IAAY,EACZ,MAA+B,EACP,EAAE,CAC1B,eAAe,CAAyB;IACtC,QAAQ,EAAE,EAAE,IAAI,EAAE,WAAoB,EAAE,IAAI,EAA8B;IAC1E,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,OAAO,EAAE,MAAM,CAAC,OAAO;CACxB,CAAC,CAAA;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAKlB,SAAiC,EACjC,IAAuE,EACf,EAAE;IAC1D,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAA;IACpC,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAA;IACnD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IAC3D,8EAA8E;IAC9E,iFAAiF;IACjF,6EAA6E;IAC7E,OAAO,KAAK,CAAC,aAAa,CACxB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,UAAU,CAAA;QACpC,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACpD,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,qCAAqC,IAAI,cAAc,CAAC,CAAA;QACnF,CAAC;QACD,0EAA0E;QAC1E,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAkB,CAAA;QACvD,MAAM,KAAK,GAAmB;YAC5B,IAAI;YACJ,WAAW;YACX,0EAA0E;YAC1E,yEAAyE;YACzE,0DAA0D;YAC1D,OAAO;YACP,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;SACtF,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;AACH,CAAC,CAAA"}

package/dist/reducer/reducer.d.ts

@@ -0,0 +1,44 @@
+import { Layer } from 'effect';
+import { type Manifest } from '../definition/definition';
+import { type AnyEvent, type EventType } from '../event/event';
+import type { Store } from '../internal/store';
+import { type AnyState, type StateValue } from '../state/state';
+import { type AnyFamily, type FamilyKey, type FamilyStore, type FamilyValue, Tombstone } from '../state/stateFamily';
+import { Reducers } from '../runtime/loop';
+/** The reflectable descriptor a reducer carries, like every other primitive's `*Manifest`. */
+export interface ReducerManifest extends Manifest {
+    readonly kind: 'Reducer';
+}
+export interface StateReducerConfig<S extends AnyState, Events extends ReadonlyArray<AnyEvent>> {
+    readonly states: readonly [S];
+    readonly events: Events;
+}
+export interface FamilyReducerConfig<F extends AnyFamily, Events extends ReadonlyArray<AnyEvent>> {
+    readonly family: F;
+    readonly keyOf: (event: EventType<Events[number]>) => FamilyKey<F>;
+    readonly events: Events;
+}
+export interface StateReducerClass<S extends AnyState, Events extends ReadonlyArray<AnyEvent>> {
+    new (): {};
+    readonly manifest: ReducerManifest;
+    /** Marker data read by `Reducer.live`. */
+    readonly config: StateReducerConfig<S, Events>;
+    readonly handles: ReadonlySet<string>;
+}
+export interface FamilyReducerClass<F extends AnyFamily, Events extends ReadonlyArray<AnyEvent>> {
+    new (): {};
+    readonly manifest: ReducerManifest;
+    readonly config: FamilyReducerConfig<F, Events>;
+    readonly handles: ReadonlySet<string>;
+}
+/**
+ * Reducers are the only writers of state. The *definition* (`Reducer.make`)
+ * declares which state and events it touches; the *implementation*
+ * (`Reducer.live`) is the pure fold. An unhandled event is a no-op because
+ * it is never in `handles`.
+ */
+export declare function make<S extends AnyState, const Events extends ReadonlyArray<AnyEvent>>(name: string, config: StateReducerConfig<S, Events>): StateReducerClass<S, Events>;
+export declare function make<F extends AnyFamily, const Events extends ReadonlyArray<AnyEvent>>(name: string, config: FamilyReducerConfig<F, Events>): FamilyReducerClass<F, Events>;
+export declare function live<S extends AnyState, Events extends ReadonlyArray<AnyEvent>>(reducer: StateReducerClass<S, Events>, fold: (value: StateValue<S>, event: EventType<Events[number]>) => StateValue<S>): Layer.Layer<never, never, Reducers | Store<StateValue<S>>>;
+export declare function live<F extends AnyFamily, Events extends ReadonlyArray<AnyEvent>>(reducer: FamilyReducerClass<F, Events>, fold: (entry: FamilyValue<F>, event: EventType<Events[number]>) => FamilyValue<F> | Tombstone): Layer.Layer<never, never, Reducers | FamilyStore<FamilyKey<F>, FamilyValue<F>>>;
+//# sourceMappingURL=reducer.d.ts.map

package/dist/reducer/reducer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reducer.d.ts","sourceRoot":"","sources":["../../src/reducer/reducer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,KAAK,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EAAE,KAAK,QAAQ,EAAmB,MAAM,0BAA0B,CAAA;AAEzE,OAAO,EAAE,KAAK,QAAQ,EAAE,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC9D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,KAAK,QAAQ,EAAE,KAAK,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAC/D,OAAO,EACL,KAAK,SAAS,EACd,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,SAAS,EACV,MAAM,sBAAsB,CAAA;AAE7B,OAAO,EAAqB,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAE7D,8FAA8F;AAC9F,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CACzB;AAED,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,QAAQ,EAAE,MAAM,SAAS,aAAa,CAAC,QAAQ,CAAC;IAC5F,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,WAAW,mBAAmB,CAAC,CAAC,SAAS,SAAS,EAAE,MAAM,SAAS,aAAa,CAAC,QAAQ,CAAC;IAC9F,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAA;IAClE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,WAAW,iBAAiB,CAAC,CAAC,SAAS,QAAQ,EAAE,MAAM,SAAS,aAAa,CAAC,QAAQ,CAAC;IAC3F,QAAQ,EAAE,CAAA;IACV,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;IAClC,0CAA0C;IAC1C,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IAC9C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CACtC;AAED,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,SAAS,EAAE,MAAM,SAAS,aAAa,CAAC,QAAQ,CAAC;IAC7F,QAAQ,EAAE,CAAA;IACV,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;IAClC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IAC/C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CACtC;AAED;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,QAAQ,EAAE,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,QAAQ,CAAC,EACnF,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,kBAAkB,CAAC,CAAC,EAAE,MAAM,CAAC,GACpC,iBAAiB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;AAC/B,wBAAgB,IAAI,CAAC,CAAC,SAAS,SAAS,EAAE,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,QAAQ,CAAC,EACpF,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,mBAAmB,CAAC,CAAC,EAAE,MAAM,CAAC,GACrC,kBAAkB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;AAuBhC,wBAAgB,IAAI,CAAC,CAAC,SAAS,QAAQ,EAAE,MAAM,SAAS,aAAa,CAAC,QAAQ,CAAC,EAC7E,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,MAAM,CAAC,EACrC,IAAI,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,GAC9E,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC7D,wBAAgB,IAAI,CAAC,CAAC,SAAS,SAAS,EAAE,MAAM,SAAS,aAAa,CAAC,QAAQ,CAAC,EAC9E,OAAO,EAAE,kBAAkB,CAAC,CAAC,EAAE,MAAM,CAAC,EACtC,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,GAC5F,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/dist/reducer/reducer.js

@@ -0,0 +1,63 @@
+import { Effect, Layer } from 'effect';
+import { definitionClass } from '../definition/definition';
+import { AsyncReducer } from '../internal/errors';
+import {} from '../event/event';
+import {} from '../state/state';
+import { Tombstone, } from '../state/stateFamily';
+import { narrowHandled } from '../runtime/bus';
+import { Reducers } from '../runtime/loop';
+export function make(name, config) {
+    return definitionClass({
+        manifest: { kind: 'Reducer', name },
+        config,
+        handles: new Set(config.events.map((e) => e.tag)),
+    });
+}
+/** Reject an accidentally-async fold up front: a reducer must be a pure sync write. */
+const sync = (value) => {
+    // Loose `!= null` so a reducer returning `undefined` doesn't crash the guard.
+    if (value != null && typeof value.then === 'function') {
+        throw new AsyncReducer();
+    }
+    return value;
+};
+export function live(reducer, fold) {
+    const { config, handles } = reducer;
+    const name = reducer.manifest.name;
+    // Scoped registration: register on build, unregister on scope close. For an eager
+    // app the scope is the root runtime's (closes only at dispose), so behavior is
+    // unchanged; for a lazy feature the scope is the feature's, so unmount removes the
+    // entry — it stops folding and is reclaimed instead of leaking onto a dead store.
+    return Layer.scopedDiscard(Effect.gen(function* () {
+        const reducers = yield* Reducers;
+        if (reducers.entries.some((e) => e.name === name)) {
+            yield* Effect.logWarning(`reform: duplicate reducer name '${name}' registered`);
+        }
+        const entry = yield* Effect.gen(function* () {
+            if ('family' in config) {
+                const family = yield* config.family.store;
+                return {
+                    name,
+                    handles,
+                    apply: (event) => {
+                        // The loop only invokes `apply` for events in `handles`, so `event`
+                        // is one of this reducer's declared events; `narrowHandled` restores
+                        // that typed view from the erased `Tagged` envelope `keyOf` is fed.
+                        const key = config.keyOf(narrowHandled(event));
+                        const next = fold(family.at(key).get(), event);
+                        // A fold may return the eviction sentinel to drop the key's store
+                        // (bounding an otherwise-unbounded family) instead of a new value.
+                        if (next === Tombstone)
+                            family.forget(key);
+                        else
+                            family.at(key).set(sync(next));
+                    },
+                };
+            }
+            const store = yield* config.states[0].store;
+            return { name, handles, apply: (event) => store.set(sync(fold(store.get(), event))) };
+        });
+        yield* Effect.acquireRelease(Effect.sync(() => reducers.register(entry)), () => Effect.sync(() => reducers.unregister(entry)));
+    }));
+}
+//# sourceMappingURL=reducer.js.map

package/dist/reducer/reducer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reducer.js","sourceRoot":"","sources":["../../src/reducer/reducer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EAAiB,eAAe,EAAE,MAAM,0BAA0B,CAAA;AACzE,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAiC,MAAM,gBAAgB,CAAA;AAE9D,OAAO,EAAkC,MAAM,gBAAgB,CAAA;AAC/D,OAAO,EAKL,SAAS,GACV,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,aAAa,EAAe,MAAM,gBAAgB,CAAA;AAC3D,OAAO,EAAqB,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AA+C7D,MAAM,UAAU,IAAI,CAClB,IAAY,EACZ,MAE2D;IAE3D,OAAO,eAAe,CAAU;QAC9B,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAkB,EAAE,IAAI,EAA4B;QACtE,MAAM;QACN,OAAO,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;KAClD,CAAC,CAAA;AACJ,CAAC;AAED,uFAAuF;AACvF,MAAM,IAAI,GAAG,CAAI,KAAQ,EAAK,EAAE;IAC9B,8EAA8E;IAC9E,IAAI,KAAK,IAAI,IAAI,IAAI,OAAQ,KAA4B,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9E,MAAM,IAAI,YAAY,EAAE,CAAA;IAC1B,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAUD,MAAM,UAAU,IAAI,CAClB,OAE0D,EAC1D,IAAmC;IAEnC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAA;IACnC,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAA;IAClC,kFAAkF;IAClF,+EAA+E;IAC/E,mFAAmF;IACnF,kFAAkF;IAClF,OAAO,KAAK,CAAC,aAAa,CACxB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAA;QAChC,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YAClD,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,mCAAmC,IAAI,cAAc,CAAC,CAAA;QACjF,CAAC;QACD,MAAM,KAAK,GAAiB,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YACrD,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;gBACvB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAA;gBACzC,OAAO;oBACL,IAAI;oBACJ,OAAO;oBACP,KAAK,EAAE,CAAC,KAAa,EAAE,EAAE;wBACvB,oEAAoE;wBACpE,qEAAqE;wBACrE,oEAAoE;wBACpE,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;wBAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,CAAA;wBAC9C,kEAAkE;wBAClE,mEAAmE;wBACnE,IAAI,IAAI,KAAK,SAAS;4BAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;;4BACrC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;oBACrC,CAAC;iBACF,CAAA;YACH,CAAC;YACD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;YAC3C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,KAAa,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAA;QAC/F,CAAC,CAAC,CAAA;QACF,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;AACH,CAAC"}

package/dist/remote/remoteState.d.ts

@@ -0,0 +1,119 @@
+import { Context, Effect, Layer, Schema } from 'effect';
+import { AsyncData } from '../calc/asyncData';
+import * as Channel from '../channel/channel';
+import { type Manifest } from '../definition/definition';
+import * as Event from '../event/event';
+import { type GatedOf } from '../internal/queryDriver';
+import { type InputsObject, type InputStores, type InvalidateBy } from '../internal/sources';
+import { type Store } from '../internal/store';
+import { Bus } from '../runtime/bus';
+import { Reducers } from '../runtime/loop';
+import { type AnySource, StateToken } from '../state/token';
+/** One queued intent: the dispatched event value plus the lifecycle metadata. */
+export interface PendingIntent<I> {
+    readonly opId: string;
+    /** The dispatched intent event (`{ _tag, ...payload }`). */
+    readonly intent: I;
+    /** `'sending'` until the RPC acks; `'confirmed'` until the post-ack refetch lands. */
+    readonly status: 'sending' | 'confirmed';
+}
+/** The payload of the public `Failed` event: which intent, and what `send` raised. */
+export interface FailedIntent<I> {
+    readonly intent: I;
+    readonly error: unknown;
+}
+export interface RemoteStateManifest<N extends string, A, E> extends Manifest {
+    readonly kind: 'RemoteState';
+    readonly name: N;
+    /** Schema of the server value (`Success` arm / `apply`'s domain). */
+    readonly output: Schema.Schema<A, any>;
+    readonly error?: Schema.Schema<E, any>;
+    /** Whether the query can be disabled (drives the `Idle` arm). */
+    readonly gated: boolean;
+    /** The mutation vocabulary — intent event tags, reflectable without running logic. */
+    readonly intents: ReadonlyArray<string>;
+}
+export interface RemoteStateClass<out N extends string, out Inputs extends ReadonlyArray<AnySource>, in out Intents extends ReadonlyArray<Event.AnyEvent>, in out A, in out E, in out Gated extends boolean> extends Effect.Effect<AsyncData<A, E, Gated>, never, Store<AsyncData<A, E, Gated>>> {
+    new (): {};
+    readonly manifest: RemoteStateManifest<N, A, E>;
+    /** The OVERLAID view (`pending.reduce(apply, truth)`) — what `yield*` reads. */
+    readonly store: Context.Tag<Store<AsyncData<A, E, Gated>>, Store<AsyncData<A, E, Gated>>>;
+    /** The name, so the class doubles as a `Source` input to another calc. */
+    readonly name: N;
+    /** Marker data read by `RemoteState.live`. */
+    readonly inputs: Inputs;
+    /** The intent event definitions (marker data; read by `RemoteState.live`). */
+    readonly intents: Intents;
+    /** Runtime mirror of `Gated`: whether `disabled` is honored / `Idle` can occur. */
+    readonly gated: Gated;
+    /** The un-overlaid query lifecycle — for chrome that must show server truth. */
+    readonly truth: StateToken<`${N}/truth`, AsyncData<A, E, Gated>>;
+    /**
+     * The pending queue as a read-only `Source` (badges, "saving…" chrome). Not a
+     * `StateClass`, so no user reducer can target it — the hidden queue reducer
+     * is its sole writer.
+     */
+    readonly pending: StateToken<`${N}/pending`, ReadonlyArray<PendingIntent<Event.EventType<Intents[number]>>>>;
+    /** Public fact: a send failed; its intent left the queue and the view reverted. */
+    readonly Failed: Event.EventClass<`${N}/Failed`, FailedIntent<Event.EventType<Intents[number]>>>;
+}
+export interface RemoteStateConfig<Inputs extends ReadonlyArray<AnySource>, Intents extends ReadonlyArray<Event.AnyEvent>, A, E, AlwaysOn extends boolean> {
+    readonly inputs: Inputs;
+    /** Schema of the server value. */
+    readonly output: Schema.Schema<A, any>;
+    /** Schema of the query failure. Omitted ⇒ infallible query, no `Error` arm. */
+    readonly error?: Schema.Schema<E, any>;
+    /** `true` ⇒ the query is always on: no `Idle` arm and `disabled` is rejected on `.live`. */
+    readonly alwaysOn?: AlwaysOn;
+    /** The mutation vocabulary: ordinary `Event.make` definitions. */
+    readonly intents: Intents;
+}
+/**
+ * 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 declare const make: <const N extends string, const Inputs extends ReadonlyArray<AnySource>, const Intents extends ReadonlyArray<Event.AnyEvent>, A, E = never, const AlwaysOn extends boolean = false>(name: N, config: RemoteStateConfig<Inputs, Intents, A, E, AlwaysOn>) => RemoteStateClass<N, Inputs, Intents, A, E, GatedOf<AlwaysOn>>;
+/**
+ * The `.live` config: the query (same contract as `AsyncCalc.live`), the
+ * delivery effect, and the pure per-intent fold.
+ */
+export type RemoteStateLive<Inputs extends ReadonlyArray<AnySource>, Intents extends ReadonlyArray<Event.AnyEvent>, A, E, Gated extends boolean, R, R2> = {
+    readonly query: (inputs: InputsObject<Inputs>) => Effect.Effect<A, E, R>;
+    /**
+     * Deliver one intent to the server. ANY failure (typed failure or defect)
+     * settles the intent and dispatches `Failed`; the result value is ignored —
+     * truth comes back through the invalidated query, never through the response.
+     */
+    readonly send: (intent: Event.EventType<Intents[number]>) => Effect.Effect<unknown, unknown, R2>;
+    /**
+     * The pure per-intent fold over the server value (typically one
+     * `Match.exhaustive` over the intent union). MUST be idempotent against
+     * truth that already carries the intent — see the module doc.
+     */
+    readonly apply: (value: A, intent: Event.EventType<Intents[number]>) => A;
+    /** The send lane. Default: a generated `${name}/sends` merge channel. */
+    readonly channel?: Channel.ChannelClass;
+    readonly invalidateBy?: InvalidateBy<Inputs>;
+    /** Extra refetch triggers (realtime pushes, unrelated mutations) — `AsyncCalc`'s sugar. */
+    readonly invalidateOn?: ReadonlyArray<Event.AnyEvent>;
+    /** Refetch conciliation — see `AsyncCalc.live`. Mutation bursts favor `'trailing'`. */
+    readonly coalesce?: 'switch' | 'trailing';
+    /** Structural sharing across refetches AND overlay recomputes — see `AsyncCalc.live`. */
+    readonly reuse?: boolean;
+} & (Gated extends true ? {
+    readonly disabled?: (inputs: InputsObject<Inputs>) => boolean;
+} : {
+    readonly disabled?: never;
+});
+/**
+ * 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 declare const live: <N extends string, Inputs extends ReadonlyArray<AnySource>, Intents extends ReadonlyArray<Event.AnyEvent>, A, E, Gated extends boolean, R, R2>(remote: RemoteStateClass<N, Inputs, Intents, A, E, Gated>, config: RemoteStateLive<Inputs, Intents, A, E, Gated, R, R2>) => Layer.Layer<Store<AsyncData<A, E, Gated>> | Store<ReadonlyArray<PendingIntent<Event.EventType<Intents[number]>>>>, never, InputStores<Inputs> | R | R2 | Reducers | Channel.Procedures | Channel.Channels | Bus>;
+//# sourceMappingURL=remoteState.d.ts.map

package/dist/remote/remoteState.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"remoteState.d.ts","sourceRoot":"","sources":["../../src/remote/remoteState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAU,KAAK,EAA+B,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5F,OAAO,EAAqB,SAAS,EAA2B,MAAM,mBAAmB,CAAA;AACzF,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAC7C,OAAO,EAAE,KAAK,QAAQ,EAAkB,MAAM,0BAA0B,CAAA;AACxE,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAA;AACvC,OAAO,EAEL,KAAK,OAAO,EAKb,MAAM,yBAAyB,CAAA;AAGhC,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,YAAY,EAElB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAA+B,KAAK,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAG3E,OAAO,EAAE,GAAG,EAA0B,MAAM,gBAAgB,CAAA;AAC5D,OAAO,EAAqB,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAE7D,OAAO,EAAE,KAAK,SAAS,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAuC3D,iFAAiF;AACjF,MAAM,WAAW,aAAa,CAAC,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,sFAAsF;IACtF,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,WAAW,CAAA;CACzC;AAED,sFAAsF;AACtF,MAAM,WAAW,YAAY,CAAC,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,WAAW,mBAAmB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,QAAQ;IAC3E,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,qEAAqE;IACrE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACtC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACtC,iEAAiE;IACjE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,sFAAsF;IACtF,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CACxC;AAED,MAAM,WAAW,gBAAgB,CAC/B,GAAG,CAAC,CAAC,SAAS,MAAM,EACpB,GAAG,CAAC,MAAM,SAAS,aAAa,CAAC,SAAS,CAAC,EAC3C,EAAE,CAAC,GAAG,CAAC,OAAO,SAAS,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EACpD,EAAE,CAAC,GAAG,CAAC,CAAC,EACR,EAAE,CAAC,GAAG,CAAC,CAAC,EACR,EAAE,CAAC,GAAG,CAAC,KAAK,SAAS,OAAO,CAC5B,SAAQ,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACnF,QAAQ,EAAE,CAAA;IACV,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/C,gFAAgF;IAChF,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;IACzF,0EAA0E;IAC1E,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,8CAA8C;IAC9C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,gFAAgF;IAChF,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;IAChE;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,UAAU,CAC1B,GAAG,CAAC,UAAU,EACd,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAC/D,CAAA;IACD,mFAAmF;IACnF,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;CACjG;AAED,MAAM,WAAW,iBAAiB,CAChC,MAAM,SAAS,aAAa,CAAC,SAAS,CAAC,EACvC,OAAO,SAAS,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAC7C,CAAC,EACD,CAAC,EACD,QAAQ,SAAS,OAAO;IAExB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,kCAAkC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACtC,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACtC,4FAA4F;IAC5F,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAA;IAC5B,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;AAUD;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,SAAS,CAAC,EAC7C,KAAK,CAAC,OAAO,SAAS,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EACnD,CAAC,EACD,CAAC,GAAG,KAAK,EACT,KAAK,CAAC,QAAQ,SAAS,OAAO,GAAG,KAAK,EAEtC,MAAM,CAAC,EACP,QAAQ,iBAAiB,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KACzD,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CA0C9D,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,eAAe,CACzB,MAAM,SAAS,aAAa,CAAC,SAAS,CAAC,EACvC,OAAO,SAAS,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAC7C,CAAC,EACD,CAAC,EACD,KAAK,SAAS,OAAO,EACrB,CAAC,EACD,EAAE,IACA;IACF,QAAQ,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACxE;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,CAAA;IAChG;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAA;IACzE,yEAAyE;IACzE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,YAAY,CAAA;IACvC,QAAQ,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,2FAA2F;IAC3F,QAAQ,CAAC,YAAY,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IACrD,uFAAuF;IACvF,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,UAAU,CAAA;IACzC,yFAAyF;IACzF,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CACzB,GAAG,CAAC,KAAK,SAAS,IAAI,GACnB;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,KAAK,OAAO,CAAA;CAAE,GACjE;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,CAAA;AAUlC;;;;;;;GAOG;AACH,eAAO,MAAM,IAAI,GACf,CAAC,SAAS,MAAM,EAChB,MAAM,SAAS,aAAa,CAAC,SAAS,CAAC,EACvC,OAAO,SAAS,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAC7C,CAAC,EACD,CAAC,EACD,KAAK,SAAS,OAAO,EACrB,CAAC,EACD,EAAE,EAEF,QAAQ,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,EACzD,QAAQ,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAC3D,KAAK,CAAC,KAAK,CACV,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,GAC7B,KAAK,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EACvE,KAAK,EACH,WAAW,CAAC,MAAM,CAAC,GACnB,CAAC,GACD,EAAE,GACF,QAAQ,GACR,OAAO,CAAC,UAAU,GAClB,OAAO,CAAC,QAAQ,GAChB,GAAG,CAuRN,CAAA"}