@playfast/reform-proof 1.2.0 → 1.3.0

package/dist/assert.d.ts

@@ -0,0 +1,15 @@
+import { Effect } from 'effect';
+export declare const expect: <A>(actual: A) => {
+    toBe: (expected: A) => Effect.Effect<void>;
+    toEqual: (expected: A) => Effect.Effect<void>;
+    toContain: (expected: A extends ReadonlyArray<infer E> ? E : unknown) => Effect.Effect<void>;
+    toMatchObject: (expected: Partial<A>) => Effect.Effect<void>;
+};
+export declare const isRecord: (candidate: unknown) => candidate is Record<string, unknown>;
+interface MatchInput {
+    readonly actual: unknown;
+    readonly expected: unknown;
+}
+export declare const matchProps: (input: MatchInput) => string | undefined;
+export {};
+//# sourceMappingURL=assert.d.ts.map

package/dist/assert.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assert.d.ts","sourceRoot":"","sources":["../src/assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAyB,MAAM,QAAQ,CAAA;AAiBpE,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,QAAQ,CAAC;qBAChB,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;wBAIpB,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;0BAIrB,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;8BAIhE,OAAO,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;CAI1D,CAAA;AAEF,eAAO,MAAM,QAAQ,GAAI,WAAW,OAAO,KAAG,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAC5B,CAAA;AAErD,UAAU,UAAU;IAClB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAC3B;AAsBD,eAAO,MAAM,UAAU,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,MAAM,GAAG,SAAwB,CAAA"}

package/dist/assert.js

@@ -0,0 +1,39 @@
+import { Array as Arr, Effect, Option, Record as Rec } from 'effect';
+import { AssertionFailed } from './errors.js';
+import { formatFingerprint } from './fingerprint.js';
+const show = (subject) => formatFingerprint(subject);
+const deepEqual = ({ left, right }) => Object.is(left, right) || show(left) === show(right);
+const fail = (message) => Effect.dieMessage(new AssertionFailed({ detail: message }).message);
+export const expect = (actual) => ({
+    toBe: (expected) => Object.is(actual, expected)
+        ? Effect.void
+        : fail(`expected ${show(actual)} to be ${show(expected)}`),
+    toEqual: (expected) => deepEqual({ left: actual, right: expected })
+        ? Effect.void
+        : fail(`expected ${show(actual)} to equal ${show(expected)}`),
+    toContain: (expected) => Array.isArray(actual) && actual.some((element) => deepEqual({ left: element, right: expected }))
+        ? Effect.void
+        : fail(`expected ${show(actual)} to contain ${show(expected)}`),
+    toMatchObject: (expected) => {
+        const mismatch = matchPartial({ actual, expected });
+        return mismatch === undefined ? Effect.void : fail(mismatch);
+    },
+});
+export const isRecord = (candidate) => typeof candidate === 'object' && candidate !== null;
+const matchPartial = ({ actual, expected }) => {
+    if (!isRecord(expected)) {
+        return deepEqual({ left: actual, right: expected })
+            ? undefined
+            : `expected ${show(actual)} to match ${show(expected)}`;
+    }
+    if (!isRecord(actual)) {
+        return `expected ${show(actual)} to be an object matching ${show(expected)}`;
+    }
+    const mismatch = Arr.findFirst(Rec.keys(expected), (key) => !deepEqual({ left: actual[key], right: expected[key] }));
+    return Option.match(mismatch, {
+        onNone: () => undefined,
+        onSome: (key) => `expected key ${show(key)} to match ${show(expected[key])}, got ${show(actual[key])}`,
+    });
+};
+export const matchProps = matchPartial;
+//# sourceMappingURL=assert.js.map

package/dist/assert.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assert.js","sourceRoot":"","sources":["../src/assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,IAAI,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,IAAI,GAAG,EAAE,MAAM,QAAQ,CAAA;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAA;AAC1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AAOjD,MAAM,IAAI,GAAG,CAAC,OAAgB,EAAU,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAA;AAErE,MAAM,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAe,EAAW,EAAE,CAC1D,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,CAAA;AAEtD,MAAM,IAAI,GAAG,CAAC,OAAe,EAAwB,EAAE,CACrD,MAAM,CAAC,UAAU,CAAC,IAAI,eAAe,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;AAErE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,MAAS,EAAE,EAAE,CAAC,CAAC;IACvC,IAAI,EAAE,CAAC,QAAW,EAAuB,EAAE,CACzC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;QACzB,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC9D,OAAO,EAAE,CAAC,QAAW,EAAuB,EAAE,CAC5C,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,aAAa,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;IACjE,SAAS,EAAE,CAAC,QAAwD,EAAuB,EAAE,CAC3F,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9F,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,eAAe,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;IACnE,aAAa,EAAE,CAAC,QAAoB,EAAuB,EAAE;QAC3D,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAA;QACnD,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC9D,CAAC;CACF,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,SAAkB,EAAwC,EAAE,CACnF,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,CAAA;AAOrD,MAAM,YAAY,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAc,EAAsB,EAAE;IAC5E,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;YACjD,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,aAAa,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAA;IAC3D,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,OAAO,YAAY,IAAI,CAAC,MAAM,CAAC,6BAA6B,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAA;IAC9E,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,CAAC,SAAS,CAC5B,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAClB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CACjE,CAAA;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE;QAC5B,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS;QACvB,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CACd,gBAAgB,IAAI,CAAC,GAAG,CAAC,aAAa,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE;KACxF,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAA8C,YAAY,CAAA"}

package/dist/engine.d.ts

@@ -0,0 +1,16 @@
+import { Effect } from 'effect';
+import type { ProofResult } from './proofCase.js';
+import type { DriveResult } from './index.js';
+import type { Proof } from './index.js';
+export { makeSink } from './engineSink.js';
+export type { Sink } from './engineSink.js';
+export { proofLayer } from './engineTree.js';
+export { makeFacade, makeProofFacade, makeRuntimeHandleFacade } from './engineMounted.js';
+export type { MountedFacade, MountedSlotFacade, MountedSlotFacadesOf, } from './engineSink.js';
+export { makeRuntimeTreeFacade } from './engineTreeFacade.js';
+export type { RuntimeTreeFacade } from './engineTreeTypes.js';
+export declare const executeProofEffect: (proof: Proof) => Effect.Effect<ProofResult, never, never>;
+export declare const executeProof: (proof: Proof) => Promise<ProofResult>;
+export declare const driveProofEffect: (proof: Proof) => Effect.Effect<DriveResult, never, never>;
+export declare const driveProof: (proof: Proof) => Promise<DriveResult>;
+//# sourceMappingURL=engine.d.ts.map

