@playfast/reform-remote 1.1.0 → 1.3.0

package/dist/transport.js

@@ -0,0 +1,157 @@
+import { Effect, Fiber, Option } from 'effect';
+import {} from '@playfast/reform/internal';
+import { makeRemoteServer } from './server.js';
+const BACKGROUND_FLUSH_MS = 16;
+export const serve = (options) => {
+    const { scene, transport } = options;
+    const server = makeRemoteServer(scene);
+    // Snapshot gates diffs; single-flight rendering protects the shared frame baseline.
+    const started = { value: false };
+    const flight = { promise: Option.none(), dirty: false };
+    const push = () => {
+        if (!started.value) {
+            return Effect.runPromise(Effect.void);
+        }
+        if (Option.isSome(flight.promise)) {
+            flight.dirty = true;
+            return flight.promise.value;
+        }
+        // ensuring clears the single-flight slot even when rendering fails.
+        const run = Effect.runPromise(Effect.gen(function* () {
+            const patches = yield* Effect.promise(() => server.renderDiff());
+            if (patches.length > 0) {
+                transport.send({ _tag: 'Patches', patches });
+            }
+        }).pipe(Effect.ensuring(Effect.sync(() => {
+            flight.promise = Option.none();
+            if (flight.dirty) {
+                flight.dirty = false;
+                void push();
+            }
+        }))));
+        flight.promise = Option.some(run);
+        return run;
+    };
+    // Background debounce lets the drain settle and coalesces bursts without delaying invokes.
+    const debounce = { fiber: Option.none() };
+    const scheduleFlush = () => {
+        if (!started.value || Option.isSome(debounce.fiber)) {
+            return;
+        }
+        const fiber = Effect.runFork(Effect.sleep(BACKGROUND_FLUSH_MS).pipe(Effect.zipRight(Effect.sync(() => {
+            debounce.fiber = Option.none();
+            void push();
+        }))));
+        debounce.fiber = Option.some(fiber);
+    };
+    const start = async () => {
+        const tree = await server.render();
+        transport.send({ _tag: 'Snapshot', tree });
+        started.value = true;
+        scheduleFlush();
+    };
+    const off = transport.onMessage((message) => {
+        void Effect.runPromise(Effect.promise(() => server.invoke(message.handle, message.payload)).pipe(Effect.zipRight(Effect.promise(push)), 
+        // A stale handle (its node was deleted by a patch still in flight) fails by
+        // design. Left unhandled that escapes as a rejected promise and, under Node's
+        // default --unhandled-rejections=throw, takes the server down for every client.
+        Effect.catchAllCause((cause) => Effect.logError(`reform-remote: invoke '${message.handle}' failed`, cause))));
+    });
+    const offChange = server.subscribe(scheduleFlush);
+    return {
+        start,
+        dispose: async () => {
+            off();
+            offChange();
+            if (Option.isSome(debounce.fiber)) {
+                Effect.runFork(Fiber.interrupt(debounce.fiber.value));
+            }
+            await server.dispose();
+        },
+    };
+};
+export const serveShared = (options) => {
+    const { scene } = options;
+    const server = makeRemoteServer(scene);
+    const clients = new Set();
+    const broadcast = (message) => {
+        clients.forEach((client) => client.send(message));
+    };
+    // One shared render baseline requires the same single-flight discipline as serve.
+    const started = { value: false };
+    const flight = { promise: Option.none(), dirty: false };
+    const push = () => {
+        if (!started.value) {
+            return Effect.runPromise(Effect.void);
+        }
+        if (Option.isSome(flight.promise)) {
+            flight.dirty = true;
+            return flight.promise.value;
+        }
+        const run = Effect.runPromise(Effect.gen(function* () {
+            const patches = yield* Effect.promise(() => server.renderDiff());
+            if (patches.length > 0) {
+                broadcast({ _tag: 'Patches', patches });
+            }
+        }).pipe(Effect.ensuring(Effect.sync(() => {
+            flight.promise = Option.none();
+            if (flight.dirty) {
+                flight.dirty = false;
+                void push();
+            }
+        }))));
+        flight.promise = Option.some(run);
+        return run;
+    };
+    const debounce = { fiber: Option.none() };
+    const scheduleFlush = () => {
+        if (!started.value || Option.isSome(debounce.fiber)) {
+            return;
+        }
+        const fiber = Effect.runFork(Effect.sleep(BACKGROUND_FLUSH_MS).pipe(Effect.zipRight(Effect.sync(() => {
+            debounce.fiber = Option.none();
+            void push();
+        }))));
+        debounce.fiber = Option.some(fiber);
+    };
+    // Clients await the initial baseline so none snapshot an empty tree.
+    const ready = (async () => {
+        await server.render();
+        started.value = true;
+        scheduleFlush();
+    })();
+    const offChange = server.subscribe(scheduleFlush);
+    const addClient = (transport) => {
+        const off = transport.onMessage((message) => {
+            void Effect.runPromise(Effect.promise(() => server.invoke(message.handle, message.payload)).pipe(Effect.zipRight(Effect.promise(push)), 
+            // A stale handle (its node was deleted by a patch still in flight) fails by
+            // design. Left unhandled that escapes as a rejected promise and, under Node's
+            // default --unhandled-rejections=throw, takes the server down for every client.
+            Effect.catchAllCause((cause) => Effect.logError(`reform-remote: invoke '${message.handle}' failed`, cause))));
+        });
+        // Snapshot and broadcast membership must change in one tick so no diff interleaves.
+        void Effect.runPromise(Effect.promise(() => ready).pipe(Effect.zipRight(Effect.sync(() => {
+            transport.send({ _tag: 'Snapshot', tree: server.currentTree() });
+            clients.add(transport);
+        }))));
+        return {
+            remove: () => {
+                off();
+                clients.delete(transport);
+            },
+        };
+    };
+    return {
+        addClient,
+        dispose: async () => {
+            offChange();
+            if (Option.isSome(debounce.fiber)) {
+                Effect.runFork(Fiber.interrupt(debounce.fiber.value));
+            }
+            clients.clear();
+            await server.dispose();
+        },
+    };
+};
+export { connect } from './clientBinding.js';
+//# sourceMappingURL=transport.js.map

