@playfast/reform-proof 1.2.1 → 1.3.0

package/dist/engineSink.d.ts

@@ -0,0 +1,66 @@
+import { type Context, type Duration, Effect } from 'effect';
+import { type CompositionClass, type CompositionService, type RuntimeHandle, type Structure, type Trigger, type UiContract } from '@playfast/reform';
+import { type AnyComposition, type CapturedRender, type CaptureSinkApi, type Instrumentation } from '@playfast/reform/internal';
+import type { Facade, SlotFacade, SlotFacadesOf } from './facade.js';
+export type RenderRuntime = Pick<RuntimeHandle, 'dispatch' | 'instrumentation' | 'readOption'>;
+export type HostRuntime = Pick<RuntimeHandle, 'dispatch' | 'instrumentation' | 'mountAnyFeature' | 'readOption'>;
+export type RuntimeRootComposition<Identifier, P, C extends UiContract, S extends ReadonlyArray<unknown>, N extends string, Identity> = CompositionClass<P, C, S, N, Identity> & {
+    readonly tag: Context.Tag<Identifier, CompositionService<P, C>>;
+};
+export interface MountedFacadeErasure {
+    readonly props: Effect.Effect<unknown, never, never>;
+    readonly expectProps: (partial: unknown) => Effect.Effect<void, never, never>;
+    readonly actions: Readonly<Record<string, (payload: unknown) => Effect.Effect<unknown, never, never>>>;
+    readonly slots: Readonly<Record<string, MountedSlotFacadeErasure>>;
+    readonly frame: Effect.Effect<void, never, never>;
+    readonly advance: (duration: Duration.DurationInput) => Effect.Effect<void, never, never>;
+}
+export interface MountedSlotFacadeErasure extends MountedFacadeErasure {
+    readonly first: Effect.Effect<MountedFacadeErasure, never, never>;
+    readonly at: (index: number) => Effect.Effect<MountedFacadeErasure, never, never>;
+    readonly all: Effect.Effect<ReadonlyArray<MountedFacadeErasure>, never, never>;
+    readonly byKey: (key: string) => Effect.Effect<MountedFacadeErasure, never, never>;
+    readonly where: (predicate: (props: unknown) => boolean) => Effect.Effect<ReadonlyArray<MountedFacadeErasure>, never, never>;
+    readonly count: Effect.Effect<number, never, never>;
+}
+export interface MountedFacadeHandleErasure {
+    readonly facade: {
+        readonly props: Effect.Effect<unknown, never, never>;
+        readonly expectProps: (partial: never) => Effect.Effect<void, never, never>;
+        readonly actions: object;
+        readonly slots: object;
+        readonly frame: Effect.Effect<void, never, never>;
+        readonly advance: (duration: Duration.DurationInput) => Effect.Effect<void, never, never>;
+    };
+    readonly settle: Effect.Effect<void, never, never>;
+}
+export type Settlement = Effect.Effect<void, never, never>;
+export type SettleBoundary = (settlement: Settlement) => Settlement;
+export declare const directSettle: SettleBoundary;
+export declare const SETTLE_DRAIN = 30;
+export declare const SETTLE_STEP = "1 milli";
+export declare const SETTLE_MAX_RENDERS = 100;
+export declare const settleDrain: Effect.Effect<void>;
+export declare const settleStep: Effect.Effect<void>;
+export declare const keyed: <V>(get: (key: string) => V) => Record<string, V>;
+export declare const messageOf: (error: unknown) => string;
+export declare const uiNameOf: (comp: AnyComposition) => string;
+export declare const eventsOf: (structure: Structure<UiContract>) => Record<string, Trigger<unknown>>;
+export interface ExpectedProps {
+    readonly actual: unknown;
+    readonly expected: unknown;
+}
+export declare const expectMatchingProps: ({ actual, expected, }: ExpectedProps) => Effect.Effect<void, never, never>;
+export declare const invalidCompositionProps: (composition: AnyComposition) => string;
+export declare const renderCompositionRuntime: (runtime: RenderRuntime, composition: AnyComposition, props: unknown) => Structure<UiContract>;
+export interface Sink {
+    readonly api: CaptureSinkApi;
+    readonly captures: ReadonlyArray<CapturedRender>;
+    readonly instrumentation: Instrumentation;
+    reset(): void;
+}
+export declare const makeSink: (instrumentation?: Instrumentation) => Sink;
+export type MountedSlotFacadesOf<C extends UiContract> = SlotFacadesOf<C, never>;
+export type MountedFacade<C extends UiContract> = Facade<C, never>;
+export type MountedSlotFacade<C extends UiContract> = SlotFacade<C, never>;
+//# sourceMappingURL=engineSink.d.ts.map

package/dist/engineSink.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineSink.d.ts","sourceRoot":"","sources":["../src/engineSink.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,EAAsB,MAAM,QAAQ,CAAA;AAEvF,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EAEvB,KAAK,aAAa,EAClB,KAAK,SAAS,EACd,KAAK,OAAO,EACZ,KAAK,UAAU,EAChB,MAAM,kBAAkB,CAAA;AACzB,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,eAAe,EAErB,MAAM,2BAA2B,CAAA;AAElC,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAEjE,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,EAAE,UAAU,GAAG,iBAAiB,GAAG,YAAY,CAAC,CAAA;AAE9F,MAAM,MAAM,WAAW,GAAG,IAAI,CAC5B,aAAa,EACb,UAAU,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,YAAY,CAClE,CAAA;AAED,MAAM,MAAM,sBAAsB,CAChC,UAAU,EACV,CAAC,EACD,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,QAAQ,IACN,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,GAAG;IAC3C,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;CAChE,CAAA;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IACpD,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC7E,QAAQ,CAAC,OAAO,EAAE,QAAQ,CACxB,MAAM,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAC3E,CAAA;IACD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC,CAAA;IAClE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IACjD,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,aAAa,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;CAC1F;AAED,MAAM,WAAW,wBAAyB,SAAQ,oBAAoB;IACpE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,oBAAoB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IACjE,QAAQ,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,oBAAoB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IACjF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,oBAAoB,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC9E,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,oBAAoB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAClF,QAAQ,CAAC,KAAK,EAAE,CACd,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,KACnC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,oBAAoB,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IACrE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;CACpD;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;QACpD,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;QAC3E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;QACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;QACjD,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,aAAa,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;KAC1F,CAAA;IACD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;CACnD;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;AAC1D,MAAM,MAAM,cAAc,GAAG,CAAC,UAAU,EAAE,UAAU,KAAK,UAAU,CAAA;AAEnE,eAAO,MAAM,YAAY,EAAE,cAA2C,CAAA;AAItE,eAAO,MAAM,YAAY,KAAK,CAAA;AAC9B,eAAO,MAAM,WAAW,YAAY,CAAA;AACpC,eAAO,MAAM,kBAAkB,MAAM,CAAA;AAErC,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAwD,CAAA;AAQpG,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAkE,CAAA;AAE7G,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,MAAM,KAAK,CAAC,KAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAGlE,CAAA;AAED,eAAO,MAAM,SAAS,GAAI,OAAO,OAAO,KAAG,MACa,CAAA;AAExD,eAAO,MAAM,QAAQ,GAAI,MAAM,cAAc,KAAG,MAAwC,CAAA;AAGxF,eAAO,MAAM,QAAQ,GAAI,WAAW,SAAS,CAAC,UAAU,CAAC,KAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAEzF,CAAA;AAEF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAC3B;AAED,eAAO,MAAM,mBAAmB,GAAI,uBAGjC,aAAa,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAI/C,CAAA;AAEJ,eAAO,MAAM,uBAAuB,GAAI,aAAa,cAAc,KAAG,MACM,CAAA;AAE5E,eAAO,MAAM,wBAAwB,GACnC,SAAS,aAAa,EACtB,aAAa,cAAc,EAC3B,OAAO,OAAO,KACb,SAAS,CAAC,UAAU,CA+BpB,CAAA;AAEH,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAA;IAC5B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAChD,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAA;IACzC,KAAK,IAAI,IAAI,CAAA;CACd;AAED,eAAO,MAAM,QAAQ,GAAI,kBAAiB,eAAqC,KAAG,IAiBjF,CAAA;AAED,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,UAAU,IAAI,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;AAEhF,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,UAAU,IAAI,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;AAElE,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,UAAU,IAAI,UAAU,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA"}