package/dist/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAA8B,MAAM,QAAQ,CAAA;AAqBlE,OAAO,KAAK,EAAa,WAAW,EAAE,MAAM,aAAa,CAAA;AAEzD,OAAO,KAAK,EAAE,WAAW,EAAa,MAAM,SAAS,CAAA;AAErD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAEpC,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AACvC,YAAY,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAA;AACtF,YAAY,EACV,aAAa,EACb,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAC1D,YAAY,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AAkJ1D,eAAO,MAAM,kBAAkB,GAAI,OAAO,KAAK,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAgBtF,CAAA;AAEH,eAAO,MAAM,YAAY,GAAI,OAAO,KAAK,KAAG,OAAO,CAAC,WAAW,CACjB,CAAA;AA8D9C,eAAO,MAAM,gBAAgB,GAAI,OAAO,KAAK,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAgBpF,CAAA;AAEH,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,KAAG,OAAO,CAAC,WAAW,CACjB,CAAA"}

package/dist/engine.js

@@ -0,0 +1,119 @@
+import { Cause, Effect, Option, Record as Rec, Ref } from 'effect';
+import { yieldWrapGet } from 'effect/Utils';
+import { makeAppRuntime, sceneInstrumentation, } from '@playfast/reform';
+import {} from '@playfast/reform/internal';
+import { invalidCompositionProps, makeSink, messageOf, } from './engineSink.js';
+import { childComposition, readRuntimeSlotChild, slotsOf } from './engineTree.js';
+import { makeRuntimeTreeFacade } from './engineTreeFacade.js';
+export { makeSink } from './engineSink.js';
+export { proofLayer } from './engineTree.js';
+export { makeFacade, makeProofFacade, makeRuntimeHandleFacade } from './engineMounted.js';
+export { makeRuntimeTreeFacade } from './engineTreeFacade.js';
+const proofRootProps = (composition) => Option.match(composition.parseProps({}), {
+    onNone: () => Effect.dieMessage(invalidCompositionProps(composition)),
+    onSome: Effect.succeed,
+});
+const withProofRuntimeTree = (scene, sink, dispatched, use) => Effect.acquireUseRelease(Effect.sync(() => makeAppRuntime(scene)), (runtime) => Effect.acquireUseRelease(Effect.gen(function* () {
+    const rootProps = yield* proofRootProps(scene.composition);
+    yield* Effect.sync(() => runtime.boot());
+    return makeRuntimeTreeFacade(runtime, scene.composition, rootProps, sink, dispatched);
+}), (tree) => use(runtime, tree), (tree) => Effect.sync(tree.dispose)), (runtime) => Effect.sync(runtime.dispose));
+const missingCoverage = (proof, dispatched) => Option.match(proof.requirement.manifest.events, {
+    onNone: () => [],
+    onSome: (declared) => declared.map(String).filter((event) => !dispatched.has(event)),
+});
+const compositionIdentity = (composition) => composition.capture((exact) => exact.identity);
+const verifyProofPlacement = (proof, scene, runtime) => {
+    const expected = proof.requirement.manifest.composition;
+    if (proof.placement === 'Root' &&
+        Object.is(compositionIdentity(scene.composition), compositionIdentity(expected))) {
+        return Effect.void;
+    }
+    if (proof.placement === 'Slot') {
+        const matches = Rec.values(slotsOf(scene.composition)).some((slotClass) => {
+            const child = childComposition(readRuntimeSlotChild({
+                runtime,
+                slotDefinition: slotClass,
+                parent: scene.composition,
+            }));
+            return Object.is(compositionIdentity(child), compositionIdentity(expected));
+        });
+        if (matches) {
+            return Effect.void;
+        }
+    }
+    const location = proof.placement === 'Root' ? 'scene root' : 'direct scene slot';
+    return Effect.dieMessage(`reform-proof: requirement composition ${expected.manifest.name} is not the ${location} by definition identity`);
+};
+const executeProofWithSink = Effect.fn('executeProofWithSink')(function* (proof, scene, sink) {
+    const dispatched = new Set();
+    const statement = proof.requirement.manifest.statement;
+    const runGenerator = Effect.fn('runProofGenerator')(function* (generator, input, settleEffect) {
+        const next = generator.next(input);
+        if (next.done === true) {
+            return;
+        }
+        const output = yield* yieldWrapGet(next.value);
+        yield* settleEffect;
+        yield* runGenerator(generator, output, settleEffect);
+    });
+    return yield* withProofRuntimeTree(scene, sink, dispatched, (runtime, tree) => Effect.gen(function* () {
+        yield* verifyProofPlacement(proof, scene, runtime);
+        yield* tree.settle;
+        yield* runGenerator(proof.body(tree.facade), undefined, tree.settle);
+        const missing = missingCoverage(proof, dispatched);
+        const coverageError = `requirement declares events never dispatched: ${missing.join(', ')}`;
+        return missing.length > 0
+            ? { requirement: statement, ok: false, error: coverageError }
+            : { requirement: statement, ok: true, error: undefined };
+    })).pipe(Effect.catchAllCause((cause) => Effect.succeed({
+        requirement: statement,
+        ok: false,
+        error: messageOf(Cause.squash(cause)),
+    })));
+});
+export const executeProofEffect = (proof) => proof.capture((exact) => {
+    const sink = makeSink(sceneInstrumentation(exact.scene));
+    return executeProofWithSink(exact, exact.scene, sink);
+});
+export const executeProof = (proof) => Effect.runPromise(executeProofEffect(proof));
+const driveProofWithSink = Effect.fn('driveProofWithSink')(function* (proof, scene, sink) {
+    const frames = yield* Ref.make([]);
+    const statement = proof.requirement.manifest.statement;
+    // Driving tracks dispatches for the facade without enforcing coverage.
+    const dispatched = new Set();
+    const record = (index) => Ref.update(frames, (current) => [...current, { index, captures: [...sink.captures] }]);
+    const pump = Effect.fn('pump')(function* (generator, step, settleEffect) {
+        const next = generator.next(step.input);
+        if (next.done === true) {
+            return;
+        }
+        const output = yield* yieldWrapGet(next.value);
+        yield* settleEffect;
+        yield* record(step.index);
+        yield* pump(generator, { input: output, index: step.index + 1 }, settleEffect);
+    });
+    return yield* withProofRuntimeTree(scene, sink, dispatched, (runtime, tree) => Effect.gen(function* () {
+        yield* verifyProofPlacement(proof, scene, runtime);
+        yield* tree.settle;
+        yield* record(0);
+        yield* pump(proof.body(tree.facade), { input: undefined, index: 1 }, tree.settle);
+        return {
+            requirement: statement,
+            frames: yield* Ref.get(frames),
+            ok: true,
+            error: undefined,
+        };
+    })).pipe(Effect.catchAllCause((cause) => Ref.get(frames).pipe(Effect.map((collected) => ({
+        requirement: statement,
+        frames: collected,
+        ok: false,
+        error: messageOf(Cause.squash(cause)),
+    })))));
+});
+export const driveProofEffect = (proof) => proof.capture((exact) => {
+    const sink = makeSink(sceneInstrumentation(exact.scene));
+    return driveProofWithSink(exact, exact.scene, sink);
+});
+export const driveProof = (proof) => Effect.runPromise(driveProofEffect(proof));
+//# sourceMappingURL=engine.js.map

