@playfast/reform 0.0.1

package/dist/esm/calc/asyncCalc.js

@@ -0,0 +1,95 @@
+import { Context, Effect, Layer, Option, Schema } from 'effect';
+import { yieldableClass } from '../definition/definition.js';
+import {} from '../event/event.js';
+import {} from '../internal/sources.js';
+import { bumpRevision, gatedFlag, makeQueryDriver, RevisionSchema, revisionZero, } from '../internal/queryDriver.js';
+import {} from '../internal/store.js';
+import { readTracked } from '../internal/track.js';
+import * as Reducer from '../reducer/reducer.js';
+import { Reducers } from '../runtime/loop.js';
+import * as State from '../state/state.js';
+import {} from '../state/token.js';
+import { narrowStore } from './asyncData.js';
+/**
+ * Define an async derived value. `output`/`error` schemas and `alwaysOn` shape
+ * the value type, so `yield* MyQuery` is typed to exactly the arms that can
+ * occur. The query effect itself is supplied by `AsyncCalc.live`.
+ */
+export const make = (name, config) => {
+    const store = Context.GenericTag(`reform/asyncCalc/${name}`);
+    // Runtime mirror of the type-level `Gated`, typed as its literal in one place.
+    const gated = gatedFlag(config.alwaysOn);
+    const manifest = {
+        kind: 'AsyncCalc',
+        name,
+        output: config.output,
+        gated,
+        ...(config.error !== undefined ? { error: config.error } : {}),
+    };
+    const read = Effect.flatMap(store, readTracked);
+    return yieldableClass(read, {
+        manifest,
+        store,
+        name,
+        inputs: config.inputs,
+        gated,
+    });
+};
+export function live(calc, config) {
+    // The hidden revision pair, built once per `live` call. Namespacing the state
+    // by the calc's name (`reform/state/${calcName}/invalidateOn`) keeps the tag
+    // out of any plausible user namespace; the duplicate-reducer check is
+    // warning-only and calc names are unique by convention.
+    const revisionState = config.invalidateOn === undefined
+        ? undefined
+        : State.make(`${calc.manifest.name}/invalidateOn`, RevisionSchema);
+    // Scoped so the source subscriptions and the driver fiber are released when
+    // the layer's scope closes (each proof/test builds and disposes its runtime).
+    const driver = Layer.scoped(calc.store, Effect.gen(function* () {
+        // `disabled` is rejected at the type level for non-gated calcs (erased to
+        // `never` there); read it through a loose view for the runtime.
+        const cfg = config;
+        // The hidden revision store, read requirement-free (`serviceOption`): the
+        // assembly below always provides it alongside this driver, and feeding it
+        // through `extraKey` (not `wireSources`) keeps it out of the snapshot —
+        // the user's `query` and `invalidateBy` receive exactly
+        // `InputsObject<Inputs>`, with no hidden property to leak into
+        // spread-into-RPC payloads.
+        const revision = revisionState === undefined
+            ? undefined
+            : Option.getOrUndefined(yield* Effect.serviceOption(revisionState.store));
+        const driver = yield* makeQueryDriver({
+            name: calc.manifest.name,
+            label: 'AsyncCalc',
+            gated: calc.gated,
+            inputs: calc.inputs,
+            query: cfg.query,
+            invalidateBy: cfg.invalidateBy,
+            disabled: cfg.disabled,
+            coalesce: cfg.coalesce,
+            reuse: cfg.reuse,
+            extraKey: revision === undefined
+                ? undefined
+                : {
+                    read: () => revision.getSnapshot(),
+                    subscribe: (listener) => revision.subscribe(listener),
+                },
+        });
+        // The internal store is the full union; narrow to the definition's arms.
+        return narrowStore(driver.store);
+    }));
+    if (config.invalidateOn === undefined || revisionState === undefined)
+        return driver;
+    // The hidden reducer: an ordinary `Reducer` folding every listed event to
+    // n + 1 — the revision's sole writer, registered/unregistered with this
+    // layer's scope like any user reducer. `Layer.provide` builds the hidden
+    // state once and feeds the same store to both the driver and the reducer,
+    // while the outer context (user inputs, the `Reducers` registry) passes
+    // through untouched.
+    const revisionReducer = Reducer.make(`${calc.manifest.name}/invalidateOn`, {
+        states: [revisionState],
+        events: config.invalidateOn,
+    });
+    return Layer.merge(driver, Reducer.live(revisionReducer, bumpRevision)).pipe(Layer.provide(State.live(revisionState, revisionZero)));
+}
+//# sourceMappingURL=asyncCalc.js.map

