@playfast/reform 0.0.7 → 0.0.9

package/dist/compose/composition.d.ts

@@ -1,72 +0,0 @@
-import { Context, Effect, Layer, type Schema } from 'effect';
-import type { YieldWrap } from 'effect/Utils';
-import { type Manifest } from '../definition/definition';
-import { type Ctx } from '../internal/ctx';
-import type { Tracker } from '../internal/track';
-import { type SlotHost } from './host';
-import type { Node, SlotClass } from './slot';
-import type { UiClass, UiContract } from './ui';
-import { Props } from './props';
-/** Everything the host injects per render: the instance props, the dependency tracker, and slot bindings. */
-export interface RenderEnv {
-    readonly props: unknown;
-    readonly tracker: Tracker;
-    readonly slots: SlotHost;
-}
-/** A mounted composition: given a render environment, produces the current frame's node. */
-export interface CompositionService {
-    readonly render: (env: RenderEnv) => Effect.Effect<Node, never, never>;
-}
-export interface CompositionConfig {
-    readonly title: string;
-    readonly description?: string;
-    readonly props?: Schema.Schema<any, any>;
-    readonly states?: ReadonlyArray<unknown>;
-    readonly calcs?: ReadonlyArray<unknown>;
-    readonly events?: ReadonlyArray<unknown>;
-    readonly slots?: Record<string, SlotClass>;
-    readonly ui: {
-        readonly manifest: Manifest & {
-            readonly kind: 'Ui';
-        };
-    };
-}
-type PropsOf<Config> = Config extends {
-    props: Schema.Schema<infer P, any>;
-} ? P : unknown;
-export interface CompositionClass<out P, out C extends UiContract = UiContract> {
-    new (): {};
-    readonly manifest: Manifest & {
-        readonly kind: 'Composition';
-    } & CompositionConfig;
-    /** Phantom carrying the props type for `provide(slot, composition)` checks. */
-    readonly Props: P;
-    /**
-     * Phantom carrying the resolved UI contract (props + events + slots). It lets
-     * reflection consumers — proofs, the dev tool — recover the full contract from
-     * a composition value and stay fully typed. Covariant (output only); the
-     * invariant `impl` tag is never stored here, so no variance regression.
-     */
-    readonly Contract: C;
-    readonly tag: Context.Tag<CompositionService, CompositionService>;
-}
-/**
- * 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 declare const make: <const Config extends CompositionConfig, C extends UiContract>(name: string, config: Config & {
-    readonly ui: UiClass<C>;
-}) => CompositionClass<PropsOf<Config>, C>;
-/**
- * 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 declare const live: <P, Eff extends YieldWrap<Effect.Effect<unknown, never, unknown>>>(composition: CompositionClass<P, any>, body: () => Generator<Eff, Node, never>) => Layer.Layer<CompositionService, never, Exclude<Ctx<Eff>, Props>>;
-/** Run a mounted composition for one frame, producing its node. */
-export declare const render: (service: CompositionService, env: RenderEnv) => Effect.Effect<Node, never, never>;
-export {};
-//# sourceMappingURL=composition.d.ts.map

package/dist/compose/composition.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"composition.d.ts","sourceRoot":"","sources":["../../src/compose/composition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,EAAE,KAAK,QAAQ,EAAmB,MAAM,0BAA0B,CAAA;AACzE,OAAO,EAAE,KAAK,GAAG,EAAE,MAAM,iBAAiB,CAAA;AAC1C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEhD,OAAO,EAAgB,KAAK,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACpD,OAAO,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAA;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,MAAM,CAAA;AAC/C,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAE/B,6GAA6G;AAC7G,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CACzB;AAED,4FAA4F;AAC5F,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;CACvE;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAG7B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACvC,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAI1C,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG;YAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;SAAE,CAAA;KAAE,CAAA;CACvE;AAED,KAAK,OAAO,CAAC,MAAM,IAAI,MAAM,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,OAAO,CAAA;AAE1F,MAAM,WAAW,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU;IAC5E,QAAQ,EAAE,CAAA;IACV,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;KAAE,GAAG,iBAAiB,CAAA;IAClF,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;IACjB;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;IACpB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAA;CAClE;AAED;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,KAAK,CAAC,MAAM,SAAS,iBAAiB,EAAE,CAAC,SAAS,UAAU,EAC/E,MAAM,MAAM,EAIZ,QAAQ,MAAM,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;CAAE,KAC3C,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAMrC,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,GAAG,SAAS,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAEnF,aAAa,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,EACrC,MAAM,MAAM,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,KACtC,KAAK,CAAC,KAAK,CAAC,kBAAkB,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAqBjE,CAAA;AAED,mEAAmE;AACnE,eAAO,MAAM,MAAM,GAAI,SAAS,kBAAkB,EAAE,KAAK,SAAS,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAChF,CAAA"}