package/dist/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,IAAI,GAAG,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAA;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAGL,cAAc,EACd,oBAAoB,GAErB,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAAsC,MAAM,2BAA2B,CAAA;AAC9E,OAAO,EACL,uBAAuB,EAEvB,QAAQ,EACR,SAAS,GAGV,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAO1D,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAEvC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAA;AAMtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAG1D,MAAM,cAAc,GAAG,CAOrB,WAAmD,EACnB,EAAE,CAClC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE;IACvC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,uBAAuB,CAAC,WAAW,CAAC,CAAC;IACrE,MAAM,EAAE,MAAM,CAAC,OAAO;CACvB,CAAC,CAAA;AAEJ,MAAM,oBAAoB,GAAG,CAU3B,KAAoD,EACpD,IAAU,EACV,UAAuB,EACvB,GAAqF,EACzD,EAAE,CAC9B,MAAM,CAAC,iBAAiB,CACtB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EACxC,CAAC,OAAO,EAAE,EAAE,CACV,MAAM,CAAC,iBAAiB,CACtB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;IAC1D,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;IACxC,OAAO,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,CAAA;AACvF,CAAC,CAAC,EACF,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAC5B,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CACpC,EACH,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAC1C,CAAA;AAEH,MAAM,eAAe,GAAG,CACtB,KAAiC,EACjC,UAAuB,EACA,EAAE,CACzB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE;IAC9C,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE;IAChB,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;CACrF,CAAC,CAAA;AAOJ,MAAM,mBAAmB,GAAG,CAAC,WAA2B,EAAU,EAAE,CAClE,WAAW,CAAC,OAAO,CAAS,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;AAExD,MAAM,oBAAoB,GAAG,CAC3B,KAAqB,EACrB,KAAe,EACf,OAAsB,EACa,EAAE;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAA;IACvD,IACE,KAAK,CAAC,SAAS,KAAK,MAAM;QAC1B,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAC,EAChF,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAA;IACpB,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;YACxE,MAAM,KAAK,GAAG,gBAAgB,CAC5B,oBAAoB,CAAC;gBACnB,OAAO;gBACP,cAAc,EAAE,SAAS;gBACzB,MAAM,EAAE,KAAK,CAAC,WAAW;aAC1B,CAAC,CACH,CAAA;YACD,OAAO,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAA;QAC7E,CAAC,CAAC,CAAA;QACF,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,MAAM,CAAC,IAAI,CAAA;QACpB,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,mBAAmB,CAAA;IAChF,OAAO,MAAM,CAAC,UAAU,CACtB,yCAAyC,QAAQ,CAAC,QAAQ,CAAC,IAAI,eAAe,QAAQ,yBAAyB,CAChH,CAAA;AACH,CAAC,CAAA;AAED,MAAM,oBAAoB,GAAG,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,QAAQ,CAAC,EAStE,KAAsD,EACtD,KAAoD,EACpD,IAAU;IAEV,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAA;IACpC,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAA;IACtD,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EAC3D,SAAwC,EACxC,KAAc,EACd,YAA+C;QAE/C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAClC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACvB,OAAM;QACR,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC9C,KAAK,CAAC,CAAC,YAAY,CAAA;QACnB,KAAK,CAAC,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,CAAA;IACtD,CAAC,CAAC,CAAA;IACF,OAAO,KAAK,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAC5E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;QAClD,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAA;QAClB,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;QACpE,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;QAClD,MAAM,aAAa,GAAG,iDAAiD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;QAC3F,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE;YAC7D,CAAC,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;IAC5D,CAAC,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7B,MAAM,CAAC,OAAO,CAAC;QACb,WAAW,EAAE,SAAS;QACtB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;KACtC,CAAC,CACH,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAY,EAA4C,EAAE,CAC3F,KAAK,CAAC,OAAO,CACX,CASE,KAAsD,EACZ,EAAE;IAC5C,MAAM,IAAI,GAAG,QAAQ,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IACxD,OAAO,oBAAoB,CAAuC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAC7F,CAAC,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAY,EAAwB,EAAE,CACjE,MAAM,CAAC,UAAU,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAA;AAE9C,MAAM,kBAAkB,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,QAAQ,CAAC,EASlE,KAAsD,EACtD,KAAoD,EACpD,IAAU;IAEV,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAA2B,EAAE,CAAC,CAAA;IAC5D,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAA;IACtD,uEAAuE;IACvE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAA;IACpC,MAAM,MAAM,GAAG,CAAC,KAAa,EAAuB,EAAE,CACpD,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,GAAG,OAAO,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAA;IACxF,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,EACtC,SAAwC,EACxC,IAAc,EACd,YAA+C;QAE/C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACvC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACvB,OAAM;QACR,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC9C,KAAK,CAAC,CAAC,YAAY,CAAA;QACnB,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACzB,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,YAAY,CAAC,CAAA;IAChF,CAAC,CAAC,CAAA;IACF,OAAO,KAAK,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAC5E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;QAClD,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAA;QAClB,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QAChB,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;QACjF,OAAO;YACL,WAAW,EAAE,SAAS;YACtB,MAAM,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;YAC9B,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,SAAS;SACjB,CAAA;IACH,CAAC,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7B,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAClB,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACzB,WAAW,EAAE,SAAS;QACtB,MAAM,EAAE,SAAS;QACjB,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;KACtC,CAAC,CAAC,CACJ,CACF,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAY,EAA4C,EAAE,CACzF,KAAK,CAAC,OAAO,CACX,CASE,KAAsD,EACZ,EAAE;IAC5C,MAAM,IAAI,GAAG,QAAQ,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IACxD,OAAO,kBAAkB,CAAuC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAC3F,CAAC,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAY,EAAwB,EAAE,CAC/D,MAAM,CAAC,UAAU,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAA"}

package/dist/engineMounted.d.ts

@@ -0,0 +1,18 @@
+import { Effect, ManagedRuntime } from 'effect';
+import { type CapturedScene, type RuntimeHandle, type UiContract } from '@playfast/reform';
+import { CaptureSink } from '@playfast/reform/internal';
+import type { Facade } from './facade.js';
+import { type MountedFacade, type RuntimeRootComposition, type Sink } from './engineSink.js';
+export declare function makeFacade<C extends UiContract, S extends ReadonlyArray<unknown>, Services, P, N extends string, Identity>(runtime: ManagedRuntime.ManagedRuntime<Services | CaptureSink, never>, scene: CapturedScene<C, S, Services, P, N, Identity>, sink: Sink, dispatched: Set<string>): {
+    readonly facade: Facade<C, never>;
+    readonly settle: Effect.Effect<void, never, never>;
+};
+export declare const makeProofFacade: <C extends UiContract, S extends ReadonlyArray<unknown>, Services, P, N extends string, Identity>(runtime: ManagedRuntime.ManagedRuntime<Services | CaptureSink, never>, scene: CapturedScene<C, S, Services, P, N, Identity>, sink: Sink, dispatched: Set<string>) => {
+    readonly facade: Facade<C, never>;
+    readonly settle: Effect.Effect<void, never, never>;
+};
+export declare const makeRuntimeHandleFacade: <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>, sink: Sink, dispatched: Set<string>) => {
+    readonly facade: MountedFacade<C>;
+    readonly settle: Effect.Effect<void, never, never>;
+};
+//# sourceMappingURL=engineMounted.d.ts.map