package/dist/engineSink.js

@@ -0,0 +1,72 @@
+import { Clock, Effect, MutableRef, Option } from 'effect';
+import { AssertionFailed } from './errors.js';
+import { Composition, isStructure, } from '@playfast/reform';
+import { noopInstrumentation, } from '@playfast/reform/internal';
+import { matchProps } from './assert.js';
+export const directSettle = (settlement) => settlement;
+// Cooperative yields flush synchronous fibers; the real-time sleep prevents a
+// genuinely delayed flow from looking stable between renders.
+export const SETTLE_DRAIN = 30;
+export const SETTLE_STEP = '1 milli';
+export const SETTLE_MAX_RENDERS = 100;
+export const settleDrain = Effect.yieldNow().pipe(Effect.repeatN(SETTLE_DRAIN));
+// The drain's own pacing is harness time, and harness time is always real. A scene
+// may install `Proof.withTestClock` to freeze PRODUCT time, and the proof body runs
+// on that same runtime — so an unpinned sleep here would freeze with it and the
+// settle loop would never make progress. Pinning it to a real clock is what lets the
+// two clocks coexist: the harness keeps advancing while the product's timers hold
+// still until `app.advance(...)` moves them.
+export const settleStep = Effect.sleep(SETTLE_STEP).pipe(Effect.withClock(Clock.make()));
+export const keyed = (get) => {
+    const target = Object.create(null);
+    return new Proxy(target, { get: (_target, key) => get(String(key)) });
+};
+export const messageOf = (error) => error instanceof Error ? error.message : String(error);
+export const uiNameOf = (comp) => comp.manifest.ui.manifest.name;
+// UiContract erases event values to never, so this boundary needs no assertion.
+export const eventsOf = (structure) => ({
+    ...structure.events,
+});
+export const expectMatchingProps = ({ actual, expected, }) => Option.match(Option.fromNullable(matchProps({ actual, expected })), {
+    onNone: () => Effect.void,
+    onSome: (detail) => Effect.dieMessage(new AssertionFailed({ detail }).message),
+});
+export const invalidCompositionProps = (composition) => `reform-proof: invalid props for composition ${composition.manifest.name}`;
+export const renderCompositionRuntime = (runtime, composition, props) => composition.capture((exact) => {
+    const resolved = Option.flatMap(exact.parseProps(props), (parsed) => Option.map(runtime.readOption(exact.tag), (service) => ({
+        parsed,
+        service,
+    })));
+    return Option.match(resolved, {
+        onNone: () => Effect.runSync(Effect.dieMessage(invalidCompositionProps(composition))),
+        onSome: ({ parsed, service }) => {
+            const frame = Effect.runSync(Composition.render(service, {
+                props: parsed,
+                tracker: { add: () => { } },
+            }));
+            if (isStructure(frame)) {
+                return frame;
+            }
+            return Effect.runSync(Effect.dieMessage(`reform-proof: composition ${composition.manifest.name} did not return a Structure`));
+        },
+    });
+});
+export const makeSink = (instrumentation = noopInstrumentation) => {
+    // CaptureSink.record is synchronous, so this uses MutableRef rather than Ref.
+    const captures = MutableRef.make([]);
+    return {
+        api: {
+            record: (capture) => {
+                MutableRef.update(captures, (current) => [...current, capture]);
+            },
+        },
+        get captures() {
+            return MutableRef.get(captures);
+        },
+        instrumentation,
+        reset: () => {
+            MutableRef.set(captures, []);
+        },
+    };
+};
+//# sourceMappingURL=engineSink.js.map