package/dist/compose/composition.js

@@ -1,46 +0,0 @@
-import { Context, Effect, Layer } from 'effect';
-import { definitionClass } from '../definition/definition';
-import {} from '../internal/ctx';
-import { CurrentTracker } from '../internal/track';
-import { CurrentSlots } from './host';
-import { Props } from './props';
-/**
- * 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/compose/composition.js.map

@@ -1 +0,0 @@
-{"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/compose/host.d.ts

@@ -1,17 +0,0 @@
-import { Context } from 'effect';
-import type { Node } from './slot';
-/**
- * Binds a parent's slots to concrete child renderers. The host package
- * (`@reform/react`) builds one per composition instance from the manifest's
- * slot map; the `ui` read consults it so `<slots.Item .../>` renders the wired
- * child. Core stays renderer-neutral — it only defines this hole.
- */
-export interface SlotHost {
-    slot(name: string): (props: unknown) => Node;
-}
-declare const CurrentSlotsBase: Context.TagClass<CurrentSlots, 'reform/Slots', SlotHost>;
-/** The active composition's slot bindings, provided per render by the host. */
-export declare class CurrentSlots extends CurrentSlotsBase {
-}
-export {};
-//# sourceMappingURL=host.d.ts.map

package/dist/compose/host.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"host.d.ts","sourceRoot":"","sources":["../../src/compose/host.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAChC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAElC;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,CAAA;CAC7C;AAED,QAAA,MAAM,gBAAgB,EAAE,OAAO,CAAC,QAAQ,CAAC,YAAY,EAAE,cAAc,EAAE,QAAQ,CACxB,CAAA;AAEvD,+EAA+E;AAC/E,qBAAa,YAAa,SAAQ,gBAAgB;CAAG"}

package/dist/compose/host.js

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

package/dist/compose/host.js.map

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

package/dist/compose/props.d.ts

@@ -1,13 +0,0 @@
-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.)
- */
-declare const PropsBase: Context.TagClass<Props, 'reform/Props', any>;
-export declare class Props extends PropsBase {
-}
-export {};
-//# sourceMappingURL=props.d.ts.map

package/dist/compose/props.d.ts.map

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

package/dist/compose/props.js.map

@@ -1 +0,0 @@
-{"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,SAAS,GAAiD,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAGxF,CAAA;AACH,MAAM,OAAO,KAAM,SAAQ,SAAS;CAAG"}

package/dist/compose/provide.d.ts

@@ -1,22 +0,0 @@
-import { Layer } from 'effect';
-import type { CompositionClass } from './composition';
-import { type EngineServices, type FeatureClass, type ProvidedBy, type RequireCarrier } from '../feature/feature';
-import { type SlotChild, type SlotClass } from './slot';
-import { type UiClass, type UiContract, type ViewImpl } from './ui';
-/**
- * Wire an implementation to a contract. Provides a `.make` presentation to a UI
- * contract, a child composition into a parent's slot, or a `Feature` into a slot.
- * The compose code never imports its implementations — they meet here.
- */
-export declare function provide<C extends UiContract>(contract: UiClass<C>, view: ViewImpl<C>): Layer.Layer<ViewImpl<C>>;
-export declare function provide<Comp extends CompositionClass<any, any>>(hole: SlotClass<Comp>, composition: Comp): Layer.Layer<CompositionClass<unknown>>;
-/**
- * Fill a slot with a feature. The slot's child composition type
- * (`CompositionClass<P, C>`) must match the feature's mounted composition, so the
- * facade/contract stays typed. The returned layer surfaces the feature's shared
- * requirement (`EngineServices | ProvidedBy<Requires>`) as an open `RIn`, so the
- * scene that wires it won't compile unless it provides the matching `Core` — even
- * for a lazy feature whose own `.live` layer isn't built until mount.
- */
-export declare function provide<Comp extends CompositionClass<any, any>, ROut, Requires extends ReadonlyArray<RequireCarrier>>(hole: SlotClass<Comp>, feature: FeatureClass<Comp extends CompositionClass<infer P, any> ? P : never, Comp extends CompositionClass<any, infer C> ? C : never, ROut, Requires>): Layer.Layer<SlotChild, never, EngineServices | ProvidedBy<Requires>>;
-//# sourceMappingURL=provide.d.ts.map

