@playfast/reform 0.0.1

package/dist/esm/compose/ui.js

@@ -0,0 +1,57 @@
+import { Context, Effect, Option } from 'effect';
+import { yieldableClass } from '../definition/definition.js';
+import { CaptureSink } from '../internal/capture.js';
+import { SlotRenderingUnavailable } from '../internal/errors.js';
+import { CurrentSlots } from './host.js';
+import {} from './slot.js';
+/** Nominal brand identifying a UI contract at runtime (Effect's `TypeId` idiom). */
+export const UiTypeId = Symbol.for('reform/Ui');
+/** Whether a value is a UI contract — discriminates a `provide` target by brand. */
+export const isUi = (u) => (typeof u === 'function' || typeof u === 'object') && u !== null && UiTypeId in u;
+/**
+ * A renderer-neutral UI contract. The logic resolves it (`yield* TodoAppUi`) to
+ * a `(props, events) => node` view with slots already bound; `.make` authors the
+ * presentation. Core defines the contract; `@reform/react` does the rendering.
+ */
+export const ui = (name) => () => {
+    const impl = Context.GenericTag(`reform/ui/${name}`);
+    const read = Effect.gen(function* () {
+        const render = yield* impl;
+        // Slots are bound by the host (`@reform/react`) per composition instance.
+        // Core has no renderer, so without a host every slot access throws.
+        const host = yield* Effect.serviceOption(CurrentSlots);
+        const slots = new Proxy({}, {
+            get(_t, key) {
+                if (Option.isNone(host)) {
+                    throw new SlotRenderingUnavailable({ slot: String(key) });
+                }
+                return host.value.slot(String(key));
+            },
+        });
+        // A capturing host (proofs, the dev tool) reports each render's observable
+        // surface without replacing the presentation. Absent in production.
+        const sink = yield* Effect.serviceOption(CaptureSink);
+        return (props, events) => {
+            if (Option.isSome(sink)) {
+                sink.value.record({
+                    name,
+                    props,
+                    events: (events ?? {}),
+                });
+            }
+            return render(props, slots, (events ?? {}));
+        };
+    });
+    return yieldableClass(read, {
+        [UiTypeId]: UiTypeId,
+        manifest: { kind: 'Ui', name },
+        impl,
+    });
+};
+/**
+ * Author the pure presentation for a contract — `Ui.make(TodoAppUi, (props,
+ * slots, events) => node)`. The contract argument fixes the view's types; wire
+ * the result with `provide(contract, view)`.
+ */
+export const make = (_contract, view) => view;
+//# sourceMappingURL=ui.js.map

package/dist/esm/compose/ui.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ui.js","sourceRoot":"","sources":["../../../src/compose/ui.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAChD,OAAO,EAAiB,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAA;AAE7D,OAAO,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAA;AACrC,OAAO,EAAgD,MAAM,QAAQ,CAAA;AAwBrE,oFAAoF;AACpF,MAAM,CAAC,MAAM,QAAQ,GAAkB,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;AAY9D,oFAAoF;AACpF,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAU,EAA4B,EAAE,CAC3D,CAAC,OAAO,CAAC,KAAK,UAAU,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,QAAQ,IAAI,CAAC,CAAA;AAEnF;;;;GAIG;AACH,MAAM,CAAC,MAAM,EAAE,GACb,CAAC,IAAY,EAAE,EAAE,CACjB,GAAqC,EAAE;IACrC,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAA2B,aAAa,IAAI,EAAE,CAAC,CAAA;IAC9E,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,IAAI,CAAA;QAC1B,0EAA0E;QAC1E,oEAAoE;QACpE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QACtD,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,EAAgB,EAAE;YACxC,GAAG,CAAC,EAAE,EAAE,GAAG;gBACT,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBACxB,MAAM,IAAI,wBAAwB,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBAC3D,CAAC;gBACD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;YACrC,CAAC;SACF,CAAC,CAAA;QACF,2EAA2E;QAC3E,oEAAoE;QACpE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,CAAA;QACrD,OAAO,CAAC,KAAiB,EAAE,MAAoB,EAAE,EAAE;YACjD,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;oBAChB,IAAI;oBACJ,KAAK;oBACL,MAAM,EAAE,CAAC,MAAM,IAAI,EAAE,CAAqC;iBAC3D,CAAC,CAAA;YACJ,CAAC;YACD,OAAO,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,IAAI,EAAE,CAAgB,CAAC,CAAA;QAC5D,CAAC,CAAA;IACH,CAAC,CAAC,CAAA;IACF,OAAO,cAAc,CAAC,IAAI,EAAE;QAC1B,CAAC,QAAQ,CAAC,EAAE,QAAQ;QACpB,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAa,EAAE,IAAI,EAAE;QACvC,IAAI;KACL,CAAC,CAAA;AACJ,CAAC,CAAA;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAuB,SAAqB,EAAE,IAAiB,EAAe,EAAE,CAClG,IAAI,CAAA"}

package/dist/esm/definition/definition.js