package/dist/transport.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transport.js","sourceRoot":"","sources":["../src/transport.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9C,OAAO,EAAgD,MAAM,2BAA2B,CAAA;AACxF,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;AA8B3C,MAAM,mBAAmB,GAAG,EAAE,CAAA;AAO9B,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,OAAqB,EAAiB,EAAE;IAC5D,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,OAAO,CAAA;IACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAA;IACtC,oFAAoF;IACpF,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;IAChC,MAAM,MAAM,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,EAAiB,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;IACtE,MAAM,IAAI,GAAG,GAAkB,EAAE;QAC/B,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACnB,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACvC,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,KAAK,GAAG,IAAI,CAAA;YACnB,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAA;QAC7B,CAAC;QACD,oEAAoE;QACpE,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAC3B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAA;YAChE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;YAC9C,CAAC;QACH,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CACb,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,CAAA;YAC9B,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjB,MAAM,CAAC,KAAK,GAAG,KAAK,CAAA;gBACpB,KAAK,IAAI,EAAE,CAAA;YACb,CAAC;QACH,CAAC,CAAC,CACH,CACF,CACF,CAAA;QACD,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACjC,OAAO,GAAG,CAAA;IACZ,CAAC,CAAA;IACD,2FAA2F;IAC3F,MAAM,QAAQ,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAA4B,EAAE,CAAA;IACnE,MAAM,aAAa,GAAG,GAAS,EAAE;QAC/B,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,OAAM;QACR,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAC1B,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI,CACpC,MAAM,CAAC,QAAQ,CACb,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAA;YAC9B,KAAK,IAAI,EAAE,CAAA;QACb,CAAC,CAAC,CACH,CACF,CACF,CAAA;QACD,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACrC,CAAC,CAAA;IACD,MAAM,KAAK,GAAG,KAAK,IAAmB,EAAE;QACtC,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,MAAM,EAAE,CAAA;QAClC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAA;QAC1C,OAAO,CAAC,KAAK,GAAG,IAAI,CAAA;QACpB,aAAa,EAAE,CAAA;IACjB,CAAC,CAAA;IACD,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE;QAC1C,KAAK,MAAM,CAAC,UAAU,CACpB,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CACvE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACrC,4EAA4E;QAC5E,8EAA8E;QAC9E,gFAAgF;QAChF,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7B,MAAM,CAAC,QAAQ,CAAC,0BAA0B,OAAO,CAAC,MAAM,UAAU,EAAE,KAAK,CAAC,CAC3E,CACF,CACF,CAAA;IACH,CAAC,CAAC,CAAA;IACF,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;IACjD,OAAO;QACL,KAAK;QACL,OAAO,EAAE,KAAK,IAAmB,EAAE;YACjC,GAAG,EAAE,CAAA;YACL,SAAS,EAAE,CAAA;YACX,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;YACvD,CAAC;YACD,MAAM,MAAM,CAAC,OAAO,EAAE,CAAA;QACxB,CAAC;KACF,CAAA;AACH,CAAC,CAAA;AAiBD,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,OAA2B,EAAuB,EAAE;IAC9E,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAA;IACzB,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAA;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiD,CAAA;IACxE,MAAM,SAAS,GAAG,CAAC,OAAsB,EAAQ,EAAE;QACjD,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAA;IACnD,CAAC,CAAA;IAED,kFAAkF;IAClF,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;IAChC,MAAM,MAAM,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,EAAiB,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;IACtE,MAAM,IAAI,GAAG,GAAkB,EAAE;QAC/B,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACnB,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACvC,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,KAAK,GAAG,IAAI,CAAA;YACnB,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAA;QAC7B,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAC3B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAA;YAChE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,SAAS,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;YACzC,CAAC;QACH,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CACb,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,CAAA;YAC9B,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjB,MAAM,CAAC,KAAK,GAAG,KAAK,CAAA;gBACpB,KAAK,IAAI,EAAE,CAAA;YACb,CAAC;QACH,CAAC,CAAC,CACH,CACF,CACF,CAAA;QACD,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACjC,OAAO,GAAG,CAAA;IACZ,CAAC,CAAA;IAED,MAAM,QAAQ,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAA4B,EAAE,CAAA;IACnE,MAAM,aAAa,GAAG,GAAS,EAAE;QAC/B,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,OAAM;QACR,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAC1B,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI,CACpC,MAAM,CAAC,QAAQ,CACb,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAA;YAC9B,KAAK,IAAI,EAAE,CAAA;QACb,CAAC,CAAC,CACH,CACF,CACF,CAAA;QACD,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACrC,CAAC,CAAA;IAED,qEAAqE;IACrE,MAAM,KAAK,GAAG,CAAC,KAAK,IAAmB,EAAE;QACvC,MAAM,MAAM,CAAC,MAAM,EAAE,CAAA;QACrB,OAAO,CAAC,KAAK,GAAG,IAAI,CAAA;QACpB,aAAa,EAAE,CAAA;IACjB,CAAC,CAAC,EAAE,CAAA;IAEJ,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;IAEjD,MAAM,SAAS,GAAG,CAChB,SAAwD,EACpC,EAAE;QACtB,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE;YAC1C,KAAK,MAAM,CAAC,UAAU,CACpB,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CACvE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACrC,4EAA4E;YAC5E,8EAA8E;YAC9E,gFAAgF;YAChF,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7B,MAAM,CAAC,QAAQ,CAAC,0BAA0B,OAAO,CAAC,MAAM,UAAU,EAAE,KAAK,CAAC,CAC3E,CACF,CACF,CAAA;QACH,CAAC,CAAC,CAAA;QACF,oFAAoF;QACpF,KAAK,MAAM,CAAC,UAAU,CACpB,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAC9B,MAAM,CAAC,QAAQ,CACb,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,CAAA;YAChE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QACxB,CAAC,CAAC,CACH,CACF,CACF,CAAA;QACD,OAAO;YACL,MAAM,EAAE,GAAS,EAAE;gBACjB,GAAG,EAAE,CAAA;gBACL,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;YAC3B,CAAC;SACF,CAAA;IACH,CAAC,CAAA;IAED,OAAO;QACL,SAAS;QACT,OAAO,EAAE,KAAK,IAAmB,EAAE;YACjC,SAAS,EAAE,CAAA;YACX,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;YACvD,CAAC;YACD,OAAO,CAAC,KAAK,EAAE,CAAA;YACf,MAAM,MAAM,CAAC,OAAO,EAAE,CAAA;QACxB,CAAC;KACF,CAAA;AACH,CAAC,CAAA;AAED,OAAO,EAAsB,OAAO,EAAuB,MAAM,iBAAiB,CAAA"}

