@playfast/reform 0.0.5 → 0.0.7

package/dist/compose/composition.d.ts

@@ -0,0 +1,72 @@
+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

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

@@ -0,0 +1,46 @@
+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

@@ -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/{src/compose/host.ts → dist/compose/host.d.ts}

@@ -1,6 +1,5 @@
-import { Context } from 'effect'
-import type { Node } from './slot'
-
+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
@@ -8,8 +7,11 @@ import type { Node } from './slot'
  * child. Core stays renderer-neutral — it only defines this hole.
  */
 export interface SlotHost {
-  slot(name: string): (props: unknown) => Node
+    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 class CurrentSlots extends Context.Tag('reform/Slots')<CurrentSlots, SlotHost>() {}
+export declare class CurrentSlots extends CurrentSlotsBase {
+}
+export {};
+//# sourceMappingURL=host.d.ts.map

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

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

@@ -0,0 +1,6 @@
+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

@@ -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,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

@@ -0,0 +1,13 @@
+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

@@ -0,0 +1 @@
+{"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/{src/compose/props.ts → dist/compose/props.js}

@@ -1,5 +1,4 @@
-import { Context } from 'effect'
-
+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`.
@@ -7,4 +6,7 @@ import { Context } from 'effect'
  * (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')<Props, any>() {}
+const PropsBase = Context.Tag('reform/Props')();
+export class Props extends PropsBase {
+}
+//# sourceMappingURL=props.js.map

package/dist/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,SAAS,GAAiD,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAGxF,CAAA;AACH,MAAM,OAAO,KAAM,SAAQ,SAAS;CAAG"}

package/dist/compose/provide.d.ts

@@ -0,0 +1,22 @@
+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

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

@@ -0,0 +1,28 @@
+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

@@ -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/{src/compose/slot.ts → dist/compose/slot.d.ts}

@@ -1,22 +1,17 @@
-import { Context } from 'effect'
-import { definitionClass } from '../definition/definition'
-import type { CompositionClass } from './composition'
-import type { FeatureBinding } from '../feature/feature'
-import type { Node } from '../ui/node'
-
-export type { Node }
-
+import { Context } from 'effect';
+import type { CompositionClass } from './composition';
+import type { FeatureBinding } from '../feature/feature';
+import type { Node } from '../ui/node';
+export type { Node };
 /** Any composition, used where only the slot's structural role matters. */
-type AnyComposition = CompositionClass<any, any>
-
+type AnyComposition = CompositionClass<any, any>;
 /**
  * What a slot can be filled with: a plain child composition (the host renders it
  * directly), or a `FeatureBinding` from `provide(slot, Feature)` (the host drives
  * its lazy/eager mount lifecycle). The slot's DI tag holds one of these; the host
  * discriminates by the `FeatureBinding` brand.
  */
-export type SlotChild = CompositionClass<unknown> | FeatureBinding
-
+export type SlotChild = CompositionClass<unknown> | FeatureBinding;
 /**
  * Phantom instance shape: `ItemSlot` used as a *type* denotes this. It carries
  * the child *composition* type `Comp`, so the slot knows both the external props
@@ -25,9 +20,8 @@ export type SlotChild = CompositionClass<unknown> | FeatureBinding
  * proof facade, drive.
  */
 export interface SlotInstance<Comp extends AnyComposition> {
-  readonly _slot: Comp
+    readonly _slot: Comp;
 }
-
 /**
  * A DI hole for a child composition. The parent declares
  * `slot('Item')<typeof TodoItem>()` and renders through it; the concrete child
@@ -38,29 +32,18 @@ export interface SlotInstance<Comp extends AnyComposition> {
  * by `provide`'s signature, not the (invariant) tag.
  */
 /** Nominal brand identifying a slot at runtime (Effect's `TypeId` idiom). */
-export const SlotTypeId: unique symbol = Symbol.for('reform/Slot')
-export type SlotTypeId = typeof SlotTypeId
-
+export declare const SlotTypeId: unique symbol;
+export type SlotTypeId = typeof SlotTypeId;
 export interface SlotClass<Comp extends AnyComposition = AnyComposition> {
-  new (): SlotInstance<Comp>
-  readonly [SlotTypeId]: SlotTypeId
-  readonly kind: 'Slot'
-  /** Internal DI tag the filling child (composition or feature binding) is provided under. */
-  readonly tag: Context.Tag<SlotChild, SlotChild>
+    new (): SlotInstance<Comp>;
+    readonly [SlotTypeId]: SlotTypeId;
+    readonly kind: 'Slot';
+    /** Internal DI tag the filling child (composition or feature binding) is provided under. */
+    readonly tag: Context.Tag<SlotChild, SlotChild>;
 }
-
 /** Whether a value is a slot — discriminates a `provide` target by brand. */
-export const isSlot = (u: unknown): u is SlotClass =>
-  (typeof u === 'function' || typeof u === 'object') && u !== null && SlotTypeId in u
-
+export declare const isSlot: (u: unknown) => u is SlotClass;
 /** The props a slot renders with — the child composition's external props. */
-export type SlotProps<S> = S extends SlotInstance<infer Comp> ? Comp['Props'] : never
-
-export const slot =
-  (name: string) =>
-  // Defaulted so a slot whose child carries no meaningful props/contract can be
-  // declared bare (`slot('Tree')()`); pass `typeof Child` to type the facade.
-  <Comp extends AnyComposition = AnyComposition>(): SlotClass<Comp> => {
-    const tag = Context.GenericTag<SlotChild, SlotChild>(`reform/slot/${name}`)
-    return definitionClass<SlotClass<Comp>>({ [SlotTypeId]: SlotTypeId, kind: 'Slot' as const, tag })
-  }
+export type SlotProps<S> = S extends SlotInstance<infer Comp> ? Comp['Props'] : never;
+export declare const slot: (name: string) => <Comp extends AnyComposition = AnyComposition>() => SlotClass<Comp>;
+//# sourceMappingURL=slot.d.ts.map

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

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

@@ -0,0 +1,23 @@
+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

@@ -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"}

package/dist/compose/ui.d.ts

@@ -0,0 +1,135 @@
+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

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

@@ -0,0 +1,63 @@
+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

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