package/dist/engineSink.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineSink.js","sourceRoot":"","sources":["../src/engineSink.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAA+B,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAA;AAC1C,OAAO,EACL,WAAW,EAGX,WAAW,GAKZ,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAKL,mBAAmB,GACpB,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AA0DrC,MAAM,CAAC,MAAM,YAAY,GAAmB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAA;AAEtE,8EAA8E;AAC9E,8DAA8D;AAC9D,MAAM,CAAC,MAAM,YAAY,GAAG,EAAE,CAAA;AAC9B,MAAM,CAAC,MAAM,WAAW,GAAG,SAAS,CAAA;AACpC,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAG,CAAA;AAErC,MAAM,CAAC,MAAM,WAAW,GAAwB,MAAM,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAA;AAEpG,mFAAmF;AACnF,oFAAoF;AACpF,gFAAgF;AAChF,qFAAqF;AACrF,kFAAkF;AAClF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,UAAU,GAAwB,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAE7G,MAAM,CAAC,MAAM,KAAK,GAAG,CAAI,GAAuB,EAAqB,EAAE;IACrE,MAAM,MAAM,GAAsB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACrD,OAAO,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAA;AACvE,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAc,EAAU,EAAE,CAClD,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAExD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAoB,EAAU,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAA;AAExF,gFAAgF;AAChF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,SAAgC,EAAoC,EAAE,CAAC,CAAC;IAC/F,GAAG,SAAS,CAAC,MAAM;CACpB,CAAC,CAAA;AAOF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,EAClC,MAAM,EACN,QAAQ,GACM,EAAqC,EAAE,CACrD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE;IAClE,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI;IACzB,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC;CAC/E,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,WAA2B,EAAU,EAAE,CAC7E,+CAA+C,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAA;AAE5E,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,OAAsB,EACtB,WAA2B,EAC3B,KAAc,EACS,EAAE,CACzB,WAAW,CAAC,OAAO,CACjB,CACE,KAA6C,EACtB,EAAE;IACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAClE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACtD,MAAM;QACN,OAAO;KACR,CAAC,CAAC,CACJ,CAAA;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE;QAC5B,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,uBAAuB,CAAC,WAAW,CAAC,CAAC,CAAC;QACrF,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE;YAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAC1B,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE;gBAC1B,KAAK,EAAE,MAAM;gBACb,OAAO,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE;aAC3B,CAAC,CACH,CAAA;YACD,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvB,OAAO,KAAK,CAAA;YACd,CAAC;YACD,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CAAC,UAAU,CACf,6BAA6B,WAAW,CAAC,QAAQ,CAAC,IAAI,6BAA6B,CACpF,CACF,CAAA;QACH,CAAC;KACF,CAAC,CAAA;AACJ,CAAC,CACF,CAAA;AASH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,kBAAmC,mBAAmB,EAAQ,EAAE;IACvF,8EAA8E;IAC9E,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAmB,EAAE,CAAC,CAAA;IACtD,OAAO;QACL,GAAG,EAAE;YACH,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE;gBAClB,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,GAAG,OAAO,EAAE,OAAO,CAAC,CAAC,CAAA;YACjE,CAAC;SACF;QACD,IAAI,QAAQ;YACV,OAAO,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACjC,CAAC;QACD,eAAe;QACf,KAAK,EAAE,GAAG,EAAE;YACV,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;QAC9B,CAAC;KACF,CAAA;AACH,CAAC,CAAA"}

package/dist/engineTree.d.ts

@@ -0,0 +1,63 @@
+import { Context, Effect, Layer, Option } from 'effect';
+import { type CapturedScene, type SlotFill, type Structure, type UiContract } from '@playfast/reform';
+import { type AnyComposition, type AnySlot, type AnySlotChild, type CapturedRender, CaptureSink, type Instrumentation } from '@playfast/reform/internal';
+import { type RenderRuntime, type Sink } from './engineSink.js';
+export declare const proofLayer: <C extends UiContract, S extends ReadonlyArray<unknown>, Services, P, N extends string, Identity>(scene: CapturedScene<C, S, Services, P, N, Identity>, sink: Sink) => Layer.Layer<Services | CaptureSink, never, never>;
+export declare const missingRuntimeBus: () => never;
+export declare const renderRuntimeFromContext: <Services>(context: Context.Context<Services>, instrumentation: Instrumentation) => RenderRuntime;
+export interface Mounted {
+    readonly comp: AnyComposition;
+    readonly props: unknown;
+    readonly ref: NodeRef;
+}
+export interface SlotInstanceRef {
+    readonly name: string;
+    readonly index: number;
+    readonly key: Option.Option<string>;
+    readonly keyOccurrence: number;
+}
+export interface NodeRef {
+    readonly name: string;
+    readonly parent: Option.Option<NodeRef>;
+    readonly slot: Option.Option<SlotInstanceRef>;
+}
+export interface NodeCapture {
+    readonly ref: NodeRef;
+    readonly capture: CapturedRender;
+}
+export interface CaptureLookup {
+    readonly captures: ReadonlyArray<NodeCapture>;
+    record(ref: NodeRef, capture: CapturedRender): void;
+    reset(): void;
+}
+export declare const makeCaptureLookup: () => CaptureLookup;
+export declare const sameSlotInstance: (expected: SlotInstanceRef, actual: SlotInstanceRef) => boolean;
+export declare const sameNodeRef: (expected: NodeRef, actual: NodeRef) => boolean;
+export declare const rootRef: (root: AnyComposition) => NodeRef;
+export declare const nodeCaptureFor: (lookup: CaptureLookup, ref: NodeRef) => Option.Option<CapturedRender>;
+export declare const slotCapturesFor: (lookup: CaptureLookup, parent: NodeRef, slotName: string) => ReadonlyArray<NodeCapture>;
+export interface SettleProgress {
+    readonly previous: string;
+    readonly remaining: number;
+    readonly stable: boolean;
+}
+export declare const ensureSettled: (progress: SettleProgress) => Effect.Effect<void, never, never>;
+export interface PumpStep {
+    readonly input: unknown;
+    readonly index: number;
+}
+export declare const childComposition: (child: AnySlotChild) => AnyComposition;
+export declare const isUnknownRecord: (candidate: unknown) => candidate is Record<string, unknown>;
+export declare const slotsOf: (comp: AnyComposition) => Record<string, AnySlot>;
+export interface RuntimeSlotRead {
+    readonly runtime: RenderRuntime;
+    readonly slotDefinition: AnySlot;
+    readonly parent: AnyComposition;
+}
+export declare const readRuntimeSlotChild: ({ runtime, slotDefinition, parent }: RuntimeSlotRead) => AnySlotChild;
+export declare const isSlotFill: (candidate: unknown) => candidate is SlotFill<unknown>;
+export declare const structureFills: (structure: Structure<UiContract>) => Record<string, SlotFill<unknown>>;
+export declare const enqueueFill: (parent: NodeRef, slotName: string, fill: SlotFill<unknown>, child: AnyComposition) => ReadonlyArray<Mounted>;
+export declare const driveStructure: (comp: AnyComposition, structure: Structure<UiContract>, ref: NodeRef, sink: Sink, lookup: CaptureLookup, bindings: ReadonlyMap<AnySlot, AnyComposition>) => ReadonlyArray<Mounted>;
+export declare const fingerprint: (lookup: CaptureLookup) => string;
+//# sourceMappingURL=engineTree.d.ts.map