package/dist/wireNode.d.ts

@@ -0,0 +1,24 @@
+import { Effect, Option, type ParseResult } from 'effect';
+import { type SlotFill, type Structure, type Trigger, type UiContract } from '@playfast/reform';
+import { type AnyComposition, type AnySlot, type AnySlotChild, type TriggerRegistryApi, type WireNode } from '@playfast/reform/internal';
+export declare const SETTLE_DRAIN = 30;
+export declare const settleDrain: Effect.Effect<void>;
+export declare const eventsOf: (structure: Structure<UiContract>) => Record<string, Trigger<unknown>>;
+export interface Mounted {
+    readonly comp: AnyComposition;
+    readonly props: unknown;
+    readonly id: string;
+    readonly parentId: Option.Option<string>;
+    readonly slot: Option.Option<string>;
+    readonly childIndex: number;
+    readonly key: Option.Option<string>;
+}
+export declare const childComposition: (child: AnySlotChild) => AnyComposition;
+export declare const isRecord: (candidate: unknown) => candidate is Record<string, unknown>;
+export declare const handlesOf: (node: WireNode) => ReadonlyArray<string>;
+export declare const noRegister: TriggerRegistryApi['register'];
+export declare const toWireNodeFromStructure: (mounted: Mounted, structure: Structure<UiContract>, register: TriggerRegistryApi['register']) => Effect.Effect<WireNode, ParseResult.ParseError>;
+export declare const isSlotFill: (candidate: unknown) => candidate is SlotFill<unknown>;
+export declare const structureFills: (structure: Structure<UiContract>) => Record<string, SlotFill<unknown>>;
+export declare const slotsOf: (comp: AnyComposition) => Record<string, AnySlot>;
+//# sourceMappingURL=wireNode.d.ts.map

package/dist/wireNode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wireNode.d.ts","sourceRoot":"","sources":["../src/wireNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAE,MAAM,EAAE,KAAK,WAAW,EAAyB,MAAM,QAAQ,CAAA;AAC9F,OAAO,EAGL,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,OAAO,EACZ,KAAK,UAAU,EAChB,MAAM,kBAAkB,CAAA;AACzB,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,OAAO,EACZ,KAAK,YAAY,EACjB,KAAK,kBAAkB,EAEvB,KAAK,QAAQ,EAEd,MAAM,2BAA2B,CAAA;AAElC,eAAO,MAAM,YAAY,KAAK,CAAA;AAC9B,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAwD,CAAA;AAGpG,eAAO,MAAM,QAAQ,GAAI,WAAW,SAAS,CAAC,UAAU,CAAC,KAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAIvF,CAAA;AAEJ,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;CACpC;AAED,eAAO,MAAM,gBAAgB,GAAI,OAAO,YAAY,KAAG,cAKtD,CAAA;AAED,eAAO,MAAM,QAAQ,GAAI,WAAW,OAAO,KAAG,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CACC,CAAA;AAElF,eAAO,MAAM,SAAS,GAAI,MAAM,QAAQ,KAAG,aAAa,CAAC,MAAM,CACa,CAAA;AAG5E,eAAO,MAAM,UAAU,EAAE,kBAAkB,CAAC,UAAU,CAAqB,CAAA;AAE3E,eAAO,MAAM,uBAAuB,EAAE,CACpC,OAAO,EAAE,OAAO,EAChB,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAChC,QAAQ,EAAE,kBAAkB,CAAC,UAAU,CAAC,KACrC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,UAAU,CA6DjD,CAAA;AAGF,eAAO,MAAM,UAAU,GAAI,WAAW,OAAO,KAAG,SAAS,IAAI,QAAQ,CAAC,OAAO,CAIW,CAAA;AAExF,eAAO,MAAM,cAAc,GAAI,WAAW,SAAS,CAAC,UAAU,CAAC,KAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAM/F,CAAA;AAEH,eAAO,MAAM,OAAO,GAAI,MAAM,cAAc,KAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAejE,CAAA"}

package/dist/wireNode.js