package/dist/compose/provide.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"provide.d.ts","sourceRoot":"","sources":["../../src/compose/provide.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,KAAK,EAAE,MAAM,QAAQ,CAAA;AAE5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AACrD,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,YAAY,EAEjB,KAAK,UAAU,EACf,KAAK,cAAc,EACpB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAU,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,MAAM,QAAQ,CAAA;AAC/D,OAAO,EAAQ,KAAK,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,QAAQ,EAAE,MAAM,MAAM,CAAA;AAEzE;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,UAAU,EAC1C,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EACpB,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,GAChB,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;AAC3B,wBAAgB,OAAO,CAAC,IAAI,SAAS,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,EAC7D,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,EACrB,WAAW,EAAE,IAAI,GAChB,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAA;AACzC;;;;;;;GAOG;AACH,wBAAgB,OAAO,CACrB,IAAI,SAAS,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,IAAI,EACJ,QAAQ,SAAS,aAAa,CAAC,cAAc,CAAC,EAE9C,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,EACrB,OAAO,EAAE,YAAY,CACnB,IAAI,SAAS,gBAAgB,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,EACvD,IAAI,SAAS,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,EACvD,IAAI,EACJ,QAAQ,CACT,GACA,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,cAAc,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAA"}

package/dist/compose/provide.js

@@ -1,28 +0,0 @@
-import { Layer } from 'effect';
-import { InvalidProvideTarget } from '../internal/errors';
-import { isFeature, } from '../feature/feature';
-import { isSlot } from './slot';
-import { isUi } from './ui';
-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/compose/provide.js.map