package/dist/esm/calc/asyncCalc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"asyncCalc.js","sourceRoot":"","sources":["../../../src/calc/asyncCalc.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/D,OAAO,EAAiB,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACxE,OAAO,EAAiB,MAAM,gBAAgB,CAAA;AAC9C,OAAO,EAIN,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACL,YAAY,EAEZ,SAAS,EACT,eAAe,EACf,cAAc,EACd,YAAY,GACb,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAc,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC1C,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAA;AACvC,OAAO,EAAkB,MAAM,gBAAgB,CAAA;AAC/C,OAAO,EAAkB,WAAW,EAAE,MAAM,aAAa,CAAA;AAiFzD;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAOlB,IAAO,EACP,MAA+C,EACK,EAAE;IACtD,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAC9B,oBAAoB,IAAI,EAAE,CAC3B,CAAA;IACD,+EAA+E;IAC/E,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IACxC,MAAM,QAAQ,GAA+B;QAC3C,IAAI,EAAE,WAAW;QACjB,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,KAAK;QACL,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/D,CAAA;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;IAC/C,OAAO,cAAc,CAAC,IAAI,EAAE;QAC1B,QAAQ;QACR,KAAK;QACL,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,KAAK;KACN,CAAC,CAAA;AACJ,CAAC,CAAA;AAwCD,MAAM,UAAU,IAAI,CAQlB,IAA4C,EAC5C,MAEC;IAKD,8EAA8E;IAC9E,6EAA6E;IAC7E,sEAAsE;IACtE,wDAAwD;IACxD,MAAM,aAAa,GACjB,MAAM,CAAC,YAAY,KAAK,SAAS;QAC/B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,eAAe,EAAE,cAAc,CAAC,CAAA;IAEtE,4EAA4E;IAC5E,8EAA8E;IAC9E,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CACzB,IAAI,CAAC,KAAK,EACV,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,0EAA0E;QAC1E,gEAAgE;QAChE,MAAM,GAAG,GAAG,MAMX,CAAA;QAED,0EAA0E;QAC1E,0EAA0E;QAC1E,wEAAwE;QACxE,wDAAwD;QACxD,+DAA+D;QAC/D,4BAA4B;QAC5B,MAAM,QAAQ,GACZ,aAAa,KAAK,SAAS;YACzB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;QAC7E,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC;YACpC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;YACxB,KAAK,EAAE,WAAW;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,YAAY,EAAE,GAAG,CAAC,YAAY;YAC9B,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,QAAQ,EACN,QAAQ,KAAK,SAAS;gBACpB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC;oBACE,IAAI,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;oBAClC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC;iBACtD;SACR,CAAC,CAAA;QAEF,yEAAyE;QACzE,OAAO,WAAW,CAAc,MAAM,CAAC,KAAK,CAAC,CAAA;IAC/C,CAAC,CAAC,CACH,CAAA;IAED,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,MAAM,CAAA;IACnF,0EAA0E;IAC1E,wEAAwE;IACxE,yEAAyE;IACzE,0EAA0E;IAC1E,wEAAwE;IACxE,qBAAqB;IACrB,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,eAAe,EAAE;QACzE,MAAM,EAAE,CAAC,aAAa,CAAC;QACvB,MAAM,EAAE,MAAM,CAAC,YAAY;KAC5B,CAAC,CAAA;IACF,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAC1E,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC,CACvD,CAAA;AACH,CAAC"}

package/dist/esm/calc/asyncData.js

@@ -0,0 +1,34 @@
+import {} from '../internal/store.js';
+const idle = { _tag: 'Idle' };
+const loading = { _tag: 'Loading' };
+const success = (value, refetching = false) => ({
+    _tag: 'Success',
+    value,
+    refetching,
+});
+const error = (err, refetching = false) => ({
+    _tag: 'Error',
+    error: err,
+    refetching,
+});
+/**
+ * Constructors for the arms, namespaced under the same name as the type so call
+ * sites read `AsyncData.success(v)` / `AsyncData.error(e)` — no `error` import
+ * shadowing the keyword and one obvious home for every arm.
+ */
+export const AsyncData = { idle, loading, success, error };
+/**
+ * Narrow the live store (which holds the full `AnyAsyncData` union) to the arms
+ * the definition actually permits (`Gated`/`E`). The single documented home for
+ * that narrowing, so `AsyncCalc.live` returns it without an inline cast.
+ */
+export const narrowStore = (store) => store;
+/**
+ * The read-only inverse of `narrowStore`: widen a definition-narrowed store back
+ * to the full union, so a consumer (the `RemoteState` overlay) can dispatch on the
+ * lifecycle arms without carrying the definition's `Gated`/`E` conditionals.
+ * Sound for reads only — every narrowed value IS an `AnyAsyncData` — so callers
+ * must never `set` through the widened view (derived stores ignore `set` anyway).
+ */
+export const widenStore = (store) => store;
+//# sourceMappingURL=asyncData.js.map

package/dist/esm/calc/asyncData.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"asyncData.js","sourceRoot":"","sources":["../../../src/calc/asyncData.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,MAAM,mBAAmB,CAAA;AAiD9C,MAAM,IAAI,GAAc,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;AACxC,MAAM,OAAO,GAAiB,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;AACjD,MAAM,OAAO,GAAG,CAAI,KAAQ,EAAE,UAAU,GAAG,KAAK,EAAmB,EAAE,CAAC,CAAC;IACrE,IAAI,EAAE,SAAS;IACf,KAAK;IACL,UAAU;CACX,CAAC,CAAA;AACF,MAAM,KAAK,GAAG,CAAI,GAAM,EAAE,UAAU,GAAG,KAAK,EAAiB,EAAE,CAAC,CAAC;IAC/D,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,GAAG;IACV,UAAU;CACX,CAAC,CAAA;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAW,CAAA;AAEnE;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAgC,EACD,EAAE,CAAC,KAAiD,CAAA;AAErF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,KAAoC,EACT,EAAE,CAAC,KAA6C,CAAA"}

package/dist/esm/calc/calc.js