@@ -0,0 +1,42 @@
+import { Effect } from 'effect';
+import { attachInspectable } from '../internal/inspect.js';
+/** A definition's `toJSON`: its reflectable manifest, else its raw statics. */
+const describe = (statics) => statics.manifest ?? statics;
+/**
+ * Build a class whose *static* side is itself an Effect, so `yield* TheClass`
+ * runs `read` and returns its value (the same mechanism `Context.Tag` uses).
+ * Subclasses inherit the protocol through the prototype chain, so the user's
+ * `class FeedState extends State.make(...) {}` is yieldable too.
+ *
+ * `statics` (manifest, `.live`, tag, …) are attached as own properties
+ * and likewise inherited by the subclass.
+ */
+export const yieldableClass = (read, statics) => {
+    class Base {
+    }
+    Object.setPrototypeOf(Base, read);
+    // `defineProperty` over `Reflect.ownKeys`, not `Object.assign` over
+    // `Object.entries`: a static can shadow a non-writable own property of the
+    // class function (notably `name`, which a `Source`-shaped definition like a
+    // Calc carries) and `assign` would throw on those; and `ownKeys` (unlike
+    // `entries`) carries symbol-keyed statics — the `TypeId` brands.
+    for (const key of Reflect.ownKeys(statics)) {
+        const value = statics[key];
+        Object.defineProperty(Base, key, { value, writable: true, enumerable: true, configurable: true });
+    }
+    // Print like an Effect value (the manifest), not `[object Object]`.
+    attachInspectable(Base, () => describe(statics));
+    return Base;
+};
+/**
+ * Build a *definition class*: an empty constructible carrying static marker data
+ * (manifest, tag, policy, members, …) that the editor and proof packages reflect
+ * on. Definition interfaces declare phantom, type-only fields — a composition's
+ * `Props`, a family instance's `Key` — that exist purely for inference and have
+ * no runtime value, so the assembled object cannot *structurally* satisfy the
+ * interface. The one assertion to `Class` lives here, documented, instead of a
+ * scattered `as never` / `as unknown as` at every `*.make`.
+ */
+export const definitionClass = (statics) => attachInspectable(Object.assign(class {
+}, statics), () => describe(statics));
+//# sourceMappingURL=definition.js.map

package/dist/esm/definition/definition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.js","sourceRoot":"","sources":["../../../src/definition/definition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AAEvD,+EAA+E;AAC/E,MAAM,QAAQ,GAAG,CAAC,OAAe,EAAW,EAAE,CAAE,OAAkC,CAAC,QAAQ,IAAI,OAAO,CAAA;AA8BtG;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAA4B,EAC5B,OAAgB,EACmC,EAAE;IACrD,MAAM,IAAI;KAAG;IACb,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACjC,oEAAoE;IACpE,2EAA2E;IAC3E,4EAA4E;IAC5E,yEAAyE;IACzE,iEAAiE;IACjE,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAI,OAAwC,CAAC,GAAG,CAAC,CAAA;QAC5D,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAA;IACnG,CAAC;IACD,oEAAoE;IACpE,iBAAiB,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;IAChD,OAAO,IAAa,CAAA;AACtB,CAAC,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAQ,OAAe,EAAS,EAAE,CAC/D,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC;CAAQ,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAqB,CAAA"}

package/dist/esm/event/event.js

@@ -0,0 +1,30 @@
+import { Effect, PubSub, Runtime } from 'effect';
+import { definitionClass } from '../definition/definition.js';
+import { Bus, publish } from '../runtime/bus.js';
+/** A pure data fact. Events depend on nothing — only reducers tie them to state. */
+export const make = (name, schema) => {
+    const build = (payload) => ({ _tag: name, ...payload });
+    const trigger = Effect.gen(function* () {
+        const bus = yield* Bus;
+        const runtime = yield* Effect.runtime();
+        // Dispatch synchronously: on the unbounded bus `publish` only enqueues and
+        // returns, so `runSync` never suspends and no fiber is forked per UI event.
+        // The drain loop still folds reducers on its own fiber — publish is pure offer.
+        return (payload) => {
+            Runtime.runSync(runtime)(PubSub.publish(bus, { priority: 'High', event: build(payload) }));
+        };
+    });
+    return definitionClass({
+        manifest: { kind: 'Event', name, schema },
+        tag: name,
+        build,
+        trigger,
+    });
+};
+/** Construct the tagged value for an event (used for `boot` events). */
+export const construct = (event, payload) => event.build(payload);
+/** Dispatch as a follow-up (Normal priority) from a procedure/effect. */
+export const dispatch = (event, payload) => publish('Normal', event.build(payload));
+/** A callback for the UI that dispatches at High priority via the runtime. */
+export const trigger = (event) => event.trigger;
+//# sourceMappingURL=event.js.map

package/dist/esm/event/event.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"event.js","sourceRoot":"","sources":["../../../src/event/event.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAe,MAAM,QAAQ,CAAA;AAC7D,OAAO,EAAiB,eAAe,EAAE,MAAM,0BAA0B,CAAA;AACzE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAe,MAAM,gBAAgB,CAAA;AAyB1D,oFAAoF;AACpF,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,IAAO,EACP,MAA6B,EACX,EAAE;IACpB,MAAM,KAAK,GAAG,CAAC,OAAU,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC,CAAA;IACzE,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,GAAG,CAAA;QACtB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAS,CAAA;QAC9C,2EAA2E;QAC3E,4EAA4E;QAC5E,gFAAgF;QAChF,OAAO,CAAC,OAAU,EAAE,EAAE;YACpB,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAA;QAC5F,CAAC,CAAA;IACH,CAAC,CAAC,CAAA;IACF,OAAO,eAAe,CAAmB;QACvC,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAgB,EAAE,IAAI,EAAE,MAAM,EAAE;QAClD,GAAG,EAAE,IAAI;QACT,KAAK;QACL,OAAO;KACR,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,wEAAwE;AACxE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAsB,KAAuB,EAAE,OAAU,EAAiB,EAAE,CACnG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;AAEtB,yEAAyE;AACzE,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,KAAuB,EACvB,OAAU,EACuB,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;AAE7E,8EAA8E;AAC9E,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,KAAuB,EACgB,EAAE,CAAC,KAAK,CAAC,OAAO,CAAA"}

package/dist/esm/event/eventGroup.js

@@ -0,0 +1,4 @@
+import { definitionClass } from '../definition/definition.js';
+/** Compose events into a group, the same variadic shape as `StateGroup`/`RpcGroup`. */
+export const make = (...members) => definitionClass({ kind: 'EventGroup', members });
+//# sourceMappingURL=eventGroup.js.map

