@playfast/reform-proof 1.2.1 → 1.3.0

package/dist/engineTreeFacade.js

@@ -0,0 +1,105 @@
+import { Array as Arr, Effect, Option, TestClock } from 'effect';
+import { AssertionFailed, NoTestClock, UnknownAction, UnknownSlot } from './errors.js';
+import { matchProps } from './assert.js';
+import {} from '@playfast/reform';
+import { keyed, uiNameOf, } from './engineSink.js';
+import { makeTreeDriver } from './engineTreeDriver.js';
+export function makeRuntimeTreeFacade(runtime, root, rootProps, sink, dispatched) {
+    const driver = makeTreeDriver(runtime, root, rootProps, sink);
+    const currentRoot = () => driver.render().root;
+    // The nested-Feature twin of the mounted facade's `advance`: same virtual clock
+    // off the same runtime, settled through this driver instead.
+    const advance = (duration) => Option.match(runtime.readOption(TestClock.TestClock), {
+        onNone: () => Effect.dieMessage(new NoTestClock().message),
+        onSome: (clock) => clock.adjust(duration).pipe(Effect.flatMap(() => driver.settle)),
+    });
+    // `peek` is the non-dying half of `resolve`: None once the node has left the
+    // tree, so an action that removed its own node can still report a result.
+    const nodeFacade = (resolve, peek) => ({
+        props: Effect.sync(() => resolve().props),
+        expectProps: (partial) => Effect.sync(() => {
+            const mismatch = matchProps({
+                actual: resolve().props,
+                expected: partial,
+            });
+            if (mismatch !== undefined) {
+                return Effect.runSync(Effect.dieMessage(new AssertionFailed({ detail: mismatch }).message));
+            }
+        }),
+        actions: keyed((event) => (payload) => Effect.gen(function* () {
+            const node = resolve();
+            const trigger = node.events[event];
+            if (trigger === undefined) {
+                return yield* Effect.dieMessage(new UnknownAction({
+                    composition: uiNameOf(node.comp),
+                    action: event,
+                    rendered: 1,
+                }).message);
+            }
+            dispatched.add(event);
+            trigger(payload);
+            yield* driver.settle;
+            // A self-removing action leaves nothing to re-read; report what the
+            // node last rendered instead of dying on the vanished child.
+            return Option.match(peek(), {
+                onNone: () => node.props,
+                onSome: (settled) => settled.props,
+            });
+        })),
+        slots: keyed((slotName) => slotFacade(resolve, slotName)),
+        frame: driver.settle,
+        advance,
+    });
+    const slotFacade = (resolveParent, slotName) => {
+        const children = () => {
+            const parent = resolveParent();
+            const resolved = parent.slots[slotName];
+            if (resolved === undefined) {
+                return Effect.runSync(Effect.dieMessage(new UnknownSlot({ parent: uiNameOf(parent.comp), slot: slotName }).message));
+            }
+            return resolved;
+        };
+        const peekAt = (index) => Option.fromNullable(children()[index]);
+        const peekByKey = (key) => Arr.findFirst(children(), (candidate) => Option.contains(candidate.key, key));
+        const childAt = (index) => nodeFacade(() => children()[index] ?? missingChild(index), () => peekAt(index));
+        const childByKey = (key) => nodeFacade(() => Option.getOrElse(peekByKey(key), () => missingKey(key)), () => peekByKey(key));
+        const missingChild = (index) => {
+            const parent = resolveParent();
+            return Effect.runSync(Effect.dieMessage(new UnknownSlot({
+                parent: uiNameOf(parent.comp),
+                slot: `${slotName}[${index}]`,
+            }).message));
+        };
+        const missingKey = (key) => {
+            const parent = resolveParent();
+            return Effect.runSync(Effect.dieMessage(new UnknownSlot({
+                parent: uiNameOf(parent.comp),
+                slot: `${slotName}[key=${key}]`,
+            }).message));
+        };
+        const first = childAt(0);
+        return {
+            first: Effect.sync(() => childAt(0)),
+            at: (index) => Effect.sync(() => childAt(index)),
+            all: Effect.sync(() => children().map((_child, index) => childAt(index))),
+            byKey: (key) => Effect.sync(() => {
+                const child = Arr.findFirst(children(), (candidate) => Option.contains(candidate.key, key));
+                return Option.isNone(child) ? missingKey(key) : childByKey(key);
+            }),
+            where: (predicate) => Effect.sync(() => children().flatMap((child, index) => (predicate(child.props) ? [childAt(index)] : []))),
+            count: Effect.sync(() => children().length),
+            props: first.props,
+            expectProps: first.expectProps,
+            actions: first.actions,
+            slots: first.slots,
+            frame: driver.settle,
+            advance,
+        };
+    };
+    return {
+        facade: nodeFacade(currentRoot, () => Option.some(currentRoot())),
+        settle: driver.settle,
+        dispose: driver.dispose,
+    };
+}
+//# sourceMappingURL=engineTreeFacade.js.map