@@ -0,0 +1,58 @@
+import { Context, Effect, Layer, MutableRef } from 'effect';
+import { yieldableClass } from '../definition/definition.js';
+import { sameKey, wireSources, } from '../internal/sources.js';
+import { resolveScheduler } from '../internal/scheduler.js';
+import { reuse } from '../internal/reuse.js';
+import { makeDerivedStore } from '../internal/store.js';
+import { readTracked } from '../internal/track.js';
+import {} from '../state/token.js';
+// Re-exported so `Calc.InputsObject` / `Calc.InvalidateBy` keep their home here
+// even though the reactive plumbing now lives in `internal/sources`.
+export {} from '../internal/sources.js';
+/**
+ * A derived, memoized value over explicit inputs (state members, other calcs, or
+ * async calcs). The *definition* fixes the inputs and the output schema; the
+ * *implementation* is the pure projection. Recomputes only when an input changes;
+ * `yield* Calc` reads the memoized value.
+ */
+export const make = (name, config) => {
+    const store = Context.GenericTag(`reform/calc/${name}`);
+    const manifest = { kind: 'Calc', name, output: config.output };
+    const read = Effect.flatMap(store, readTracked);
+    return yieldableClass(read, { manifest, store, name, inputs: config.inputs });
+};
+/**
+ * Wire the pure projection for a calc. Recomputes only when its invalidation key
+ * changes (by default every input value; override with `invalidateBy`), memoized
+ * on that key; `yield* Calc` reads the memoized value. The derived store reuses
+ * the shared coalescing scheduler, so a recompute that yields an equal value
+ * wakes no subscriber.
+ */
+export const live = (calc, compute, options = {}) => 
+// Scoped so the source subscriptions are released when the layer's scope
+// closes (each proof/test builds and disposes its own runtime).
+Layer.scoped(calc.store, Effect.gen(function* () {
+    const scheduler = yield* resolveScheduler;
+    const sources = yield* wireSources(calc.inputs, options.invalidateBy);
+    // Memo cell: key and output captured together so reads are always
+    // consistent (no separate output that could lag the key it was computed for).
+    const memo = MutableRef.make(undefined);
+    const recompute = () => {
+        const args = sources.snapshot();
+        const key = sources.keyOf(args);
+        const prev = MutableRef.get(memo);
+        if (prev !== undefined && sameKey(key, prev.key))
+            return prev.output;
+        const fresh = compute(args);
+        // With `reuse`, a recompute that lands value-equal to the previous
+        // output returns the previous reference — the derived store's Equal
+        // gate then wakes no subscriber at all.
+        const output = options.reuse === true && prev !== undefined ? reuse(prev.output, fresh) : fresh;
+        MutableRef.set(memo, { key, output });
+        return output;
+    };
+    const derived = makeDerivedStore(recompute, sources.subscribe, scheduler);
+    yield* Effect.addFinalizer(() => Effect.sync(derived.unsubscribe));
+    return derived.store;
+}));
+//# sourceMappingURL=calc.js.map

package/dist/esm/calc/calc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"calc.js","sourceRoot":"","sources":["../../../src/calc/calc.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAe,MAAM,QAAQ,CAAA;AACxE,OAAO,EAAiB,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACxE,OAAO,EAIL,OAAO,EACP,WAAW,GACZ,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AACzC,OAAO,EAAE,gBAAgB,EAAc,MAAM,mBAAmB,CAAA;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAkB,MAAM,gBAAgB,CAAA;AAE/C,gFAAgF;AAChF,qEAAqE;AACrE,OAAO,EAA0D,MAAM,qBAAqB,CAAA;AA0C5F;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,IAAO,EACP,MAA+B,EACJ,EAAE;IAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAyB,eAAe,IAAI,EAAE,CAAC,CAAA;IAC/E,MAAM,QAAQ,GAAyB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAA;IACpF,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;IAC/C,OAAO,cAAc,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;AAC/E,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,IAA+B,EAC/B,OAA8C,EAC9C,UAA+B,EAAE,EACoB,EAAE;AACvD,yEAAyE;AACzE,gEAAgE;AAChE,KAAK,CAAC,MAAM,CACV,IAAI,CAAC,KAAK,EACV,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAA;IACzC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,CAAA;IAErE,kEAAkE;IAClE,8EAA8E;IAC9E,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAE1B,SAAS,CAAC,CAAA;IACZ,MAAM,SAAS,GAAG,GAAQ,EAAE;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAA;QAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC/B,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACjC,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,MAAM,CAAA;QACpE,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;QAC3B,mEAAmE;QACnE,oEAAoE;QACpE,wCAAwC;QACxC,MAAM,MAAM,GACV,OAAO,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;QAClF,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAA;QACrC,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,CAAA;IACzE,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAA;IAClE,OAAO,OAAO,CAAC,KAAK,CAAA;AACtB,CAAC,CAAC,CACH,CAAA"}

package/dist/esm/calc/calcFamily.js