@@ -0,0 +1,80 @@
+import { Array as Arr, Effect, Option, Record as Rec, Schema } from 'effect';
+import { isFeatureBinding, isSlot, } from '@playfast/reform';
+import {} from '@playfast/reform/internal';
+export const SETTLE_DRAIN = 30;
+export const settleDrain = Effect.yieldNow().pipe(Effect.repeatN(SETTLE_DRAIN));
+// The erased event map's never values remain assignable to Trigger<unknown> without a cast.
+export const eventsOf = (structure) => Option.match(Option.fromNullable(structure.events), {
+    onNone: () => ({}),
+    onSome: (events) => events,
+});
+export const childComposition = (child) => {
+    if (!isFeatureBinding(child)) {
+        return child;
+    }
+    return child.capture((binding) => binding.composition);
+};
+export const isRecord = (candidate) => typeof candidate === 'object' && candidate !== null && !Array.isArray(candidate);
+export const handlesOf = (node) => node.props.flatMap((prop) => (prop._tag === 'Event' ? [prop.handle] : []));
+// One-shot renders still emit deterministic handles but have no client registry.
+export const noRegister = () => Effect.void;
+export const toWireNodeFromStructure = Effect.fn('toWireNodeFromStructure')(function* (mounted, structure, register) {
+    const manifest = mounted.comp.manifest.ui.manifest;
+    const name = manifest.name;
+    // The manifest stores schema AST only; reconstruct an unknown-safe schema at this wire seam.
+    const encodedProps = yield* Option.match(Option.fromNullable(manifest.props), {
+        onNone: () => Effect.succeed({}),
+        onSome: (reflection) => Schema.encodeUnknown(Schema.make(reflection.ast))(structure.props).pipe(Effect.flatMap((encoded) => {
+            if (isRecord(encoded)) {
+                return Effect.succeed(encoded);
+            }
+            return Effect.dieMessage(`reform-remote: ${manifest.name} props did not encode to a record`);
+        })),
+    });
+    const dataProps = Rec.toEntries(encodedProps).map(([propName, propValue]) => ({
+        _tag: 'Data',
+        name: propName,
+        value: propValue,
+    }));
+    const eventSchemas = Option.fromNullable(manifest.events);
+    const events = eventsOf(structure);
+    const eventProps = yield* Effect.forEach(Rec.toEntries(events), ([eventName, trigger]) => Effect.gen(function* () {
+        const schema = Option.flatMap(eventSchemas, (schemas) => Rec.get(schemas, eventName));
+        if (Option.isNone(schema)) {
+            return Option.none();
+        }
+        const handle = `${mounted.id}:${eventName}`;
+        yield* register(handle, trigger, Schema.make(schema.value.ast));
+        return Option.some({
+            _tag: 'Event',
+            name: eventName,
+            handle,
+        });
+    })).pipe(Effect.map(Arr.getSomes));
+    return {
+        id: mounted.id,
+        name,
+        parentId: Option.getOrNull(mounted.parentId),
+        childIndex: mounted.childIndex,
+        slot: Option.getOrNull(mounted.slot),
+        key: Option.getOrNull(mounted.key),
+        props: [...dataProps, ...eventProps],
+    };
+});
+// Structure erases per-slot fill types; recover SlotFill structurally without `as`.
+export const isSlotFill = (candidate) => typeof candidate === 'object' &&
+    candidate !== null &&
+    '_tag' in candidate &&
+    (candidate._tag === 'Each' || candidate._tag === 'One' || candidate._tag === 'Absent');
+export const structureFills = (structure) => Rec.fromEntries(Rec.toEntries(structure.slots).flatMap(([slotName, fillValue]) => isSlotFill(fillValue) ? [[slotName, fillValue]] : []));
+export const slotsOf = (comp) => comp.capture((exact) => {
+    if (!('slots' in exact.manifest)) {
+        return {};
+    }
+    const candidate = exact.manifest.slots;
+    if (!isRecord(candidate)) {
+        return {};
+    }
+    return Rec.fromEntries(Rec.toEntries(candidate).flatMap(([name, slotDefinition]) => isSlot(slotDefinition) ? [[name, slotDefinition]] : []));
+});
+//# sourceMappingURL=wireNode.js.map

package/dist/wireNode.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wireNode.js","sourceRoot":"","sources":["../src/wireNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,IAAI,GAAG,EAAE,MAAM,EAAE,MAAM,EAAoB,MAAM,IAAI,GAAG,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9F,OAAO,EACL,gBAAgB,EAChB,MAAM,GAKP,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAQN,MAAM,2BAA2B,CAAA;AAElC,MAAM,CAAC,MAAM,YAAY,GAAG,EAAE,CAAA;AAC9B,MAAM,CAAC,MAAM,WAAW,GAAwB,MAAM,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAA;AAEpG,4FAA4F;AAC5F,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,SAAgC,EAAoC,EAAE,CAC7F,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE;IAClD,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;IAClB,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM;CAC3B,CAAC,CAAA;AAYJ,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAmB,EAAkB,EAAE;IACtE,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAiB,CAAC,OAAO,EAAkB,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;AACxF,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,SAAkB,EAAwC,EAAE,CACnF,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAElF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAc,EAAyB,EAAE,CACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAE5E,iFAAiF;AACjF,MAAM,CAAC,MAAM,UAAU,GAAmC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAA;AAE3E,MAAM,CAAC,MAAM,uBAAuB,GAImB,MAAM,CAAC,EAAE,CAAC,yBAAyB,CAAC,CACzF,QAAQ,CAAC,EACT,OAAgB,EAChB,SAAgC,EAChC,QAAwC;IAExC,MAAM,QAAQ,GAAe,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAA;IAC9D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAA;IAE1B,6FAA6F;IAC7F,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE;QAC5E,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,MAAM,EAAE,CAAC,UAAU,EAAE,EAAE,CACrB,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAmB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CACvF,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YACzB,IAAI,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtB,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;YAChC,CAAC;YACD,OAAO,MAAM,CAAC,UAAU,CACtB,kBAAkB,QAAQ,CAAC,IAAI,mCAAmC,CACnE,CAAA;QACH,CAAC,CAAC,CACH;KACJ,CAAC,CAAA;IACF,MAAM,SAAS,GAA4B,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,GAAG,CACxE,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAY,EAAE,CAAC,CAAC;QACpC,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,SAAS;KACjB,CAAC,CACH,CAAA;IAED,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;IACzD,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAA;IAClC,MAAM,UAAU,GAA4B,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAC/D,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,EACrB,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,CACvB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAA;QACrF,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,OAAO,MAAM,CAAC,IAAI,EAAY,CAAA;QAChC,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,IAAI,SAAS,EAAE,CAAA;QAC3C,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAmB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;QACjF,OAAO,MAAM,CAAC,IAAI,CAAW;YAC3B,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,SAAS;YACf,MAAM;SACP,CAAC,CAAA;IACJ,CAAC,CAAC,CACL,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;IAEhC,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,IAAI;QACJ,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC5C,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC;QACpC,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC;QAClC,KAAK,EAAE,CAAC,GAAG,SAAS,EAAE,GAAG,UAAU,CAAC;KACrC,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,oFAAoF;AACpF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,SAAkB,EAAkC,EAAE,CAC/E,OAAO,SAAS,KAAK,QAAQ;IAC7B,SAAS,KAAK,IAAI;IAClB,MAAM,IAAI,SAAS;IACnB,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAA;AAExF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,SAAgC,EAAqC,EAAE,CACpG,GAAG,CAAC,WAAW,CACb,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CACpC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAuD,EAAE,CAC7E,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CACvD,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAoB,EAA2B,EAAE,CACvE,IAAI,CAAC,OAAO,CAA0B,CAAC,KAAK,EAAE,EAAE;IAC9C,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,SAAS,GAAY,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAA;IAC/C,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,CAAA;IACX,CAAC;IACD,OAAO,GAAG,CAAC,WAAW,CACpB,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,OAAO,CAC9B,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,EAA6C,EAAE,CACpE,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CACzD,CACF,CAAA;AACH,CAAC,CAAC,CAAA"}