package/dist/engineTreeFacade.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineTreeFacade.js","sourceRoot":"","sources":["../src/engineTreeFacade.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,IAAI,GAAG,EAAiB,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAA;AAC/E,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,UAAU,CAAA;AACnF,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AACrC,OAAO,EAAuC,MAAM,kBAAkB,CAAA;AAEtE,OAAO,EAEL,KAAK,EAKL,QAAQ,GACT,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AAkBnD,MAAM,UAAU,qBAAqB,CACnC,OAAoB,EACpB,IAAoB,EACpB,SAAkB,EAClB,IAAU,EACV,UAAuB;IAEvB,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;IAC7D,MAAM,WAAW,GAAG,GAAa,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAA;IAExD,gFAAgF;IAChF,6DAA6D;IAC7D,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,MAAM,CAAC,CAAC;KACpF,CAAC,CAAA;IAEJ,6EAA6E;IAC7E,0EAA0E;IAC1E,MAAM,UAAU,GAAG,CACjB,OAAuB,EACvB,IAAmC,EACb,EAAE,CAAC,CAAC;QAC1B,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;QACzC,WAAW,EAAE,CAAC,OAAO,EAAE,EAAE,CACvB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,MAAM,QAAQ,GAAG,UAAU,CAAC;gBAC1B,MAAM,EAAE,OAAO,EAAE,CAAC,KAAK;gBACvB,QAAQ,EAAE,OAAO;aAClB,CAAC,CAAA;YACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CAAC,UAAU,CAAC,IAAI,eAAe,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,CACrE,CAAA;YACH,CAAC;QACH,CAAC,CAAC;QACJ,OAAO,EAAE,KAAK,CACZ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAgB,EAAE,EAAE,CAC9B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,IAAI,GAAG,OAAO,EAAE,CAAA;YACtB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAClC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAC7B,IAAI,aAAa,CAAC;oBAChB,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBAChC,MAAM,EAAE,KAAK;oBACb,QAAQ,EAAE,CAAC;iBACZ,CAAC,CAAC,OAAO,CACX,CAAA;YACH,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YACrB,OAAO,CAAC,OAAO,CAAC,CAAA;YAChB,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAA;YACpB,oEAAoE;YACpE,6DAA6D;YAC7D,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE;gBAC1B,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK;gBACxB,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK;aACnC,CAAC,CAAA;QACJ,CAAC,CAAC,CACL;QACD,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACzD,KAAK,EAAE,MAAM,CAAC,MAAM;QACpB,OAAO;KACR,CAAC,CAAA;IAEF,MAAM,UAAU,GAAG,CACjB,aAA6B,EAC7B,QAAgB,EACU,EAAE;QAC5B,MAAM,QAAQ,GAAG,GAA4B,EAAE;YAC7C,MAAM,MAAM,GAAG,aAAa,EAAE,CAAA;YAC9B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YACvC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CAAC,UAAU,CACf,IAAI,WAAW,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,CAC3E,CACF,CAAA;YACH,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC,CAAA;QACD,MAAM,MAAM,GAAG,CAAC,KAAa,EAA2B,EAAE,CACxD,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;QACxC,MAAM,SAAS,GAAG,CAAC,GAAW,EAA2B,EAAE,CACzD,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;QAC/E,MAAM,OAAO,GAAG,CAAC,KAAa,EAAwB,EAAE,CACtD,UAAU,CACR,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,EAC9C,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CACpB,CAAA;QACH,MAAM,UAAU,GAAG,CAAC,GAAW,EAAwB,EAAE,CACvD,UAAU,CACR,GAAG,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAC7D,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CACrB,CAAA;QACH,MAAM,YAAY,GAAG,CAAC,KAAa,EAAS,EAAE;YAC5C,MAAM,MAAM,GAAG,aAAa,EAAE,CAAA;YAC9B,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CAAC,UAAU,CACf,IAAI,WAAW,CAAC;gBACd,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC7B,IAAI,EAAE,GAAG,QAAQ,IAAI,KAAK,GAAG;aAC9B,CAAC,CAAC,OAAO,CACX,CACF,CAAA;QACH,CAAC,CAAA;QACD,MAAM,UAAU,GAAG,CAAC,GAAW,EAAS,EAAE;YACxC,MAAM,MAAM,GAAG,aAAa,EAAE,CAAA;YAC9B,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CAAC,UAAU,CACf,IAAI,WAAW,CAAC;gBACd,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC7B,IAAI,EAAE,GAAG,QAAQ,QAAQ,GAAG,GAAG;aAChC,CAAC,CAAC,OAAO,CACX,CACF,CAAA;QACH,CAAC,CAAA;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;QACxB,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACpC,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAChD,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;YACzE,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CACb,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;gBACf,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,EAAE,EAAE,CACpD,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CACpC,CAAA;gBACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;YACjE,CAAC,CAAC;YACJ,KAAK,EAAE,CAAC,SAAS,EAAE,EAAE,CACnB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CACf,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACvF;YACH,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC;YAC3C,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,MAAM,CAAC,MAAM;YACpB,OAAO;SACR,CAAA;IACH,CAAC,CAAA;IAED,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QACjE,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAA;AACH,CAAC"}

package/dist/engineTreeTypes.d.ts

@@ -0,0 +1,80 @@
+import { type Effect, type Option } from 'effect';
+import type { FeatureLoadFailed, SlotFill, Trigger, UiContract } from '@playfast/reform';
+import type { AnyComposition, AnyFeatureBinding } from '@playfast/reform/internal';
+import { type HostRuntime, type MountedFacade, type MountedFacadeHandleErasure } from './engineSink.js';
+export type FeatureMountState = {
+    readonly _tag: 'Loading';
+} | {
+    readonly _tag: 'Live';
+    readonly runtime: HostRuntime;
+} | {
+    readonly _tag: 'Failed';
+    readonly error: FeatureLoadFailed;
+};
+export interface TreeFeatureMount {
+    readonly id: string;
+    readonly binding: AnyFeatureBinding;
+    readonly parent: HostRuntime;
+    readonly depth: number;
+    readonly props: unknown;
+    attempt: number;
+    state: FeatureMountState;
+    dispose: () => void;
+}
+export interface TreeNode {
+    readonly path: string;
+    readonly depth: number;
+    readonly key: Option.Option<string>;
+    readonly comp: AnyComposition;
+    readonly props: unknown;
+    readonly events: Record<string, Trigger<unknown>>;
+    readonly slots: Readonly<Record<string, ReadonlyArray<TreeNode>>>;
+}
+export interface TreeRenderState {
+    readonly root: TreeNode;
+    readonly fingerprint: string;
+}
+export interface RuntimeTreeFacade<C extends UiContract> {
+    readonly facade: MountedFacade<C>;
+    readonly settle: Effect.Effect<void, never, never>;
+    dispose(): void;
+}
+export interface RuntimeTreeFacadeErasure extends MountedFacadeHandleErasure {
+    dispose(): void;
+}
+export interface TreeDriver {
+    readonly render: () => TreeRenderState;
+    readonly settle: Effect.Effect<void, never, never>;
+    readonly dispose: () => void;
+}
+export interface MountIdentityInput {
+    readonly parent: HostRuntime;
+    readonly parentPath: string;
+    readonly slotName: string;
+    readonly key: string;
+    readonly binding: AnyFeatureBinding;
+}
+export interface FeatureRecordInput {
+    readonly id: string;
+    readonly parent: HostRuntime;
+    readonly binding: AnyFeatureBinding;
+    readonly depth: number;
+    readonly props: unknown;
+}
+export interface RenderCompositionInput {
+    readonly runtime: HostRuntime;
+    readonly comp: AnyComposition;
+    readonly props: unknown;
+    readonly key: Option.Option<string>;
+    readonly path: string;
+    readonly depth: number;
+    readonly seen: Set<string>;
+    readonly mountMissing: boolean;
+}
+export declare const encodeIdentityPart: (part: string) => string;
+export declare const fillEntries: (slotName: string, fill: SlotFill<unknown>) => ReadonlyArray<{
+    readonly key: string;
+    readonly props: unknown;
+}>;
+export declare const treeFingerprint: (node: TreeNode) => unknown;
+//# sourceMappingURL=engineTreeTypes.d.ts.map