package/dist/engineMounted.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineMounted.d.ts","sourceRoot":"","sources":["../src/engineMounted.ts"],"names":[],"mappings":"AAAA,OAAO,EAA+B,MAAM,EAAE,cAAc,EAAqB,MAAM,QAAQ,CAAA;AAE/F,OAAO,EACL,KAAK,aAAa,EAElB,KAAK,aAAa,EAElB,KAAK,UAAU,EAChB,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAAuB,WAAW,EAAE,MAAM,2BAA2B,CAAA;AAC5E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACtC,OAAO,EAIL,KAAK,aAAa,EAKlB,KAAK,sBAAsB,EAE3B,KAAK,IAAI,EAEV,MAAM,cAAc,CAAA;AAgBrB,wBAAgB,UAAU,CACxB,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,QAAQ,EACR,CAAC,EACD,CAAC,SAAS,MAAM,EAChB,QAAQ,EAER,OAAO,EAAE,cAAc,CAAC,cAAc,CAAC,QAAQ,GAAG,WAAW,EAAE,KAAK,CAAC,EACrE,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EACpD,IAAI,EAAE,IAAI,EACV,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,GACtB;IACD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;CACnD,CASA;AA2KD,eAAO,MAAM,eAAe,GAC1B,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,QAAQ,EACR,CAAC,EACD,CAAC,SAAS,MAAM,EAChB,QAAQ,EAER,SAAS,cAAc,CAAC,cAAc,CAAC,QAAQ,GAAG,WAAW,EAAE,KAAK,CAAC,EACrE,OAAO,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EACpD,MAAM,IAAI,EACV,YAAY,GAAG,CAAC,MAAM,CAAC,KACtB;IACD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;CAGnD,CAAA;AAED,eAAO,MAAM,uBAAuB,GAClC,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,SAAS,aAAa,CAAC,QAAQ,CAAC,EAChC,MAAM,sBAAsB,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAClE,MAAM,IAAI,EACV,YAAY,GAAG,CAAC,MAAM,CAAC,KACtB;IACD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;CACiB,CAAA"}

package/dist/engineMounted.js

@@ -0,0 +1,96 @@
+import { Array as Arr, Effect, ManagedRuntime, Option, TestClock } from 'effect';
+import { NoTestClock, UnknownAction, UnknownSlot } from './errors.js';
+import {} from '@playfast/reform';
+import { CaptureSink } from '@playfast/reform/internal';
+import { directSettle, expectMatchingProps, keyed, uiNameOf, } from './engineSink.js';
+import { makeCaptureLookup, nodeCaptureFor, renderRuntimeFromContext, rootRef, slotCapturesFor, slotsOf, } from './engineTree.js';
+import { collectRuntimeBindings, renderTreeRuntime, settleTreeRuntime, } from './engineRender.js';
+export function makeFacade(runtime, scene, sink, dispatched) {
+    const context = runtime.runSync(Effect.context());
+    return makeMountedFacade(renderRuntimeFromContext(context, sink.instrumentation), scene.composition, sink, dispatched, (settlement) => Effect.promise(() => runtime.runPromise(settlement)));
+}
+function makeMountedFacade(runtime, root, sink, dispatched, settleBoundary) {
+    const bindings = collectRuntimeBindings(root, runtime);
+    const lookup = makeCaptureLookup();
+    const settle = settleBoundary(settleTreeRuntime(runtime, root, bindings, sink, lookup));
+    const rerender = renderTreeRuntime(runtime, root, bindings, sink, lookup);
+    // Move the scene's virtual clock, then settle the tree the woken fibers dirty.
+    // The clock is read off the runtime the scene's procedures run on, so adjusting it
+    // resumes their `Effect.sleep`s even though the proof body drives from outside.
+    const advance = (duration) => Option.match(runtime.readOption(TestClock.TestClock), {
+        onNone: () => Effect.dieMessage(new NoTestClock().message),
+        onSome: (clock) => clock.adjust(duration).pipe(Effect.flatMap(() => settle)),
+    });
+    const triggerOf = (ref, event) => Option.match(Option.flatMap(nodeCaptureFor(lookup, ref), (capture) => Option.fromNullable(capture.events[event])), {
+        onNone: () => Effect.dieMessage(new UnknownAction({
+            composition: ref.name,
+            action: event,
+            rendered: lookup.captures.filter((entry) => entry.ref.name === ref.name).length,
+        }).message),
+        onSome: Effect.succeed,
+    });
+    const propsFor = (ref) => Effect.map(rerender, () => Option.match(nodeCaptureFor(lookup, ref), {
+        onNone: () => undefined,
+        onSome: (capture) => capture.props,
+    }));
+    const nodeFacade = (ref, comp) => ({
+        props: propsFor(ref),
+        expectProps: (partial) => propsFor(ref).pipe(Effect.flatMap((props) => expectMatchingProps({ actual: props, expected: partial }))),
+        actions: keyed((event) => (payload) => rerender.pipe(Effect.flatMap(() => triggerOf(ref, event)), Effect.flatMap((trigger) => Effect.sync(() => {
+            dispatched.add(event);
+            trigger(payload);
+        })), Effect.flatMap(() => settle), Effect.flatMap(() => propsFor(ref)))),
+        slots: keyed((slotName) => slotFacade(ref, comp, slotName)),
+        frame: settle,
+        advance,
+    });
+    const slotFacade = (parentRef, parent, slotName) => {
+        const slotClass = slotsOf(parent)[slotName];
+        const child = slotClass && bindings.get(slotClass);
+        if (child === undefined) {
+            return Effect.runSync(Effect.dieMessage(new UnknownSlot({ parent: uiNameOf(parent), slot: slotName }).message));
+        }
+        const childName = uiNameOf(child);
+        const childRefAt = (index) => slotCapturesFor(lookup, parentRef, slotName)[index]?.ref ?? {
+            name: childName,
+            parent: Option.some(parentRef),
+            slot: Option.some({
+                name: slotName,
+                index,
+                key: Option.none(),
+                keyOccurrence: 0,
+            }),
+        };
+        const atIndex = (index) => Effect.as(rerender, nodeFacade(childRefAt(index), child));
+        const first = nodeFacade(childRefAt(0), child);
+        return {
+            first: atIndex(0),
+            at: atIndex,
+            all: Effect.map(rerender, () => slotCapturesFor(lookup, parentRef, slotName).map((entry) => nodeFacade(entry.ref, child))),
+            byKey: (key) => Effect.flatMap(rerender, () => Option.match(Arr.findFirst(slotCapturesFor(lookup, parentRef, slotName), (entry) => entry.capture.key === key), {
+                onNone: () => Effect.dieMessage(new UnknownSlot({
+                    parent: uiNameOf(parent),
+                    slot: `${slotName}[key=${key}]`,
+                }).message),
+                onSome: (entry) => Effect.succeed(nodeFacade(entry.ref, child)),
+            })),
+            where: (predicate) => Effect.map(rerender, () => slotCapturesFor(lookup, parentRef, slotName).flatMap((entry) => predicate(entry.capture.props) ? [nodeFacade(entry.ref, child)] : [])),
+            count: Effect.map(rerender, () => slotCapturesFor(lookup, parentRef, slotName).length),
+            props: first.props,
+            expectProps: first.expectProps,
+            actions: first.actions,
+            slots: first.slots,
+            frame: first.frame,
+            advance: first.advance,
+        };
+    };
+    return {
+        facade: nodeFacade(rootRef(root), root),
+        settle,
+    };
+}
+export const makeProofFacade = (runtime, scene, sink, dispatched) => {
+    return makeFacade(runtime, scene, sink, dispatched);
+};
+export const makeRuntimeHandleFacade = (runtime, root, sink, dispatched) => makeMountedFacade(runtime, root, sink, dispatched, directSettle);
+//# sourceMappingURL=engineMounted.js.map