package/dist/wireRender.d.ts

@@ -0,0 +1,20 @@
+import { Context, Effect, type ParseResult } from 'effect';
+import { type SlotFill, type Structure, type UiContract } from '@playfast/reform';
+import { type AnyComposition, type AnyScene, type AnySlot, type AnySlotChild, type TriggerRegistryApi, type WireNode, type WireTree } from '@playfast/reform/internal';
+import { type Mounted } from './wireNode.js';
+export interface RenderSceneToWireOptions {
+    readonly register: TriggerRegistryApi['register'];
+}
+export declare const serviceFromContext: <Services, Identifier, Service>(context: Context.Context<Services>, tag: Context.Tag<Identifier, Service>, missing: string) => Effect.Effect<Service, never, never>;
+export declare const capturedSlotProvider: <Services>(context: Context.Context<Services>, slotDefinition: AnySlot) => Effect.Effect<AnySlotChild, never, never>;
+export declare const renderCapturedComposition: <Services>(context: Context.Context<Services>, composition: AnyComposition, props: unknown) => Effect.Effect<Structure<UiContract>, never, never>;
+export declare const enqueueStructureSlot: (parent: Mounted, slotName: string, child: AnyComposition, fill: SlotFill<unknown>) => ReadonlyArray<Mounted>;
+export type SlotProvider<Services> = (slotDefinition: AnySlot) => Effect.Effect<AnySlotChild, never, Services>;
+export declare const collect: <Services>(root: AnyComposition, provideSlot: SlotProvider<Services>) => Effect.Effect<Map<AnySlot, AnyComposition>, never, Services>;
+export type CompositionRenderer<Services> = (composition: AnyComposition, props: unknown) => Effect.Effect<Structure<UiContract>, never, Services>;
+export interface RenderLevel {
+    <Services>(frontier: ReadonlyArray<Mounted>, bindings: ReadonlyMap<AnySlot, AnyComposition>, register: TriggerRegistryApi['register'], render: CompositionRenderer<Services>): Effect.Effect<ReadonlyArray<WireNode>, ParseResult.ParseError, Services>;
+}
+export declare const renderLevel: RenderLevel;
+export declare const renderSceneWith: <SlotServices, CompositionServices>(scene: AnyScene, options: RenderSceneToWireOptions | undefined, provideSlot: SlotProvider<SlotServices>, render: CompositionRenderer<CompositionServices>) => Effect.Effect<WireTree, ParseResult.ParseError, SlotServices | CompositionServices>;
+//# sourceMappingURL=wireRender.d.ts.map

package/dist/wireRender.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wireRender.d.ts","sourceRoot":"","sources":["../src/wireRender.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAiB,KAAK,WAAW,EAAiB,MAAM,QAAQ,CAAA;AACxF,OAAO,EAIL,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,UAAU,EAChB,MAAM,kBAAkB,CAAA;AACzB,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,QAAQ,EACb,KAAK,OAAO,EACZ,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,QAAQ,EACb,KAAK,QAAQ,EACd,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAEL,KAAK,OAAO,EAKb,MAAM,YAAY,CAAA;AAEnB,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAA;CAClD;AAED,eAAO,MAAM,kBAAkB,GAAI,QAAQ,EAAE,UAAU,EAAE,OAAO,EAC9D,SAAS,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAClC,KAAK,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,EACrC,SAAS,MAAM,KACd,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAIlC,CAAA;AAEJ,eAAO,MAAM,oBAAoB,GAAI,QAAQ,EAC3C,SAAS,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAClC,gBAAgB,OAAO,KACtB,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,KAAK,EAAE,KAAK,CAOxC,CAAA;AAEH,eAAO,MAAM,yBAAyB,GAAI,QAAQ,EAChD,SAAS,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAClC,aAAa,cAAc,EAC3B,OAAO,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,KAAK,CAgCjD,CAAA;AAEH,eAAO,MAAM,oBAAoB,GAC/B,QAAQ,OAAO,EACf,UAAU,MAAM,EAChB,OAAO,cAAc,EACrB,MAAM,QAAQ,CAAC,OAAO,CAAC,KACtB,aAAa,CAAC,OAAO,CA6CrB,CAAA;AAEH,MAAM,MAAM,YAAY,CAAC,QAAQ,IAAI,CACnC,cAAc,EAAE,OAAO,KACpB,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;AAEjD,eAAO,MAAM,OAAO,EAAE,CAAC,QAAQ,EAC7B,IAAI,EAAE,cAAc,EACpB,WAAW,EAAE,YAAY,CAAC,QAAQ,CAAC,KAChC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,KAAK,EAAE,QAAQ,CAwB9D,CAAA;AAEF,MAAM,MAAM,mBAAmB,CAAC,QAAQ,IAAI,CAC1C,WAAW,EAAE,cAAc,EAC3B,KAAK,EAAE,OAAO,KACX,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;AAE1D,MAAM,WAAW,WAAW;IAC1B,CAAC,QAAQ,EACP,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,EAChC,QAAQ,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,EAC9C,QAAQ,EAAE,kBAAkB,CAAC,UAAU,CAAC,EACxC,MAAM,EAAE,mBAAmB,CAAC,QAAQ,CAAC,GACpC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAA;CAC5E;AAED,eAAO,MAAM,WAAW,EAAE,WAgCxB,CAAA;AAEF,eAAO,MAAM,eAAe,EAAE,CAAC,YAAY,EAAE,mBAAmB,EAC9D,KAAK,EAAE,QAAQ,EACf,OAAO,EAAE,wBAAwB,GAAG,SAAS,EAC7C,WAAW,EAAE,YAAY,CAAC,YAAY,CAAC,EACvC,MAAM,EAAE,mBAAmB,CAAC,mBAAmB,CAAC,KAC7C,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,UAAU,EAAE,YAAY,GAAG,mBAAmB,CAmBnF,CAAA"}