package/dist/esm/event/eventGroup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eventGroup.js","sourceRoot":"","sources":["../../../src/event/eventGroup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAS1D,uFAAuF;AACvF,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,GAAG,OAAgB,EACO,EAAE,CAC5B,eAAe,CAA2B,EAAE,IAAI,EAAE,YAAqB,EAAE,OAAO,EAAE,CAAC,CAAA"}

package/dist/esm/feature/feature.js

@@ -0,0 +1,98 @@
+import { Effect, Layer } from 'effect';
+import {} from '../runtime/loop.js';
+import {} from '../internal/sources.js';
+import { FeatureLoadFailed } from '../internal/errors.js';
+import { definitionClass } from '../definition/definition.js';
+import {} from '../compose/composition.js';
+import {} from '../compose/ui.js';
+import { publish } from '../runtime/bus.js';
+/**
+ * Publish a feature's lazy half: pair its `requires` (a runtime tuple of shared
+ * carriers) with its `layer`. The covariant `RIn` bound does the checking — a
+ * layer that reaches for any service outside `EngineServices | ProvidedBy<requires>`
+ * is not assignable, so it fails to compile right here, next to the layer, with no
+ * cast. Listing an unused carrier is harmless; omitting a needed one is a type error.
+ *
+ * The bound also forbids a feature from *providing* `EngineServices` (they may only
+ * be open `RIn`), structurally enforcing the liveness rule: a feature can never
+ * bundle its own engine — it always shares the root's bus and registries.
+ */
+export const featureModule = (requires, layer) => ({ requires, layer });
+/**
+ * Wrap a dynamic `import()` of a feature's `.live` module as an `Effect` — Reform
+ * never exposes a Promise/`await` on the feature surface. The unavoidable thenable
+ * is sealed here; a rejected import (missing chunk, network failure, module-eval
+ * throw) surfaces as a typed `FeatureLoadFailed` the host hands to
+ * `placeholder.failed`. The module's default export is its `FeatureModule`.
+ */
+export const lazyImport = (thunk) => Effect.tryPromise({
+    try: thunk,
+    catch: (cause) => new FeatureLoadFailed({ cause }),
+}).pipe(Effect.map((module) => module.default));
+/** Nominal brand identifying the value a `provide(slot, Feature)` puts under a slot tag. */
+export const FeatureBindingTypeId = Symbol.for('reform/FeatureBinding');
+/** Whether a slot's bound child is a lazy/eager feature (vs a plain composition). */
+export const isFeatureBinding = (u) => typeof u === 'object' && u !== null && FeatureBindingTypeId in u;
+/** Whether a value is a feature definition (its target shape in `provide(slot, Feature)`). */
+export const isFeature = (u) => (typeof u === 'function' || typeof u === 'object') &&
+    u !== null &&
+    'manifest' in u &&
+    u.manifest?.kind === 'Feature';
+/**
+ * Define a feature. The whole-app shape (this manifest, the composition, the
+ * placeholders) stays eager and reflectable; the `.live` layer in `module`/`load`
+ * is the deferred chunk. Flip `loadingStrategy` from `'default'` to `'lazy'` and
+ * the discriminated config *requires* `placeholder` — the compiler walks you to a
+ * complete code-split feature.
+ */
+export const make = (name, config) => {
+    const strategy = config.loadingStrategy ?? 'default';
+    const load = 'load' in config ? config.load : Effect.succeed(config.module);
+    const eagerModule = 'module' in config ? config.module : undefined;
+    const placeholder = 'placeholder' in config ? config.placeholder : undefined;
+    const manifest = {
+        kind: 'Feature',
+        name,
+        strategy,
+        composition: config.composition.manifest,
+        ...(placeholder
+            ? { placeholder: { loading: placeholder.loading.manifest, failed: placeholder.failed.manifest } }
+            : {}),
+    };
+    const binding = {
+        [FeatureBindingTypeId]: FeatureBindingTypeId,
+        manifest,
+        composition: config.composition,
+        strategy,
+        // The host is strategy-uniform: `default`'s `load` resolves immediately. The
+        // assignment to the erased `LoadedModule` needs no cast — see `LoadedModule`.
+        load,
+        ...(placeholder ? { placeholder: { loading: placeholder.loading, failed: placeholder.failed } } : {}),
+        boot: config.boot ?? [],
+    };
+    return definitionClass({ manifest, load, binding, eagerModule });
+};
+/**
+ * Mount a feature against a live engine. The renderer-neutral lifecycle, run on a
+ * per-feature `Scope`: load the module (an Effect — lazy = dynamic import; default
+ * = immediate), build its `.live` layer against the host's live `engineContext`
+ * (so its reducers/procedures register into the SHARED registries and its fibers
+ * fork onto this scope), then dispatch the feature's `boot`. Returns the merged
+ * context — engine services + the feature's own services — for the host to read
+ * the feature's composition and stores. Closing the scope disposes exactly this
+ * feature: its fibers stop and its stores are reclaimed.
+ *
+ * The single boundary cast (mirroring `buildRuntime`): `module.layer` is erased to
+ * `LoadedModule` so the host stays strategy- and type-uniform. The feature's real
+ * `RIn` was verified cast-free at `provide(slot, Feature)` and scene wiring; here
+ * we re-attach the concrete `engineContext` it builds against. `R` is the engine
+ * context's service set, supplied by the host.
+ */
+export const mountFeature = (binding, engineContext) => Effect.gen(function* () {
+    const { layer } = yield* binding.load;
+    const featureLayer = layer;
+    const context = yield* Layer.build(Layer.provideMerge(featureLayer, Layer.succeedContext(engineContext)));
+    yield* Effect.forEach(binding.boot, (event) => publish('High', event), { discard: true }).pipe(Effect.provide(context));
+    return context;
+});
+//# sourceMappingURL=feature.js.map