@@ -1 +0,0 @@
-{"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/compose/slot.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"slot.d.ts","sourceRoot":"","sources":["../../src/compose/slot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAEhC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACxD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAEtC,YAAY,EAAE,IAAI,EAAE,CAAA;AAEpB,2EAA2E;AAC3E,KAAK,cAAc,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;AAEhD;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,GAAG,cAAc,CAAA;AAElE;;;;;;GAMG;AACH,MAAM,WAAW,YAAY,CAAC,IAAI,SAAS,cAAc;IACvD,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CACrB;AAED;;;;;;;;GAQG;AACH,6EAA6E;AAC7E,eAAO,MAAM,UAAU,EAAE,OAAO,MAAkC,CAAA;AAClE,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAA;AAE1C,MAAM,WAAW,SAAS,CAAC,IAAI,SAAS,cAAc,GAAG,cAAc;IACrE,QAAQ,YAAY,CAAC,IAAI,CAAC,CAAA;IAC1B,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,CAAA;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,4FAA4F;IAC5F,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAA;CAChD;AAED,6EAA6E;AAC7E,eAAO,MAAM,MAAM,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,SAC4C,CAAA;AAErF,8EAA8E;AAC9E,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,YAAY,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,CAAA;AAErF,eAAO,MAAM,IAAI,GACd,MAAM,MAAM,MAGZ,IAAI,SAAS,cAAc,GAAG,cAAc,OAAK,SAAS,CAAC,IAAI,CAG/D,CAAA"}

package/dist/compose/slot.js

@@ -1,23 +0,0 @@
-import { Context } from 'effect';
-import { definitionClass } from '../definition/definition';
-/**
- * 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/compose/slot.js.map

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

package/dist/compose/ui.d.ts

@@ -1,135 +0,0 @@
-import type { FunctionComponent } from 'react';
-import { Context, Effect, type Schema } from 'effect';
-import { type Manifest } from '../definition/definition';
-import type { Trigger } from '../ui/trigger';
-import { type Node, type SlotClass, type SlotInstance, type SlotProps } from './slot';
-export interface UiContract {
-    props: unknown;
-    slots?: Record<string, SlotInstance<any>>;
-    events?: Record<string, Trigger<any>>;
-}
-type PropsOf<C extends UiContract> = C['props'];
-type EventsOf<C extends UiContract> = C extends {
-    events: infer E;
-} ? E : Record<never, never>;
-type SlotsOf<C extends UiContract> = C extends {
-    slots: infer S;
-} ? {
-    readonly [K in keyof S]: FunctionComponent<Partial<SlotProps<S[K]> & {
-        readonly slotKey?: string;
-    }>>;
-} : Record<never, never>;
-/** What the composition logic calls: props + handlers in, a node out. Slots are bound by the renderer. */
-export type LogicView<C extends UiContract> = (props: PropsOf<C>, events?: EventsOf<C>) => Node;
-/** What `.make` authors: the pure presentation. Slots are injected by the renderer. */
-export type ViewImpl<C extends UiContract> = (props: PropsOf<C>, slots: SlotsOf<C>, events: EventsOf<C>) => Node;
-/** Nominal brand identifying a UI contract at runtime (Effect's `TypeId` idiom). */
-export declare const UiTypeId: unique symbol;
-export type UiTypeId = typeof UiTypeId;
-/**
- * The reflectable descriptor a contract carries. The wire `props` / `events`
- * schemas are present *only* on the schema (wired) form — the type-only form
- * carries neither, so a local contract has no schema cost and no schema surface.
- */
-export interface UiManifest extends Manifest {
-    readonly kind: 'Ui';
-    readonly props?: Schema.Schema<any, any>;
-    readonly events?: Readonly<Record<string, Schema.Schema<any, any>>>;
-}
-/** A `UiManifest` whose wire schema is present — the runtime brand of a remote-capable contract. */
-export interface WiredUiManifest extends UiManifest {
-    readonly props: Schema.Schema<any, any>;
-}
-export interface UiClass<C extends UiContract> extends Effect.Effect<LogicView<C>, never, ViewImpl<C>> {
-    new (): {};
-    readonly [UiTypeId]: UiTypeId;
-    readonly manifest: UiManifest;
-    /** Internal DI tag the `Ui.make` presentation is provided under. */
-    readonly impl: Context.Tag<ViewImpl<C>, ViewImpl<C>>;
-}
-/**
- * Recover a contract's `UiContract` type from its `Ui` class — `Ui.Contract<typeof
- * SomeUi>`. Lets a consumer (a proof, a reflection tool) name the contract derived
- * from a wired `ui('X', {…})` without re-declaring it.
- */
-export type Contract<U> = U extends UiClass<infer C> ? C : never;
-/**
- * A contract authored with wire schemas. Structurally a `UiClass<C>` whose
- * manifest *carries* the schemas (`WiredUiManifest`), so it is the subtype the
- * remote seam (`provideRemote`, the wire registry) demands while plain `provide`
- * / `scene` / `Composition.make` keep accepting any `UiClass<C>`.
- */
-export type WiredUi<C extends UiContract> = UiClass<C> & {
-    readonly manifest: WiredUiManifest;
-};
-/** The wire schemas a contract is authored from: props, a payload schema per event, and
- *  (type-only) the slots the view fills. Slots carry no wire schema — the children that
- *  fill them are their own contracts — but declaring them here threads typed slots into
- *  the derived contract, so a WIRED contract can also have slots (e.g. a parent whose
- *  props the client reads AND that renders slot children). */
-export interface WireSchemas {
-    readonly props: Schema.Schema<any, any>;
-    readonly events?: Readonly<Record<string, Schema.Schema<any, any>>>;
-    readonly slots?: Readonly<Record<string, SlotClass>>;
-}
-type DerivedEvents<Sch extends WireSchemas> = Sch extends {
-    readonly events: infer E extends Record<string, Schema.Schema<any, any>>;
-} ? {
-    readonly [K in keyof E]: Trigger<Schema.Schema.Type<E[K]>>;
-} : Record<never, never>;
-type DerivedSlots<Sch extends WireSchemas> = Sch extends {
-    readonly slots: infer S extends Record<string, SlotClass>;
-} ? {
-    readonly [K in keyof S]: InstanceType<S[K]>;
-} : Record<never, never>;
-/**
- * The `UiContract` a set of wire schemas denotes — props and event-payload
- * *types* derived from the schemas via `Schema.Type`, plus any declared slots. The
- * schema is the single source of truth; the contract type is inferred, never written
- * a second time.
- */
-export type DerivedContract<Sch extends WireSchemas> = {
-    readonly props: Schema.Schema.Type<Sch['props']>;
-    readonly slots: DerivedSlots<Sch>;
-    readonly events: DerivedEvents<Sch>;
-};
-/** Whether a value is a UI contract — discriminates a `provide` target by brand. */
-export declare const isUi: (u: unknown) => u is UiClass<UiContract>;
-/**
- * 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.
- *
- * Two authoring forms, one source of truth each:
- *
- * - **Type-only (local):** `ui('Counter')<{ props: { count: number } }>()` — no
- *   schema, no ceremony, exactly as before.
- * - **Schema (wired):** `ui('Counter', { props: S.Struct({ count: S.Number }) })`
- *   — the schema *is* the definition; the contract type is derived via
- *   `Schema.Type` (never re-written), and the result is a `WiredUi` the remote
- *   seam accepts. Make a local contract remote by rewriting this one line.
- */
-export declare function ui(name: string): <C extends UiContract>() => UiClass<C>;
-export declare function ui<const Sch extends WireSchemas>(name: string, schemas: Sch): WiredUi<DerivedContract<Sch>>;
-/** Brand under which a `Ui.make` view carries its own contract. */
-export declare const UiViewContract: unique symbol;
-export type UiViewContract = typeof UiViewContract;
-/**
- * A `Ui.make` view that carries its contract, so a consumer can recover the
- * contract (its wire name + props schema) straight from the view — no separate
- * registration call. This is what makes the remote client view-set
- * (`remoteViews<AppContract>({ Some: SomeView, … })`) work with the very same
- * `Ui.make` views the local renderer uses.
- */
-export type MadeView<C extends UiContract> = ViewImpl<C> & {
-    readonly [UiViewContract]: UiClass<C>;
-};
-/**
- * Author the pure presentation for a contract — `Ui.make(TodoAppUi, (props,
- * slots, events) => node)`. The contract argument fixes the view's types AND is
- * carried on the returned view (`MadeView`), so the same view is reusable as a
- * remote client presentation. Wire the result with `provide(contract, view)`.
- */
-export declare const make: <C extends UiContract>(contract: UiClass<C>, view: ViewImpl<C>) => MadeView<C>;
-export {};
-//# sourceMappingURL=ui.d.ts.map

package/dist/compose/ui.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ui.d.ts","sourceRoot":"","sources":["../../src/compose/ui.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,OAAO,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,EAAU,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC7D,OAAO,EAAE,KAAK,QAAQ,EAAkB,MAAM,0BAA0B,CAAA;AAGxE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,SAAS,EAAE,KAAK,YAAY,EAAE,KAAK,SAAS,EAAE,MAAM,QAAQ,CAAA;AAErF,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,OAAO,CAAA;IACd,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAA;IACzC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;CACtC;AAED,KAAK,OAAO,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,CAAC,OAAO,CAAC,CAAA;AAC/C,KAAK,QAAQ,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAe9F,KAAK,OAAO,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GAC7D;IAKE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,iBAAiB,CACxC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;QAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CACzD;CACF,GACD,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAExB,0GAA0G;AAC1G,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,CAAA;AAE/F,uFAAuF;AACvF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,IAAI,CAC3C,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EACjB,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,KAChB,IAAI,CAAA;AAET,oFAAoF;AACpF,eAAO,MAAM,QAAQ,EAAE,OAAO,MAAgC,CAAA;AAC9D,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAA;AAEtC;;;;GAIG;AACH,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IAGnB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;CACpE;AAED,oGAAoG;AACpG,MAAM,WAAW,eAAgB,SAAQ,UAAU;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CACxC;AAED,MAAM,WAAW,OAAO,CAAC,CAAC,SAAS,UAAU,CAC3C,SAAQ,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvD,QAAQ,EAAE,CAAA;IACV,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAA;IAC7B,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAA;IAC7B,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;CACrD;AAED;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEhE;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;CAAE,CAAA;AAE/F;;;;8DAI8D;AAC9D,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACvC,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;IAInE,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;CACrD;AAED,KAAK,aAAa,CAAC,GAAG,SAAS,WAAW,IAAI,GAAG,SAAS;IACxD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;CACzE,GACG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAC9D,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAExB,KAAK,YAAY,CAAC,GAAG,SAAS,WAAW,IAAI,GAAG,SAAS;IACvD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;CAC1D,GACG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAC/C,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAExB;;;;;GAKG;AACH,MAAM,MAAM,eAAe,CAAC,GAAG,SAAS,WAAW,IAAI;IACrD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;IAChD,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,CAAA;IACjC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;CACpC,CAAA;AAED,oFAAoF;AACpF,eAAO,MAAM,IAAI,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,OAAO,CAAC,UAAU,CAC0B,CAAA;AAyCnF;;;;;;;;;;;;;GAaG;AACH,wBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,CAAC,SAAS,UAAU,OAAO,OAAO,CAAC,CAAC,CAAC,CAAA;AACxE,wBAAgB,EAAE,CAAC,KAAK,CAAC,GAAG,SAAS,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAA;AAU5G,mEAAmE;AACnE,eAAO,MAAM,cAAc,EAAE,OAAO,MAA8C,CAAA;AAClF,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAA;AAElD;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;CAAE,CAAA;AAEpG;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,UAAU,EAAE,UAAU,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,QAAQ,CAAC,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,CAC1C,CAAA"}

package/dist/compose/ui.js

@@ -1,63 +0,0 @@
-import { Context, Effect, Option } from 'effect';
-import { yieldableClass } from '../definition/definition';
-import { CaptureSink } from '../internal/capture';
-import { SlotRenderingUnavailable } from '../internal/errors';
-import { CurrentSlots } from './host';
-import {} from './slot';
-/** 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;
-const buildUi = (name, manifest) => {
-    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,
-        impl,
-    });
-};
-export function ui(name, schemas) {
-    if (schemas === undefined) {
-        return () => buildUi(name, { kind: 'Ui', name });
-    }
-    const eventFields = schemas.events === undefined ? {} : { events: schemas.events };
-    const manifest = { kind: 'Ui', name, props: schemas.props, ...eventFields };
-    return buildUi(name, manifest);
-}
-/** Brand under which a `Ui.make` view carries its own contract. */
-export const UiViewContract = Symbol.for('reform/ui/view-contract');
-/**
- * Author the pure presentation for a contract — `Ui.make(TodoAppUi, (props,
- * slots, events) => node)`. The contract argument fixes the view's types AND is
- * carried on the returned view (`MadeView`), so the same view is reusable as a
- * remote client presentation. Wire the result with `provide(contract, view)`.
- */
-export const make = (contract, view) => Object.assign(view, { [UiViewContract]: contract });
-//# sourceMappingURL=ui.js.map

package/dist/compose/ui.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"ui.js","sourceRoot":"","sources":["../../src/compose/ui.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAe,MAAM,QAAQ,CAAA;AAC7D,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,EAAgE,MAAM,QAAQ,CAAA;AA8CrF,oFAAoF;AACpF,MAAM,CAAC,MAAM,QAAQ,GAAkB,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;AAmF9D,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,MAAM,OAAO,GAAG,CACd,IAAY,EACZ,QAAW,EAC4B,EAAE;IACzC,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;QACR,IAAI;KACL,CAAC,CAAA;AACJ,CAAC,CAAA;AAkBD,MAAM,UAAU,EAAE,CAAC,IAAY,EAAE,OAAqB;IACpD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,GAAqC,EAAE,CAAC,OAAO,CAAgB,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;IACnG,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAA;IAClF,MAAM,QAAQ,GAAoB,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,WAAW,EAAE,CAAA;IAC5F,OAAO,OAAO,CAAgD,IAAI,EAAE,QAAQ,CAAC,CAAA;AAC/E,CAAC;AAED,mEAAmE;AACnE,MAAM,CAAC,MAAM,cAAc,GAAkB,MAAM,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAA;AAYlF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAuB,QAAoB,EAAE,IAAiB,EAAe,EAAE,CACjG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAA"}

package/dist/definition/definition.d.ts

@@ -1,33 +0,0 @@
-import { Effect } from 'effect';
-/**
- * The reflectable descriptor every primitive carries (principle #6). The editor
- * and proof packages read these without running any logic.
- */
-export type Kind = 'State' | 'StateGroup' | 'StateFamily' | 'Event' | 'EventGroup' | 'Reducer' | 'Calc' | 'CalcFamily' | 'AsyncCalc' | 'Resource' | 'RemoteState' | 'SyncedStore' | 'Boundary' | 'Procedure' | 'Channel' | 'Composition' | 'Ui' | 'Slot' | 'Feature';
-export interface Manifest {
-    readonly kind: Kind;
-    readonly name: string;
-}
-/**
- * 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 declare const yieldableClass: <A, E, R, Statics extends object>(read: Effect.Effect<A, E, R>, statics: Statics) => {
-    new (): {};
-} & Effect.Effect<A, E, R> & Statics;
-/**
- * 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 declare const definitionClass: <Class>(statics: object) => Class;
-//# sourceMappingURL=definition.d.ts.map

package/dist/definition/definition.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../../src/definition/definition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B;;;GAGG;AACH,MAAM,MAAM,IAAI,GACZ,OAAO,GACP,YAAY,GACZ,aAAa,GACb,OAAO,GACP,YAAY,GACZ,SAAS,GACT,MAAM,GACN,YAAY,GACZ,WAAW,GACX,UAAU,GACV,aAAa,GACb,aAAa,GACb,UAAU,GACV,WAAW,GACX,SAAS,GACT,aAAa,GACb,IAAI,GACJ,MAAM,GACN,SAAS,CAAA;AAEb,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,SAAS,MAAM,EAC5D,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC5B,SAAS,OAAO,KACf;IAAE,QAAQ,EAAE,CAAA;CAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,OAe5C,CAAA;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,eAAe,GAAI,KAAK,EAAE,SAAS,MAAM,KAAG,KACyC,CAAA"}

package/dist/definition/definition.js

@@ -1,42 +0,0 @@
-import { Effect } from 'effect';
-import { attachInspectable } from '../internal/inspect';
-/** 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/definition/definition.js.map

@@ -1 +0,0 @@
-{"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;AAgCtG;;;;;;;;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/event/event.d.ts

@@ -1,33 +0,0 @@
-import { Effect, type Schema } from 'effect';
-import { type Manifest } from '../definition/definition';
-import { Bus, type Tagged } from '../runtime/bus';
-import type { Trigger } from '../ui/trigger';
-/** The dispatched value of an event: `{ _tag, ...payload }`, matched with `Match.tags`. */
-export type EventOf<N extends string, P> = Tagged & {
-    readonly _tag: N;
-} & P;
-export interface EventManifest<N extends string, P> extends Manifest {
-    readonly kind: 'Event';
-    readonly name: N;
-    readonly schema: Schema.Schema<P, any>;
-}
-export interface EventClass<out N extends string, in out P> {
-    new (): {};
-    readonly manifest: EventManifest<N, P>;
-    readonly tag: N;
-    /** Carrier for `Event.construct` — builds the tagged value `{ _tag, ...payload }`. */
-    readonly build: (payload: P) => EventOf<N, P>;
-    /** Carrier for `Event.trigger` — the UI callback effect (High priority). */
-    readonly trigger: Effect.Effect<Trigger<P>, never, Bus>;
-}
-export type AnyEvent = EventClass<string, any>;
-export type EventType<E> = E extends EventClass<infer N, infer P> ? EventOf<N, P> : never;
-/** A pure data fact. Events depend on nothing — only reducers tie them to state. */
-export declare const make: <const N extends string, P>(name: N, schema: Schema.Schema<P, any>) => EventClass<N, P>;
-/** Construct the tagged value for an event (used for `boot` events). */
-export declare const construct: <N extends string, P>(event: EventClass<N, P>, payload: P) => EventOf<N, P>;
-/** Dispatch as a follow-up (Normal priority) from a procedure/effect. */
-export declare const dispatch: <N extends string, P>(event: EventClass<N, P>, payload: P) => Effect.Effect<void, never, Bus>;
-/** A callback for the UI that dispatches at High priority via the runtime. */
-export declare const trigger: <N extends string, P>(event: EventClass<N, P>) => Effect.Effect<Trigger<P>, never, Bus>;
-//# sourceMappingURL=event.d.ts.map