package/dist/engineMounted.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineMounted.js","sourceRoot":"","sources":["../src/engineMounted.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,IAAI,GAAG,EAAiB,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAA;AAC/F,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,UAAU,CAAA;AAClE,OAAO,EAMN,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAAuB,WAAW,EAAE,MAAM,2BAA2B,CAAA;AAE5E,OAAO,EACL,YAAY,EACZ,mBAAmB,EACnB,KAAK,EASL,QAAQ,GACT,MAAM,cAAc,CAAA;AACrB,OAAO,EACL,iBAAiB,EACjB,cAAc,EAEd,wBAAwB,EACxB,OAAO,EACP,eAAe,EACf,OAAO,GACR,MAAM,cAAc,CAAA;AACrB,OAAO,EACL,sBAAsB,EACtB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,gBAAgB,CAAA;AAEvB,MAAM,UAAU,UAAU,CAQxB,OAAqE,EACrE,KAAoD,EACpD,IAAU,EACV,UAAuB;IAKvB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,EAA0B,CAAC,CAAA;IACzE,OAAO,iBAAiB,CACtB,wBAAwB,CAAC,OAAO,EAAE,IAAI,CAAC,eAAe,CAAC,EACvD,KAAK,CAAC,WAAW,EACjB,IAAI,EACJ,UAAU,EACV,CAAC,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CACrE,CAAA;AACH,CAAC;AAyBD,SAAS,iBAAiB,CACxB,OAAsB,EACtB,IAAoB,EACpB,IAAU,EACV,UAAuB,EACvB,cAA8B;IAE9B,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACtD,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAA;IAClC,MAAM,MAAM,GAAG,cAAc,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;IACvF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;IAEzE,+EAA+E;IAC/E,mFAAmF;IACnF,gFAAgF;IAChF,MAAM,OAAO,GAAG,CAAC,QAAgC,EAAqC,EAAE,CACtF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE;QACpD,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,WAAW,EAAE,CAAC,OAAO,CAAC;QAC1D,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;KAC7E,CAAC,CAAA;IAEJ,MAAM,SAAS,GAAG,CAAC,GAAY,EAAE,KAAa,EAAiD,EAAE,CAC/F,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CACtD,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAC3C,EACD;QACE,MAAM,EAAE,GAAG,EAAE,CACX,MAAM,CAAC,UAAU,CACf,IAAI,aAAa,CAAC;YAChB,WAAW,EAAE,GAAG,CAAC,IAAI;YACrB,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM;SAChF,CAAC,CAAC,OAAO,CACX;QACH,MAAM,EAAE,MAAM,CAAC,OAAO;KACvB,CACF,CAAA;IAEH,MAAM,QAAQ,GAAG,CAAC,GAAY,EAAwC,EAAE,CACtE,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,CACxB,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE;QACxC,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS;QACvB,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK;KACnC,CAAC,CACH,CAAA;IAEH,MAAM,UAAU,GAAG,CAAC,GAAY,EAAE,IAAoB,EAAwB,EAAE,CAAC,CAAC;QAChF,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC;QACpB,WAAW,EAAE,CAAC,OAAO,EAAE,EAAE,CACvB,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAChB,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CACrF;QACH,OAAO,EAAE,KAAK,CACZ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAgB,EAAE,EAAE,CAC9B,QAAQ,CAAC,IAAI,CACX,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAC3C,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACzB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YACrB,OAAO,CAAC,OAAO,CAAC,CAAA;QAClB,CAAC,CAAC,CACH,EACD,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,EAC5B,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CACpC,CACJ;QACD,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC3D,KAAK,EAAE,MAAM;QACb,OAAO;KACR,CAAC,CAAA;IAEF,MAAM,UAAU,GAAG,CACjB,SAAkB,EAClB,MAAsB,EACtB,QAAgB,EACU,EAAE;QAC5B,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAA;QAC3C,MAAM,KAAK,GAAG,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QAClD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CAAC,UAAU,CAAC,IAAI,WAAW,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,CACzF,CAAA;QACH,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;QACjC,MAAM,UAAU,GAAG,CAAC,KAAa,EAAW,EAAE,CAC5C,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI;YAC1D,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;YAC9B,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;gBAChB,IAAI,EAAE,QAAQ;gBACd,KAAK;gBACL,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE;gBAClB,aAAa,EAAE,CAAC;aACjB,CAAC;SACH,CAAA;QACH,MAAM,OAAO,GAAG,CAAC,KAAa,EAAqD,EAAE,CACnF,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;QAC3D,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;QAC9C,OAAO;YACL,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;YACjB,EAAE,EAAE,OAAO;YACX,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,CAC7B,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAC1F;YACD,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CACb,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,EAAE,CAC5B,MAAM,CAAC,KAAK,CACV,GAAG,CAAC,SAAS,CACX,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,EAC5C,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,KAAK,GAAG,CACrC,EACD;gBACE,MAAM,EAAE,GAAG,EAAE,CACX,MAAM,CAAC,UAAU,CACf,IAAI,WAAW,CAAC;oBACd,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC;oBACxB,IAAI,EAAE,GAAG,QAAQ,QAAQ,GAAG,GAAG;iBAChC,CAAC,CAAC,OAAO,CACX;gBACH,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;aAChE,CACF,CACF;YACH,KAAK,EAAE,CAAC,SAAS,EAAE,EAAE,CACnB,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,CACxB,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7D,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CACrE,CACF;YACH,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC;YACtF,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAA;IACH,CAAC,CAAA;IAED,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;QACvC,MAAM;KACP,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAQ7B,OAAqE,EACrE,KAAoD,EACpD,IAAU,EACV,UAAuB,EAIvB,EAAE;IACF,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,CAAA;AACrD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,uBAAuB,GAAG,CASrC,OAAgC,EAChC,IAAkE,EAClE,IAAU,EACV,UAAuB,EAIvB,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAA"}