@@ -0,0 +1,124 @@
+import { Context, Effect, Layer, MutableRef } from 'effect';
+import { definitionClass } from '../definition/definition.js';
+import { sameKey, wireSources, } from '../internal/sources.js';
+import { resolveScheduler } from '../internal/scheduler.js';
+import { makeDerivedStore } from '../internal/store.js';
+import { readTracked } from '../internal/track.js';
+import {} from '../state/stateFamily.js';
+import {} from '../state/token.js';
+/**
+ * Define a keyed derived value: per-key memoized projections over shared
+ * inputs. The *definition* fixes the key/output schemas and the inputs; the
+ * *implementation* (the per-key projection) is supplied by `CalcFamily.live`.
+ */
+export const make = (name, config) => {
+    const store = Context.GenericTag(`reform/calcFamily/${name}`);
+    const manifest = {
+        kind: 'CalcFamily',
+        name,
+        key: config.key,
+        output: config.output,
+    };
+    return definitionClass({
+        manifest,
+        store,
+        inputs: config.inputs,
+    });
+};
+/**
+ * Read one member by key — `CalcFamily.read(GroupProjection, id)`. Inside a
+ * render it subscribes exactly that member's store (unrelated members never
+ * wake the subtree); elsewhere it just snapshots — the same one-read-API
+ * contract as `StateFamily.read`.
+ */
+export const read = (family, key) => Effect.flatMap(family.store, (fs) => readTracked(fs.at(key)));
+/**
+ * Wire the per-key projection. `compute` is curried — `(key) => (inputs) =>
+ * Out` — so per-key construction (closing over key-derived constants) runs once
+ * per member while the inner projection runs per recompute. Each member is a
+ * lazy derived store over the shared wired sources: memoized on the family's
+ * invalidation key, notifying only when its own output moves. Unlike a
+ * `StateFamily` entry, a member holds an upstream subscription, so every
+ * removal path (forget / clear / eviction / the layer finalizer) releases it.
+ */
+export const live = (family, compute, options = {}) => Layer.scoped(family.store, Effect.gen(function* () {
+    const scheduler = yield* resolveScheduler;
+    // Wired ONCE for the whole family — members share the sensing surface.
+    const sources = yield* wireSources(family.inputs, options.invalidateBy);
+    const entries = new Map();
+    const evictWhenUnused = options.evictWhenUnused === true;
+    // Live subscriber count per key — maintained only when eviction is on.
+    const subscribers = new Map();
+    const dropEntry = (key) => {
+        const entry = entries.get(key);
+        if (entry !== undefined)
+            entry.unsubscribe();
+        entries.delete(key);
+        subscribers.delete(key);
+    };
+    // One member: the same memo block as `Calc.live`, with the key closed over.
+    const createMember = (key) => {
+        const body = compute(key);
+        const memo = MutableRef.make(undefined);
+        const recompute = () => {
+            const args = sources.snapshot();
+            const memoKey = sources.keyOf(args);
+            const prev = MutableRef.get(memo);
+            if (prev !== undefined && sameKey(memoKey, prev.key))
+                return prev.output;
+            const output = body(args);
+            MutableRef.set(memo, { key: memoKey, output });
+            return output;
+        };
+        return makeDerivedStore(recompute, sources.subscribe, scheduler);
+    };
+    // The `StateFamily` ref-count idiom: evict on the next microtask once a
+    // key falls idle (a same-commit re-subscribe cancels it) — here eviction
+    // also releases the member's upstream subscription via `dropEntry`.
+    const refCounted = (key, store) => ({
+        ...store,
+        subscribe: (listener) => {
+            subscribers.set(key, (subscribers.get(key) ?? 0) + 1);
+            const off = store.subscribe(listener);
+            const released = { done: false };
+            return () => {
+                if (released.done)
+                    return;
+                released.done = true;
+                off();
+                const remaining = (subscribers.get(key) ?? 1) - 1;
+                if (remaining > 0) {
+                    subscribers.set(key, remaining);
+                    return;
+                }
+                subscribers.delete(key);
+                queueMicrotask(() => {
+                    if ((subscribers.get(key) ?? 0) === 0)
+                        dropEntry(key);
+                });
+            };
+        },
+    });
+    const familyStore = {
+        at: (key) => {
+            const existing = entries.get(key);
+            if (existing !== undefined)
+                return existing.store;
+            const member = createMember(key);
+            const created = evictWhenUnused
+                ? { store: refCounted(key, member.store), unsubscribe: member.unsubscribe }
+                : member;
+            entries.set(key, created);
+            return created.store;
+        },
+        forget: dropEntry,
+        clear: () => {
+            for (const key of [...entries.keys()])
+                dropEntry(key);
+        },
+        size: () => entries.size,
+    };
+    yield* Effect.addFinalizer(() => Effect.sync(() => familyStore.clear()));
+    return familyStore;
+}));
+//# sourceMappingURL=calcFamily.js.map

package/dist/esm/calc/calcFamily.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"calcFamily.js","sourceRoot":"","sources":["../../../src/calc/calcFamily.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAe,MAAM,QAAQ,CAAA;AACxE,OAAO,EAAiB,eAAe,EAAE,MAAM,0BAA0B,CAAA;AACzE,OAAO,EAIL,OAAO,EACP,WAAW,GACZ,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AACxD,OAAO,EAAE,gBAAgB,EAAc,MAAM,mBAAmB,CAAA;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAwC,MAAM,sBAAsB,CAAA;AAC3E,OAAO,EAAkB,MAAM,gBAAgB,CAAA;AAsC/C;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,IAAO,EACP,MAAwC,EACJ,EAAE;IACtC,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAC9B,qBAAqB,IAAI,EAAE,CAC5B,CAAA;IACD,MAAM,QAAQ,GAAkC;QAC9C,IAAI,EAAE,YAAY;QAClB,IAAI;QACJ,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAA;IACD,OAAO,eAAe,CAAqC;QACzD,QAAQ;QACR,KAAK;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAA;AACJ,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,MAA0C,EAC1C,GAAM,EAC0C,EAAE,CAClD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAW/D;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,MAA0C,EAC1C,OAA0D,EAC1D,UAAyC,EAAE,EACmB,EAAE,CAChE,KAAK,CAAC,MAAM,CACV,MAAM,CAAC,KAAK,EACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAA;IACzC,uEAAuE;IACvE,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,CAAA;IACvE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuE,CAAA;IAC9F,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,KAAK,IAAI,CAAA;IACxD,uEAAuE;IACvE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAa,CAAA;IAExC,MAAM,SAAS,GAAG,CAAC,GAAM,EAAQ,EAAE;QACjC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC9B,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,WAAW,EAAE,CAAA;QAC5C,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACnB,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IACzB,CAAC,CAAA;IAED,4EAA4E;IAC5E,MAAM,YAAY,GAAG,CAAC,GAAM,EAAoE,EAAE;QAChG,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;QACzB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAE1B,SAAS,CAAC,CAAA;QACZ,MAAM,SAAS,GAAG,GAAQ,EAAE;YAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAA;YAC/B,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YACnC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACjC,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC,MAAM,CAAA;YACxE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAA;YACzB,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAA;YAC9C,OAAO,MAAM,CAAA;QACf,CAAC,CAAA;QACD,OAAO,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,CAAA;IAClE,CAAC,CAAA;IAED,wEAAwE;IACxE,yEAAyE;IACzE,oEAAoE;IACpE,MAAM,UAAU,GAAG,CAAC,GAAM,EAAE,KAAiB,EAAc,EAAE,CAAC,CAAC;QAC7D,GAAG,KAAK;QACR,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE;YACtB,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YACrD,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;YACrC,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;YAChC,OAAO,GAAG,EAAE;gBACV,IAAI,QAAQ,CAAC,IAAI;oBAAE,OAAM;gBACzB,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAA;gBACpB,GAAG,EAAE,CAAA;gBACL,MAAM,SAAS,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA;gBACjD,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;oBAClB,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;oBAC/B,OAAM;gBACR,CAAC;gBACD,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBACvB,cAAc,CAAC,GAAG,EAAE;oBAClB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;wBAAE,SAAS,CAAC,GAAG,CAAC,CAAA;gBACvD,CAAC,CAAC,CAAA;YACJ,CAAC,CAAA;QACH,CAAC;KACF,CAAC,CAAA;IAEF,MAAM,WAAW,GAAwB;QACvC,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;YACV,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACjC,IAAI,QAAQ,KAAK,SAAS;gBAAE,OAAO,QAAQ,CAAC,KAAK,CAAA;YACjD,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAA;YAChC,MAAM,OAAO,GAAG,eAAe;gBAC7B,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE;gBAC3E,CAAC,CAAC,MAAM,CAAA;YACV,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;YACzB,OAAO,OAAO,CAAC,KAAK,CAAA;QACtB,CAAC;QACD,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,GAAG,EAAE;YACV,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;gBAAE,SAAS,CAAC,GAAG,CAAC,CAAA;QACvD,CAAC;QACD,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI;KACzB,CAAA;IACD,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IACxE,OAAO,WAAW,CAAA;AACpB,CAAC,CAAC,CACH,CAAA"}