package/dist/esm/feature/feature.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"feature.js","sourceRoot":"","sources":["../../../src/feature/feature.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAE,KAAK,EAAc,MAAM,QAAQ,CAAA;AAChE,OAAO,EAAe,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAiB,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AACtD,OAAO,EAAiB,eAAe,EAAE,MAAM,0BAA0B,CAAA;AACzE,OAAO,EAAyB,MAAM,wBAAwB,CAAA;AAC9D,OAAO,EAAmB,MAAM,eAAe,CAAA;AAC/C,OAAO,EAAE,OAAO,EAAe,MAAM,gBAAgB,CAAA;AA6DrD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,QAAkB,EAClB,KAAsE,EACvC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAA;AAEzD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,KAA6C,EACR,EAAE,CACvC,MAAM,CAAC,UAAU,CAAC;IAChB,GAAG,EAAE,KAAK;IACV,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,iBAAiB,CAAC,EAAE,KAAK,EAAE,CAAC;CACnD,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAA;AAsCjD,4FAA4F;AAC5F,MAAM,CAAC,MAAM,oBAAoB,GAAkB,MAAM,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAA;AAyBtF,qFAAqF;AACrF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAU,EAAuB,EAAE,CAClE,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,oBAAoB,IAAI,CAAC,CAAA;AAiClE,8FAA8F;AAC9F,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAU,EAAmB,EAAE,CACvD,CAAC,OAAO,CAAC,KAAK,UAAU,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC;IAClD,CAAC,KAAK,IAAI;IACV,UAAU,IAAI,CAAC;IACd,CAAwD,CAAC,QAAQ,EAAE,IAAI,KAAK,SAAS,CAAA;AAgCxF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,IAAY,EACZ,MAA2C,EACP,EAAE;IACtC,MAAM,QAAQ,GAAuB,MAAM,CAAC,eAAe,IAAI,SAAS,CAAA;IACxE,MAAM,IAAI,GACR,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAChE,MAAM,WAAW,GAAG,QAAQ,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;IAClE,MAAM,WAAW,GAAG,aAAa,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAA;IAE5E,MAAM,QAAQ,GAAoB;QAChC,IAAI,EAAE,SAAS;QACf,IAAI;QACJ,QAAQ;QACR,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,QAAQ;QACxC,GAAG,CAAC,WAAW;YACb,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE;YACjG,CAAC,CAAC,EAAE,CAAC;KACR,CAAA;IAED,MAAM,OAAO,GAAmB;QAC9B,CAAC,oBAAoB,CAAC,EAAE,oBAAoB;QAC5C,QAAQ;QACR,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,QAAQ;QACR,6EAA6E;QAC7E,8EAA8E;QAC9E,IAAI;QACJ,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrG,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,EAAE;KACxB,CAAA;IAED,OAAO,eAAe,CAAqC,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAA;AACtG,CAAC,CAAA;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,OAAuB,EACvB,aAAiC,EACwC,EAAE,CAC3E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAA;IACrC,MAAM,YAAY,GAAG,KAAuC,CAAA;IAC5D,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAChC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,KAAK,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CACtE,CAAA;IACD,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAC5F,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CACxB,CAAA;IACD,OAAO,OAAO,CAAA;AAChB,CAAC,CAAC,CAAA"}

package/dist/esm/index.js

@@ -0,0 +1,45 @@
+// Reform core — the renderer-neutral primitives and runtime.
+// Definitions (`X.make`) are separate from implementations (`.live`)
+// throughout, and nothing self-registers on import (principle #1, #6).
+export * as State from './state/state.js';
+export * as StateGroup from './state/stateGroup.js';
+export * as StateFamily from './state/stateFamily.js';
+export { StateToken } from './state/token.js';
+export * as Event from './event/event.js';
+export * as EventGroup from './event/eventGroup.js';
+export * as Reducer from './reducer/reducer.js';
+export * as Calc from './calc/calc.js';
+export * as CalcFamily from './calc/calcFamily.js';
+export * as AsyncCalc from './calc/asyncCalc.js';
+export {} from './calc/asyncData.js';
+export * as RemoteState from './remote/remoteState.js';
+export * as Boundary from './boundary/boundary.js';
+export * as Procedure from './procedure/procedure.js';
+export * as Channel from './channel/channel.js';
+export * as Composition from './compose/composition.js';
+export { Props } from './compose/props.js';
+export { isSlot, slot, SlotTypeId, } from './compose/slot.js';
+export { CurrentSlots } from './compose/host.js';
+export * as Ui from './compose/ui.js';
+export { isUi, ui, UiTypeId, } from './compose/ui.js';
+export { provide } from './compose/provide.js';
+// Feature: the lazy/eager code-split unit. Definitions stay eager and reflectable;
+// the heavy `.live` layer loads on demand (an Effect, never a Promise). See LAZY.md.
+export * as Feature from './feature/feature.js';
+export { FeatureBindingTypeId, featureModule, isFeature, isFeatureBinding, lazyImport, mountFeature, } from './feature/feature.js';
+export {} from './compose/slot.js';
+// A scene bundles a composition with the closed wiring that runs it — the single
+// handle the react host, proofs, and the dev tool all consume.
+export { isScene, scene, seedScene } from './scene/scene.js';
+// Runtime surface for hosts (`@reform/react`) and headless tests.
+export { Bus, publish } from './runtime/bus.js';
+export { Engine, Reducers } from './runtime/loop.js';
+export { Channels, Procedures, } from './channel/channel.js';
+export { CurrentTracker } from './internal/track.js';
+export { CaptureSink } from './internal/capture.js';
+export { AsyncReducer, DuplicateRegistration, FeatureLoadFailed, InvalidProvideTarget, SlotRenderingUnavailable, UnknownGroupState, } from './internal/errors.js';
+// Notification scheduler: hosts that need per-runtime isolation (concurrent SSR,
+// multiple mounted roots) provide `Notifications` upstream of their state layers;
+// everything else coalesces on the process-wide default.
+export { defaultScheduler, makeScheduler, Notifications, notificationsLayer, } from './internal/scheduler.js';
+//# sourceMappingURL=index.js.map