package/dist/engineTree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineTree.d.ts","sourceRoot":"","sources":["../src/engineTree.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,OAAO,EAAE,MAAM,EAAE,KAAK,EAAqB,MAAM,EAAiB,MAAM,QAAQ,CAAA;AACvG,OAAO,EACL,KAAK,aAAa,EAIlB,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,UAAU,EAChB,MAAM,kBAAkB,CAAA;AACzB,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,OAAO,EACZ,KAAK,YAAY,EAEjB,KAAK,cAAc,EACnB,WAAW,EACX,KAAK,eAAe,EACrB,MAAM,2BAA2B,CAAA;AAElC,OAAO,EAEL,KAAK,aAAa,EAElB,KAAK,IAAI,EAEV,MAAM,cAAc,CAAA;AAErB,eAAO,MAAM,UAAU,GACrB,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,QAAQ,EACR,CAAC,EACD,CAAC,SAAS,MAAM,EAChB,QAAQ,EAER,OAAO,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EACpD,MAAM,IAAI,KACT,KAAK,CAAC,KAAK,CAAC,QAAQ,GAAG,WAAW,EAAE,KAAK,EAAE,KAAK,CAGlD,CAAA;AAED,eAAO,MAAM,iBAAiB,QAAO,KAC0C,CAAA;AAE/E,eAAO,MAAM,wBAAwB,GAAI,QAAQ,EAC/C,SAAS,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAClC,iBAAiB,eAAe,KAC/B,aAYF,CAAA;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;CACtB;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAC/B;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAA;CAC9C;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAA;CACjC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IAC7C,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,GAAG,IAAI,CAAA;IACnD,KAAK,IAAI,IAAI,CAAA;CACd;AAED,eAAO,MAAM,iBAAiB,QAAO,aAapC,CAAA;AAED,eAAO,MAAM,gBAAgB,GAAI,UAAU,eAAe,EAAE,QAAQ,eAAe,KAAG,OAMlF,CAAA;AAEJ,eAAO,MAAM,WAAW,GAAI,UAAU,OAAO,EAAE,QAAQ,OAAO,KAAG,OAU7D,CAAA;AAEJ,eAAO,MAAM,OAAO,GAAI,MAAM,cAAc,KAAG,OAI7C,CAAA;AAEF,eAAO,MAAM,cAAc,GAAI,QAAQ,aAAa,EAAE,KAAK,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAI9F,CAAA;AAEH,eAAO,MAAM,eAAe,GAC1B,QAAQ,aAAa,EACrB,QAAQ,OAAO,EACf,UAAU,MAAM,KACf,aAAa,CAAC,WAAW,CAOzB,CAAA;AAEH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CACzB;AAED,eAAO,MAAM,aAAa,GAAI,UAAU,cAAc,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAKxF,CAAA;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAED,eAAO,MAAM,gBAAgB,GAAI,OAAO,YAAY,KAAG,cAC4C,CAAA;AAEnG,eAAO,MAAM,eAAe,GAAI,WAAW,OAAO,KAAG,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CACN,CAAA;AAElF,eAAO,MAAM,OAAO,GAAI,MAAM,cAAc,KAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAejE,CAAA;AAEJ,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;IAC/B,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;CAChC;AAED,eAAO,MAAM,oBAAoB,GAAI,qCAAqC,eAAe,KAAG,YASzF,CAAA;AAGH,eAAO,MAAM,UAAU,GAAI,WAAW,OAAO,KAAG,SAAS,IAAI,QAAQ,CAAC,OAAO,CAIW,CAAA;AAExF,eAAO,MAAM,cAAc,GAAI,WAAW,SAAS,CAAC,UAAU,CAAC,KAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAM/F,CAAA;AAEH,eAAO,MAAM,WAAW,GACtB,QAAQ,OAAO,EACf,UAAU,MAAM,EAChB,MAAM,QAAQ,CAAC,OAAO,CAAC,EACvB,OAAO,cAAc,KACpB,aAAa,CAAC,OAAO,CAsCrB,CAAA;AAEH,eAAO,MAAM,cAAc,GACzB,MAAM,cAAc,EACpB,WAAW,SAAS,CAAC,UAAU,CAAC,EAChC,KAAK,OAAO,EACZ,MAAM,IAAI,EACV,QAAQ,aAAa,EACrB,UAAU,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,KAC7C,aAAa,CAAC,OAAO,CAgBvB,CAAA;AAED,eAAO,MAAM,WAAW,GAAI,QAAQ,aAAa,KAAG,MACgC,CAAA"}

package/dist/engineTree.js