package/dist/esm/channel/channel.js

@@ -0,0 +1,136 @@
+import { Chunk, Context, Effect, Layer, Match, Queue, Stream } from 'effect';
+import { definitionClass } from '../definition/definition.js';
+import { DuplicateRegistration } from '../internal/errors.js';
+export class Procedures extends Context.Tag('reform/Procedures')() {
+}
+/** Get a map entry, creating and inserting it on first access (avoids `let`). */
+const getOrCreate = (map, key, make) => {
+    const existing = map.get(key);
+    if (existing !== undefined)
+        return existing;
+    const created = make();
+    map.set(key, created);
+    return created;
+};
+/** Drop an item from a `Map<K, Array>` bucket, pruning the key when it empties. */
+const dropFrom = (map, key, item) => {
+    const bucket = map.get(key);
+    if (bucket === undefined)
+        return;
+    const next = bucket.filter((value) => value !== item);
+    if (next.length === 0)
+        map.delete(key);
+    else
+        map.set(key, next);
+};
+const makeProcedureRegistry = () => {
+    const entries = [];
+    const byTag = new Map();
+    const channelsByTag = new Map();
+    const byChannelTag = new Map();
+    return {
+        entries,
+        byTag,
+        channelsByTag,
+        byChannelTag,
+        register: (entry) => {
+            entries.push(entry);
+            for (const tag of entry.handles) {
+                getOrCreate(byTag, tag, () => []).push(entry);
+                const channels = getOrCreate(channelsByTag, tag, () => []);
+                if (!channels.includes(entry.channelName))
+                    channels.push(entry.channelName);
+                getOrCreate(getOrCreate(byChannelTag, entry.channelName, () => new Map()), tag, () => []).push(entry);
+            }
+        },
+        unregister: (entry) => {
+            const index = entries.indexOf(entry);
+            if (index >= 0)
+                entries.splice(index, 1);
+            for (const tag of entry.handles) {
+                dropFrom(byTag, tag, entry);
+                const channelMap = byChannelTag.get(entry.channelName);
+                if (channelMap !== undefined) {
+                    dropFrom(channelMap, tag, entry);
+                    // If no procedure on this channel still handles the tag, drop the
+                    // channel from `channelsByTag[tag]` so the loop stops offering to it.
+                    if (channelMap.get(tag) === undefined)
+                        dropFrom(channelsByTag, tag, entry.channelName);
+                    if (channelMap.size === 0)
+                        byChannelTag.delete(entry.channelName);
+                }
+            }
+        },
+    };
+};
+export const proceduresLayer = Layer.sync(Procedures, makeProcedureRegistry);
+/** Registry of live channels, keyed by name. The single loop routes through it. */
+export class Channels extends Context.Tag('reform/Channels')() {
+}
+export const channelsLayer = Layer.sync(Channels, () => ({ byName: new Map() }));
+/**
+ * A scheduling lane for procedures. The *definition* (`Channel.make`) is a
+ * reflectable name + policy; the *implementation* (`Channel.live`) builds the
+ * queue + fiber that applies the policy. Procedures reference a channel by value
+ * and register into it; `Channel.live` is merged into the app once per channel.
+ */
+export const make = (name, config) => definitionClass({
+    manifest: { kind: 'Channel', name },
+    policy: config.policy,
+});
+/**
+ * Build and register the live machinery for a channel. Idempotent by name, so
+ * procedures sharing an `exclusive`/`latest` channel share one queue + fiber +
+ * semaphore (and therefore truly serialize / cancel across each other).
+ */
+export const live = (channel) => Layer.scopedDiscard(Effect.gen(function* () {
+    const name = channel.manifest.name;
+    const channels = yield* Channels;
+    const existing = channels.byName.get(name);
+    if (existing !== undefined) {
+        // Idempotent for the *same* channel `.live`'d through several sub-layers
+        // (shared `exclusive`/`latest` lane). A *different* channel reusing the
+        // name is a silent footgun — the second policy would be dropped — so
+        // reject it loudly instead.
+        if (existing.policy !== channel.policy) {
+            throw new DuplicateRegistration({ kind: 'Channel', name });
+        }
+        return;
+    }
+    const procedures = yield* Procedures;
+    const queue = yield* Queue.unbounded();
+    // Run every procedure on THIS channel that handles the event. Read the live
+    // index each time so procedures registered later are still seen.
+    // A procedure is expected to model expected failures as events; a leaked
+    // defect (a bug in the body) is logged before being isolated, so one
+    // procedure's crash never tears down the channel fiber — but is observable.
+    const runMatching = (event) => Effect.forEach(procedures.byChannelTag.get(name)?.get(event._tag) ?? [], (e) => e.run(event).pipe(Effect.tapErrorCause((cause) => Effect.logError(`reform: procedure on channel '${name}' failed`, cause)), Effect.catchAllCause(() => Effect.void)), { discard: true, concurrency: 'unbounded' });
+    // Map the policy to its scheduling stream. `Match.exhaustive` makes a new
+    // policy variant a compile error, and each arm is a self-contained const.
+    const events = Stream.fromQueue(queue);
+    const driven = Match.value(channel.policy).pipe(Match.tag('merge', () => Stream.mapEffect(events, runMatching, { concurrency: 'unbounded' })), Match.tag('latest', () => Stream.flatMap(events, (e) => Stream.fromEffect(runMatching(e)), { switch: true })), Match.tag('debounce', (policy) => events.pipe(Stream.debounce(policy.duration), Stream.mapEffect(runMatching, { concurrency: 'unbounded' }))), Match.tag('throttle', (policy) => events.pipe(Stream.throttle({
+        cost: (chunk) => Chunk.size(chunk) * (policy.cost ?? 1),
+        units: policy.units,
+        duration: policy.duration,
+        ...(policy.burst !== undefined ? { burst: policy.burst } : {}),
+        strategy: policy.strategy ?? 'shape',
+    }), Stream.mapEffect(runMatching, { concurrency: 'unbounded' }))), 
+    // `concurrency: 1` runs one event at a time AND in offer order — a true
+    // serialized lane. (An unbounded fork racing for a single semaphore permit
+    // would serialize but could reorder under contention.)
+    Match.tag('exclusive', () => Stream.mapEffect(events, runMatching, { concurrency: 1 })), Match.exhaustive);
+    yield* Effect.forkScoped(Stream.runDrain(driven));
+    channels.byName.set(name, {
+        name,
+        policy: channel.policy,
+        offer: (event) => {
+            Queue.unsafeOffer(queue, event);
+        },
+    });
+    // On scope close (a lazy feature unmounting) remove the live channel so the
+    // loop stops routing to it; the drain fiber is already torn down by
+    // `forkScoped`. Eager channels live on the root scope, so this is a no-op
+    // until app dispose.
+    yield* Effect.addFinalizer(() => Effect.sync(() => channels.byName.delete(name)));
+}));
+//# sourceMappingURL=channel.js.map