package/dist/esm/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAC7D,qEAAqE;AACrE,uEAAuE;AAEvE,OAAO,KAAK,KAAK,MAAM,eAAe,CAAA;AACtC,OAAO,KAAK,UAAU,MAAM,oBAAoB,CAAA;AAChD,OAAO,KAAK,WAAW,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAG1C,OAAO,KAAK,KAAK,MAAM,eAAe,CAAA;AAKtC,OAAO,KAAK,UAAU,MAAM,oBAAoB,CAAA;AAEhD,OAAO,KAAK,OAAO,MAAM,mBAAmB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAA;AAK7C,OAAO,EAMN,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,WAAW,MAAM,sBAAsB,CAAA;AAKnD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAA;AAS/C,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAA;AAClD,OAAO,KAAK,OAAO,MAAM,mBAAmB,CAAA;AAE5C,OAAO,KAAK,WAAW,MAAM,uBAAuB,CAAA;AAMpD,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AACvC,OAAO,EACL,MAAM,EAEN,IAAI,EAIJ,UAAU,GACX,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,YAAY,EAAiB,MAAM,gBAAgB,CAAA;AAC5D,OAAO,KAAK,EAAE,MAAM,cAAc,CAAA;AAClC,OAAO,EACL,IAAI,EAEJ,EAAE,EAGF,QAAQ,GAET,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAG3C,mFAAmF;AACnF,qFAAqF;AACrF,OAAO,KAAK,OAAO,MAAM,mBAAmB,CAAA;AAC5C,OAAO,EAIL,oBAAoB,EAGpB,aAAa,EAEb,SAAS,EACT,gBAAgB,EAChB,UAAU,EAEV,YAAY,GAIb,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAkB,MAAM,gBAAgB,CAAA;AAE/C,iFAAiF;AACjF,+DAA+D;AAC/D,OAAO,EAAE,OAAO,EAAoC,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAE3F,kEAAkE;AAClE,OAAO,EAAE,GAAG,EAAgC,OAAO,EAAe,MAAM,eAAe,CAAA;AACvF,OAAO,EAAE,MAAM,EAAqB,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AACpE,OAAO,EAIL,QAAQ,EAER,UAAU,GACX,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,cAAc,EAAmC,MAAM,kBAAkB,CAAA;AAClF,OAAO,EAAE,WAAW,EAAuC,MAAM,oBAAoB,CAAA;AACrF,OAAO,EACL,YAAY,EACZ,qBAAqB,EACrB,iBAAiB,EACjB,oBAAoB,EACpB,wBAAwB,EACxB,iBAAiB,GAClB,MAAM,mBAAmB,CAAA;AAC1B,iFAAiF;AACjF,kFAAkF;AAClF,yDAAyD;AACzD,OAAO,EACL,gBAAgB,EAChB,aAAa,EACb,aAAa,EACb,kBAAkB,GAEnB,MAAM,sBAAsB,CAAA"}

package/dist/esm/internal/capture.js

@@ -0,0 +1,11 @@
+import { Context } from 'effect';
+/**
+ * An OPTIONAL service. Core's `ui` read consults it via `serviceOption`: when a
+ * capturing host provides it (proofs, the dev tool), every resolved view reports
+ * its `(props, events)` before rendering, giving a faithful tree without
+ * replacing any presentation. Production never provides it, so nothing is
+ * recorded and there is no cost beyond one `serviceOption` lookup per render.
+ */
+export class CaptureSink extends Context.Tag('reform/internal/CaptureSink')() {
+}
+//# sourceMappingURL=capture.js.map

package/dist/esm/internal/capture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture.js","sourceRoot":"","sources":["../../../src/internal/capture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAmBhC;;;;;;GAMG;AACH,MAAM,OAAO,WAAY,SAAQ,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,EAGxE;CAAG"}

package/dist/esm/internal/ctx.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ctx.js.map

package/dist/esm/internal/ctx.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ctx.js","sourceRoot":"","sources":["../../../src/internal/ctx.ts"],"names":[],"mappings":""}

package/dist/esm/internal/errors.js