package/dist/engineTreeTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineTreeTypes.d.ts","sourceRoot":"","sources":["../src/engineTreeTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAS,KAAK,MAAM,EAAiB,MAAM,QAAQ,CAAA;AACvE,OAAO,KAAK,EAAE,iBAAiB,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AACxF,OAAO,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAClF,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,KAAK,0BAA0B,EAEhC,MAAM,cAAc,CAAA;AAErB,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,CAAA;AAElE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAA;IACnC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,iBAAiB,CAAA;IACxB,OAAO,EAAE,MAAM,IAAI,CAAA;CACpB;AAED,MAAM,WAAW,QAAQ;IACvB,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,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IACjD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;CAClE;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B;AAED,MAAM,WAAW,iBAAiB,CAAC,CAAC,SAAS,UAAU;IACrD,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;IAClD,OAAO,IAAI,IAAI,CAAA;CAChB;AAED,MAAM,WAAW,wBAAyB,SAAQ,0BAA0B;IAC1E,OAAO,IAAI,IAAI,CAAA;CAChB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,eAAe,CAAA;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,IAAI,CAAA;CAC7B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAA;CACpC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAA;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1B,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAA;CAC/B;AAED,eAAO,MAAM,kBAAkB,GAAI,MAAM,MAAM,KAAG,MAAkC,CAAA;AAEpF,eAAO,MAAM,WAAW,GACtB,UAAU,MAAM,EAChB,MAAM,QAAQ,CAAC,OAAO,CAAC,KACtB,aAAa,CAAC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAM/D,CAAA;AAEH,eAAO,MAAM,eAAe,GAAI,MAAM,QAAQ,KAAG,OAKhD,CAAA"}

package/dist/engineTreeTypes.js

@@ -0,0 +1,11 @@
+import { Match, Record as Rec } from 'effect';
+import { uiNameOf, } from './engineSink.js';
+export const encodeIdentityPart = (part) => `${part.length}:${part}`;
+export const fillEntries = (slotName, fill) => Match.value(fill).pipe(Match.when({ _tag: 'Each' }, (each) => each.items), Match.when({ _tag: 'One' }, (oneFill) => [{ key: `${slotName}.0`, props: oneFill.props }]), Match.when({ _tag: 'Absent' }, () => []), Match.exhaustive);
+export const treeFingerprint = (node) => [
+    uiNameOf(node.comp),
+    node.key,
+    node.props,
+    Rec.map(node.slots, (children) => children.map(treeFingerprint)),
+];
+//# sourceMappingURL=engineTreeTypes.js.map

package/dist/engineTreeTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineTreeTypes.js","sourceRoot":"","sources":["../src/engineTreeTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,KAAK,EAAe,MAAM,IAAI,GAAG,EAAE,MAAM,QAAQ,CAAA;AAGvE,OAAO,EAIL,QAAQ,GACT,MAAM,cAAc,CAAA;AA4ErB,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,EAAE,CAAA;AAEpF,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,QAAgB,EAChB,IAAuB,EAC2C,EAAE,CACpE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACpB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAClD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,QAAQ,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAC1F,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,eAAe,GAAG,CAAC,IAAc,EAAW,EAAE,CAAC;IAC1D,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;IACnB,IAAI,CAAC,GAAG;IACR,IAAI,CAAC,KAAK;IACV,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;CACjE,CAAA"}

package/dist/errors.d.ts

@@ -0,0 +1,39 @@
+import { type Cause } from 'effect';
+type TaggedErrorClass<Tag extends string, A extends Record<string, unknown>> = new (args: A) => Cause.YieldableError & {
+    readonly _tag: Tag;
+} & Readonly<A>;
+declare const AssertionFailedBase: TaggedErrorClass<'reform-proof/AssertionFailed', {
+    readonly detail: string;
+}>;
+export declare class AssertionFailed extends AssertionFailedBase {
+    get message(): string;
+}
+declare const UnknownActionBase: TaggedErrorClass<'reform-proof/UnknownAction', {
+    readonly composition: string;
+    readonly action: string;
+    readonly rendered: number;
+}>;
+export declare class UnknownAction extends UnknownActionBase {
+    get message(): string;
+}
+declare const UnknownSlotBase: TaggedErrorClass<'reform-proof/UnknownSlot', {
+    readonly parent: string;
+    readonly slot: string;
+}>;
+export declare class UnknownSlot extends UnknownSlotBase {
+    get message(): string;
+}
+/** The `Data.TaggedError(tag)` shape for a payload-free error: a `void` argument. */
+type TaggedErrorClassVoid<Tag extends string> = new (args: void) => Cause.YieldableError & {
+    readonly _tag: Tag;
+};
+declare const NoTestClockBase: TaggedErrorClassVoid<'reform-proof/NoTestClock'>;
+/**
+ * `app.advance(...)` ran against a scene whose runtime still holds the real clock,
+ * so there is no product time to move.
+ */
+export declare class NoTestClock extends NoTestClockBase {
+    get message(): string;
+}
+export {};
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,KAAK,EAAQ,MAAM,QAAQ,CAAA;AAEzC,KAAK,gBAAgB,CAAC,GAAG,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,KAC7E,IAAI,EAAE,CAAC,KACJ,KAAK,CAAC,cAAc,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;CAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;AAEhE,QAAA,MAAM,mBAAmB,EAAE,gBAAgB,CACzC,8BAA8B,EAC9B;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CACoD,CAAA;AAEjF,qBAAa,eAAgB,SAAQ,mBAAmB;IACtD,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AAED,QAAA,MAAM,iBAAiB,EAAE,gBAAgB,CACvC,4BAA4B,EAC5B;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAKpF,CAAA;AAEF,qBAAa,aAAc,SAAQ,iBAAiB;IAClD,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AAED,QAAA,MAAM,eAAe,EAAE,gBAAgB,CACrC,0BAA0B,EAC1B;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CACgD,CAAA;AAEpG,qBAAa,WAAY,SAAQ,eAAe;IAC9C,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AAED,qFAAqF;AACrF,KAAK,oBAAoB,CAAC,GAAG,SAAS,MAAM,IAAI,KAC9C,IAAI,EAAE,IAAI,KACP,KAAK,CAAC,cAAc,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;CAAE,CAAA;AAElD,QAAA,MAAM,eAAe,EAAE,oBAAoB,CAAC,0BAA0B,CAErE,CAAA;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,eAAe;IAC9C,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF"}