package/dist/esm/channel/channel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"channel.js","sourceRoot":"","sources":["../../../src/channel/channel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,OAAO,EAAiB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC3F,OAAO,EAAiB,eAAe,EAAE,MAAM,0BAA0B,CAAA;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAoF1D,MAAM,OAAO,UAAW,SAAQ,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAiC;CAAG;AAEpG,iFAAiF;AACjF,MAAM,WAAW,GAAG,CAAO,GAAc,EAAE,GAAM,EAAE,IAAa,EAAK,EAAE;IACrE,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC7B,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAA;IAC3C,MAAM,OAAO,GAAG,IAAI,EAAE,CAAA;IACtB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;IACrB,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,mFAAmF;AACnF,MAAM,QAAQ,GAAG,CAAO,GAAqB,EAAE,GAAM,EAAE,IAAO,EAAQ,EAAE;IACtE,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC3B,IAAI,MAAM,KAAK,SAAS;QAAE,OAAM;IAChC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAA;IACrD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;;QACjC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AACzB,CAAC,CAAA;AAED,MAAM,qBAAqB,GAAG,GAAsB,EAAE;IACpD,MAAM,OAAO,GAA0B,EAAE,CAAA;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiC,CAAA;IACtD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAyB,CAAA;IACtD,MAAM,YAAY,GAAG,IAAI,GAAG,EAA8C,CAAA;IAC1E,OAAO;QACL,OAAO;QACP,KAAK;QACL,aAAa;QACb,YAAY;QACZ,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE;YAClB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACnB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBAChC,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBAC7C,MAAM,QAAQ,GAAG,WAAW,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;gBAC1D,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;gBAC3E,WAAW,CAAC,WAAW,CAAC,YAAY,EAAE,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAC5F,KAAK,CACN,CAAA;YACH,CAAC;QACH,CAAC;QACD,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE;YACpB,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;YACpC,IAAI,KAAK,IAAI,CAAC;gBAAE,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;YACxC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBAChC,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;gBAC3B,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;gBACtD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC7B,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;oBAChC,kEAAkE;oBAClE,sEAAsE;oBACtE,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS;wBAAE,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE,KAAK,CAAC,WAAW,CAAC,CAAA;oBACtF,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;wBAAE,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;gBACnE,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,qBAAqB,CAAC,CAAA;AAU5E,mFAAmF;AACnF,MAAM,OAAO,QAAS,SAAQ,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAGzD;CAAG;AAEN,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;AAEhF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,MAAqB,EAAgB,EAAE,CACxE,eAAe,CAAe;IAC5B,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAkB,EAAE,IAAI,EAA4B;IACtE,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC,CAAA;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,OAAqB,EAAoD,EAAE,CAC9F,KAAK,CAAC,aAAa,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAA;IAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAA;IAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAC1C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,yEAAyE;QACzE,wEAAwE;QACxE,qEAAqE;QACrE,4BAA4B;QAC5B,IAAI,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YACvC,MAAM,IAAI,qBAAqB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;QAC5D,CAAC;QACD,OAAM;IACR,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,UAAU,CAAA;IACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,EAAU,CAAA;IAE9C,4EAA4E;IAC5E,iEAAiE;IACjE,yEAAyE;IACzE,qEAAqE;IACrE,4EAA4E;IAC5E,MAAM,WAAW,GAAG,CAAC,KAAa,EAAuB,EAAE,CACzD,MAAM,CAAC,OAAO,CACZ,UAAU,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EACxD,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CACf,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7B,MAAM,CAAC,QAAQ,CAAC,iCAAiC,IAAI,UAAU,EAAE,KAAK,CAAC,CACxE,EACD,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACxC,EACH,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,CAC5C,CAAA;IAEH,0EAA0E;IAC1E,0EAA0E;IAC1E,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IACtC,MAAM,MAAM,GAA2B,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CACrE,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAC7F,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,CACvB,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CACnF,EACD,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAC/B,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAChC,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAC5D,CACF,EACD,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAC/B,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,QAAQ,CAAC;QACd,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC;QACvD,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,OAAO;KACrC,CAAC,EACF,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAC5D,CACF;IACD,wEAAwE;IACxE,2EAA2E;IAC3E,uDAAuD;IACvD,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC,EACvF,KAAK,CAAC,UAAU,CACjB,CAAA;IAED,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;IACjD,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;QACxB,IAAI;QACJ,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE;YACf,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QACjC,CAAC;KACF,CAAC,CAAA;IACF,4EAA4E;IAC5E,oEAAoE;IACpE,0EAA0E;IAC1E,qBAAqB;IACrB,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AACnF,CAAC,CAAC,CACH,CAAA"}