package/dist/engineMounts.d.ts

@@ -0,0 +1,13 @@
+import { type FeatureRecordInput, type MountIdentityInput, type TreeFeatureMount } from './engineTreeTypes.js';
+export interface RegistryStatus {
+    disposed: boolean;
+}
+export interface FeatureMountRegistry {
+    readonly mountId: (input: MountIdentityInput) => string;
+    readonly retryMount: (record: TreeFeatureMount) => void;
+    readonly recordForRender: (input: FeatureRecordInput, mountMissing: boolean) => TreeFeatureMount | undefined;
+    readonly disposeStale: (seen: ReadonlySet<string>) => void;
+    readonly disposeAll: () => void;
+}
+export declare const makeFeatureMountRegistry: (status: RegistryStatus) => FeatureMountRegistry;
+//# sourceMappingURL=engineMounts.d.ts.map

package/dist/engineMounts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineMounts.d.ts","sourceRoot":"","sources":["../src/engineMounts.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EACtB,MAAM,mBAAmB,CAAA;AAE1B,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,kBAAkB,KAAK,MAAM,CAAA;IACvD,QAAQ,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,gBAAgB,KAAK,IAAI,CAAA;IACvD,QAAQ,CAAC,eAAe,EAAE,CACxB,KAAK,EAAE,kBAAkB,EACzB,YAAY,EAAE,OAAO,KAClB,gBAAgB,GAAG,SAAS,CAAA;IACjC,QAAQ,CAAC,YAAY,EAAE,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,KAAK,IAAI,CAAA;IAC1D,QAAQ,CAAC,UAAU,EAAE,MAAM,IAAI,CAAA;CAChC;AAGD,eAAO,MAAM,wBAAwB,GAAI,QAAQ,cAAc,KAAG,oBA2IjE,CAAA"}

package/dist/engineMounts.js

@@ -0,0 +1,116 @@
+import { Array as Arr, Order } from 'effect';
+import { encodeIdentityPart, } from './engineTreeTypes.js';
+// Owns every mounted Feature scope: identity, (re)mount attempts, and deepest-first teardown.
+export const makeFeatureMountRegistry = (status) => {
+    const mounts = new Map();
+    const runtimeIds = new WeakMap();
+    const bindingIds = new WeakMap();
+    const sequence = { runtime: 0, binding: 0 };
+    const identity = (identities, subject, next) => {
+        const current = identities.get(subject);
+        if (current !== undefined) {
+            return current;
+        }
+        const created = next();
+        identities.set(subject, created);
+        return created;
+    };
+    const mountId = ({ parent, parentPath, slotName, key, binding }) => {
+        const runtimeId = identity(runtimeIds, parent, () => ++sequence.runtime);
+        const bindingId = identity(bindingIds, binding, () => ++sequence.binding);
+        return [String(runtimeId), parentPath, slotName, String(bindingId), key]
+            .map(encodeIdentityPart)
+            .join('');
+    };
+    const startMount = (record) => {
+        record.attempt += 1;
+        const attempt = record.attempt;
+        record.binding.capture((binding) => {
+            if (binding.strategy === 'default') {
+                record.state = { _tag: 'Live', runtime: record.parent };
+                binding.boot.forEach((event) => record.parent.dispatch('High', event));
+                record.dispose = () => { };
+                return;
+            }
+            record.state = { _tag: 'Loading' };
+            record.dispose = record.parent.mountAnyFeature(binding, {
+                props: record.props,
+                onLive: (childRuntime) => {
+                    if (status.disposed || record.attempt !== attempt || mounts.get(record.id) !== record) {
+                        return;
+                    }
+                    record.state = { _tag: 'Live', runtime: childRuntime };
+                },
+                onFailed: (error) => {
+                    if (status.disposed || record.attempt !== attempt || mounts.get(record.id) !== record) {
+                        return;
+                    }
+                    record.state = { _tag: 'Failed', error };
+                },
+            });
+        });
+    };
+    const retryMount = (record) => {
+        if (status.disposed || mounts.get(record.id) !== record || record.state._tag !== 'Failed') {
+            return;
+        }
+        record.dispose();
+        startMount(record);
+    };
+    const featureRecord = ({ id, parent, binding, depth, props, }) => {
+        const current = mounts.get(id);
+        if (current !== undefined && current.binding === binding && current.parent === parent) {
+            return current;
+        }
+        if (current !== undefined) {
+            current.attempt += 1;
+            current.dispose();
+        }
+        const created = {
+            id,
+            binding,
+            parent,
+            depth,
+            props,
+            attempt: 0,
+            state: { _tag: 'Loading' },
+            dispose: () => { },
+        };
+        mounts.set(id, created);
+        startMount(created);
+        return created;
+    };
+    const featureRecordForRender = (input, mountMissing) => {
+        const current = mounts.get(input.id);
+        if (current !== undefined || !mountMissing) {
+            return current;
+        }
+        return featureRecord(input);
+    };
+    const disposeStale = (seen) => {
+        Arr.sortWith(Array.from(mounts.values()).filter((record) => !seen.has(record.id)), (record) => -record.depth, Order.number).forEach((record) => {
+            mounts.delete(record.id);
+            record.attempt += 1;
+            record.dispose();
+        });
+    };
+    const disposeAll = () => {
+        if (status.disposed) {
+            return;
+        }
+        status.disposed = true;
+        Arr.sortWith(Array.from(mounts.values()), (record) => -record.depth, Order.number).forEach((record) => {
+            record.attempt += 1;
+            record.dispose();
+        });
+        mounts.clear();
+    };
+    return {
+        mountId,
+        retryMount,
+        recordForRender: featureRecordForRender,
+        disposeStale,
+        disposeAll,
+    };
+};
+//# sourceMappingURL=engineMounts.js.map