@@ -0,0 +1,137 @@
+import { Array as Arr, Context, Effect, Layer, Match, MutableRef, Option, Record as Rec } from 'effect';
+import { isFeatureBinding, isSlot, publish, } from '@playfast/reform';
+import { Bus, CaptureSink, } from '@playfast/reform/internal';
+import { formatFingerprint } from './fingerprint.js';
+import { eventsOf, SETTLE_MAX_RENDERS, uiNameOf, } from './engineSink.js';
+export const proofLayer = (scene, sink) => {
+    const sceneLayer = scene.provide.reduce((merged, layer) => Layer.merge(merged, layer));
+    return Layer.merge(sceneLayer, Layer.succeed(CaptureSink, sink.api));
+};
+export const missingRuntimeBus = () => Effect.runSync(Effect.dieMessage('reform-proof: scene does not provide Bus'));
+export const renderRuntimeFromContext = (context, instrumentation) => {
+    const bus = Context.getOption(context, Bus);
+    return {
+        dispatch: (priority, event) => Option.match(bus, {
+            onNone: missingRuntimeBus,
+            onSome: (service) => Effect.runSync(publish(priority, event).pipe(Effect.provideService(Bus, service))),
+        }),
+        instrumentation,
+        readOption: (tag) => Context.getOption(context, tag),
+    };
+};
+export const makeCaptureLookup = () => {
+    const captures = MutableRef.make([]);
+    return {
+        get captures() {
+            return MutableRef.get(captures);
+        },
+        record: (ref, capture) => {
+            MutableRef.update(captures, (current) => [...current, { ref, capture }]);
+        },
+        reset: () => {
+            MutableRef.set(captures, []);
+        },
+    };
+};
+export const sameSlotInstance = (expected, actual) => expected.name === actual.name &&
+    Option.match(expected.key, {
+        onNone: () => expected.index === actual.index,
+        onSome: (key) => expected.keyOccurrence === actual.keyOccurrence && Option.contains(actual.key, key),
+    });
+export const sameNodeRef = (expected, actual) => expected.name === actual.name &&
+    Option.match(expected.parent, {
+        onNone: () => Option.isNone(actual.parent) && Option.isNone(actual.slot),
+        onSome: (expectedParent) => Option.isSome(actual.parent) &&
+            Option.isSome(expected.slot) &&
+            Option.isSome(actual.slot) &&
+            sameNodeRef(expectedParent, actual.parent.value) &&
+            sameSlotInstance(expected.slot.value, actual.slot.value),
+    });
+export const rootRef = (root) => ({
+    name: uiNameOf(root),
+    parent: Option.none(),
+    slot: Option.none(),
+});
+export const nodeCaptureFor = (lookup, ref) => Option.map(Arr.findFirst(lookup.captures, (entry) => sameNodeRef(ref, entry.ref)), (entry) => entry.capture);
+export const slotCapturesFor = (lookup, parent, slotName) => lookup.captures.filter((entry) => Option.isSome(entry.ref.parent) &&
+    Option.isSome(entry.ref.slot) &&
+    sameNodeRef(parent, entry.ref.parent.value) &&
+    entry.ref.slot.value.name === slotName);
+export const ensureSettled = (progress) => {
+    if (progress.stable) {
+        return Effect.void;
+    }
+    return Effect.dieMessage(`reform-proof: tree did not settle after ${SETTLE_MAX_RENDERS} renders`);
+};
+export const childComposition = (child) => isFeatureBinding(child) ? child.capture((binding) => binding.composition) : child;
+export const isUnknownRecord = (candidate) => typeof candidate === 'object' && candidate !== null && !Array.isArray(candidate);
+export const slotsOf = (comp) => comp.capture((exact) => {
+    if (!('slots' in exact.manifest)) {
+        return {};
+    }
+    const candidate = exact.manifest.slots;
+    if (!isUnknownRecord(candidate)) {
+        return {};
+    }
+    return Rec.fromEntries(Rec.toEntries(candidate).flatMap(([name, slotDefinition]) => isSlot(slotDefinition) ? [[name, slotDefinition]] : []));
+});
+export const readRuntimeSlotChild = ({ runtime, slotDefinition, parent }) => slotDefinition.capture((exact) => Option.match(runtime.readOption(exact.provider), {
+    onNone: () => Effect.runSync(Effect.dieMessage(`reform-proof: slot provider missing in ${uiNameOf(parent)}`)),
+    onSome: (child) => child,
+}));
+// UiContract erases per-slot fill types here, so recover them by discriminant.
+export const isSlotFill = (candidate) => typeof candidate === 'object' &&
+    candidate !== null &&
+    '_tag' in candidate &&
+    (candidate._tag === 'Each' || candidate._tag === 'One' || candidate._tag === 'Absent');
+export const structureFills = (structure) => Rec.fromEntries(Rec.toEntries(structure.slots).flatMap(([slotName, fillValue]) => isSlotFill(fillValue) ? [[slotName, fillValue]] : []));
+export const enqueueFill = (parent, slotName, fill, child) => Match.value(fill).pipe(Match.when({ _tag: 'Each' }, (each) => each.items.map((entry, index) => ({
+    comp: child,
+    props: entry.props,
+    ref: {
+        name: uiNameOf(child),
+        parent: Option.some(parent),
+        slot: Option.some({
+            name: slotName,
+            index,
+            key: Option.some(entry.key),
+            keyOccurrence: each.items
+                .slice(0, index)
+                .filter((candidate) => candidate.key === entry.key).length,
+        }),
+    },
+}))), Match.when({ _tag: 'One' }, (oneFill) => [
+    {
+        comp: child,
+        props: oneFill.props,
+        ref: {
+            name: uiNameOf(child),
+            parent: Option.some(parent),
+            slot: Option.some({
+                name: slotName,
+                index: 0,
+                key: Option.some(`${slotName}.0`),
+                keyOccurrence: 0,
+            }),
+        },
+    },
+]), Match.when({ _tag: 'Absent' }, () => []), Match.exhaustive);
+export const driveStructure = (comp, structure, ref, sink, lookup, bindings) => {
+    const key = Option.flatMap(ref.slot, (instance) => instance.key);
+    const capture = {
+        name: uiNameOf(comp),
+        props: structure.props,
+        events: eventsOf(structure),
+        ...(Option.isSome(key) ? { key: key.value } : {}),
+    };
+    sink.api.record(capture);
+    lookup.record(ref, capture);
+    const fills = structureFills(structure);
+    return Rec.toEntries(slotsOf(comp)).flatMap(([slotName, slotClass]) => {
+        const child = bindings.get(slotClass);
+        const fill = fills[slotName];
+        return child === undefined || fill === undefined ? [] : enqueueFill(ref, slotName, fill, child);
+    });
+};
+export const fingerprint = (lookup) => formatFingerprint(lookup.captures.map(({ ref, capture }) => [ref, capture.props]));
+//# sourceMappingURL=engineTree.js.map

package/dist/engineTree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineTree.js","sourceRoot":"","sources":["../src/engineTree.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,IAAI,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,IAAI,GAAG,EAAE,MAAM,QAAQ,CAAA;AACvG,OAAO,EAEL,gBAAgB,EAChB,MAAM,EACN,OAAO,GAIR,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAIL,GAAG,EAEH,WAAW,GAEZ,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,EACL,QAAQ,EAER,kBAAkB,EAElB,QAAQ,GACT,MAAM,cAAc,CAAA;AAErB,MAAM,CAAC,MAAM,UAAU,GAAG,CAQxB,KAAoD,EACpD,IAAU,EACyC,EAAE;IACrD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;IACtF,OAAO,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;AACtE,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAU,EAAE,CAC3C,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,0CAA0C,CAAC,CAAC,CAAA;AAE/E,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,OAAkC,EAClC,eAAgC,EACjB,EAAE;IACjB,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;IAC3C,OAAO;QACL,QAAQ,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAC5B,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE;YAChB,MAAM,EAAE,iBAAiB;YACzB,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAClB,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;SACrF,CAAC;QACJ,eAAe;QACf,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC;KACrD,CAAA;AACH,CAAC,CAAA;AAgCD,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAkB,EAAE;IACnD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAA6B,EAAE,CAAC,CAAA;IAChE,OAAO;QACL,IAAI,QAAQ;YACV,OAAO,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACjC,CAAC;QACD,MAAM,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE;YACvB,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,GAAG,OAAO,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;QAC1E,CAAC;QACD,KAAK,EAAE,GAAG,EAAE;YACV,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;QAC9B,CAAC;KACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAyB,EAAE,MAAuB,EAAW,EAAE,CAC9F,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;IAC7B,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE;QACzB,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;QAC7C,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CACd,QAAQ,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;KACtF,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAiB,EAAE,MAAe,EAAW,EAAE,CACzE,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;IAC7B,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE;QAC5B,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;QACxE,MAAM,EAAE,CAAC,cAAc,EAAE,EAAE,CACzB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;YAC5B,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC5B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;YAC1B,WAAW,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAChD,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;KAC3D,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAoB,EAAW,EAAE,CAAC,CAAC;IACzD,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE;IACrB,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;CACpB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAAqB,EAAE,GAAY,EAAiC,EAAE,CACnG,MAAM,CAAC,GAAG,CACR,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EACtE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CACzB,CAAA;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,MAAqB,EACrB,MAAe,EACf,QAAgB,EACY,EAAE,CAC9B,MAAM,CAAC,QAAQ,CAAC,MAAM,CACpB,CAAC,KAAK,EAAE,EAAE,CACR,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;IAC/B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;IAC7B,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC;IAC3C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CACzC,CAAA;AAQH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,QAAwB,EAAqC,EAAE;IAC3F,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,IAAI,CAAA;IACpB,CAAC;IACD,OAAO,MAAM,CAAC,UAAU,CAAC,2CAA2C,kBAAkB,UAAU,CAAC,CAAA;AACnG,CAAC,CAAA;AAOD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAmB,EAAkB,EAAE,CACtE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAiB,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;AAEnG,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,SAAkB,EAAwC,EAAE,CAC1F,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAElF,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAoB,EAA2B,EAAE,CACvE,IAAI,CAAC,OAAO,CAA0B,CAAC,KAAK,EAAE,EAAE;IAC9C,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,SAAS,GAAY,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAA;IAC/C,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,CAAA;IACX,CAAC;IACD,OAAO,GAAG,CAAC,WAAW,CACpB,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,OAAO,CAC9B,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,EAA6C,EAAE,CACpE,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CACzD,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAQJ,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAmB,EAAgB,EAAE,CACzG,cAAc,CAAC,OAAO,CAAe,CAAC,KAAK,EAAE,EAAE,CAC7C,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE;IAC/C,MAAM,EAAE,GAAG,EAAE,CACX,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,UAAU,CAAC,0CAA0C,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAChF;IACH,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;CACzB,CAAC,CACH,CAAA;AAEH,+EAA+E;AAC/E,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,SAAkB,EAAkC,EAAE,CAC/E,OAAO,SAAS,KAAK,QAAQ;IAC7B,SAAS,KAAK,IAAI;IAClB,MAAM,IAAI,SAAS;IACnB,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAA;AAExF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,SAAgC,EAAqC,EAAE,CACpG,GAAG,CAAC,WAAW,CACb,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CACpC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAuD,EAAE,CAC7E,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CACvD,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,MAAe,EACf,QAAgB,EAChB,IAAuB,EACvB,KAAqB,EACG,EAAE,CAC1B,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACpB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CACpC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAChC,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,KAAK,CAAC,KAAK;IAClB,GAAG,EAAE;QACH,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC;QACrB,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QAC3B,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,QAAQ;YACd,KAAK;YACL,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAC3B,aAAa,EAAE,IAAI,CAAC,KAAK;iBACtB,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;iBACf,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM;SAC7D,CAAC;KACH;CACF,CAAC,CAAC,CACJ,EACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;IACvC;QACE,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,GAAG,EAAE;YACH,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC;YACrB,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;YAC3B,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;gBAChB,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,CAAC;gBACR,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,IAAI,CAAC;gBACjC,aAAa,EAAE,CAAC;aACjB,CAAC;SACH;KACF;CACF,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EACxC,KAAK,CAAC,UAAU,CACjB,CAAA;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAoB,EACpB,SAAgC,EAChC,GAAY,EACZ,IAAU,EACV,MAAqB,EACrB,QAA8C,EACtB,EAAE;IAC1B,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;IAChE,MAAM,OAAO,GAAmB;QAC9B,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC;QACpB,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;QAC3B,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClD,CAAA;IACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACxB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;IAC3B,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,CAAC,CAAA;IACvC,OAAO,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,EAAE;QACpE,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QACrC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC5B,OAAO,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;IACjG,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAqB,EAAU,EAAE,CAC3D,iBAAiB,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA"}

