@kestack/kabuki 0.0.0 → 0.0.2

package/dist/core/snapshot/invoke.d.ts

@@ -7,9 +7,8 @@ type Given = {
 };
 export declare const create: (definition: ActorDefinition, id: string, key: string | undefined, { input, props }: Given) => Instance;
 /**
- * Enter the Instance's State: every Child the State writes is Invoked fresh.
- * A Child written at the top lasts through the Transition; then every Child
- * follows the parent's data.
+ * Enter the Instance's State: only the Children written at the top are
+ * kept, and following the parent's data Invokes the State's own fresh.
  */
 export declare const enter: (definition: ActorDefinition, instance: Instance) => Instance;
 export declare const follow: (definition: ActorDefinition, instance: Instance) => Instance;

package/dist/core/snapshot/invoke.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"invoke.d.ts","sourceRoot":"","sources":["../../../src/core/snapshot/invoke.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAGzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAmB9C,6FAA6F;AAC7F,KAAK,KAAK,GAAG;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAMpE,eAAO,MAAM,MAAM,eACL,eAAe,MACvB,MAAM,OACL,MAAM,GAAG,SAAS,oBACL,KAAK,KACtB,QAkBF,CAAC;AAGF;;;;GAIG;AACH,eAAO,MAAM,KAAK,eACJ,eAAe,YACjB,QAAQ,KACjB,QA0BF,CAAC;AAGF,eAAO,MAAM,MAAM,eACL,eAAe,YACjB,QAAQ,KACjB,QAmCF,CAAC"}
+{"version":3,"file":"invoke.d.ts","sourceRoot":"","sources":["../../../src/core/snapshot/invoke.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAGzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAsB9C,6FAA6F;AAC7F,KAAK,KAAK,GAAG;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAKpE,eAAO,MAAM,MAAM,eACL,eAAe,MACvB,MAAM,OACL,MAAM,GAAG,SAAS,oBACL,KAAK,KACtB,QAkBF,CAAC;AAGF;;;GAGG;AACH,eAAO,MAAM,KAAK,eACJ,eAAe,YACjB,QAAQ,KACjB,QAWF,CAAC;AAGF,eAAO,MAAM,MAAM,eACL,eAAe,YACjB,QAAQ,KACjB,QAsDF,CAAC"}

package/dist/core/snapshot/invoke.js

@@ -1,5 +1,5 @@
 import { Equal } from 'effect';
-import { childId, counterOf } from './tree.js';
+import { childId, counterOf, isMany } from './tree.js';
 const SINGLE = { _tag: 'Single' };
 // 1. Create
 export const create = (definition, id, key, { input, props }) => {
@@ -23,65 +23,64 @@ export const create = (definition, id, key, { input, props }) => {
 };
 // 2. Enter
 /**
- * Enter the Instance's State: every Child the State writes is Invoked fresh.
- * A Child written at the top lasts through the Transition; then every Child
- * follows the parent's data.
+ * Enter the Instance's State: only the Children written at the top are
+ * kept, and following the parent's data Invokes the State's own fresh.
  */
 export const enter = (definition, instance) => {
-    const slots = definition.children[instance.state._tag];
-    if (!slots)
-        return { ...instance, children: {} };
-    const invocation = invocationOf(definition, instance);
-    const invoked = { ...instance.invoked };
     const children = {};
-    for (const [slot, { definition: child, many }] of Object.entries(slots)) {
+    for (const slot of Object.keys(definition.children[instance.state._tag] ?? {})) {
         const kept = definition.lasting.includes(slot)
             ? instance.children[slot]
             : undefined;
-        children[slot] =
-            kept ??
-                (many
-                    ? keyedIn(invocation, slot).map((given) => invoke(child, instance.id, slot, given.key, given, invoked))
-                    : invoke(child, instance.id, slot, undefined, givenIn(invocation, slot), invoked));
+        if (kept)
+            children[slot] = kept;
     }
-    return follow(definition, { ...instance, children, invoked });
+    return follow(definition, { ...instance, children });
 };
 // 3. Follow
 export const follow = (definition, instance) => {
     const slots = Object.entries(definition.children[instance.state._tag] ?? {});
     if (slots.length === 0)
         return instance;
-    const invocation = invocationOf(definition, instance);
+    const data = {
+        model: instance.model,
+        state: instance.state,
+        props: instance.props,
+    };
     let invoked;
     let children;
-    for (const [slot, { definition: child, many }] of slots) {
-        if (!many) {
-            const held = instance.children[slot];
-            if (!held)
-                continue;
-            const handed = handedProps(child, held, givenIn(invocation, slot).props);
-            if (handed !== held)
-                (children ??= { ...instance.children })[slot] = handed;
-            continue;
-        }
-        const before = (instance.children[slot] ?? []);
-        const byKey = new Map(before.map((kept) => [kept.key, kept]));
-        const wanted = keyedIn(invocation, slot);
-        let changed = wanted.length !== before.length;
-        const after = wanted.map((given, index) => {
-            const kept = byKey.get(given.key);
+    for (const [slot, { definition: child, kind, keyed, keys, input, props },] of slots) {
+        const many = kind === 'each';
+        const held = instance.children[slot];
+        const before = (held === undefined ? [] : isMany(held) ? held : [held]);
+        const byKey = new Map(before.map((kept) => [kept.key ?? '', kept]));
+        const wanted = keysOf(slot, keys(data));
+        // `each` is always held, as a list even when empty.
+        let changed = wanted.length !== before.length || (many && held === undefined);
+        const after = wanted.map((key, index) => {
+            const kept = byKey.get(key);
             if (kept) {
-                const handed = handedProps(child, kept, given.props);
-                if (before[index] !== handed)
+                const next = handedProps(child, kept, props(data, key));
+                if (before[index] !== next)
                     changed = true;
-                return handed;
+                return next;
             }
             changed = true;
             invoked ??= { ...instance.invoked };
-            return invoke(child, instance.id, slot, given.key, given, invoked);
+            return invoke(child, instance.id, slot, many || keyed ? key : undefined, {
+                input: input(data, key),
+                props: props(data, key),
+            }, invoked);
         });
-        if (changed)
-            (children ??= { ...instance.children })[slot] = after;
+        if (!changed)
+            continue;
+        children ??= { ...instance.children };
+        if (many)
+            children[slot] = after;
+        else if (after[0])
+            children[slot] = after[0];
+        else
+            delete children[slot];
     }
     return children
         ? { ...instance, children, invoked: invoked ?? instance.invoked }
@@ -101,19 +100,13 @@ const invoke = (definition, parent, slot, key, given, invoked) => {
     invoked[counter] = generation;
     return create(definition, childId(parent, slot, key, generation), key, given);
 };
-const invocationOf = (definition, instance) => definition.invoke[instance.state._tag]?.({
-    model: instance.model,
-    state: instance.state,
-    props: instance.props,
-}) ?? {};
-const givenIn = (invocation, slot) => (invocation[slot] ?? {});
-const keyedIn = (invocation, slot) => {
-    const keyed = (invocation[slot] ?? []);
+/** The keys a Condition names, each once. */
+const keysOf = (slot, keys) => {
     const seen = new Set();
-    for (const { key } of keyed) {
+    for (const key of keys) {
         if (seen.has(key))
             throw new Error(`[@kestack/kabuki] ${slot}: key "${key}" is Invoked twice`);
         seen.add(key);
     }
-    return keyed;
+    return keys;
 };

package/dist/core/snapshot/restore.js

@@ -4,8 +4,8 @@ import { counterOf, isMany, slotToward } from './tree.js';
  * saved before. The only Message no Update sees. Before it is put in place,
  * every Instance is checked against its Actor: its ID, its Actor's name, its
  * State, its Model, its Props and its Children's slots, every one its State
- * Invokes and no other; one that does not
- * match is a reason, and the Restore is ignored.
+ * always holds and no other; one that does not match is a reason, and the
+ * Restore is ignored.
  */
 export const RESTORE = '@kestack/kabuki/Restore';
 export const isRestore = (message) => message._tag === RESTORE;
@@ -38,15 +38,16 @@ const check = (definition, instance, key) => {
         return error.message;
     }
     const slots = definition.children[tag] ?? {};
-    for (const slot of Object.keys(slots))
-        if (!(slot in instance.children))
+    for (const [slot, { kind }] of Object.entries(slots))
+        if (kind !== 'while' && !(slot in instance.children))
             return `${id} is in ${tag}, which Invokes "${slot}", but holds no such Child`;
     for (const [slot, held] of Object.entries(instance.children)) {
         const wanted = slots[slot];
         if (!wanted)
             return `${id} has a Child "${slot}" that ${tag} does not Invoke`;
-        if (isMany(held) !== wanted.many)
-            return `${id}'s Child "${slot}" is ${wanted.many ? '' : 'not '}keyed`;
+        const many = wanted.kind === 'each';
+        if (isMany(held) !== many)
+            return `${id}'s Child "${slot}" is ${many ? '' : 'not '}keyed`;
         for (const child of isMany(held) ? held : [held]) {
             if (slotToward(id, child.id) !== slot)
                 return `${child.id} is not under ${id}'s "${slot}"`;
@@ -54,7 +55,7 @@ const check = (definition, instance, key) => {
             const counted = instance.invoked[counterOf(slot, child.key)] ?? 0;
             if (!(generation <= counted))
                 return `${id} has Invoked "${slot}" ${counted} times, but holds ${child.id}`;
-            const reason = check(wanted.definition, child, isMany(held) ? child.key : undefined);
+            const reason = check(wanted.definition, child, isMany(held) || wanted.keyed ? child.key : undefined);
             if (reason !== undefined)
                 return reason;
         }

package/dist/core/snapshot/tree.d.ts

@@ -7,7 +7,7 @@ export declare const counterOf: (slot: string, key: string | undefined) => strin
 export declare const within: (ancestor: string, id: string) => boolean;
 /** The slot under `parent` on the way down to `id`, if `id` is below it. */
 export declare const slotToward: (parent: string, id: string) => string | undefined;
-/** Tells a keyed Child slot from a fixed one in an Instance's Children. */
+/** Tells the list of an `each` Child from one Instance in an Instance's Children. */
 export declare const isMany: (held: Instance | ReadonlyArray<Instance>) => held is ReadonlyArray<Instance>;
 /** One Instance on the way down, with its Actor and the slot it sits in. */
 export interface Step {

package/dist/core/snapshot/tree.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tree.d.ts","sourceRoot":"","sources":["../../../src/core/snapshot/tree.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAcxD,eAAO,MAAM,OAAO,WACV,MAAM,QACR,MAAM,OACP,MAAM,GAAG,SAAS,cACX,MAAM,KACjB,MAC0F,CAAC;AAE9F,+DAA+D;AAC/D,eAAO,MAAM,SAAS,SAAU,MAAM,OAAO,MAAM,GAAG,SAAS,KAAG,MACA,CAAC;AAEnE,8CAA8C;AAC9C,eAAO,MAAM,MAAM,aAAc,MAAM,MAAM,MAAM,KAAG,OACJ,CAAC;AAEnD,4EAA4E;AAC5E,eAAO,MAAM,UAAU,WAAY,MAAM,MAAM,MAAM,KAAG,MAAM,GAAG,SAKhE,CAAC;AAEF,2EAA2E;AAC3E,eAAO,MAAM,MAAM,SACX,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,KACvC,IAAI,IAAI,aAAa,CAAC,QAAQ,CAAwB,CAAC;AAE1D,4EAA4E;AAC5E,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,uFAAuF;AACvF,eAAO,MAAM,MAAM,SACX,eAAe,YACX,QAAQ,MACd,MAAM,KACT,aAAa,CAAC,IAAI,CAAC,GAAG,SAexB,CAAC;AAEF,4HAA4H;AAC5H,eAAO,MAAM,OAAO,SAAU,aAAa,CAAC,IAAI,CAAC,SAAS,QAAQ,KAAG,QAa1D,CAAC;AAEZ,2DAA2D;AAC3D,eAAO,MAAM,UAAU,aACX,QAAQ,MACd,MAAM,KACT,QAAQ,GAAG,SAQb,CAAC;AAEF,wEAAwE;AACxE,eAAO,MAAM,OAAO,SACZ,eAAe,YACX,QAAQ,MACd,MAAM,KACT,eAAe,GAAG,SAC2B,CAAC"}
+{"version":3,"file":"tree.d.ts","sourceRoot":"","sources":["../../../src/core/snapshot/tree.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAcxD,eAAO,MAAM,OAAO,WACV,MAAM,QACR,MAAM,OACP,MAAM,GAAG,SAAS,cACX,MAAM,KACjB,MAC0F,CAAC;AAE9F,+DAA+D;AAC/D,eAAO,MAAM,SAAS,SAAU,MAAM,OAAO,MAAM,GAAG,SAAS,KAAG,MACA,CAAC;AAEnE,8CAA8C;AAC9C,eAAO,MAAM,MAAM,aAAc,MAAM,MAAM,MAAM,KAAG,OACJ,CAAC;AAEnD,4EAA4E;AAC5E,eAAO,MAAM,UAAU,WAAY,MAAM,MAAM,MAAM,KAAG,MAAM,GAAG,SAKhE,CAAC;AAEF,qFAAqF;AACrF,eAAO,MAAM,MAAM,SACX,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,KACvC,IAAI,IAAI,aAAa,CAAC,QAAQ,CAAwB,CAAC;AAE1D,4EAA4E;AAC5E,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,uFAAuF;AACvF,eAAO,MAAM,MAAM,SACX,eAAe,YACX,QAAQ,MACd,MAAM,KACT,aAAa,CAAC,IAAI,CAAC,GAAG,SAexB,CAAC;AAEF,4HAA4H;AAC5H,eAAO,MAAM,OAAO,SAAU,aAAa,CAAC,IAAI,CAAC,SAAS,QAAQ,KAAG,QAa1D,CAAC;AAEZ,2DAA2D;AAC3D,eAAO,MAAM,UAAU,aACX,QAAQ,MACd,MAAM,KACT,QAAQ,GAAG,SAQb,CAAC;AAEF,wEAAwE;AACxE,eAAO,MAAM,OAAO,SACZ,eAAe,YACX,QAAQ,MACd,MAAM,KACT,eAAe,GAAG,SAC2B,CAAC"}

package/dist/core/snapshot/tree.js

@@ -22,7 +22,7 @@ export const slotToward = (parent, id) => {
     const end = rest.search(/[[#]/);
     return end < 0 ? undefined : rest.slice(0, end);
 };
-/** Tells a keyed Child slot from a fixed one in an Instance's Children. */
+/** Tells the list of an `each` Child from one Instance in an Instance's Children. */
 export const isMany = (held) => Array.isArray(held);
 /** The Instances from the root down to `id`, with their Actors; none if it is gone. */
 export const pathTo = (root, snapshot, id) => {

package/dist/react/app.d.ts

@@ -3,6 +3,7 @@ import { Cause } from 'effect';
 import type { Layer } from 'effect';
 import { History } from '../core/index.ts';
 import type { AnyActor, Entry, Needs, SavedHistory, WorkerStatus } from '../core/index.ts';
+import type { LazyView } from './lazy.tsx';
 import type { ViewOf } from './view.tsx';
 type Unmet<A, Provided> = [Exclude<Needs<A>, Provided>] extends [never] ? [] : [unmet: {
     readonly missingCapabilities: Exclude<Needs<A>, Provided>;
@@ -18,6 +19,19 @@ export interface AppOptions {
     readonly name?: string;
     /** A History saved before: the app is first drawn at its Head, and its Runtime carries on from there. */
     readonly saved?: SavedHistory;
+    /**
+     * The root's Input, read once, when the app first makes its History: not
+     * for a saved History, nor one a hot reload left. A function, so it can
+     * read what is only there at that moment, like the browser's URL.
+     */
+    readonly input?: () => unknown;
+    /**
+     * How many entries its History keeps on the Head's Branch; every one by
+     * default. `history.keep` changes it later, and the change is remembered
+     * in the browser under the app's name, so it outlasts a reload and wins
+     * over this.
+     */
+    readonly window?: number | null;
 }
 /** The running app, for code outside the tree: a timeline, a devtool. */
 export interface AppRuntime<A = AnyActor> {
@@ -39,11 +53,24 @@ export interface AppRuntime<A = AnyActor> {
     /** Why the last start, stop or clear failed, also logged; `null` once one succeeds. */
     readonly failure: Cause.Cause<unknown> | null;
 }
-export declare const toReact: <A extends AnyActor, Provided>(actor: A, view: ViewOf<A>, layer: Layer.Layer<Provided, never, never>, options?: AppOptions, ..._unmet: Unmet<A, Provided>) => (({ fallback }: {
-    readonly fallback?: ReactNode;
-}) => import("react").JSX.Element) & {
+export declare const toReact: <A extends AnyActor, Provided>(actor: A, view: ViewOf<A>, layer: Layer.Layer<Provided, never, never>, options?: AppOptions, ..._unmet: Unmet<A, Provided>) => (({ fallback, saved, onLazyView }: AppProps) => import("react").JSX.Element) & {
     displayName: string;
     useRuntime: () => AppRuntime<A>;
 };
+/** What the App component takes. */
+export interface AppProps {
+    /** Drawn while the History is replayed, or a lazy View loaded. */
+    readonly fallback?: ReactNode;
+    /**
+     * A History to draw, given when the App is drawn, so a server draws each
+     * request's own: drawn at its Head with no Runtime, as `options.saved` is.
+     * The first mount in a browser takes it as the app's History and starts
+     * the Runtime from it, unless an app of this name has one already, as
+     * after a hot reload. Read once: a later one is not drawn.
+     */
+    readonly saved?: SavedHistory;
+    /** Told of every lazy View this drawing draws, so a server can preload their code in the page. */
+    readonly onLazyView?: (view: LazyView<AnyActor>) => void;
+}
 export {};
 //# sourceMappingURL=app.d.ts.map

package/dist/react/app.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"app.d.ts","sourceRoot":"","sources":["../../src/react/app.tsx"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AACvC,OAAO,EAAE,KAAK,EAA8B,MAAM,QAAQ,CAAC;AAC3D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,EAAE,OAAO,EAAW,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EACV,QAAQ,EACR,KAAK,EACL,KAAK,EAEL,YAAY,EAEZ,YAAY,EACb,MAAM,kBAAkB,CAAC;AAI1B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAkBzC,KAAK,KAAK,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACnE,EAAE,GACF,CAAC,KAAK,EAAE;IAAE,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;CAAE,CAAC,CAAC;AAE3E,yDAAyD;AACzD,KAAK,IAAI,GAAG,MAAM,GAAG,MAAM,CAAC;AAE5B,MAAM,WAAW,UAAU;IACzB;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,yGAAyG;IACzG,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC;CAC/B;AAED,yEAAyE;AACzE,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,QAAQ;IACtC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7B,kEAAkE;IAClE,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,mDAAmD;IACnD,QAAQ,CAAC,KAAK,EAAE,IAAI,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC;IAC3C,sFAAsF;IACtF,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,KAAK,IAAI,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC;IAC1B,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC;IAC3B,qEAAqE;IACrE,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,aAAa,CAAC,YAAY,CAAC,CAAC;IACpE,uFAAuF;IACvF,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;CAC/C;AAID,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,QAAQ,EAAE,QAAQ,SAC3C,CAAC,QACF,MAAM,CAAC,CAAC,CAAC,SACR,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,YACjC,UAAU,aACR,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,qBAoMK;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;CAAE;;sBAWjD,UAAU,CAAC,CAAC,CAAC;CAqBhC,CAAC"}
+{"version":3,"file":"app.d.ts","sourceRoot":"","sources":["../../src/react/app.tsx"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AACvC,OAAO,EAAE,KAAK,EAA8B,MAAM,QAAQ,CAAC;AAC3D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,EAAE,OAAO,EAAW,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EACV,QAAQ,EACR,KAAK,EACL,KAAK,EAEL,YAAY,EAEZ,YAAY,EACb,MAAM,kBAAkB,CAAC;AAG1B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAG3C,OAAO,KAAK,EAAY,MAAM,EAAE,MAAM,YAAY,CAAC;AAsBnD,KAAK,KAAK,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACnE,EAAE,GACF,CAAC,KAAK,EAAE;IAAE,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;CAAE,CAAC,CAAC;AAE3E,yDAAyD;AACzD,KAAK,IAAI,GAAG,MAAM,GAAG,MAAM,CAAC;AAE5B,MAAM,WAAW,UAAU;IACzB;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,yGAAyG;IACzG,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,OAAO,CAAC;IAC/B;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AAED,yEAAyE;AACzE,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,QAAQ;IACtC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7B,kEAAkE;IAClE,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,mDAAmD;IACnD,QAAQ,CAAC,KAAK,EAAE,IAAI,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC;IAC3C,sFAAsF;IACtF,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,KAAK,IAAI,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC;IAC1B,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC;IAC3B,qEAAqE;IACrE,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,aAAa,CAAC,YAAY,CAAC,CAAC;IACpE,uFAAuF;IACvF,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;CAC/C;AAID,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,QAAQ,EAAE,QAAQ,SAC3C,CAAC,QACF,MAAM,CAAC,CAAC,CAAC,SACR,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,YACjC,UAAU,aACR,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,wCAgQwB,QAAQ;;sBAoB3C,UAAU,CAAC,CAAC,CAAC;CAqBhC,CAAC;AAEF,oCAAoC;AACpC,MAAM,WAAW,QAAQ;IACvB,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;IAC9B;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC;IAC9B,kGAAkG;IAClG,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;CAC1D"}

package/dist/react/app.js

@@ -4,6 +4,7 @@ import { Suspense, use, useEffect, useSyncExternalStore } from 'react';
 import { Cause, Effect, Exit, Fiber, Scope } from 'effect';
 import { History, Runtime } from '../core/index.js';
 import { makeDrawn } from './drawn.js';
+import { LazyContext } from './lazy.js';
 import { registry } from './registry.js';
 import { AppContext } from './view.js';
 const NO_WORKERS = [];
@@ -12,14 +13,42 @@ export const toReact = (actor, view, layer, options = {}, ..._unmet) => {
     const name = options.name ?? actor.definition.name;
     const root = { id: actor.definition.name };
     const app = {};
-    const own = () => options.saved ? History.load(actor, options.saved) : History.make(actor);
+    // 4. Keep
+    const windowKey = `@kestack/kabuki:${name}:window`;
+    /** The Window this app was left with, else the one it is given. */
+    const keptWindow = () => {
+        const stored = readStored(windowKey);
+        if (stored === 'all')
+            return { window: null };
+        const count = Number(stored);
+        if (stored !== undefined && Number.isInteger(count) && count >= 1)
+            return { window: count };
+        return options.window === undefined ? {} : { window: options.window };
+    };
+    let written;
+    const remember = (window) => {
+        if (written === undefined)
+            written = keptWindow().window ?? null;
+        if (window === written)
+            return;
+        written = window;
+        writeStored(windowKey, window === null ? 'all' : `${window}`);
+    };
+    const own = () => options.saved
+        ? History.load(actor, options.saved, keptWindow())
+        : History.make(actor, {
+            ...keptWindow(),
+            ...(options.input ? { input: options.input() } : {}),
+        });
     /** The History an app of this name holds or left, read with this code, else its own. */
     const adopt = () => {
         const left = registry.history(name);
-        return left ? History.load(actor, left.save()) : own();
+        return left
+            ? History.load(actor, left.save(), { window: left.window() })
+            : own();
     };
-    let history;
-    let first;
+    /** The drawing of the app's own History: what the Runtime runs and `useRuntime` reads. */
+    let mine;
     let runtime;
     let shown = null;
     let past;
@@ -31,15 +60,46 @@ export const toReact = (actor, view, layer, options = {}, ..._unmet) => {
         for (const listener of listeners)
             listener();
     };
+    const subscribe = (listener) => {
+        listeners.add(listener);
+        return () => listeners.delete(listener);
+    };
+    /** One History drawn: the app's own, or one given when drawn, which only the app's own Runtime ever runs. */
+    const makeDraw = (history) => {
+        const draw = { history, first: undefined, drawn: undefined };
+        const live = () => shown === null ? (runtime?.snapshot() ?? draw.first?.snapshot) : past;
+        draw.drawn = makeDrawn(() => (draw === mine ? live() : draw.first?.snapshot), () => draw.first?.snapshot, (id, message) => {
+            if (draw === mine && shown === null)
+                runtime?.send(id, message, { kind: 'view', instance: id });
+        }, subscribe, () => draw === mine && shown === null);
+        return draw;
+    };
     let unwatch = () => { };
     const take = (next) => {
         unwatch();
-        history = next;
-        first = undefined;
-        unwatch = next.subscribe(changed);
+        mine = next;
+        const { history } = next;
+        unwatch = history.subscribe(() => {
+            if (typeof shown === 'number' && !history.has(shown))
+                show(history.branch()[0]?.id ?? 'init');
+            remember(history.window());
+            changed();
+        });
         return next;
     };
-    const historyOf = () => history ?? take(adopt());
+    const whose = () => mine;
+    const mineOf = () => mine ?? take(makeDraw(adopt()));
+    const historyOf = () => mineOf().history;
+    /** The drawing of a History given when drawn, one per saved History, so a draw that suspends finds it again. */
+    const given = new WeakMap();
+    const givenOf = (saved) => {
+        let draw = given.get(saved);
+        if (!draw)
+            given.set(saved, (draw = makeDraw(History.load(actor, saved, keptWindow()))));
+        return draw;
+    };
+    /** Until the app has a History of its own, a given one is drawn as it is. */
+    const takesGiven = (saved) => saved !== undefined && mounts === 0 && !registry.history(name);
     /** What came of a start, stop or clear: an interruption is a newer one taking over, not a failure. */
     const settled = (what) => (exit) => {
         if (Exit.isSuccess(exit)) {
@@ -56,52 +116,51 @@ export const toReact = (actor, view, layer, options = {}, ..._unmet) => {
         changed();
     };
     // 1. Draw
-    /** Start replaying the History to its Head, once: what the app draws before its Runtime starts. */
-    const firstDraw = () => {
-        if (first)
-            return first;
-        const from = historyOf();
-        const draw = { snapshot: undefined, replaying: undefined };
-        draw.replaying =
-            from.head() === null
-                ? fulfilled((draw.snapshot = from.snapshotAt(null)))
+    /**
+     * Start replaying a History to its Head, once: what the app draws before
+     * its Runtime starts. Init, or one entry such as a Restore, is drawn at
+     * once; a longer Branch is replayed without blocking the page.
+     */
+    const firstDraw = (draw) => {
+        if (draw.first)
+            return draw.first;
+        const from = draw.history;
+        const head = from.head();
+        const first = { snapshot: undefined, replaying: undefined };
+        first.replaying =
+            head === null || from.branch(head).length <= 1
+                ? fulfilled((first.snapshot = from.snapshotAt(head)))
                 : tracked(Effect.runPromise(from.seek()).then((snapshot) => {
-                    draw.snapshot = snapshot;
+                    first.snapshot = snapshot;
                     changed();
                     return snapshot;
                 }));
-        return (first = draw);
+        return (draw.first = first);
     };
     /** Before the Runtime starts, wait for the first Snapshot: React shows the fallback until it is replayed. */
-    const waitForFirstDraw = () => {
-        const { snapshot, replaying } = firstDraw();
+    const waitForFirstDraw = (draw) => {
+        const { snapshot, replaying } = firstDraw(draw);
         if (!snapshot)
             use(replaying);
     };
-    const snapshot = () => shown === null ? (runtime?.snapshot() ?? first?.snapshot) : past;
-    const drawn = makeDrawn(snapshot, () => first?.snapshot, (id, message) => {
-        if (shown === null)
-            runtime?.send(id, message, { kind: 'view', instance: id });
-    }, (listener) => {
-        listeners.add(listener);
-        return () => listeners.delete(listener);
-    });
     // 2. Mount
     let mounts = 0;
     let close = () => { };
     let unsubscribe = () => { };
-    const mount = () => {
+    const mount = (saved) => {
+        if (takesGiven(saved))
+            take(givenOf(saved));
         if (mounts++ === 0) {
             if (!registry.claim(name, app, historyOf())) {
                 console.error(`[@kestack/kabuki] two apps named ${name} are mounted at once; they cannot share a History`);
-                take(own());
+                take(makeDraw(own()));
                 changed();
             }
             let open = true;
             close = () => {
                 open = false;
             };
-            firstDraw().replaying.then(() => {
+            firstDraw(mineOf()).replaying.then(() => {
                 if (!open)
                     return;
                 close = host(historyOf(), layer, (exit) => {
@@ -158,19 +217,24 @@ export const toReact = (actor, view, layer, options = {}, ..._unmet) => {
         shown,
         failure,
     });
-    const Drawn = () => {
-        if (!runtime)
-            waitForFirstDraw();
-        return (_jsx(AppContext, { value: drawn, children: _jsx(RootView, { instance: root }) }));
+    const Drawn = ({ draw }) => {
+        if (!runtime || draw !== mine)
+            waitForFirstDraw(draw);
+        return (_jsx(AppContext, { value: draw.drawn, children: _jsx(RootView, { instance: root }) }));
     };
-    const App = ({ fallback = null }) => {
-        useEffect(mount, []);
-        return (_jsx(Suspense, { fallback: fallback, children: _jsx(Drawn, {}) }));
+    const App = ({ fallback = null, saved, onLazyView }) => {
+        // The History given is read once, at the first mount, like `input`.
+        useEffect(() => mount(saved), []);
+        // Drawn again when the app takes another History of its own.
+        useSyncExternalStore(subscribe, whose, whose);
+        const draw = takesGiven(saved) ? givenOf(saved) : mineOf();
+        const drawn = (_jsx(Suspense, { fallback: fallback, children: _jsx(Drawn, { draw: draw }) }));
+        return onLazyView ? (_jsx(LazyContext, { value: onLazyView, children: drawn })) : (drawn);
     };
     return Object.assign(App, {
         displayName: name,
         useRuntime: () => {
-            const { head, running, shown, failure } = useSyncExternalStore(drawn.subscribe, read, read);
+            const { head, running, shown, failure } = useSyncExternalStore(subscribe, read, read);
             return {
                 history: historyOf(),
                 branch: historyOf().branch(head),
@@ -212,3 +276,18 @@ const host = (history, layer, onSettled) => {
         void Effect.runPromise(Fiber.interrupt(starting).pipe(Effect.andThen(Scope.close(scope, Exit.void))));
     };
 };
+/** A value kept in the browser, or nothing: on a server, or where storage is refused. */
+const readStored = (key) => {
+    try {
+        return globalThis.localStorage?.getItem(key) ?? undefined;
+    }
+    catch {
+        return undefined;
+    }
+};
+const writeStored = (key, value) => {
+    try {
+        globalThis.localStorage?.setItem(key, value);
+    }
+    catch { }
+};

package/dist/react/drawn.d.ts

@@ -1,4 +1,4 @@
 import type { Snapshot, Tagged } from '../core/index.ts';
 import type { DrawnApp } from './view.tsx';
-export declare const makeDrawn: (drawn: () => Snapshot | undefined, served: () => Snapshot | undefined, deliver: (id: string, message: Tagged) => void, subscribe: DrawnApp['subscribe']) => DrawnApp;
+export declare const makeDrawn: (drawn: () => Snapshot | undefined, served: () => Snapshot | undefined, deliver: (id: string, message: Tagged) => void, subscribe: DrawnApp['subscribe'], live?: () => boolean) => DrawnApp;
 //# sourceMappingURL=drawn.d.ts.map

package/dist/react/drawn.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"drawn.d.ts","sourceRoot":"","sources":["../../src/react/drawn.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAsB,QAAQ,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,KAAK,EAAY,QAAQ,EAAU,MAAM,YAAY,CAAC;AAW7D,eAAO,MAAM,SAAS,UACb,MAAM,QAAQ,GAAG,SAAS,UACzB,MAAM,QAAQ,GAAG,SAAS,WACzB,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,aACnC,QAAQ,CAAC,WAAW,CAAC,KAC/B,QA0FF,CAAC"}
+{"version":3,"file":"drawn.d.ts","sourceRoot":"","sources":["../../src/react/drawn.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAsB,QAAQ,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,KAAK,EAAY,QAAQ,EAAU,MAAM,YAAY,CAAC;AAW7D,eAAO,MAAM,SAAS,UACb,MAAM,QAAQ,GAAG,SAAS,UACzB,MAAM,QAAQ,GAAG,SAAS,WACzB,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,aACnC,QAAQ,CAAC,WAAW,CAAC,SAC1B,MAAM,OAAO,KAClB,QA2FF,CAAC"}

package/dist/react/drawn.js

@@ -8,7 +8,7 @@ import { instanceAt, isMany } from '../core/index.js';
  * started cannot Send. What it keeps for an Instance is let go once the
  * Instance is in neither Snapshot.
  */
-export const makeDrawn = (drawn, served, deliver, subscribe) => {
+export const makeDrawn = (drawn, served, deliver, subscribe, live = () => true) => {
     const handles = new Map();
     const sends = new Map();
     const cache = new Map();
@@ -74,6 +74,7 @@ export const makeDrawn = (drawn, served, deliver, subscribe) => {
     };
     return {
         subscribe,
+        live,
         instance: (id) => {
             prune();
             return propsIn(cache, drawn(), id);

package/dist/react/index.d.ts

@@ -1,7 +1,10 @@
 export { toReact } from './app.tsx';
 export { View } from './view.tsx';
 export { useChild, useChildren } from './child.ts';
+export { useLive } from './live.ts';
 export type { Handle, Root, ViewOf, ViewProps } from './view.tsx';
 export type { ChildData } from './child.ts';
 export type { AppOptions, AppRuntime } from './app.tsx';
+export { lazyOf } from './lazy.tsx';
+export type { LazyView } from './lazy.tsx';
 //# sourceMappingURL=index.d.ts.map

package/dist/react/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/react/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACnD,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAClE,YAAY,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/react/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAClE,YAAY,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACpC,YAAY,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC"}

package/dist/react/index.js

@@ -1,3 +1,5 @@
 export { toReact } from './app.js';
 export { View } from './view.js';
 export { useChild, useChildren } from './child.js';
+export { useLive } from './live.js';
+export { lazyOf } from './lazy.js';

package/dist/react/lazy.d.ts

@@ -0,0 +1,30 @@
+import type { AnyActor } from '../core/index.ts';
+import type { ViewOf } from './view.tsx';
+/** A View whose code is loaded when it is first drawn, or preloaded. */
+export type LazyView<A> = ViewOf<A> & {
+    /** What the View is known by across server and browser, if it was given one: its module, for Start. */
+    readonly id: string | undefined;
+    /** Load its code now; resolves once it is loaded, at once if it already is. */
+    readonly preload: () => Promise<void>;
+    /** Whether its code is loaded, so drawing it does not suspend. */
+    readonly loaded: boolean;
+};
+export interface LazyOptions {
+    /** What the View is known by across server and browser: Start's Vite plugin gives its module's id. */
+    readonly id?: string;
+}
+/** Told of each lazy View a drawing draws; given by the App's `onLazyView`. */
+export declare const LazyContext: import("react").Context<((view: LazyView<AnyActor>) => void) | undefined>;
+/** The lazy View made for `actor`, if one was: to load its code before it is drawn. */
+export declare const lazyOf: (actor: AnyActor) => LazyView<AnyActor> | undefined;
+/**
+ * A View of `actor` loaded when first drawn: `load` imports a module whose
+ * default export is the View, made with `View.make`. The Actor is named here
+ * so the View can be found by it, and preloaded, before its code is there.
+ */
+export declare const lazy: <A extends AnyActor>(actor: A, load: () => Promise<{
+    readonly default: ViewOf<A>;
+}>, options?: LazyOptions) => LazyView<A>;
+/** Preload every lazy View made with one of these ids; an id no lazy View was made with is skipped. */
+export declare const preload: (ids: Iterable<string>) => Promise<void>;
+//# sourceMappingURL=lazy.d.ts.map

package/dist/react/lazy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lazy.d.ts","sourceRoot":"","sources":["../../src/react/lazy.tsx"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAoBzC,wEAAwE;AACxE,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG;IACpC,uGAAuG;IACvG,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,+EAA+E;IAC/E,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IACtC,kEAAkE;IAClE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF,MAAM,WAAW,WAAW;IAC1B,sGAAsG;IACtG,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,+EAA+E;AAC/E,eAAO,MAAM,WAAW,kCACd,QAAQ,CAAC,QAAQ,CAAC,KAAK,IAAI,cACzB,CAAC;AAKb,uFAAuF;AACvF,eAAO,MAAM,MAAM,UAAW,QAAQ,KAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,SAC/B,CAAC;AAQhC;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,QAAQ,SAC9B,CAAC,QACF,MAAM,OAAO,CAAC;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC,YAC3C,WAAW,KACnB,QAAQ,CAAC,CAAC,CAkCZ,CAAC;AAEF,uGAAuG;AACvG,eAAO,MAAM,OAAO,QAAe,QAAQ,CAAC,MAAM,CAAC,KAAG,OAAO,CAAC,IAAI,CAQjE,CAAC"}