package/dist/esm/compose/composition.js

@@ -0,0 +1,46 @@
+import { Context, Effect, Layer } from 'effect';
+import { definitionClass } from '../definition/definition.js';
+import {} from '../internal/ctx.js';
+import { CurrentTracker } from '../internal/track.js';
+import { CurrentSlots } from './host.js';
+import { Props } from './props.js';
+/**
+ * A component's logic. The *definition* (`Composition.make`) is a reflectable
+ * manifest that doubles as a requirement/tag; the *implementation*
+ * (`Composition.live`) is the synchronous body, provided separately and
+ * checked against it.
+ */
+export const make = (name, 
+// Constrain `ui` to the full `UiClass<C>` so `C` is inferred here; the stored
+// manifest still sees only the erased `{ manifest }` carrier (CompositionConfig),
+// so the manifest type — and its variance — is unchanged.
+config) => {
+    const tag = Context.GenericTag(`reform/composition/${name}`);
+    const manifest = { kind: 'Composition', name, ...config };
+    return definitionClass({ manifest, tag });
+};
+/**
+ * Wire a composition's synchronous logic (D2): read state, acquire triggers,
+ * resolve the UI, return the view. Its requirements (minus `Props`, which the
+ * host injects per render) surface as the Layer's `RIn`; the runtime runs the
+ * body per render within the captured context.
+ */
+export const live = (
+// `live` doesn't use the contract type; accept any composition.
+composition, body) => {
+    const logic = Effect.gen(body);
+    return Layer.effect(composition.tag, Effect.gen(function* () {
+        // Capture the build-time context (state stores, calc, ui, bus). `Props`,
+        // the tracker, and slots are injected per render below.
+        const context = yield* Effect.context();
+        const render = (env) => 
+        // Total once fully provided: the body is synchronous, reads can't fail,
+        // and every requirement is now satisfied (D2). `Effect.gen` widens the
+        // error channel to `unknown` for a generic body, so we restate it.
+        logic.pipe(Effect.provideService(Props, env.props), Effect.provideService(CurrentTracker, env.tracker), Effect.provideService(CurrentSlots, env.slots), Effect.provide(context));
+        return { render };
+    }));
+};
+/** Run a mounted composition for one frame, producing its node. */
+export const render = (service, env) => service.render(env);
+//# sourceMappingURL=composition.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"composition.js","sourceRoot":"","sources":["../../../src/compose/composition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAe,MAAM,QAAQ,CAAA;AAE5D,OAAO,EAAiB,eAAe,EAAE,MAAM,0BAA0B,CAAA;AACzE,OAAO,EAAY,MAAM,iBAAiB,CAAA;AAE1C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAClD,OAAO,EAAE,YAAY,EAAiB,MAAM,QAAQ,CAAA;AAGpD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AA+C/B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,IAAY;AACZ,8EAA8E;AAC9E,kFAAkF;AAClF,0DAA0D;AAC1D,MAA4C,EACN,EAAE;IACxC,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAC5B,sBAAsB,IAAI,EAAE,CAC7B,CAAA;IACD,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,aAAsB,EAAE,IAAI,EAAE,GAAG,MAAM,EAAE,CAAA;IAClE,OAAO,eAAe,CAAuC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAA;AACjF,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG;AAClB,gEAAgE;AAChE,WAAqC,EACrC,IAAuC,EAC2B,EAAE;IACpE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAC9B,OAAO,KAAK,CAAC,MAAM,CACjB,WAAW,CAAC,GAAG,EACf,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,yEAAyE;QACzE,wDAAwD;QACxD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAA4B,CAAA;QACjE,MAAM,MAAM,GAAG,CAAC,GAAc,EAAqC,EAAE;QACnE,wEAAwE;QACxE,uEAAuE;QACvE,mEAAmE;QACnE,KAAK,CAAC,IAAI,CACR,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EACvC,MAAM,CAAC,cAAc,CAAC,cAAc,EAAE,GAAG,CAAC,OAAO,CAAC,EAClD,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,EAC9C,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CACa,CAAA;QACxC,OAAO,EAAE,MAAM,EAAE,CAAA;IACnB,CAAC,CAAC,CACH,CAAA;AACH,CAAC,CAAA;AAED,mEAAmE;AACnE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,OAA2B,EAAE,GAAc,EAAqC,EAAE,CACvG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA"}

package/dist/esm/compose/host.js

@@ -0,0 +1,5 @@
+import { Context } from 'effect';
+/** The active composition's slot bindings, provided per render by the host. */
+export class CurrentSlots extends Context.Tag('reform/Slots')() {
+}
+//# sourceMappingURL=host.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"host.js","sourceRoot":"","sources":["../../../src/compose/host.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAahC,+EAA+E;AAC/E,MAAM,OAAO,YAAa,SAAQ,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAA0B;CAAG"}