package/dist/engineTreeDriver.d.ts

@@ -0,0 +1,5 @@
+import { type HostRuntime, type Sink } from './engineSink.js';
+import type { AnyComposition } from '@playfast/reform/internal';
+import { type TreeDriver } from './engineTreeTypes.js';
+export declare const makeTreeDriver: (runtime: HostRuntime, root: AnyComposition, rootProps: unknown, sink: Sink) => TreeDriver;
+//# sourceMappingURL=engineTreeDriver.d.ts.map

package/dist/engineTreeDriver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineTreeDriver.d.ts","sourceRoot":"","sources":["../src/engineTreeDriver.ts"],"names":[],"mappings":"AAGA,OAAO,EAEL,KAAK,WAAW,EAKhB,KAAK,IAAI,EAEV,MAAM,cAAc,CAAA;AACrB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAS/D,OAAO,EAIL,KAAK,UAAU,EAIhB,MAAM,mBAAmB,CAAA;AAE1B,eAAO,MAAM,cAAc,GACzB,SAAS,WAAW,EACpB,MAAM,cAAc,EACpB,WAAW,OAAO,EAClB,MAAM,IAAI,KACT,UAiNF,CAAA"}

package/dist/engineTreeDriver.js

@@ -0,0 +1,187 @@
+import { Effect, Match, Option, Record as Rec } from 'effect';
+import { isFeatureBinding } from '@playfast/reform';
+import { formatFingerprint } from './fingerprint.js';
+import { eventsOf, renderCompositionRuntime, SETTLE_MAX_RENDERS, settleDrain, settleStep, uiNameOf, } from './engineSink.js';
+import { ensureSettled, readRuntimeSlotChild, slotsOf, structureFills, } from './engineTree.js';
+import { makeFeatureMountRegistry } from './engineMounts.js';
+import { encodeIdentityPart, fillEntries, treeFingerprint, } from './engineTreeTypes.js';
+export const makeTreeDriver = (runtime, root, rootProps, sink) => {
+    const status = { disposed: false };
+    const registry = makeFeatureMountRegistry(status);
+    const { disposeStale, mountId, retryMount } = registry;
+    const featureRecordForRender = registry.recordForRender;
+    const renderComposition = ({ runtime: currentRuntime, comp, props, key, path, depth, seen, mountMissing, }) => {
+        const endRenderSpan = sink.instrumentation.uiRendered(uiNameOf(comp));
+        const frame = renderCompositionRuntime(currentRuntime, comp, props);
+        endRenderSpan();
+        sink.api.record({
+            name: uiNameOf(comp),
+            props: frame.props,
+            events: eventsOf(frame),
+            ...(Option.isSome(key) ? { key: key.value } : {}),
+        });
+        const fills = structureFills(frame);
+        const renderedSlots = Rec.map(slotsOf(comp), (slotClass, slotName) => {
+            const fill = fills[slotName];
+            if (fill === undefined) {
+                return [];
+            }
+            const child = readRuntimeSlotChild({
+                runtime: currentRuntime,
+                slotDefinition: slotClass,
+                parent: comp,
+            });
+            return fillEntries(slotName, fill).flatMap((entry) => {
+                const childPath = `${path}${encodeIdentityPart(slotName)}${encodeIdentityPart(entry.key)}`;
+                if (!isFeatureBinding(child)) {
+                    return [
+                        renderComposition({
+                            runtime: currentRuntime,
+                            comp: child,
+                            props: entry.props,
+                            key: Option.some(entry.key),
+                            path: childPath,
+                            depth: depth + 1,
+                            seen,
+                            mountMissing,
+                        }),
+                    ];
+                }
+                const id = mountId({
+                    parent: currentRuntime,
+                    parentPath: path,
+                    slotName,
+                    key: entry.key,
+                    binding: child,
+                });
+                seen.add(id);
+                const record = featureRecordForRender({
+                    id,
+                    parent: currentRuntime,
+                    binding: child,
+                    depth: depth + 1,
+                    props: entry.props,
+                }, mountMissing);
+                if (record === undefined) {
+                    return [];
+                }
+                return child.capture((binding) => Match.value(record.state).pipe(Match.when({ _tag: 'Live' }, (live) => [
+                    renderComposition({
+                        runtime: live.runtime,
+                        comp: binding.composition,
+                        props: entry.props,
+                        key: Option.some(entry.key),
+                        path: childPath,
+                        depth: depth + 1,
+                        seen,
+                        mountMissing,
+                    }),
+                ]), Match.when({ _tag: 'Failed' }, (failed) => Option.match(binding.placeholder, {
+                    onNone: () => [],
+                    onSome: (placeholder) => [
+                        renderComposition({
+                            runtime: currentRuntime,
+                            comp: placeholder.failed,
+                            props: {
+                                error: failed.error,
+                                retry: () => retryMount(record),
+                            },
+                            key: Option.some(entry.key),
+                            path: `${childPath}/failed`,
+                            depth: depth + 1,
+                            seen,
+                            mountMissing,
+                        }),
+                    ],
+                })), Match.when({ _tag: 'Loading' }, () => Option.match(binding.placeholder, {
+                    onNone: () => [],
+                    onSome: (placeholder) => [
+                        renderComposition({
+                            runtime: currentRuntime,
+                            comp: placeholder.loading,
+                            props: entry.props,
+                            key: Option.some(entry.key),
+                            path: `${childPath}/loading`,
+                            depth: depth + 1,
+                            seen,
+                            mountMissing,
+                        }),
+                    ],
+                })), Match.exhaustive));
+            });
+        });
+        return {
+            path,
+            depth,
+            key,
+            comp,
+            props: frame.props,
+            events: eventsOf(frame),
+            slots: renderedSlots,
+        };
+    };
+    const render = () => {
+        // Discover the desired graph without acquiring missing Features, then release
+        // removed scopes deepest-first before the live pass mounts replacements.
+        sink.reset();
+        const retained = new Set();
+        renderComposition({
+            runtime,
+            comp: root,
+            props: rootProps,
+            key: Option.none(),
+            path: 'root',
+            depth: 0,
+            seen: retained,
+            mountMissing: false,
+        });
+        disposeStale(retained);
+        sink.reset();
+        const seen = new Set();
+        const rootNode = renderComposition({
+            runtime,
+            comp: root,
+            props: rootProps,
+            key: Option.none(),
+            path: 'root',
+            depth: 0,
+            seen,
+            mountMissing: true,
+        });
+        return {
+            root: rootNode,
+            fingerprint: formatFingerprint(treeFingerprint(rootNode)),
+        };
+    };
+    const settle = Effect.gen(function* () {
+        yield* settleDrain;
+        const first = render();
+        const progress = yield* Effect.iterate({
+            previous: first.fingerprint,
+            remaining: SETTLE_MAX_RENDERS,
+            stable: false,
+        }, {
+            while: (progress) => !progress.stable && progress.remaining > 0,
+            body: (progress) => Effect.gen(function* () {
+                yield* settleDrain;
+                yield* settleStep;
+                const current = render();
+                return {
+                    previous: current.fingerprint,
+                    remaining: progress.remaining - 1,
+                    stable: current.fingerprint === progress.previous,
+                };
+            }),
+        });
+        yield* ensureSettled(progress);
+    });
+    const dispose = () => {
+        if (status.disposed) {
+            return;
+        }
+        status.disposed = true;
+        registry.disposeAll();
+    };
+    return { render, settle, dispose };
+};
+//# sourceMappingURL=engineTreeDriver.js.map