package/dist/errors.js

@@ -0,0 +1,30 @@
+import { Data } from 'effect';
+const AssertionFailedBase = (Data.TaggedError('reform-proof/AssertionFailed'));
+export class AssertionFailed extends AssertionFailedBase {
+    get message() {
+        return `reform-proof: assertion failed — ${this.detail}`;
+    }
+}
+const UnknownActionBase = (Data.TaggedError('reform-proof/UnknownAction'));
+export class UnknownAction extends UnknownActionBase {
+    get message() {
+        return `reform-proof: '${this.composition}' has no action '${this.action}' (rendered ${this.rendered} instance(s))`;
+    }
+}
+const UnknownSlotBase = (Data.TaggedError('reform-proof/UnknownSlot'));
+export class UnknownSlot extends UnknownSlotBase {
+    get message() {
+        return `reform-proof: '${this.parent}' has no slot '${this.slot}'`;
+    }
+}
+const NoTestClockBase = Data.TaggedError('reform-proof/NoTestClock');
+/**
+ * `app.advance(...)` ran against a scene whose runtime still holds the real clock,
+ * so there is no product time to move.
+ */
+export class NoTestClock extends NoTestClockBase {
+    get message() {
+        return "reform-proof: app.advance(...) needs a virtual clock — wrap the scene's layers with `Proof.withTestClock(...)`. Without it the scene's procedures sleep on the real clock and only elapse in real time.";
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,IAAI,EAAE,MAAM,QAAQ,CAAA;AAMzC,MAAM,mBAAmB,GAGrB,CAAA,IAAI,CAAC,WAAW,CAAC,8BAA8B,CAA8B,CAAA,CAAA;AAEjF,MAAM,OAAO,eAAgB,SAAQ,mBAAmB;IACtD,IAAa,OAAO;QAClB,OAAO,oCAAoC,IAAI,CAAC,MAAM,EAAE,CAAA;IAC1D,CAAC;CACF;AAED,MAAM,iBAAiB,GAGnB,CAAA,IAAI,CAAC,WAAW,CAAC,4BAA4B,CAI/C,CAAA,CAAA;AAEF,MAAM,OAAO,aAAc,SAAQ,iBAAiB;IAClD,IAAa,OAAO;QAClB,OAAO,kBAAkB,IAAI,CAAC,WAAW,oBAAoB,IAAI,CAAC,MAAM,eAAe,IAAI,CAAC,QAAQ,eAAe,CAAA;IACrH,CAAC;CACF;AAED,MAAM,eAAe,GAGjB,CAAA,IAAI,CAAC,WAAW,CAAC,0BAA0B,CAAqD,CAAA,CAAA;AAEpG,MAAM,OAAO,WAAY,SAAQ,eAAe;IAC9C,IAAa,OAAO;QAClB,OAAO,kBAAkB,IAAI,CAAC,MAAM,kBAAkB,IAAI,CAAC,IAAI,GAAG,CAAA;IACpE,CAAC;CACF;AAOD,MAAM,eAAe,GAAqD,IAAI,CAAC,WAAW,CACxF,0BAA0B,CAC3B,CAAA;AAED;;;GAGG;AACH,MAAM,OAAO,WAAY,SAAQ,eAAe;IAC9C,IAAa,OAAO;QAClB,OAAO,yMAAyM,CAAA;IAClN,CAAC;CACF"}

package/dist/facade.d.ts

@@ -0,0 +1,54 @@
+import type { Duration, Effect } from 'effect';
+import type { SlotContract as ReformSlotContract, Trigger, UiContract } from '@playfast/reform';
+export type EventsOf<C extends UiContract> = C extends {
+    readonly events: infer E extends NonNullable<UiContract['events']>;
+} ? E : Readonly<Record<PropertyKey, never>>;
+export type EventNamesOf<C extends UiContract> = C extends {
+    readonly events: NonNullable<UiContract['events']>;
+} ? keyof EventsOf<C> : never;
+export type SlotsOf<C extends UiContract> = C extends {
+    readonly slots: infer S extends NonNullable<UiContract['slots']>;
+} ? S : Readonly<Record<PropertyKey, never>>;
+export type PayloadOf<T> = T extends Trigger<infer P> ? P : never;
+export type ContractOf<Comp> = Comp extends {
+    readonly Contract: infer C extends UiContract;
+} ? C : never;
+export type ContractOfSlot<S> = ReformSlotContract<S>;
+export type ActionsOf<C extends UiContract, R = never> = C extends {
+    readonly events: NonNullable<UiContract['events']>;
+} ? {
+    readonly [K in keyof EventsOf<C>]: (payload: PayloadOf<EventsOf<C>[K]>) => Effect.Effect<C['props'], never, R>;
+} : Readonly<Record<PropertyKey, never>>;
+export type SlotFacadesOf<C extends UiContract, R = never> = C extends {
+    readonly slots: NonNullable<UiContract['slots']>;
+} ? {
+    readonly [K in keyof SlotsOf<C>]: SlotFacade<ContractOfSlot<SlotsOf<C>[K]>, R>;
+} : Readonly<Record<PropertyKey, never>>;
+export type Action<R = never> = (payload: unknown) => Effect.Effect<unknown, never, R>;
+export interface Facade<C extends UiContract, R = never> {
+    readonly props: Effect.Effect<C['props'], never, R>;
+    readonly expectProps: (partial: Partial<C['props']>) => Effect.Effect<void, never, R>;
+    readonly actions: ActionsOf<C, R>;
+    readonly slots: SlotFacadesOf<C, R>;
+    readonly frame: Effect.Effect<void, never, R>;
+    /**
+     * Elapse `duration` of the scene's product time, then settle. Every timer the
+     * scene's procedures hold — `Effect.sleep`, `Schedule`, `Clock` reads — moves by
+     * exactly this much and no real time passes, so a 1500ms poll interval is observed
+     * in microseconds and never races the runner.
+     *
+     * Requires the scene's layers to be wrapped in `Proof.withTestClock(...)`. Against
+     * the real clock there is no virtual time to move, so the proof dies with
+     * `NoTestClock` instead of silently doing nothing.
+     */
+    readonly advance: (duration: Duration.DurationInput) => Effect.Effect<void, never, R>;
+}
+export interface SlotFacade<C extends UiContract, R = never> extends Facade<C, R> {
+    readonly first: Effect.Effect<Facade<C, R>, never, R>;
+    readonly at: (index: number) => Effect.Effect<Facade<C, R>, never, R>;
+    readonly all: Effect.Effect<ReadonlyArray<Facade<C, R>>, never, R>;
+    readonly byKey: (key: string) => Effect.Effect<Facade<C, R>, never, R>;
+    readonly where: (predicate: (props: C['props']) => boolean) => Effect.Effect<ReadonlyArray<Facade<C, R>>, never, R>;
+    readonly count: Effect.Effect<number, never, R>;
+}
+//# sourceMappingURL=facade.d.ts.map

package/dist/facade.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"facade.d.ts","sourceRoot":"","sources":["../src/facade.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9C,OAAO,KAAK,EACV,YAAY,IAAI,kBAAkB,EAClC,OAAO,EACP,UAAU,EACX,MAAM,kBAAkB,CAAA;AAEzB,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS;IACrD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAA;CACnE,GACG,CAAC,GACD,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAA;AACxC,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS;IACzD,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAA;CACnD,GACG,MAAM,QAAQ,CAAC,CAAC,CAAC,GACjB,KAAK,CAAA;AACT,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS;IACpD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAA;CACjE,GACG,CAAC,GACD,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAA;AACxC,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AACjE,MAAM,MAAM,UAAU,CAAC,IAAI,IAAI,IAAI,SAAS;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,UAAU,CAAA;CAC9C,GACG,CAAC,GACD,KAAK,CAAA;AACT,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,kBAAkB,CAAC,CAAC,CAAC,CAAA;AAErD,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,SAAS;IACjE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAA;CACnD,GACG;IACE,QAAQ,EAAE,CAAC,IAAI,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,CACjC,OAAO,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAC/B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;CACzC,GACD,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAA;AACxC,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,SAAS;IACrE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAA;CACjD,GACG;IACE,QAAQ,EAAE,CAAC,IAAI,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAC/E,GACD,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAA;AAExC,MAAM,MAAM,MAAM,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;AAEtF,MAAM,WAAW,MAAM,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,GAAG,KAAK;IACrD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACnD,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACrF,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACjC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAC7C;;;;;;;;;OASG;IACH,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,aAAa,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CACtF;AAED,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,GAAG,KAAK,CAAE,SAAQ,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACrD,QAAQ,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACrE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAClE,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACtE,QAAQ,CAAC,KAAK,EAAE,CACd,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,OAAO,KACtC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACzD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CAChD"}

package/dist/facade.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=facade.js.map

package/dist/facade.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"facade.js","sourceRoot":"","sources":["../src/facade.ts"],"names":[],"mappings":""}

package/dist/fingerprint.d.ts

@@ -0,0 +1,2 @@
+export declare const formatFingerprint: (fingerprintInput: unknown) => string;
+//# sourceMappingURL=fingerprint.d.ts.map

package/dist/fingerprint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.d.ts","sourceRoot":"","sources":["../src/fingerprint.ts"],"names":[],"mappings":"AAuEA,eAAO,MAAM,iBAAiB,GAAI,kBAAkB,OAAO,KAAG,MACX,CAAA"}

package/dist/fingerprint.js

@@ -0,0 +1,55 @@
+import * as Option from 'effect/Option';
+const readPropertyOption = Option.liftThrowable((target, key) => Reflect.get(target, key));
+const readProperty = (target, key) => Option.getOrElse(readPropertyOption(target, key), () => '[Property read threw]');
+const propertyKeyFingerprint = (key) => typeof key === 'symbol'
+    ? `symbol:${String(key.description)}`
+    : typeof key === 'number'
+        ? `number-key:${String(key)}`
+        : `key:${key.length}:${key}`;
+const valueFingerprint = (candidate, seen) => {
+    if (typeof candidate === 'bigint') {
+        return `bigint:${String(candidate)}`;
+    }
+    if (typeof candidate === 'boolean') {
+        return candidate ? 'boolean:true' : 'boolean:false';
+    }
+    if (typeof candidate === 'function') {
+        return `function:${String(candidate)}`;
+    }
+    if (typeof candidate === 'number') {
+        return `number:${String(candidate)}`;
+    }
+    if (typeof candidate === 'string') {
+        return `string:${candidate.length}:${candidate}`;
+    }
+    if (typeof candidate === 'symbol') {
+        return `symbol:${String(candidate.description)}`;
+    }
+    if (typeof candidate === 'undefined') {
+        return 'undefined';
+    }
+    if (candidate === null) {
+        return 'null';
+    }
+    if (seen.has(candidate)) {
+        return '[Circular]';
+    }
+    seen.add(candidate);
+    if (Array.isArray(candidate)) {
+        return `[${candidate.map((arrayEntry) => valueFingerprint(arrayEntry, seen)).join(',')}]`;
+    }
+    if (candidate instanceof Date) {
+        return `date:${String(candidate.getTime())}`;
+    }
+    if (candidate instanceof Map) {
+        return `map:[${Array.from(candidate, ([mapKey, mapEntry]) => `${valueFingerprint(mapKey, seen)}=>${valueFingerprint(mapEntry, seen)}`).join(',')}]`;
+    }
+    if (candidate instanceof Set) {
+        return `set:[${Array.from(candidate, (setEntry) => valueFingerprint(setEntry, seen)).join(',')}]`;
+    }
+    return `{${Reflect.ownKeys(candidate)
+        .map((key) => `${propertyKeyFingerprint(key)}:${valueFingerprint(readProperty(candidate, key), seen)}`)
+        .join(',')}}`;
+};
+export const formatFingerprint = (fingerprintInput) => valueFingerprint(fingerprintInput, new WeakSet());
+//# sourceMappingURL=fingerprint.js.map

package/dist/fingerprint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.js","sourceRoot":"","sources":["../src/fingerprint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,MAAM,kBAAkB,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,MAAc,EAAE,GAAgB,EAAW,EAAE,CAC5F,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CACzB,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,GAAgB,EAAW,EAAE,CACjE,MAAM,CAAC,SAAS,CAAC,kBAAkB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,uBAAuB,CAAC,CAAA;AAElF,MAAM,sBAAsB,GAAG,CAAC,GAAgB,EAAU,EAAE,CAC1D,OAAO,GAAG,KAAK,QAAQ;IACrB,CAAC,CAAC,UAAU,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE;IACrC,CAAC,CAAC,OAAO,GAAG,KAAK,QAAQ;QACvB,CAAC,CAAC,cAAc,MAAM,CAAC,GAAG,CAAC,EAAE;QAC7B,CAAC,CAAC,OAAO,GAAG,CAAC,MAAM,IAAI,GAAG,EAAE,CAAA;AAElC,MAAM,gBAAgB,GAAG,CAAC,SAAkB,EAAE,IAAqB,EAAU,EAAE;IAC7E,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,UAAU,MAAM,CAAC,SAAS,CAAC,EAAE,CAAA;IACtC,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,CAAA;IACrD,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,UAAU,EAAE,CAAC;QACpC,OAAO,YAAY,MAAM,CAAC,SAAS,CAAC,EAAE,CAAA;IACxC,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,UAAU,MAAM,CAAC,SAAS,CAAC,EAAE,CAAA;IACtC,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,UAAU,SAAS,CAAC,MAAM,IAAI,SAAS,EAAE,CAAA;IAClD,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,UAAU,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAA;IAClD,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,WAAW,EAAE,CAAC;QACrC,OAAO,WAAW,CAAA;IACpB,CAAC;IACD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO,MAAM,CAAA;IACf,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACxB,OAAO,YAAY,CAAA;IACrB,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACnB,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,gBAAgB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IAC3F,CAAC;IACD,IAAI,SAAS,YAAY,IAAI,EAAE,CAAC;QAC9B,OAAO,QAAQ,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,EAAE,CAAA;IAC9C,CAAC;IACD,IAAI,SAAS,YAAY,GAAG,EAAE,CAAC;QAC7B,OAAO,QAAQ,KAAK,CAAC,IAAI,CACvB,SAAS,EACT,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,CACrB,GAAG,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAC3E,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IAChB,CAAC;IACD,IAAI,SAAS,YAAY,GAAG,EAAE,CAAC;QAC7B,OAAO,QAAQ,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CACvF,GAAG,CACJ,GAAG,CAAA;IACN,CAAC;IACD,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;SAClC,GAAG,CACF,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,CAC3F;SACA,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;AACjB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,gBAAyB,EAAU,EAAE,CACrE,gBAAgB,CAAC,gBAAgB,EAAE,IAAI,OAAO,EAAE,CAAC,CAAA"}

package/dist/index.d.ts

@@ -0,0 +1,88 @@
+import { Effect, Layer, type TestServices } from 'effect';
+import { ProofRunner, type ProofRunnerApi, proofRunnerLayer, withProofRunner } from './runner.js';
+import type { ContractOf, Facade, SlotsOf } from './facade.js';
+import type { AnyRequirementClass, ProductClass, ProductComposition, RequirementClass } from './product.js';
+import type { ProofCapture, ProofGenerator, SuiteResult } from './proofCase.js';
+import type { Scene, SlotComposition as ReformSlotComposition, UiContract } from '@playfast/reform';
+import type { AnyScene, CapturedRender } from '@playfast/reform/internal';
+export { ProofRunner, proofRunnerLayer, withProofRunner };
+export type { ProofRunnerApi };
+export { makeFacade, makeProofFacade, makeRuntimeHandleFacade, makeRuntimeTreeFacade, makeSink, proofLayer, } from './engine.js';
+export type { MountedFacade, MountedSlotFacade, MountedSlotFacadesOf, RuntimeTreeFacade, Sink, } from './engine.js';
+export { Product, ProductRequirement } from './product.js';
+export type { AnyRequirementClass, ProductClass, ProductComposition, ProductManifest, RequirementCapture, RequirementClass, RequirementManifest, } from './product.js';
+export { expect, matchProps } from './assert.js';
+export type { Action, ActionsOf, ContractOf, EventsOf, Facade, SlotFacade, SlotFacadesOf, } from './facade.js';
+export type { ProofCapture, ProofCase, ProofResult, SuiteResult } from './proofCase.js';
+export interface Proof {
+    readonly requirement: AnyRequirementClass;
+    readonly scene: AnyScene;
+    readonly capture: <Result>(visit: ProofCapture<Result>) => Result;
+}
+export interface ProofSuite {
+    readonly kind: 'ProofSuite';
+    readonly product: ProductClass;
+    readonly proofs: ReadonlyArray<Proof>;
+}
+declare const implement: <Comp extends ProductComposition>(requirement: RequirementClass<Comp, string>, scene: Scene<ContractOf<NoInfer<Comp>>, NoInfer<Comp>["States"]>, body: (app: Facade<ContractOf<Comp>, never>) => ProofGenerator) => Proof;
+type SlotsHolding<C extends UiContract, Target extends ProductComposition> = C extends {
+    readonly slots: NonNullable<UiContract['slots']>;
+} ? {
+    [K in keyof SlotsOf<C>]: [ReformSlotComposition<SlotsOf<C>[K]>] extends [Target] ? K : never;
+}[keyof SlotsOf<C>] : never;
+type SceneHolding<Comp extends ProductComposition, C extends UiContract, S extends ReadonlyArray<unknown>> = [SlotsHolding<C, Comp>] extends [never] ? never : Scene<C, S>;
+declare const implementVia: <Comp extends ProductComposition, C extends UiContract, S extends ReadonlyArray<unknown>>(requirement: RequirementClass<Comp, string>, scene: SceneHolding<NoInfer<Comp>, C, S>, body: (app: Facade<C, never>) => ProofGenerator) => Proof;
+interface MakeSuiteConfig {
+    readonly proofs: ReadonlyArray<Proof>;
+}
+declare const suite: (product: ProductClass, config: MakeSuiteConfig) => ProofSuite;
+export declare const isProofSuite: (candidate: unknown) => candidate is ProofSuite;
+declare const run: (proofSuite: ProofSuite) => Promise<SuiteResult>;
+declare const runEffect: (proofSuite: ProofSuite) => Effect.Effect<SuiteResult, never, never>;
+export interface StepFrame {
+    readonly index: number;
+    readonly captures: ReadonlyArray<CapturedRender>;
+}
+export interface DriveResult {
+    readonly requirement: string;
+    readonly frames: ReadonlyArray<StepFrame>;
+    readonly ok: boolean;
+    readonly error: string | undefined;
+}
+export interface ProofDriver {
+    readonly requirement: string;
+    readonly run: () => Promise<DriveResult>;
+}
+declare const driver: (proofSuite: ProofSuite) => ReadonlyArray<ProofDriver>;
+/**
+ * Wrap a scene's layers in a virtual clock, so every `Effect.sleep`, `Schedule` and
+ * `Clock` read its procedures make elapses only when the proof says so via
+ * `app.advance(...)`:
+ *
+ * ```ts
+ * const MyScene = scene(MyComposition, { provide: [Proof.withTestClock(App)] })
+ * ```
+ *
+ * It has to WRAP the scene's layers, never sit beside them in `provide`. The engine
+ * forks its loop while its layer is being built, and a forked fiber inherits the
+ * clock in scope at that moment — so a clock merged as a sibling reaches the proof
+ * body but not the procedures whose timers it is meant to control. That mis-wiring
+ * is silent (`app.advance(...)` finds a clock, adjusts it, and no product timer
+ * moves), which is why the clock is exposed as this combinator, not a bare layer.
+ *
+ * Opt-in per scene rather than on by default: a scene without it keeps the real
+ * clock, so proofs that observe product timers by waiting stay correct. Once a scene
+ * has it, a product timer NEVER fires on its own — an unadvanced proof sees the
+ * pre-timer state, which is the point.
+ */
+declare const withTestClock: <ROut, E, RIn>(layer: Layer.Layer<ROut, E, RIn>) => Layer.Layer<ROut | TestServices.TestServices, E, RIn>;
+export declare const Proof: {
+    readonly implement: typeof implement;
+    readonly implementVia: typeof implementVia;
+    readonly suite: typeof suite;
+    readonly run: typeof run;
+    readonly runEffect: typeof runEffect;
+    readonly driver: typeof driver;
+    readonly withTestClock: typeof withTestClock;
+};
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAe,KAAK,YAAY,EAAE,MAAM,QAAQ,CAAA;AACtE,OAAO,EAAE,WAAW,EAAE,KAAK,cAAc,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,UAAU,CAAA;AAE9F,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,KAAK,EACV,mBAAmB,EACnB,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EACjB,MAAM,WAAW,CAAA;AAClB,OAAO,KAAK,EAAE,YAAY,EAAa,cAAc,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACvF,OAAO,KAAK,EAEV,KAAK,EACL,eAAe,IAAI,qBAAqB,EACxC,UAAU,EACX,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAEzE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,CAAA;AACzD,YAAY,EAAE,cAAc,EAAE,CAAA;AAE9B,OAAO,EACL,UAAU,EACV,eAAe,EACf,uBAAuB,EACvB,qBAAqB,EACrB,QAAQ,EACR,UAAU,GACX,MAAM,UAAU,CAAA;AACjB,YAAY,EACV,aAAa,EACb,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,IAAI,GACL,MAAM,UAAU,CAAA;AAEjB,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AACvD,YAAY,EACV,mBAAmB,EACnB,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,WAAW,CAAA;AAClB,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAC7C,YAAY,EACV,MAAM,EACN,SAAS,EACT,UAAU,EACV,QAAQ,EACR,MAAM,EACN,UAAU,EACV,aAAa,GACd,MAAM,UAAU,CAAA;AACjB,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAEpF,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAA;IACzC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;CAClE;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;CACtC;AAED,QAAA,MAAM,SAAS,GAAI,IAAI,SAAS,kBAAkB,EAChD,aAAa,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,EAC3C,OAAO,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,EAChE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,cAAc,KAC7D,KA0BA,CAAA;AAEH,KAAK,YAAY,CAAC,CAAC,SAAS,UAAU,EAAE,MAAM,SAAS,kBAAkB,IAAI,CAAC,SAAS;IACrF,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAA;CACjD,GACG;KACG,CAAC,IAAI,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK;CAC7F,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,GACnB,KAAK,CAAA;AAET,KAAK,YAAY,CACf,IAAI,SAAS,kBAAkB,EAC/B,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,IAC9B,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEjE,QAAA,MAAM,YAAY,GAChB,IAAI,SAAS,kBAAkB,EAC/B,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAEhC,aAAa,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,EAC3C,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACxC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,cAAc,KAC9C,KAiBA,CAAA;AAEH,UAAU,eAAe;IACvB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;CACtC;AAED,QAAA,MAAM,KAAK,GAAI,SAAS,YAAY,EAAE,QAAQ,eAAe,KAAG,UAI9D,CAAA;AAEF,eAAO,MAAM,YAAY,GAAI,WAAW,OAAO,KAAG,SAAS,IAAI,UACkC,CAAA;AAEjG,QAAA,MAAM,GAAG,GAAI,YAAY,UAAU,KAAG,OAAO,CAAC,WAAW,CACf,CAAA;AAE1C,QAAA,MAAM,SAAS,GAAI,YAAY,UAAU,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAWhF,CAAA;AAEH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CACjD;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IACzC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,OAAO,CAAC,WAAW,CAAC,CAAA;CACzC;AAED,QAAA,MAAM,MAAM,GAAI,YAAY,UAAU,KAAG,aAAa,CAAC,WAAW,CAI7D,CAAA;AAEL;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,QAAA,MAAM,aAAa,GAAI,IAAI,EAAE,CAAC,EAAE,GAAG,EACjC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAC/B,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,YAAY,CAAC,YAAY,EAAE,CAAC,EAAE,GAAG,CACE,CAAA;AAEzD,eAAO,MAAM,KAAK,EAAE;IAClB,QAAQ,CAAC,SAAS,EAAE,OAAO,SAAS,CAAA;IACpC,QAAQ,CAAC,YAAY,EAAE,OAAO,YAAY,CAAA;IAC1C,QAAQ,CAAC,KAAK,EAAE,OAAO,KAAK,CAAA;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,OAAO,SAAS,CAAA;IACpC,QAAQ,CAAC,MAAM,EAAE,OAAO,MAAM,CAAA;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,aAAa,CAAA;CAC+B,CAAA"}

package/dist/index.js

@@ -0,0 +1,73 @@
+import { Effect, Layer, TestContext } from 'effect';
+import { ProofRunner, proofRunnerLayer, withProofRunner } from './runner.js';
+import { isRecord } from './assert.js';
+export { ProofRunner, proofRunnerLayer, withProofRunner };
+export { makeFacade, makeProofFacade, makeRuntimeHandleFacade, makeRuntimeTreeFacade, makeSink, proofLayer, } from './engine.js';
+export { Product, ProductRequirement } from './product.js';
+export { expect, matchProps } from './assert.js';
+const implement = (requirement, scene, body) => scene.capture((exactScene) => {
+    const proofCase = {
+        requirement,
+        scene: exactScene,
+        placement: 'Root',
+        body,
+    };
+    return {
+        requirement,
+        scene: exactScene,
+        capture: (visit) => visit(proofCase),
+    };
+});
+const implementVia = (requirement, scene, body) => scene.capture((exactScene) => {
+    const proofCase = {
+        requirement,
+        scene: exactScene,
+        placement: 'Slot',
+        body,
+    };
+    return {
+        requirement,
+        scene: exactScene,
+        capture: (visit) => visit(proofCase),
+    };
+});
+const suite = (product, config) => ({
+    kind: 'ProofSuite',
+    product,
+    proofs: config.proofs,
+});
+export const isProofSuite = (candidate) => isRecord(candidate) && candidate['kind'] === 'ProofSuite' && Array.isArray(candidate['proofs']);
+const run = (proofSuite) => Effect.runPromise(runEffect(proofSuite));
+const runEffect = (proofSuite) => ProofRunner.pipe(Effect.flatMap((runner) => Effect.forEach(proofSuite.proofs, (proof) => runner.executeProofEffect(proof))), Effect.map((reports) => ({
+    product: proofSuite.product.manifest.name,
+    results: reports,
+    ok: reports.every((report) => report.ok),
+})), Effect.provide(proofRunnerLayer));
+const driver = (proofSuite) => proofSuite.proofs.map((proof) => ({
+    requirement: proof.requirement.manifest.statement,
+    run: () => withProofRunner((runner) => runner.driveProof(proof)),
+}));
+/**
+ * Wrap a scene's layers in a virtual clock, so every `Effect.sleep`, `Schedule` and
+ * `Clock` read its procedures make elapses only when the proof says so via
+ * `app.advance(...)`:
+ *
+ * ```ts
+ * const MyScene = scene(MyComposition, { provide: [Proof.withTestClock(App)] })
+ * ```
+ *
+ * It has to WRAP the scene's layers, never sit beside them in `provide`. The engine
+ * forks its loop while its layer is being built, and a forked fiber inherits the
+ * clock in scope at that moment — so a clock merged as a sibling reaches the proof
+ * body but not the procedures whose timers it is meant to control. That mis-wiring
+ * is silent (`app.advance(...)` finds a clock, adjusts it, and no product timer
+ * moves), which is why the clock is exposed as this combinator, not a bare layer.
+ *
+ * Opt-in per scene rather than on by default: a scene without it keeps the real
+ * clock, so proofs that observe product timers by waiting stay correct. Once a scene
+ * has it, a product timer NEVER fires on its own — an unadvanced proof sees the
+ * pre-timer state, which is the point.
+ */
+const withTestClock = (layer) => layer.pipe(Layer.provideMerge(TestContext.TestContext));
+export const Proof = { implement, implementVia, suite, run, runEffect, driver, withTestClock };
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAqB,MAAM,QAAQ,CAAA;AACtE,OAAO,EAAE,WAAW,EAAuB,gBAAgB,EAAE,eAAe,EAAE,MAAM,UAAU,CAAA;AAC9F,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAiBnC,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,CAAA;AAGzD,OAAO,EACL,UAAU,EACV,eAAe,EACf,uBAAuB,EACvB,qBAAqB,EACrB,QAAQ,EACR,UAAU,GACX,MAAM,UAAU,CAAA;AASjB,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAUvD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAwB7C,MAAM,SAAS,GAAG,CAChB,WAA2C,EAC3C,KAAgE,EAChE,IAA8D,EACvD,EAAE,CACT,KAAK,CAAC,OAAO,CACX,CACE,UAAqF,EAC9E,EAAE;IACT,MAAM,SAAS,GAQX;QACF,WAAW;QACX,KAAK,EAAE,UAAU;QACjB,SAAS,EAAE,MAAM;QACjB,IAAI;KACL,CAAA;IACD,OAAO;QACL,WAAW;QACX,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,KAAK,CAAmE,SAAS,CAAC;KACrF,CAAA;AACH,CAAC,CACF,CAAA;AAgBH,MAAM,YAAY,GAAG,CAKnB,WAA2C,EAC3C,KAAwC,EACxC,IAA+C,EACxC,EAAE,CACT,KAAK,CAAC,OAAO,CACX,CACE,UAAyD,EAClD,EAAE;IACT,MAAM,SAAS,GAAoD;QACjE,WAAW;QACX,KAAK,EAAE,UAAU;QACjB,SAAS,EAAE,MAAM;QACjB,IAAI;KACL,CAAA;IACD,OAAO;QACL,WAAW;QACX,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAuC,SAAS,CAAC;KAC3E,CAAA;AACH,CAAC,CACF,CAAA;AAMH,MAAM,KAAK,GAAG,CAAC,OAAqB,EAAE,MAAuB,EAAc,EAAE,CAAC,CAAC;IAC7E,IAAI,EAAE,YAAY;IAClB,OAAO;IACP,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,SAAkB,EAA2B,EAAE,CAC1E,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,YAAY,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAA;AAEjG,MAAM,GAAG,GAAG,CAAC,UAAsB,EAAwB,EAAE,CAC3D,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAA;AAE1C,MAAM,SAAS,GAAG,CAAC,UAAsB,EAA4C,EAAE,CACrF,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACxB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAC/E,EACD,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACvB,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI;IACzC,OAAO,EAAE,OAAO;IAChB,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;CACzC,CAAC,CAAC,EACH,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CACjC,CAAA;AAmBH,MAAM,MAAM,GAAG,CAAC,UAAsB,EAA8B,EAAE,CACpE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAChC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS;IACjD,GAAG,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC,MAAsB,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;CACjF,CAAC,CAAC,CAAA;AAEL;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,aAAa,GAAG,CACpB,KAAgC,EACuB,EAAE,CACzD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAA;AAEzD,MAAM,CAAC,MAAM,KAAK,GAQd,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,CAAA"}