package/dist/esm/compose/props.js

@@ -0,0 +1,11 @@
+import { Context } from 'effect';
+/**
+ * The current composition instance's props. Bound per render by the runtime; a
+ * composition body reads them with `const { todo } = yield* Props`.
+ *
+ * (Per-instance typing of Props is DESIGN #26 — for now the value is opaque and
+ * narrowed at the use site against the composition's declared props schema.)
+ */
+export class Props extends Context.Tag('reform/Props')() {
+}
+//# sourceMappingURL=props.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"props.js","sourceRoot":"","sources":["../../../src/compose/props.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAEhC;;;;;;GAMG;AACH,MAAM,OAAO,KAAM,SAAQ,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAAc;CAAG"}

package/dist/esm/compose/provide.js

@@ -0,0 +1,28 @@
+import { Layer } from 'effect';
+import { InvalidProvideTarget } from '../internal/errors.js';
+import { isFeature, } from '../feature/feature.js';
+import { isSlot } from './slot.js';
+import { isUi } from './ui.js';
+export function provide(target, impl) {
+    // Discriminate the target by its nominal brand, not by which DI-hole property
+    // happens to exist: a UI contract provides under its `impl` tag, a slot under
+    // its `tag`. Anything else is a wiring mistake. The overloads above pair
+    // `impl` with the chosen tag; this implementation sees both erased, so view
+    // the tag loosely (the one documented cast) to provide the service under it.
+    const tag = (isUi(target) ? target.impl : isSlot(target) ? target.tag : undefined);
+    if (tag === undefined)
+        throw new InvalidProvideTarget();
+    if (isFeature(impl)) {
+        const eager = impl.eagerModule;
+        // Lazy: bind the `FeatureBinding`; the host drives load → mount, painting the
+        // placeholders. Default: bind the composition (so the existing `Compose` path
+        // renders it, no host, no flash) and merge the eager `.live` layer, whose `RIn`
+        // surfaces to the scene. Either way the overload's return type carries the
+        // shared `RIn`, so the scene still type-demands `Core`.
+        return eager === undefined
+            ? Layer.succeed(tag, impl.binding)
+            : Layer.merge(Layer.succeed(tag, impl.binding.composition), eager.layer);
+    }
+    return Layer.succeed(tag, impl);
+}
+//# sourceMappingURL=provide.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"provide.js","sourceRoot":"","sources":["../../../src/compose/provide.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AAEzD,OAAO,EAGL,SAAS,GAGV,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,MAAM,EAAkC,MAAM,QAAQ,CAAA;AAC/D,OAAO,EAAE,IAAI,EAAgD,MAAM,MAAM,CAAA;AAoCzE,MAAM,UAAU,OAAO,CAAC,MAAe,EAAE,IAAa;IACpD,8EAA8E;IAC9E,8EAA8E;IAC9E,yEAAyE;IACzE,4EAA4E;IAC5E,6EAA6E;IAC7E,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAEpE,CAAA;IACb,IAAI,GAAG,KAAK,SAAS;QAAE,MAAM,IAAI,oBAAoB,EAAE,CAAA;IACvD,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAA;QAC9B,8EAA8E;QAC9E,8EAA8E;QAC9E,gFAAgF;QAChF,2EAA2E;QAC3E,wDAAwD;QACxD,OAAO,KAAK,KAAK,SAAS;YACxB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC;YAClC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAC5E,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AACjC,CAAC"}

package/dist/esm/compose/slot.js

@@ -0,0 +1,23 @@
+import { Context } from 'effect';
+import { definitionClass } from '../definition/definition.js';
+/**
+ * A DI hole for a child composition. The parent declares
+ * `slot('Item')<typeof TodoItem>()` and renders through it; the concrete child
+ * is wired with `provide(Item, TodoItem)`, so the parent never imports the
+ * child's *implementation* (the `typeof` is a type-only reference to the
+ * definition). `Comp` lives only in the phantom instance (so `SlotClass` is
+ * covariant and a `{ Item: ItemSlot }` map is well-typed); the match is enforced
+ * by `provide`'s signature, not the (invariant) tag.
+ */
+/** Nominal brand identifying a slot at runtime (Effect's `TypeId` idiom). */
+export const SlotTypeId = Symbol.for('reform/Slot');
+/** Whether a value is a slot — discriminates a `provide` target by brand. */
+export const isSlot = (u) => (typeof u === 'function' || typeof u === 'object') && u !== null && SlotTypeId in u;
+export const slot = (name) => 
+// Defaulted so a slot whose child carries no meaningful props/contract can be
+// declared bare (`slot('Tree')()`); pass `typeof Child` to type the facade.
+() => {
+    const tag = Context.GenericTag(`reform/slot/${name}`);
+    return definitionClass({ [SlotTypeId]: SlotTypeId, kind: 'Slot', tag });
+};
+//# sourceMappingURL=slot.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"slot.js","sourceRoot":"","sources":["../../../src/compose/slot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AA6B1D;;;;;;;;GAQG;AACH,6EAA6E;AAC7E,MAAM,CAAC,MAAM,UAAU,GAAkB,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;AAWlE,6EAA6E;AAC7E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAU,EAAkB,EAAE,CACnD,CAAC,OAAO,CAAC,KAAK,UAAU,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,UAAU,IAAI,CAAC,CAAA;AAKrF,MAAM,CAAC,MAAM,IAAI,GACf,CAAC,IAAY,EAAE,EAAE;AACjB,8EAA8E;AAC9E,4EAA4E;AAC5E,GAAkE,EAAE;IAClE,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAuB,eAAe,IAAI,EAAE,CAAC,CAAA;IAC3E,OAAO,eAAe,CAAkB,EAAE,CAAC,UAAU,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,MAAe,EAAE,GAAG,EAAE,CAAC,CAAA;AACnG,CAAC,CAAA"}