package/dist/wireRender.js

@@ -0,0 +1,118 @@
+import { Context, Effect, Match, Option, Record as Rec } from 'effect';
+import { Composition, isStructure, } from '@playfast/reform';
+import {} from '@playfast/reform/internal';
+import { childComposition, noRegister, slotsOf, structureFills, toWireNodeFromStructure, } from './wireNode.js';
+export const serviceFromContext = (context, tag, missing) => Option.match(Context.getOption(context, tag), {
+    onNone: () => Effect.dieMessage(missing),
+    onSome: Effect.succeed,
+});
+export const capturedSlotProvider = (context, slotDefinition) => slotDefinition.capture((exact) => serviceFromContext(context, exact.provider, 'reform-remote: scene does not provide a declared slot'));
+export const renderCapturedComposition = (context, composition, props) => composition.capture((exact) => Option.match(exact.parseProps(props), {
+    onNone: () => Effect.dieMessage(`reform-remote: invalid props for composition ${composition.manifest.name}`),
+    onSome: (parsed) => serviceFromContext(context, exact.tag, `reform-remote: scene does not provide composition ${composition.manifest.name}`).pipe(Effect.flatMap((service) => Composition.render(service, {
+        props: parsed,
+        tracker: { add: () => { } },
+    })), Effect.flatMap((frame) => {
+        if (isStructure(frame)) {
+            return Effect.succeed(frame);
+        }
+        return Effect.dieMessage(`reform-remote: composition ${composition.manifest.name} did not return a Structure`);
+    })),
+}));
+export const enqueueStructureSlot = (parent, slotName, child, fill) => Match.value(fill).pipe(Match.tag('Each', (each) => {
+    // Keyed, not positional: a trigger handle embeds the node id, so an id built from
+    // the index silently re-points a handle the client already holds at whatever row
+    // slid into that slot. An accidental duplicate key falls back to the index rather
+    // than minting two nodes with one id.
+    const used = new Set();
+    // The disambiguator is retried rather than assumed free: a key that literally ends
+    // in `#<n>` can already hold the string a later repeat would mint, and two nodes
+    // sharing an id costs a whole row on the wire.
+    const unusedId = (base) => {
+        const attempt = (round) => {
+            const candidate = round === 0 ? base : `${base}#${round}`;
+            return used.has(candidate) ? attempt(round + 1) : candidate;
+        };
+        return attempt(0);
+    };
+    return each.items.map((entry, index) => {
+        const id = unusedId(`${parent.id}.${slotName}.${entry.key ?? index}`);
+        used.add(id);
+        return {
+            comp: child,
+            props: entry.props,
+            id,
+            parentId: Option.some(parent.id),
+            slot: Option.some(slotName),
+            childIndex: index,
+            key: Option.fromNullable(entry.key),
+        };
+    });
+}), Match.tag('One', (single) => [
+    {
+        comp: child,
+        props: single.props,
+        id: `${parent.id}.${slotName}.0`,
+        parentId: Option.some(parent.id),
+        slot: Option.some(slotName),
+        childIndex: 0,
+        key: Option.none(),
+    },
+]), Match.tag('Absent', () => []), Match.exhaustive);
+export const collect = Effect.fn('collect')(function* (root, provideSlot) {
+    const bindings = new Map();
+    // Explicit type keeps the recursive reference cast-free.
+    const walk = Effect.fn('walk')(function* (comp) {
+        yield* Effect.forEach(Rec.values(slotsOf(comp)), (slotClass) => Effect.gen(function* () {
+            if (bindings.has(slotClass)) {
+                return;
+            }
+            const child = childComposition(yield* provideSlot(slotClass));
+            bindings.set(slotClass, child);
+            yield* walk(child);
+        }));
+    });
+    yield* walk(root);
+    return bindings;
+});
+export const renderLevel = Effect.fn('renderLevel')(function* (frontier, bindings, register, render) {
+    if (frontier.length === 0) {
+        return [];
+    }
+    const rendered = yield* Effect.forEach(frontier, (mounted) => Effect.gen(function* () {
+        const frame = yield* render(mounted.comp, mounted.props);
+        const node = yield* toWireNodeFromStructure(mounted, frame, register);
+        const fills = structureFills(frame);
+        const children = Rec.toEntries(slotsOf(mounted.comp)).flatMap(([slotName, slotClass]) => {
+            const child = bindings.get(slotClass);
+            if (child === undefined) {
+                return [];
+            }
+            const fill = fills[slotName];
+            if (fill === undefined) {
+                return [];
+            }
+            return enqueueStructureSlot(mounted, slotName, child, fill);
+        });
+        return { node, children };
+    }));
+    const nodes = rendered.map((entry) => entry.node);
+    const next = rendered.flatMap((entry) => entry.children);
+    const rest = yield* renderLevel(next, bindings, register, render);
+    return [...nodes, ...rest];
+});
+export const renderSceneWith = Effect.fn('renderSceneWith')(function* (scene, options, provideSlot, render) {
+    const register = options?.register ?? noRegister;
+    const bindings = yield* collect(scene.composition, provideSlot);
+    const root = {
+        comp: scene.composition,
+        props: {},
+        id: '0',
+        parentId: Option.none(),
+        slot: Option.none(),
+        childIndex: 0,
+        key: Option.none(),
+    };
+    return yield* renderLevel([root], bindings, register, render);
+});
+//# sourceMappingURL=wireRender.js.map