package/dist/engineTreeDriver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineTreeDriver.js","sourceRoot":"","sources":["../src/engineTreeDriver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,IAAI,GAAG,EAAE,MAAM,QAAQ,CAAA;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,EACL,QAAQ,EAER,wBAAwB,EACxB,kBAAkB,EAClB,WAAW,EACX,UAAU,EAEV,QAAQ,GACT,MAAM,cAAc,CAAA;AAErB,OAAO,EACL,aAAa,EACb,oBAAoB,EAEpB,OAAO,EACP,cAAc,GACf,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAA;AACzD,OAAO,EACL,kBAAkB,EAClB,WAAW,EAKX,eAAe,GAChB,MAAM,mBAAmB,CAAA;AAE1B,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAAoB,EACpB,IAAoB,EACpB,SAAkB,EAClB,IAAU,EACE,EAAE;IAAI,MAAM,MAAM,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;IACpD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAA;IACjD,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,QAAQ,CAAA;IACtD,MAAM,sBAAsB,GAAG,QAAQ,CAAC,eAAe,CAAA;IAEvD,MAAM,iBAAiB,GAAG,CAAC,EACzB,OAAO,EAAE,cAAc,EACvB,IAAI,EACJ,KAAK,EACL,GAAG,EACH,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,YAAY,GACW,EAAY,EAAE;QACrC,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;QACrE,MAAM,KAAK,GAAG,wBAAwB,CAAC,cAAc,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QACnE,aAAa,EAAE,CAAA;QACf,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YACd,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC;YACpB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC;YACvB,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClD,CAAC,CAAA;QAEF,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;QACnC,MAAM,aAAa,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE;YACnE,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,EAAE,CAAA;YACX,CAAC;YACD,MAAM,KAAK,GAAG,oBAAoB,CAAC;gBACjC,OAAO,EAAE,cAAc;gBACvB,cAAc,EAAE,SAAS;gBACzB,MAAM,EAAE,IAAI;aACb,CAAC,CAAA;YACF,OAAO,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;gBACnD,MAAM,SAAS,GAAG,GAAG,IAAI,GAAG,kBAAkB,CAAC,QAAQ,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAA;gBAC1F,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7B,OAAO;wBACL,iBAAiB,CAAC;4BAChB,OAAO,EAAE,cAAc;4BACvB,IAAI,EAAE,KAAK;4BACX,KAAK,EAAE,KAAK,CAAC,KAAK;4BAClB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;4BAC3B,IAAI,EAAE,SAAS;4BACf,KAAK,EAAE,KAAK,GAAG,CAAC;4BAChB,IAAI;4BACJ,YAAY;yBACb,CAAC;qBACH,CAAA;gBACH,CAAC;gBACD,MAAM,EAAE,GAAG,OAAO,CAAC;oBACjB,MAAM,EAAE,cAAc;oBACtB,UAAU,EAAE,IAAI;oBAChB,QAAQ;oBACR,GAAG,EAAE,KAAK,CAAC,GAAG;oBACd,OAAO,EAAE,KAAK;iBACf,CAAC,CAAA;gBACF,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBACZ,MAAM,MAAM,GAAG,sBAAsB,CACnC;oBACE,EAAE;oBACF,MAAM,EAAE,cAAc;oBACtB,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,KAAK,GAAG,CAAC;oBAChB,KAAK,EAAE,KAAK,CAAC,KAAK;iBACnB,EACD,YAAY,CACb,CAAA;gBACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,OAAO,EAAE,CAAA;gBACX,CAAC;gBACD,OAAO,KAAK,CAAC,OAAO,CAA0B,CAAC,OAAO,EAAE,EAAE,CACxD,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;oBACrC,iBAAiB,CAAC;wBAChB,OAAO,EAAE,IAAI,CAAC,OAAO;wBACrB,IAAI,EAAE,OAAO,CAAC,WAAW;wBACzB,KAAK,EAAE,KAAK,CAAC,KAAK;wBAClB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;wBAC3B,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,KAAK,GAAG,CAAC;wBAChB,IAAI;wBACJ,YAAY;qBACb,CAAC;iBACH,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CACxC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE;oBAChC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE;oBAChB,MAAM,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;wBACvB,iBAAiB,CAAC;4BAChB,OAAO,EAAE,cAAc;4BACvB,IAAI,EAAE,WAAW,CAAC,MAAM;4BACxB,KAAK,EAAE;gCACL,KAAK,EAAE,MAAM,CAAC,KAAK;gCACnB,KAAK,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;6BAChC;4BACD,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;4BAC3B,IAAI,EAAE,GAAG,SAAS,SAAS;4BAC3B,KAAK,EAAE,KAAK,GAAG,CAAC;4BAChB,IAAI;4BACJ,YAAY;yBACb,CAAC;qBACH;iBACF,CAAC,CACH,EACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,CACnC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE;oBAChC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE;oBAChB,MAAM,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;wBACvB,iBAAiB,CAAC;4BAChB,OAAO,EAAE,cAAc;4BACvB,IAAI,EAAE,WAAW,CAAC,OAAO;4BACzB,KAAK,EAAE,KAAK,CAAC,KAAK;4BAClB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;4BAC3B,IAAI,EAAE,GAAG,SAAS,UAAU;4BAC5B,KAAK,EAAE,KAAK,GAAG,CAAC;4BAChB,IAAI;4BACJ,YAAY;yBACb,CAAC;qBACH;iBACF,CAAC,CACH,EACD,KAAK,CAAC,UAAU,CACjB,CACF,CAAA;YACH,CAAC,CAAC,CAAA;QACJ,CAAC,CAAC,CAAA;QAEF,OAAO;YACL,IAAI;YACJ,KAAK;YACL,GAAG;YACH,IAAI;YACJ,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC;YACvB,KAAK,EAAE,aAAa;SACrB,CAAA;IACH,CAAC,CAAA;IACD,MAAM,MAAM,GAAG,GAAoB,EAAE;QACnC,8EAA8E;QAC9E,yEAAyE;QACzE,IAAI,CAAC,KAAK,EAAE,CAAA;QACZ,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;QAClC,iBAAiB,CAAC;YAChB,OAAO;YACP,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,SAAS;YAChB,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE;YAClB,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,QAAQ;YACd,YAAY,EAAE,KAAK;SACpB,CAAC,CAAA;QACF,YAAY,CAAC,QAAQ,CAAC,CAAA;QACtB,IAAI,CAAC,KAAK,EAAE,CAAA;QACZ,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,MAAM,QAAQ,GAAG,iBAAiB,CAAC;YACjC,OAAO;YACP,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,SAAS;YAChB,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE;YAClB,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,CAAC;YACR,IAAI;YACJ,YAAY,EAAE,IAAI;SACnB,CAAC,CAAA;QACF,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,iBAAiB,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;SAC1D,CAAA;IACH,CAAC,CAAA;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACjC,KAAK,CAAC,CAAC,WAAW,CAAA;QAClB,MAAM,KAAK,GAAG,MAAM,EAAE,CAAA;QACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACpC;YACE,QAAQ,EAAE,KAAK,CAAC,WAAW;YAC3B,SAAS,EAAE,kBAAkB;YAC7B,MAAM,EAAE,KAAK;SACd,EACD;YACE,KAAK,EAAE,CAAC,QAAwB,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,SAAS,GAAG,CAAC;YAC/E,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,KAAK,CAAC,CAAC,WAAW,CAAA;gBAClB,KAAK,CAAC,CAAC,UAAU,CAAA;gBACjB,MAAM,OAAO,GAAG,MAAM,EAAE,CAAA;gBACxB,OAAO;oBACL,QAAQ,EAAE,OAAO,CAAC,WAAW;oBAC7B,SAAS,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;oBACjC,MAAM,EAAE,OAAO,CAAC,WAAW,KAAK,QAAQ,CAAC,QAAQ;iBAClD,CAAA;YACH,CAAC,CAAC;SACL,CACF,CAAA;QACD,KAAK,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAA;IAChC,CAAC,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,GAAS,EAAE;QACzB,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,OAAM;QACR,CAAC;QACD,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAA;QACtB,QAAQ,CAAC,UAAU,EAAE,CAAA;IACvB,CAAC,CAAA;IAED,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,CAAA;AACpC,CAAC,CAAA"}