package/dist/engineMounts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineMounts.js","sourceRoot":"","sources":["../src/engineMounts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,IAAI,GAAG,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAE5C,OAAO,EACL,kBAAkB,GAInB,MAAM,mBAAmB,CAAA;AAiB1B,8FAA8F;AAC9F,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,MAAsB,EAAwB,EAAE;IACvF,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAA;IAClD,MAAM,UAAU,GAAG,IAAI,OAAO,EAAuB,CAAA;IACrD,MAAM,UAAU,GAAG,IAAI,OAAO,EAAkB,CAAA;IAChD,MAAM,QAAQ,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAA;IAE3C,MAAM,QAAQ,GAAG,CACf,UAAoC,EACpC,OAAgB,EAChB,IAAkB,EACV,EAAE;QACV,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACvC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,OAAO,CAAA;QAChB,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,EAAE,CAAA;QACtB,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;QAChC,OAAO,OAAO,CAAA;IAChB,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAsB,EAAU,EAAE;QAC7F,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;QACxE,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;QACzE,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC;aACrE,GAAG,CAAC,kBAAkB,CAAC;aACvB,IAAI,CAAC,EAAE,CAAC,CAAA;IACb,CAAC,CAAA;IAED,MAAM,UAAU,GAAG,CAAC,MAAwB,EAAQ,EAAE;QACpD,MAAM,CAAC,OAAO,IAAI,CAAC,CAAA;QACnB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAA;QAC9B,MAAM,CAAC,OAAO,CAAC,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;YACvC,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACnC,MAAM,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,CAAA;gBACvD,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;gBACtE,MAAM,CAAC,OAAO,GAAG,GAAG,EAAE,GAAE,CAAC,CAAA;gBACzB,OAAM;YACR,CAAC;YACD,MAAM,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;YAClC,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE;gBACtD,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,MAAM,EAAE,CAAC,YAAY,EAAE,EAAE;oBACvB,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,MAAM,EAAE,CAAC;wBACtF,OAAM;oBACR,CAAC;oBACD,MAAM,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,CAAA;gBACxD,CAAC;gBACD,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE;oBAClB,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,MAAM,EAAE,CAAC;wBACtF,OAAM;oBACR,CAAC;oBACD,MAAM,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;gBAC1C,CAAC;aACF,CAAC,CAAA;QACJ,CAAC,CAAC,CAAA;IACJ,CAAC,CAAA;IAED,MAAM,UAAU,GAAG,CAAC,MAAwB,EAAQ,EAAE;QACpD,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1F,OAAM;QACR,CAAC;QACD,MAAM,CAAC,OAAO,EAAE,CAAA;QAChB,UAAU,CAAC,MAAM,CAAC,CAAA;IACpB,CAAC,CAAA;IAED,MAAM,aAAa,GAAG,CAAC,EACrB,EAAE,EACF,MAAM,EACN,OAAO,EACP,KAAK,EACL,KAAK,GACc,EAAoB,EAAE;QACzC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC9B,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YACtF,OAAO,OAAO,CAAA;QAChB,CAAC;QACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;YACpB,OAAO,CAAC,OAAO,EAAE,CAAA;QACnB,CAAC;QACD,MAAM,OAAO,GAAqB;YAChC,EAAE;YACF,OAAO;YACP,MAAM;YACN,KAAK;YACL,KAAK;YACL,OAAO,EAAE,CAAC;YACV,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1B,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;SAClB,CAAA;QACD,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;QACvB,UAAU,CAAC,OAAO,CAAC,CAAA;QACnB,OAAO,OAAO,CAAA;IAChB,CAAC,CAAA;IACD,MAAM,sBAAsB,GAAG,CAC7B,KAAyB,EACzB,YAAqB,EACS,EAAE;QAChC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACpC,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,YAAY,EAAE,CAAC;YAC3C,OAAO,OAAO,CAAA;QAChB,CAAC;QACD,OAAO,aAAa,CAAC,KAAK,CAAC,CAAA;IAC7B,CAAC,CAAA;IAED,MAAM,YAAY,GAAG,CAAC,IAAyB,EAAQ,EAAE;QACvD,GAAG,CAAC,QAAQ,CACV,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EACpE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,EACzB,KAAK,CAAC,MAAM,CACb,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;YACnB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACxB,MAAM,CAAC,OAAO,IAAI,CAAC,CAAA;YACnB,MAAM,CAAC,OAAO,EAAE,CAAA;QAClB,CAAC,CAAC,CAAA;IACJ,CAAC,CAAA;IAED,MAAM,UAAU,GAAG,GAAS,EAAE;QAC5B,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,OAAM;QACR,CAAC;QACD,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAA;QACtB,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,CACxF,CAAC,MAAM,EAAE,EAAE;YACT,MAAM,CAAC,OAAO,IAAI,CAAC,CAAA;YACnB,MAAM,CAAC,OAAO,EAAE,CAAA;QAClB,CAAC,CACF,CAAA;QACD,MAAM,CAAC,KAAK,EAAE,CAAA;IAChB,CAAC,CAAA;IAGD,OAAO;QACL,OAAO;QACP,UAAU;QACV,eAAe,EAAE,sBAAsB;QACvC,YAAY;QACZ,UAAU;KACX,CAAA;AACH,CAAC,CAAA"}

package/dist/engineRender.d.ts

@@ -0,0 +1,10 @@
+import { Effect } from 'effect';
+import type { AnyComposition, AnySlot } from '@playfast/reform/internal';
+import { type RenderRuntime, type Sink } from './engineSink.js';
+import { type CaptureLookup, type Mounted } from './engineTree.js';
+export declare const collectRuntimeBindings: (root: AnyComposition, runtime: RenderRuntime) => Map<AnySlot, AnyComposition>;
+export declare const renderMountedRuntime: (runtime: RenderRuntime, mounted: Mounted, bindings: ReadonlyMap<AnySlot, AnyComposition>, sink: Sink, lookup: CaptureLookup) => ReadonlyArray<Mounted>;
+export declare const renderLevelRuntime: (runtime: RenderRuntime, frontier: ReadonlyArray<Mounted>, bindings: ReadonlyMap<AnySlot, AnyComposition>, sink: Sink, lookup: CaptureLookup) => void;
+export declare const renderTreeRuntime: (runtime: RenderRuntime, root: AnyComposition, bindings: ReadonlyMap<AnySlot, AnyComposition>, sink: Sink, lookup: CaptureLookup) => Effect.Effect<void, never, never>;
+export declare const settleTreeRuntime: (runtime: RenderRuntime, root: AnyComposition, bindings: ReadonlyMap<AnySlot, AnyComposition>, sink: Sink, lookup: CaptureLookup) => Effect.Effect<void, never, never>;
+//# sourceMappingURL=engineRender.d.ts.map

package/dist/engineRender.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineRender.d.ts","sourceRoot":"","sources":["../src/engineRender.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAiB,MAAM,QAAQ,CAAA;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAA;AACxE,OAAO,EACL,KAAK,aAAa,EAKlB,KAAK,IAAI,EAEV,MAAM,cAAc,CAAA;AACrB,OAAO,EACL,KAAK,aAAa,EAKlB,KAAK,OAAO,EAKb,MAAM,cAAc,CAAA;AAErB,eAAO,MAAM,sBAAsB,GACjC,MAAM,cAAc,EACpB,SAAS,aAAa,KACrB,GAAG,CAAC,OAAO,EAAE,cAAc,CAoB7B,CAAA;AAED,eAAO,MAAM,oBAAoB,GAC/B,SAAS,aAAa,EACtB,SAAS,OAAO,EAChB,UAAU,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,EAC9C,MAAM,IAAI,EACV,QAAQ,aAAa,KACpB,aAAa,CAAC,OAAO,CAKvB,CAAA;AAED,eAAO,MAAM,kBAAkB,GAC7B,SAAS,aAAa,EACtB,UAAU,aAAa,CAAC,OAAO,CAAC,EAChC,UAAU,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,EAC9C,MAAM,IAAI,EACV,QAAQ,aAAa,KACpB,IAQF,CAAA;AAED,eAAO,MAAM,iBAAiB,GAC5B,SAAS,aAAa,EACtB,MAAM,cAAc,EACpB,UAAU,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,EAC9C,MAAM,IAAI,EACV,QAAQ,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAW/B,CAAA;AAEJ,eAAO,MAAM,iBAAiB,EAAE,CAC9B,OAAO,EAAE,aAAa,EACtB,IAAI,EAAE,cAAc,EACpB,QAAQ,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,EAC9C,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,aAAa,KAClB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAgCnC,CAAA"}