package/dist/wireRender.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wireRender.js","sourceRoot":"","sources":["../src/wireRender.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAoB,MAAM,IAAI,GAAG,EAAE,MAAM,QAAQ,CAAA;AACxF,OAAO,EACL,WAAW,EAEX,WAAW,GAIZ,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAQN,MAAM,2BAA2B,CAAA;AAClC,OAAO,EACL,gBAAgB,EAEhB,UAAU,EACV,OAAO,EACP,cAAc,EACd,uBAAuB,GACxB,MAAM,YAAY,CAAA;AAMnB,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,OAAkC,EAClC,GAAqC,EACrC,OAAe,EACuB,EAAE,CACxC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE;IAC5C,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC,OAAO;CACvB,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAAkC,EAClC,cAAuB,EACoB,EAAE,CAC7C,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAC/B,kBAAkB,CAChB,OAAO,EACP,KAAK,CAAC,QAAQ,EACd,uDAAuD,CACxD,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAkC,EAClC,WAA2B,EAC3B,KAAc,EACsC,EAAE,CACtD,WAAW,CAAC,OAAO,CACjB,CACE,KAA6C,EACO,EAAE,CACtD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE;IACpC,MAAM,EAAE,GAAG,EAAE,CACX,MAAM,CAAC,UAAU,CACf,gDAAgD,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,CAC5E;IACH,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CACjB,kBAAkB,CAChB,OAAO,EACP,KAAK,CAAC,GAAG,EACT,qDAAqD,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,CACjF,CAAC,IAAI,CACJ,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACzB,WAAW,CAAC,MAAM,CAAO,OAAO,EAAE;QAChC,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE;KAC3B,CAAC,CACH,EACD,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACvB,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC9B,CAAC;QACD,OAAO,MAAM,CAAC,UAAU,CACtB,8BAA8B,WAAW,CAAC,QAAQ,CAAC,IAAI,6BAA6B,CACrF,CAAA;IACH,CAAC,CAAC,CACH;CACJ,CAAC,CACL,CAAA;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,MAAe,EACf,QAAgB,EAChB,KAAqB,EACrB,IAAuB,EACC,EAAE,CAC1B,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACpB,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;IACzB,kFAAkF;IAClF,iFAAiF;IACjF,kFAAkF;IAClF,sCAAsC;IACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,mFAAmF;IACnF,iFAAiF;IACjF,+CAA+C;IAC/C,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE;QACxC,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE;YACxC,MAAM,SAAS,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAA;YACzD,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC7D,CAAC,CAAA;QACD,OAAO,OAAO,CAAC,CAAC,CAAC,CAAA;IACnB,CAAC,CAAA;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAW,EAAE;QAC9C,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,MAAM,CAAC,EAAE,IAAI,QAAQ,IAAI,KAAK,CAAC,GAAG,IAAI,KAAK,EAAE,CAAC,CAAA;QACrE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACZ,OAAO;YACL,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,EAAE;YACF,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAChC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;YAC3B,UAAU,EAAE,KAAK;YACjB,GAAG,EAAE,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC;SACpC,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,EACF,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;IAC3B;QACE,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,EAAE,EAAE,GAAG,MAAM,CAAC,EAAE,IAAI,QAAQ,IAAI;QAChC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC3B,UAAU,EAAE,CAAC;QACb,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE;KACD;CACpB,CAAC,EACF,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAC7B,KAAK,CAAC,UAAU,CACjB,CAAA;AAMH,MAAM,CAAC,MAAM,OAAO,GAGgD,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,EAGhG,IAAoB,EACpB,WAAmC;IAEnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAA;IACnD,yDAAyD;IACzD,MAAM,IAAI,GAAmE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAC5F,QAAQ,CAAC,EAAE,IAAoB;QAC7B,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAC7D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC5B,OAAM;YACR,CAAC;YACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAA;YAC7D,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;YAC9B,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACpB,CAAC,CAAC,CACH,CAAA;IACH,CAAC,CACF,CAAA;IACD,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACjB,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAC,CAAA;AAgBF,MAAM,CAAC,MAAM,WAAW,GAAgB,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,EACxE,QAAgC,EAChC,QAA8C,EAC9C,QAAwC,EACxC,MAAqC;IAErC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CAC3D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;QACxD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,uBAAuB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;QACrE,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;QACnC,MAAM,QAAQ,GAAG,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,EAAE;YACtF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;YACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,EAAE,CAAA;YACX,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,EAAE,CAAA;YACX,CAAC;YACD,OAAO,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QAC7D,CAAC,CAAC,CAAA;QACF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC3B,CAAC,CAAC,CACH,CAAA;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IACxD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;IACjE,OAAO,CAAC,GAAG,KAAK,EAAE,GAAG,IAAI,CAAC,CAAA;AAC5B,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAM1B,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EACpC,KAAe,EACf,OAA6C,EAC7C,WAAuC,EACvC,MAAgD;IAEhD,MAAM,QAAQ,GAAG,OAAO,EAAE,QAAQ,IAAI,UAAU,CAAA;IAChD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,WAAW,CAAC,CAAA;IAC/D,MAAM,IAAI,GAAY;QACpB,IAAI,EAAE,KAAK,CAAC,WAAW;QACvB,KAAK,EAAE,EAAE;QACT,EAAE,EAAE,GAAG;QACP,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE;QACvB,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;QACnB,UAAU,EAAE,CAAC;QACb,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE;KACnB,CAAA;IACD,OAAO,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;AAC/D,CAAC,CAAC,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@playfast/reform-remote",
-  "version": "1.1.0",
+  "version": "1.3.0",
   "description": "Run a reform scene's logic on the server and stream its rendered UI to a thin client over any duplex transport.",
   "keywords": [
     "effect",
@@ -20,15 +20,26 @@
     "directory": "packages/reform-remote"
   },
   "files": [
+    "dist",
     "src",
     "README.md"
   ],
   "type": "module",
   "sideEffects": false,
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
   "exports": {
     "./package.json": "./package.json",
-    ".": "./src/index.ts",
-    "./*": "./src/*.ts"
+    ".": {
+      "playfast-src": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./*": {
+      "playfast-src": "./src/*.ts",
+      "types": "./dist/*.d.ts",
+      "default": "./dist/*.js"
+    }
   },
   "publishConfig": {
     "access": "public"
@@ -36,12 +47,13 @@
   "scripts": {
     "clean": "rm -rf dist .tsbuildinfo",
     "check": "tsc --noEmit",
-    "build": "tsc -p tsconfig.build.json",
+    "build": "rm -rf dist .tsbuildinfo && tsc -p tsconfig.build.json && bun ../../scripts/fix-esm-extensions.ts dist",
     "test": "vitest run",
     "test:watch": "vitest",
     "coverage": "vitest run --coverage",
     "lint": "oxlint src",
-    "lint:fix": "oxlint --fix src"
+    "lint:fix": "oxlint --fix src",
+    "prepack": "bun run build"
   },
   "peerDependencies": {
     "@playfast/reform": "*",

package/src/client-prop-decode.test.ts

@@ -0,0 +1,98 @@
+import { createElement } from 'react'
+import { renderToStaticMarkup } from 'react-dom/server'
+import { expect, test } from 'vitest'
+import { Either, Schema as S } from 'effect'
+import { Ui, ui } from '@playfast/reform'
+import type { WireNode } from '@playfast/reform/internal'
+import { remoteViews, renderWireTree, type RemoteViews } from './client'
+
+/**
+ * Round-4 adversarial audit — the transport-decode fix, sibling half.
+ *
+ * `reform-remote-web/src/transport.ts` moved `decodeServerMessage` from
+ * `Schema.decodeUnknownSync` to `Schema.decodeUnknownOption` so a frame this
+ * client cannot parse costs that frame and nothing else. That fix is sound for
+ * the *envelope*.
+ *
+ * It does not reach the second `decodeUnknownSync` on the same path. The frame
+ * schema types a data prop as `value: Schema.Unknown` (transport.ts, WirePropSchema),
+ * so ANY JSON value passes the envelope decode and is handed to the tree. The
+ * per-view props schema is applied later, in `client.ts`:
+ *
+ *     view: (encoded, slots, events) =>
+ *       exact(Schema.decodeUnknownSync(propsSchema)(encoded), ...)
+ *
+ * and `registered.view(...)` is the return statement of `WireNodeView`, a React
+ * component. A prop the client's schema rejects — version skew against a newer
+ * server, a hostile endpoint, a hand-rolled server — therefore throws out of
+ * React's render phase, where the blast radius is not one node but every sibling
+ * in the tree: with no error boundary React unmounts the whole root.
+ *
+ * The two halves of the same frame path now answer the same untrusted input in
+ * two different ways.
+ */
+
+class AuditItemUi extends ui('audit4.Item', { props: S.Struct({ label: S.String }) }) {}
+
+const AuditItemView = Ui.make(AuditItemUi, ({ label }) =>
+  createElement('span', { 'data-item': label }, label),
+)
+
+const node = (over: Partial<WireNode> & Pick<WireNode, 'id' | 'name'>): WireNode => ({
+  parentId: null,
+  childIndex: 0,
+  slot: null,
+  key: null,
+  props: [],
+  ...over,
+})
+
+type AuditContract = { Item: typeof AuditItemUi }
+
+const views: RemoteViews<AuditContract> = { Item: AuditItemView }
+
+const render = (tree: ReadonlyArray<WireNode>): string =>
+  renderToStaticMarkup(
+    renderWireTree(tree, {
+      views: remoteViews<AuditContract>(views),
+      invoke: () => undefined,
+    }),
+  )
+
+// The frame the server actually put on the wire. `label` is a string on the
+// server's schema and a number here — the plainest form of version skew, and
+// exactly what `WirePropSchema`'s `value: Schema.Unknown` lets through.
+const wellFormed = node({
+  id: 'ok',
+  name: 'audit4.Item',
+  childIndex: 0,
+  props: [{ _tag: 'Data', name: 'label', value: 'still-here' }],
+})
+const skewed = node({
+  id: 'skewed',
+  name: 'audit4.Item',
+  childIndex: 1,
+  props: [{ _tag: 'Data', name: 'label', value: 7 }],
+})
+
+// The render is what is under test, so its outcome is data, not an exception.
+const attempt = (tree: ReadonlyArray<WireNode>): Either.Either<string, unknown> =>
+  Either.try(() => render(tree))
+
+test('a wire prop this client cannot decode costs that node, not the whole render', () => {
+  // CONTROL — the harness renders, the view is registered, and a well-formed
+  // node produces its markup.
+  expect(Either.getOrElse(attempt([wellFormed]), () => '')).toContain('still-here')
+
+  // CONTROL — a node whose NAME this client does not know is already handled the
+  // way the fix asks for: `WireNodeView` returns null for it and its siblings
+  // render. Rejecting a prop is the same class of skew, one field deeper.
+  const unknownView = node({ id: 'unknown', name: 'audit4.NotRegistered', childIndex: 1 })
+  expect(Either.getOrElse(attempt([wellFormed, unknownView]), () => '')).toContain('still-here')
+
+  // THE DEFECT — one node the client's props schema rejects takes the render
+  // down with it, so the sibling that decoded fine is never painted either.
+  const skewedRender = attempt([wellFormed, skewed])
+  expect(Either.isRight(skewedRender)).toBe(true)
+  expect(Either.getOrElse(skewedRender, () => '')).toContain('still-here')
+})