@@ -0,0 +1,54 @@
+import { Data } from 'effect';
+/**
+ * Tagged errors for the framework's synchronous boundaries. Even when thrown
+ * (React render, layer build, reflection), an error carries a `_tag` and its
+ * structured fields — never a bare `Error` — so callers and tooling can match on
+ * it. `Data.TaggedError` subclasses are real `Error`s, so `throw` still works.
+ */
+/** A `<slots.X/>` was rendered without a render-target host to realize it. */
+export class SlotRenderingUnavailable extends Data.TaggedError('reform/SlotRenderingUnavailable') {
+    get message() {
+        return `reform: rendering slot '${this.slot}' requires @reform/react`;
+    }
+}
+/** `provide(target, …)` was handed something that is neither a ui contract nor a slot. */
+export class InvalidProvideTarget extends Data.TaggedError('reform/InvalidProvideTarget') {
+    get message() {
+        return 'reform: provide target is neither a ui contract nor a slot';
+    }
+}
+/** `StateGroup.select(group, name)` named a state the group does not contain. */
+export class UnknownGroupState extends Data.TaggedError('reform/UnknownGroupState') {
+    get message() {
+        return `reform: unknown state '${this.name}' in group`;
+    }
+}
+/**
+ * A lazy `Feature`'s `load` Effect failed — the dynamic `import()` rejected (a
+ * missing chunk, a network failure, a module-eval throw). Surfaced as a typed
+ * failure the host hands to the feature's `placeholder.failed`, never a bare
+ * rejection. `cause` is the original rejection value.
+ */
+export class FeatureLoadFailed extends Data.TaggedError('reform/FeatureLoadFailed') {
+    get message() {
+        return `reform: a feature failed to load (${String(this.cause)})`;
+    }
+}
+/** A reducer fold returned a thenable — folds must be pure synchronous writes. */
+export class AsyncReducer extends Data.TaggedError('reform/AsyncReducer') {
+    get message() {
+        return 'reform: a reducer fold must be synchronous (it returned a Promise)';
+    }
+}
+/**
+ * Two distinct primitives were registered under one name into the same runtime —
+ * a silent footgun, since names key DI tags and channel lanes. Thrown for a
+ * channel name reused with a different policy (the second would otherwise be
+ * dropped). Reducer/procedure name clashes are warned (logged), not thrown.
+ */
+export class DuplicateRegistration extends Data.TaggedError('reform/DuplicateRegistration') {
+    get message() {
+        return `reform: duplicate ${this.kind} registered under name '${this.name}'`;
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/esm/internal/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../../src/internal/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAE7B;;;;;GAKG;AAEH,8EAA8E;AAC9E,MAAM,OAAO,wBAAyB,SAAQ,IAAI,CAAC,WAAW,CAAC,iCAAiC,CAE9F;IACA,IAAa,OAAO;QAClB,OAAO,2BAA2B,IAAI,CAAC,IAAI,0BAA0B,CAAA;IACvE,CAAC;CACF;AAED,0FAA0F;AAC1F,MAAM,OAAO,oBAAqB,SAAQ,IAAI,CAAC,WAAW,CAAC,6BAA6B,CAAK;IAC3F,IAAa,OAAO;QAClB,OAAO,4DAA4D,CAAA;IACrE,CAAC;CACF;AAED,iFAAiF;AACjF,MAAM,OAAO,iBAAkB,SAAQ,IAAI,CAAC,WAAW,CAAC,0BAA0B,CAEhF;IACA,IAAa,OAAO;QAClB,OAAO,0BAA0B,IAAI,CAAC,IAAI,YAAY,CAAA;IACxD,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,iBAAkB,SAAQ,IAAI,CAAC,WAAW,CAAC,0BAA0B,CAEhF;IACA,IAAa,OAAO;QAClB,OAAO,qCAAqC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAA;IACnE,CAAC;CACF;AAED,kFAAkF;AAClF,MAAM,OAAO,YAAa,SAAQ,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAAK;IAC3E,IAAa,OAAO;QAClB,OAAO,oEAAoE,CAAA;IAC7E,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,qBAAsB,SAAQ,IAAI,CAAC,WAAW,CAAC,8BAA8B,CAGxF;IACA,IAAa,OAAO;QAClB,OAAO,qBAAqB,IAAI,CAAC,IAAI,2BAA2B,IAAI,CAAC,IAAI,GAAG,CAAA;IAC9E,CAAC;CACF"}

package/dist/esm/internal/inspect.js

@@ -0,0 +1,32 @@
+import { format, NodeInspectSymbol } from 'effect/Inspectable';
+export { NodeInspectSymbol };
+/**
+ * The `Inspectable` trio built around a `toJSON`, so every reform value prints
+ * like an Effect value — `_id`-tagged JSON under `console.log`, Node's
+ * inspector, `JSON.stringify`, and `String(...)` — instead of `[object Object]`.
+ * Mirrors Effect's `BaseProto` / `Inspectable.Class` (`Inspectable.ts:170`).
+ */
+export const inspectable = (toJSON) => ({
+    toJSON,
+    toString: () => format(toJSON()),
+    [NodeInspectSymbol]: () => toJSON(),
+});
+/**
+ * Attach the `Inspectable` trio to an existing object as *non-enumerable* own
+ * properties (so they don't show up in `Object.keys`/`for…in` over a definition
+ * class). Used where the value is built by other means — the definition classes,
+ * whose statics are merged in separately.
+ */
+export const attachInspectable = (target, toJSON) => {
+    const trio = inspectable(toJSON);
+    for (const key of Reflect.ownKeys(trio)) {
+        Object.defineProperty(target, key, {
+            value: trio[key],
+            enumerable: false,
+            writable: true,
+            configurable: true,
+        });
+    }
+    return target;
+};
+//# sourceMappingURL=inspect.js.map

package/dist/esm/internal/inspect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inspect.js","sourceRoot":"","sources":["../../../src/internal/inspect.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAoB,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEhF,OAAO,EAAoB,iBAAiB,EAAE,CAAA;AAE9C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAqB,EAAe,EAAE,CAAC,CAAC;IAClE,MAAM;IACN,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;IAChC,CAAC,iBAAiB,CAAC,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE;CACpC,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAmB,MAAS,EAAE,MAAqB,EAAK,EAAE;IACzF,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAA4C,CAAA;IAC3E,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE;YACjC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;YAChB,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE,IAAI;YACd,YAAY,EAAE,IAAI;SACnB,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA"}

package/dist/esm/internal/queryDriver.js

@@ -0,0 +1,134 @@
+import { Brand, Cause, Chunk, Effect, MutableRef, Option, Queue, Schema, Stream, } from 'effect';
+import { AsyncData } from '../calc/asyncData.js';
+import { reuse } from './reuse.js';
+import { resolveScheduler } from './scheduler.js';
+import { sameKey, wireSources, } from './sources.js';
+import { makeStore } from './store.js';
+import {} from '../state/token.js';
+/** The runtime gated flag for an `alwaysOn` config, typed as its `Gated` literal. */
+export const gatedFlag = (alwaysOn) => (alwaysOn !== true);
+export const Revision = Brand.nominal();
+export const RevisionSchema = Schema.Number.pipe(Schema.brand('reform/Revision'));
+export const revisionZero = Revision(0);
+export const bumpRevision = (r) => Revision(r + 1);
+/**
+ * Build the driver: store + subscription + request queue + run fiber, all owned
+ * by the ambient scope (callers run this under `Layer.scoped`). A change to an
+ * input re-runs the query latest-wins (a new run cancels the in-flight one; or,
+ * with `coalesce: 'trailing'`, lets it finish and runs one trailing refetch);
+ * while a re-run is in flight the last `Success`/`Error` is kept with
+ * `refetching: true`.
+ */
+export const makeQueryDriver = (options) => Effect.gen(function* () {
+    const scheduler = yield* resolveScheduler;
+    const sources = yield* wireSources(options.inputs, options.invalidateBy);
+    const extraKey = options.extraKey;
+    const keyOf = (args) => extraKey === undefined ? sources.keyOf(args) : [...sources.keyOf(args), extraKey.read()];
+    const subscribeAll = (listener) => {
+        const offSources = sources.subscribe(listener);
+        const offExtra = extraKey?.subscribe(listener);
+        return () => {
+            offSources();
+            offExtra?.();
+        };
+    };
+    const disabledNow = (args = sources.snapshot()) => options.gated && options.disabled !== undefined ? options.disabled(args) : false;
+    const store = makeStore(disabledNow() ? AsyncData.idle : AsyncData.loading, scheduler);
+    // The last requested key, so a change that doesn't move it (or only churns
+    // an input `invalidateBy` ignores) doesn't re-fetch.
+    const lastKey = MutableRef.make(undefined);
+    // The run-generation counter: bumped when a run is REQUESTED (enqueued), so
+    // `requested()` names the newest run that could possibly be in flight.
+    const generation = MutableRef.make(0);
+    const nextGeneration = () => {
+        MutableRef.update(generation, (n) => n + 1);
+        return MutableRef.get(generation);
+    };
+    // Mark a re-fetch in flight without dropping the visible value (SWR).
+    const markRefetching = () => {
+        const prev = store.get();
+        if (prev._tag === 'Success')
+            store.set(AsyncData.success(prev.value, true));
+        else if (prev._tag === 'Error')
+            store.set(AsyncData.error(prev.error, true));
+        else
+            store.set(AsyncData.loading);
+    };
+    // One run of the query, folded into the store. A failure becomes `Error`; an
+    // interrupt (latest-wins cancel) leaves the state untouched; a defect (a bug
+    // in the body) is logged and isolated — the driver keeps running. A `Success`
+    // additionally reports its generation through `onSettled`, after the write,
+    // so settle-driven consequences observe the converged value.
+    const runQuery = (request) => options.query(request.args).pipe(Effect.tapDefect((defect) => Effect.logError(`reform: ${options.label} '${options.name}' query defect`, defect)), Effect.matchCause({
+        onSuccess: (value) => {
+            if (!disabledNow()) {
+                // `reuse`: share unchanged subtrees with the previous Success
+                // value, so a refetch that barely moved keeps identities stable.
+                const prev = store.get();
+                const shared = options.reuse === true && prev._tag === 'Success'
+                    ? reuse(prev.value, value)
+                    : value;
+                store.set(AsyncData.success(shared, false));
+                options.onSettled?.(request.generation);
+            }
+        },
+        onFailure: (cause) => {
+            const failure = Cause.failureOption(cause);
+            if (Option.isSome(failure) && !disabledNow()) {
+                store.set(AsyncData.error(failure.value, false));
+            }
+        },
+    }));
+    // The driver. `'switch'` (default): each new request cancels the in-flight
+    // run — the same latest-wins semantics a `latest` channel gives procedures.
+    // `'trailing'`: a strictly sequential consumer that, on wake, drains every
+    // request that piled up during the flight and runs the LATEST one —
+    // "exactly one trailing run after settle" by construction. The trailing
+    // run's generation is the max drained (the latest request's), so it
+    // vouches for every request it conflated.
+    const trailing = options.coalesce === 'trailing';
+    const requests = yield* Queue.unbounded();
+    yield* Effect.forkScoped(trailing
+        ? Effect.forever(Effect.gen(function* () {
+            const first = yield* Queue.take(requests);
+            const queued = yield* Queue.takeAll(requests);
+            const request = Option.getOrElse(Chunk.last(queued), () => first);
+            // A disable that landed while the request waited: skip the run.
+            if (!disabledNow())
+                yield* runQuery(request);
+            // The settle may have written a stale-key result with
+            // `refetching: false`; if a newer request is already waiting,
+            // restore the syncing flag before the next take — both writes
+            // coalesce into one scheduler flush for subscribers.
+            const pending = yield* Queue.size(requests);
+            if (pending > 0 && !disabledNow())
+                yield* Effect.sync(markRefetching);
+        }))
+        : Stream.fromQueue(requests).pipe(Stream.flatMap((request) => Stream.fromEffect(runQuery(request)), { switch: true }), Stream.runDrain));
+    const trigger = () => {
+        const args = sources.snapshot();
+        if (disabledNow(args)) {
+            // Switched off: show Idle and forget the key so re-enabling always re-runs.
+            MutableRef.set(lastKey, undefined);
+            store.set(AsyncData.idle);
+            return;
+        }
+        const key = keyOf(args);
+        const previous = MutableRef.get(lastKey);
+        if (previous !== undefined && sameKey(key, previous))
+            return;
+        MutableRef.set(lastKey, key);
+        markRefetching();
+        Queue.unsafeOffer(requests, { args, generation: nextGeneration() });
+    };
+    const unsubscribe = subscribeAll(trigger);
+    yield* Effect.addFinalizer(() => Effect.sync(unsubscribe));
+    // Kick off the first fetch unless the query starts disabled.
+    const initial = sources.snapshot();
+    if (!disabledNow(initial)) {
+        MutableRef.set(lastKey, keyOf(initial));
+        Queue.unsafeOffer(requests, { args: initial, generation: nextGeneration() });
+    }
+    return { store, requested: () => MutableRef.get(generation) };
+});
+//# sourceMappingURL=queryDriver.js.map

package/dist/esm/internal/queryDriver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"queryDriver.js","sourceRoot":"","sources":["../../../src/internal/queryDriver.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,MAAM,EACN,UAAU,EACV,MAAM,EACN,KAAK,EACL,MAAM,EAEN,MAAM,GACP,MAAM,QAAQ,CAAA;AACf,OAAO,EAAqB,SAAS,EAAE,MAAM,mBAAmB,CAAA;AAChE,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EAIL,OAAO,EACP,WAAW,GACZ,MAAM,WAAW,CAAA;AAClB,OAAO,EAAE,SAAS,EAAc,MAAM,SAAS,CAAA;AAC/C,OAAO,EAAkB,MAAM,gBAAgB,CAAA;AAW/C,qFAAqF;AACrF,MAAM,CAAC,MAAM,SAAS,GAAG,CAA2B,QAA8B,EAAqB,EAAE,CACvG,CAAC,QAAQ,KAAK,IAAI,CAAsB,CAAA;AAU1C,MAAM,CAAC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,EAAY,CAAA;AACjD,MAAM,CAAC,MAAM,cAAc,GAAoC,MAAM,CAAC,MAAM,CAAC,IAAI,CAC/E,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAChC,CAAA;AACD,MAAM,CAAC,MAAM,YAAY,GAAa,QAAQ,CAAC,CAAC,CAAC,CAAA;AACjD,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAW,EAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;AA+CtE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,OAA4C,EACoC,EAAE,CAClF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAA;IACzC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,CAAA;IACxE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;IAEjC,MAAM,KAAK,GAAG,CAAC,IAA0B,EAA0B,EAAE,CACnE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAC1F,MAAM,YAAY,GAAG,CAAC,QAAoB,EAAgB,EAAE;QAC1D,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;QAC9C,MAAM,QAAQ,GAAG,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAA;QAC9C,OAAO,GAAG,EAAE;YACV,UAAU,EAAE,CAAA;YACZ,QAAQ,EAAE,EAAE,CAAA;QACd,CAAC,CAAA;IACH,CAAC,CAAA;IACD,MAAM,WAAW,GAAG,CAAC,OAA6B,OAAO,CAAC,QAAQ,EAAE,EAAW,EAAE,CAC/E,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;IAElF,MAAM,KAAK,GAAG,SAAS,CACrB,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAClD,SAAS,CACV,CAAA;IACD,2EAA2E;IAC3E,qDAAqD;IACrD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAqC,SAAS,CAAC,CAAA;IAC9E,4EAA4E;IAC5E,uEAAuE;IACvE,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACrC,MAAM,cAAc,GAAG,GAAW,EAAE;QAClC,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QAC3C,OAAO,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACnC,CAAC,CAAA;IAED,sEAAsE;IACtE,MAAM,cAAc,GAAG,GAAG,EAAE;QAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,CAAA;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAA;aACtE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAA;;YACvE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IACnC,CAAC,CAAA;IAED,6EAA6E;IAC7E,6EAA6E;IAC7E,8EAA8E;IAC9E,4EAA4E;IAC5E,6DAA6D;IAC7D,MAAM,QAAQ,GAAG,CAAC,OAAgB,EAAiC,EAAE,CACnE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAC9B,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAC1B,MAAM,CAAC,QAAQ,CAAC,WAAW,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,IAAI,gBAAgB,EAAE,MAAM,CAAC,CACnF,EACD,MAAM,CAAC,UAAU,CAAC;QAChB,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE;YACnB,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;gBACnB,8DAA8D;gBAC9D,iEAAiE;gBACjE,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,CAAA;gBACxB,MAAM,MAAM,GACV,OAAO,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;oBAC/C,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC;oBAC1B,CAAC,CAAC,KAAK,CAAA;gBACX,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;gBAC3C,OAAO,CAAC,SAAS,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;YACzC,CAAC;QACH,CAAC;QACD,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE;YACnB,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAA;YAC1C,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;gBAC7C,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;YAClD,CAAC;QACH,CAAC;KACF,CAAC,CACH,CAAA;IAOH,2EAA2E;IAC3E,4EAA4E;IAC5E,2EAA2E;IAC3E,oEAAoE;IACpE,wEAAwE;IACxE,oEAAoE;IACpE,0CAA0C;IAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,KAAK,UAAU,CAAA;IAChD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,EAAW,CAAA;IAClD,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,QAAQ;QACN,CAAC,CAAC,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YACzC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;YAC7C,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;YACjE,gEAAgE;YAChE,IAAI,CAAC,WAAW,EAAE;gBAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YAC5C,sDAAsD;YACtD,8DAA8D;YAC9D,8DAA8D;YAC9D,qDAAqD;YACrD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YAC3C,IAAI,OAAO,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE;gBAAE,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;QACvE,CAAC,CAAC,CACH;QACH,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,IAAI,CAC7B,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EACnF,MAAM,CAAC,QAAQ,CAChB,CACN,CAAA;IAED,MAAM,OAAO,GAAG,GAAG,EAAE;QACnB,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAA;QAC/B,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,4EAA4E;YAC5E,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;YAClC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;YACzB,OAAM;QACR,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;QACvB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACxC,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC;YAAE,OAAM;QAC5D,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;QAC5B,cAAc,EAAE,CAAA;QAChB,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,CAAC,CAAA;IACrE,CAAC,CAAA;IACD,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,CAAC,CAAA;IACzC,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAA;IAE1D,6DAA6D;IAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAA;IAClC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1B,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;QACvC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,CAAC,CAAA;IAC9E,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAA;AAC/D,CAAC,CAAC,CAAA"}