package/dist/engineTreeFacade.d.ts

@@ -0,0 +1,5 @@
+import { type RuntimeHandle, type UiContract } from '@playfast/reform';
+import { type RuntimeRootComposition, type Sink } from './engineSink.js';
+import type { RuntimeTreeFacade } from './engineTreeTypes.js';
+export declare function makeRuntimeTreeFacade<Services, RootIdentifier extends NoInfer<Services>, P, C extends UiContract, S extends ReadonlyArray<unknown>, N extends string, Identity>(runtime: RuntimeHandle<Services>, root: RuntimeRootComposition<RootIdentifier, P, C, S, N, Identity>, rootProps: P, sink: Sink, dispatched: Set<string>): RuntimeTreeFacade<C>;
+//# sourceMappingURL=engineTreeFacade.d.ts.map

package/dist/engineTreeFacade.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineTreeFacade.d.ts","sourceRoot":"","sources":["../src/engineTreeFacade.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,aAAa,EAAE,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAEtE,OAAO,EAKL,KAAK,sBAAsB,EAC3B,KAAK,IAAI,EAEV,MAAM,cAAc,CAAA;AAErB,OAAO,KAAK,EAAE,iBAAiB,EAAsC,MAAM,mBAAmB,CAAA;AAE9F,wBAAgB,qBAAqB,CACnC,QAAQ,EACR,cAAc,SAAS,OAAO,CAAC,QAAQ,CAAC,EACxC,CAAC,EACD,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,QAAQ,EAER,OAAO,EAAE,aAAa,CAAC,QAAQ,CAAC,EAChC,IAAI,EAAE,sBAAsB,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAClE,SAAS,EAAE,CAAC,EACZ,IAAI,EAAE,IAAI,EACV,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,GACtB,iBAAiB,CAAC,CAAC,CAAC,CAAA"}