package/dist/engineRender.js

@@ -0,0 +1,64 @@
+import { Effect, Record as Rec } from 'effect';
+import { renderCompositionRuntime, SETTLE_MAX_RENDERS, settleDrain, settleStep, uiNameOf, } from './engineSink.js';
+import { childComposition, driveStructure, ensureSettled, fingerprint, readRuntimeSlotChild, rootRef, slotsOf, } from './engineTree.js';
+export const collectRuntimeBindings = (root, runtime) => {
+    const bindings = new Map();
+    const walk = (comp) => {
+        Rec.values(slotsOf(comp)).forEach((slotClass) => {
+            if (bindings.has(slotClass)) {
+                return;
+            }
+            const child = childComposition(readRuntimeSlotChild({
+                runtime,
+                slotDefinition: slotClass,
+                parent: comp,
+            }));
+            bindings.set(slotClass, child);
+            walk(child);
+        });
+    };
+    walk(root);
+    return bindings;
+};
+export const renderMountedRuntime = (runtime, mounted, bindings, sink, lookup) => {
+    const endRenderSpan = sink.instrumentation.uiRendered(uiNameOf(mounted.comp));
+    const frame = renderCompositionRuntime(runtime, mounted.comp, mounted.props);
+    endRenderSpan();
+    return driveStructure(mounted.comp, frame, mounted.ref, sink, lookup, bindings);
+};
+export const renderLevelRuntime = (runtime, frontier, bindings, sink, lookup) => {
+    if (frontier.length === 0) {
+        return;
+    }
+    const levels = frontier.map((mounted) => renderMountedRuntime(runtime, mounted, bindings, sink, lookup));
+    renderLevelRuntime(runtime, levels.flat(), bindings, sink, lookup);
+};
+export const renderTreeRuntime = (runtime, root, bindings, sink, lookup) => Effect.sync(() => {
+    sink.reset();
+    lookup.reset();
+    renderLevelRuntime(runtime, [{ comp: root, props: {}, ref: rootRef(root) }], bindings, sink, lookup);
+});
+export const settleTreeRuntime = Effect.fn('settleTreeRuntime')(function* (runtime, root, bindings, sink, lookup) {
+    yield* settleDrain;
+    yield* renderTreeRuntime(runtime, root, bindings, sink, lookup);
+    const progress = yield* Effect.iterate({
+        previous: fingerprint(lookup),
+        remaining: SETTLE_MAX_RENDERS,
+        stable: false,
+    }, {
+        while: (progress) => !progress.stable && progress.remaining > 0,
+        body: (progress) => Effect.gen(function* () {
+            yield* settleDrain;
+            yield* settleStep;
+            yield* renderTreeRuntime(runtime, root, bindings, sink, lookup);
+            const current = fingerprint(lookup);
+            return {
+                previous: current,
+                remaining: progress.remaining - 1,
+                stable: current === progress.previous,
+            };
+        }),
+    });
+    yield* ensureSettled(progress);
+});
+//# sourceMappingURL=engineRender.js.map

package/dist/engineRender.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineRender.js","sourceRoot":"","sources":["../src/engineRender.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,GAAG,EAAE,MAAM,QAAQ,CAAA;AAE9C,OAAO,EAEL,wBAAwB,EACxB,kBAAkB,EAClB,WAAW,EACX,UAAU,EAEV,QAAQ,GACT,MAAM,cAAc,CAAA;AACrB,OAAO,EAEL,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,WAAW,EAEX,oBAAoB,EACpB,OAAO,EAEP,OAAO,GACR,MAAM,cAAc,CAAA;AAErB,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAoB,EACpB,OAAsB,EACQ,EAAE;IAChC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAA;IACnD,MAAM,IAAI,GAAG,CAAC,IAAoB,EAAQ,EAAE;QAC1C,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;YAC9C,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC5B,OAAM;YACR,CAAC;YACD,MAAM,KAAK,GAAG,gBAAgB,CAC5B,oBAAoB,CAAC;gBACnB,OAAO;gBACP,cAAc,EAAE,SAAS;gBACzB,MAAM,EAAE,IAAI;aACb,CAAC,CACH,CAAA;YACD,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;YAC9B,IAAI,CAAC,KAAK,CAAC,CAAA;QACb,CAAC,CAAC,CAAA;IACJ,CAAC,CAAA;IACD,IAAI,CAAC,IAAI,CAAC,CAAA;IACV,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAAsB,EACtB,OAAgB,EAChB,QAA8C,EAC9C,IAAU,EACV,MAAqB,EACG,EAAE;IAC1B,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;IAC7E,MAAM,KAAK,GAAG,wBAAwB,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IAC5E,aAAa,EAAE,CAAA;IACf,OAAO,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAA;AACjF,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,OAAsB,EACtB,QAAgC,EAChC,QAA8C,EAC9C,IAAU,EACV,MAAqB,EACf,EAAE;IACR,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAM;IACR,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACtC,oBAAoB,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAC/D,CAAA;IACD,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;AACpE,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,OAAsB,EACtB,IAAoB,EACpB,QAA8C,EAC9C,IAAU,EACV,MAAqB,EACc,EAAE,CACrC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;IACf,IAAI,CAAC,KAAK,EAAE,CAAA;IACZ,MAAM,CAAC,KAAK,EAAE,CAAA;IACd,kBAAkB,CAChB,OAAO,EACP,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAC/C,QAAQ,EACR,IAAI,EACJ,MAAM,CACP,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,iBAAiB,GAMW,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EAC/E,OAAsB,EACtB,IAAoB,EACpB,QAA8C,EAC9C,IAAU,EACV,MAAqB;IAErB,KAAK,CAAC,CAAC,WAAW,CAAA;IAClB,KAAK,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;IAC/D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACpC;QACE,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC;QAC7B,SAAS,EAAE,kBAAkB;QAC7B,MAAM,EAAE,KAAK;KACd,EACD;QACE,KAAK,EAAE,CAAC,QAAwB,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,SAAS,GAAG,CAAC;QAC/E,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,KAAK,CAAC,CAAC,WAAW,CAAA;YAClB,KAAK,CAAC,CAAC,UAAU,CAAA;YACjB,KAAK,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;YAC/D,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAA;YACnC,OAAO;gBACL,QAAQ,EAAE,OAAO;gBACjB,SAAS,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;gBACjC,MAAM,EAAE,OAAO,KAAK,QAAQ,CAAC,QAAQ;aACtC,CAAA;QACH,CAAC,CAAC;KACL,CACF,CAAA;IACD,KAAK,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAA;AAChC,CAAC,CAAC,CAAA"}