@kestack/kabuki 0.0.0-stage → 0.0.1

package/dist/core/actor/types.d.ts

@@ -0,0 +1,295 @@
+import type { Context, Effect, Layer, Scope, Stream } from 'effect';
+export type Tagged = {
+    readonly _tag: string;
+};
+/** The one State of an Actor declared without States. */
+export type Single = {
+    readonly _tag: 'Single';
+};
+type AnyKey = Context.Key<any, any>;
+/** The Capabilities an Actor's own code may use. */
+export type Requires = ReadonlyArray<AnyKey>;
+type IdsOf<R extends Requires> = R[number] extends infer K ? K extends Context.Key<infer I, any> ? I : never : never;
+export type Only<U, T> = Extract<U, {
+    readonly _tag: T;
+}>;
+/** An Instance's data at one moment: its own Model and State, and the Props its parent hands it. */
+export type Data<Model, State, Props = void> = {
+    readonly model: Model;
+    readonly state: State;
+    /** What the parent hands it now. Read only: a change runs none of its rules. */
+    readonly props: Props;
+};
+/**
+ * What an Instance's own work holds of it: Workers and Provides. Sends go
+ * only to this Instance; `get` and `changes` are always current.
+ */
+export interface Self<Model, State, Msg, Props = void> {
+    readonly id: string;
+    readonly send: (message: Msg) => Effect.Effect<void>;
+    readonly get: Effect.Effect<Data<Model, State, Props>>;
+    /** The current data, then each new value after a Message or the parent changes it. */
+    readonly changes: Stream.Stream<Data<Model, State, Props>>;
+    /**
+     * The app's Time now, in milliseconds since the Runtime started: the clock
+     * Messages are stamped with, which stands still while stopped. A Worker
+     * that waits until a Time in the Model sleeps for `that - now`, so it waits
+     * only what is left when it starts again on a resume or a fork.
+     */
+    readonly now: Effect.Effect<number>;
+}
+/** Where a Command keeps the Effect it runs, out of sight of a comparison. */
+export declare const RUN: unique symbol;
+/**
+ * An errand an Update asks for, as `Command.make` makes it: its name and
+ * args, and the Effect that ends with at most one Message, Sent to its
+ * Instance. Nothing stops it but its Instance stopping; work that must be
+ * stopped, show progress or survive a stop is a Worker.
+ */
+export interface Command<Out, Ids = never> {
+    readonly name: string;
+    readonly args: unknown;
+    readonly [RUN]: Effect.Effect<Out, never, Ids>;
+}
+/** The Updates of one level, by Message tag. */
+type Rules<Model, State, Props, Msg extends Tagged, R extends Requires, Next> = {
+    readonly [K in Msg['_tag']]?: (message: Only<Msg, K>, scope: Data<Model, State, Props> & {
+        /** The Message's Time, in milliseconds since the Runtime started. */
+        readonly at: number;
+    }) => {
+        readonly model?: Model;
+        readonly state?: Next;
+        /** The Commands to run, concurrently. */
+        readonly command?: Command<Msg | void, IdsOf<R>> | ReadonlyArray<Command<Msg | void, IdsOf<R>>>;
+    };
+};
+/** A Worker's Effect: scoped, Sending its Instance, given the key it runs for. */
+type Run<Model, State, Props, Msg, R extends Requires> = (self: Self<Model, State, Msg, Props>, key: string) => Effect.Effect<unknown, never, IdsOf<R> | Scope.Scope>;
+/**
+ * Work that runs for exactly as long as its Condition holds, read from the
+ * Instance's own data, Props included, whenever it changes. Where it is
+ * written is part of the Condition: at the top it is owned by the Instance,
+ * in a State's block by that State. Inside that, it runs always, `while` a test is true, or once
+ * per key `each` names. When the Condition stops holding, its Scope closes.
+ */
+export type Worker<Model, State, Msg, R extends Requires, Props = void> = {
+    readonly while?: never;
+    readonly each?: never;
+    readonly run: Run<Model, State, Props, Msg, R>;
+} | {
+    readonly while: (data: Data<Model, State, Props>) => boolean;
+    readonly each?: never;
+    readonly run: Run<Model, State, Props, Msg, R>;
+} | {
+    readonly while?: never;
+    readonly each: (data: Data<Model, State, Props>) => ReadonlyArray<string>;
+    readonly run: Run<Model, State, Props, Msg, R>;
+};
+/** Every Worker of one level, by name. */
+export type Workers<Model, State, Msg, R extends Requires, Props = void> = Readonly<Record<string, Worker<Model, State, Msg, R, Props>>>;
+/** A keyed Child: one Instance of `actor` per key the parent Invokes. */
+export interface Many<A extends AnyActor> {
+    readonly _tag: 'Many';
+    readonly actor: A;
+}
+export type Slot = AnyActor | Many<AnyActor>;
+export type Children = Readonly<Record<string, Slot>>;
+export type ActorOf<S> = S extends Many<infer A> ? A : S;
+/** What a parent hands one Child: its Input, read once, and its Props, read live. Each is required once the Child declares it. */
+type Given<A> = ([Types<A>['input']] extends [void] ? {
+    readonly input?: Types<A>['input'];
+} : {
+    readonly input: Types<A>['input'];
+}) & ([Types<A>['props']] extends [void] ? {
+    readonly props?: Types<A>['props'];
+} : {
+    readonly props: Types<A>['props'];
+});
+type ManyKeys<C> = {
+    [K in keyof C]: C[K] extends Many<any> ? K : never;
+}[keyof C];
+type NeedKeys<C> = {
+    [K in keyof C]: C[K] extends Many<any> ? never : {} extends Given<C[K]> ? never : K;
+}[keyof C];
+type FreeKeys<C> = Exclude<keyof C, ManyKeys<C> | NeedKeys<C>>;
+/** What a level Invokes: the key, Input and Props of each keyed Child, and the Input and Props of each fixed one. */
+export type Invocation<C> = {
+    readonly [K in ManyKeys<C>]: ReadonlyArray<{
+        readonly key: string;
+    } & Given<ActorOf<C[K]>>>;
+} & {
+    readonly [K in NeedKeys<C>]: Given<C[K]>;
+} & {
+    readonly [K in FreeKeys<C>]?: Given<C[K]>;
+};
+/** The Children a level, as written, Invokes. */
+type KidsOf<L> = L extends {
+    readonly children: infer C;
+} ? C : {};
+/** `invoke` is required once a level has a Child that needs keys or Input. */
+type InvokePart<Model, State, Props, C> = {} extends Invocation<C> ? {
+    readonly invoke?: (data: Data<Model, State, Props>) => Invocation<C>;
+} : {
+    readonly invoke: (data: Data<Model, State, Props>) => Invocation<C>;
+};
+/**
+ * One level of an Actor's behavior: the top, for as long as the Instance
+ * lives, or one State's block, for as long as that State lasts. `L` is the
+ * level as written, so `invoke` is checked against the `children` beside it.
+ */
+type Level<Model, State, Props, Msg extends Tagged, R extends Requires, Next, L> = {
+    /** The Capabilities this level gives everything below it, as one Layer. */
+    readonly provides?: (self: Self<Model, State, Msg, Props>) => Layer.Layer<any, never, IdsOf<R>>;
+    readonly children?: Children;
+    /** The Updates: per Message, the next Model and State and the Commands. */
+    readonly on?: Rules<Model, State, Props, Msg, R, Next>;
+    readonly workers?: Workers<Model, State, Msg, R, Props>;
+} & InvokePart<Model, State, Props, KidsOf<L>>;
+type ModelInit<Model> = {} extends Model ? {
+    readonly model?: Model;
+} : {
+    readonly model: Model;
+};
+/** The block written for State `T`, if any. */
+type BlockOf<B, T extends PropertyKey> = B extends {
+    readonly state: {
+        readonly [K in T]: infer L;
+    };
+} ? L : {};
+/** An Actor declared without a `state` Schema has one State, and no State blocks. */
+export type IsSingle<State> = [State] extends [Single] ? true : false;
+/**
+ * How an Actor is built. `B` is the behavior as written: each level's
+ * `invoke` is checked against its own `children`, and what the levels
+ * Provide and Invoke becomes the Actor's type.
+ */
+export type Behavior<Input, Props, Model, State extends Tagged, Msg extends Tagged, R extends Requires, B> = IsSingle<State> extends true ? Level<Model, Single, Props, Msg, R, never, B> & {
+    readonly state?: never;
+} & ([Input] extends [void] ? {} extends Model ? {
+    readonly init?: (input: Input) => ModelInit<Model>;
+} : {
+    readonly init: (input: Input) => ModelInit<Model>;
+} : {
+    readonly init: (input: Input) => ModelInit<Model>;
+}) : Level<Model, State, Props, Msg, R, State, B> & {
+    /** The first Model and State, from the Input. */
+    readonly init: (input: Input) => {
+        readonly state: State;
+    } & ModelInit<Model>;
+    /** One block per State, holding only while it lasts. */
+    readonly state?: {
+        readonly [T in State['_tag']]?: Level<Model, Only<State, T>, Props, Msg, R, State, BlockOf<B, T>>;
+    };
+};
+/** The Capabilities a level's `provides` builds. */
+type ProvidedOf<L> = L extends {
+    readonly provides: (...args: any) => Layer.Layer<infer P, any, any>;
+} ? P : never;
+type OpenOf<A> = A extends Actor<any, any, any, any, any, any, any, infer O> ? O : never;
+/** What the Children of a level still need from above. */
+type KidsOpen<C> = {
+    [K in keyof C]: OpenOf<ActorOf<C[K]>>;
+}[keyof C];
+/**
+ * What an Actor still needs from above: its own Requires, and whatever its
+ * Children need that is not Provided where they are placed. A Child's needs
+ * bubble up until something Provides them; the app's Layer covers the rest.
+ */
+export type OpenOfBehavior<R extends Requires, B> = IdsOf<R> | Exclude<KidsOpen<KidsOf<B>>, ProvidedOf<B>> | (B extends {
+    readonly state: infer S;
+} ? {
+    [T in keyof S]: Exclude<KidsOpen<KidsOf<S[T]>>, ProvidedOf<B> | ProvidedOf<S[T]>>;
+}[keyof S] : never);
+/** The Children per State tag, top-level ones in every State, for Views. */
+export type KidsByState<State extends Tagged, B> = {
+    readonly [T in State['_tag']]: KidsOf<B> & KidsOf<BlockOf<B, T>>;
+};
+/** Throws unless a value matches one of an Actor's Schemas; `what` names it in the error. */
+export type Check = (value: unknown, what: string) => void;
+/** One of an Actor's Schemas, to save a value as its encoded side and read it back. Both throw on a mismatch; without a Schema, both give the value. */
+export interface Encoding {
+    readonly encode: (value: unknown) => unknown;
+    readonly decode: (value: unknown) => unknown;
+}
+/** One Child slot, as the engine sees it. */
+export interface SlotDefinition {
+    readonly definition: ActorDefinition;
+    readonly many: boolean;
+}
+/** One Worker, as the engine sees it: which keys its Condition names, and what runs for each. */
+export interface WorkerDefinition {
+    /** `state` for a Worker that runs always in its State's block. */
+    readonly kind: 'instance' | 'state' | 'while' | 'each';
+    /** The State whose block it is written in; none for a top-level Worker. */
+    readonly state?: string;
+    /** The keys the Condition names for this data; `''` for the one Worker of the other kinds. */
+    readonly keys: (data: Data<unknown, Tagged, unknown>) => ReadonlyArray<string>;
+    readonly run: Function;
+}
+/** The plain definition the engine works from; an Actor without States is keyed by its one State. */
+export interface ActorDefinition {
+    readonly name: string;
+    /** Every State it can be in, by tag: the ones its State Schema names. */
+    readonly states: ReadonlyArray<string>;
+    readonly requires: Requires;
+    /** Throw unless a value matches the Actor's Schema for it. */
+    readonly check: {
+        readonly input: Check;
+        readonly props: Check;
+        readonly model: Check;
+        readonly state: Check;
+        readonly message: Check;
+    };
+    /** The Schemas a saved History is written and read with: what it holds of an Instance, and its Messages. */
+    readonly encoding: {
+        readonly props: Encoding;
+        readonly model: Encoding;
+        readonly state: Encoding;
+        readonly message: Encoding;
+    };
+    readonly init: (input: unknown) => {
+        readonly model?: unknown;
+        readonly state?: Tagged;
+    };
+    /** The Updates by State tag, and the top-level ones under `'*'`. */
+    readonly update: Readonly<Record<string, Readonly<Record<string, Function | undefined>> | undefined>>;
+    readonly workers: Readonly<Record<string, WorkerDefinition>>;
+    /** The top-level Provide, built once when the Instance starts. */
+    readonly provides: Function | undefined;
+    /** Each State's Provide, built each time it is entered. */
+    readonly stateProvides: Readonly<Record<string, Function | undefined>>;
+    /** The Children of each State: the top-level ones, then the State's own. */
+    readonly children: Readonly<Record<string, Readonly<Record<string, SlotDefinition>> | undefined>>;
+    /** The slots written at the top: they last as long as the Instance. */
+    readonly lasting: ReadonlyArray<string>;
+    /** What each State Invokes, the top-level Invocation included. */
+    readonly invoke: Readonly<Record<string, Function | undefined>>;
+}
+declare const types: unique symbol;
+export interface Actor<out Name extends string, out Input, out Props, out Model, out State extends Tagged, out Msg extends Tagged, out Kids, out Needs> {
+    readonly name: Name;
+    readonly definition: ActorDefinition;
+    readonly [types]?: {
+        readonly input: Input;
+        readonly props: Props;
+        readonly model: Model;
+        readonly state: State;
+        readonly message: Msg;
+        readonly children: Kids;
+        readonly open: Needs;
+    };
+}
+export type AnyActor = Actor<string, any, any, any, any, any, any, any>;
+/** Everything an Actor's types say, for the Runtime and Views. */
+export type Types<A> = A extends Actor<any, infer Input, infer Props, infer Model, infer State, infer Msg, infer Kids, infer Needs> ? {
+    input: Input;
+    props: Props;
+    model: Model;
+    state: State;
+    message: Msg;
+    /** Slots per State tag. */
+    children: Kids;
+    open: Needs;
+} : never;
+export {};
+//# sourceMappingURL=types.d.ts.map

package/dist/core/actor/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/actor/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEpE,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/C,yDAAyD;AACzD,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEjD,KAAK,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AACpC,oDAAoD;AACpD,MAAM,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;AAE7C,KAAK,KAAK,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACtD,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GACjC,CAAC,GACD,KAAK,GACP,KAAK,CAAC;AAEV,MAAM,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AAE1D,oGAAoG;AACpG,MAAM,MAAM,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI,IAAI;IAC7C,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,gFAAgF;IAChF,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,IAAI;IACnD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACvD,sFAAsF;IACtF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC3D;;;;;OAKG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACrC;AAED,8EAA8E;AAC9E,eAAO,MAAM,GAAG,EAAE,OAAO,MAAkD,CAAC;AAE5E;;;;;GAKG;AACH,MAAM,WAAW,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,KAAK;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;CAChD;AAED,gDAAgD;AAChD,KAAK,KAAK,CACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,GAAG,SAAS,MAAM,EAClB,CAAC,SAAS,QAAQ,EAClB,IAAI,IACF;IACF,QAAQ,EAAE,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAC5B,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EACrB,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG;QACjC,qEAAqE;QACrE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;KACrB,KACE;QACH,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;QACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;QACtB,yCAAyC;QACzC,QAAQ,CAAC,OAAO,CAAC,EACb,OAAO,CAAC,GAAG,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAC7B,aAAa,CAAC,OAAO,CAAC,GAAG,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAClD;CACF,CAAC;AAEF,kFAAkF;AAClF,KAAK,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS,QAAQ,IAAI,CACvD,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,EACpC,GAAG,EAAE,MAAM,KACR,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;AAE3D;;;;;;GAMG;AACH,MAAM,MAAM,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS,QAAQ,EAAE,KAAK,GAAG,IAAI,IAClE;IACE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CAChD,GACD;IACE,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,OAAO,CAAC;IAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CAChD,GACD;IACE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,aAAa,CAAC,MAAM,CAAC,CAAC;IAC1E,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CAChD,CAAC;AAEN,0CAA0C;AAC1C,MAAM,MAAM,OAAO,CACjB,KAAK,EACL,KAAK,EACL,GAAG,EACH,CAAC,SAAS,QAAQ,EAClB,KAAK,GAAG,IAAI,IACV,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAIlE,yEAAyE;AACzE,MAAM,WAAW,IAAI,CAAC,CAAC,SAAS,QAAQ;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;CACnB;AAED,MAAM,MAAM,IAAI,GAAG,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;AAC7C,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAEtD,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEzD,kIAAkI;AAClI,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC/C;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;CAAE,GACtC;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;CAAE,CAAC,GACxC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC/B;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;CAAE,GACtC;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;CAAE,CAAC,CAAC;AAE7C,KAAK,QAAQ,CAAC,CAAC,IAAI;KAChB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK;CACnD,CAAC,MAAM,CAAC,CAAC,CAAC;AACX,KAAK,QAAQ,CAAC,CAAC,IAAI;KAChB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,GAAG,CAAC,GAClC,KAAK,GACL,EAAE,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACpB,KAAK,GACL,CAAC;CACR,CAAC,MAAM,CAAC,CAAC,CAAC;AACX,KAAK,QAAQ,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/D,qHAAqH;AACrH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAC1B,QAAQ,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,aAAa,CACxC;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAChD;CACF,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;IACjD,QAAQ,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC1C,CAAC;AAIF,iDAAiD;AACjD,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,EAAE,CAAC;AAEnE,8EAA8E;AAC9E,KAAK,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,IACpC,EAAE,SAAS,UAAU,CAAC,CAAC,CAAC,GACpB;IACE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC;CACtE,GACD;IACE,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC;CACrE,CAAC;AAER;;;;GAIG;AACH,KAAK,KAAK,CACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,GAAG,SAAS,MAAM,EAClB,CAAC,SAAS,QAAQ,EAClB,IAAI,EACJ,CAAC,IACC;IACF,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAClB,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KACjC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,2EAA2E;IAC3E,QAAQ,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACvD,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;CACzD,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/C,KAAK,SAAS,CAAC,KAAK,IAAI,EAAE,SAAS,KAAK,GACpC;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAE9B,+CAA+C;AAC/C,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS;IACjD,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;KAAE,CAAC;CAChD,GACG,CAAC,GACD,EAAE,CAAC;AAEP,qFAAqF;AACrF,MAAM,MAAM,QAAQ,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEtE;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAClB,KAAK,EACL,KAAK,EACL,KAAK,EACL,KAAK,SAAS,MAAM,EACpB,GAAG,SAAS,MAAM,EAClB,CAAC,SAAS,QAAQ,EAClB,CAAC,IAED,QAAQ,CAAC,KAAK,CAAC,SAAS,IAAI,GACxB,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG;IAC9C,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;CACxB,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,GACrB,EAAE,SAAS,KAAK,GACd;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC,CAAA;CAAE,CAAC,GAC5D,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG;IAC7C,iDAAiD;IACjD,QAAQ,CAAC,IAAI,EAAE,CACb,KAAK,EAAE,KAAK,KACT;QAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;KAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAClD,wDAAwD;IACxD,QAAQ,CAAC,KAAK,CAAC,EAAE;QACf,QAAQ,EAAE,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CACnC,KAAK,EACL,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EACd,KAAK,EACL,GAAG,EACH,CAAC,EACD,KAAK,EACL,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CACd;KACF,CAAC;CACH,CAAC;AAIR,oDAAoD;AACpD,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAC7B,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;CACrE,GACG,CAAC,GACD,KAAK,CAAC;AAEV,KAAK,MAAM,CAAC,CAAC,IACX,CAAC,SAAS,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE1E,0DAA0D;AAC1D,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,MAAM,CAAC,CAAC,CAAC;AAEtE;;;;GAIG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,IAC5C,KAAK,CAAC,CAAC,CAAC,GACR,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,GAC3C,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GAClC;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CACrB,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACtB,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACjC;CACF,CAAC,MAAM,CAAC,CAAC,GACV,KAAK,CAAC,CAAC;AAEf,4EAA4E;AAC5E,MAAM,MAAM,WAAW,CAAC,KAAK,SAAS,MAAM,EAAE,CAAC,IAAI;IACjD,QAAQ,EAAE,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACjE,CAAC;AAIF,6FAA6F;AAC7F,MAAM,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;AAE3D,wJAAwJ;AACxJ,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;CAC9C;AAED,6CAA6C;AAC7C,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAED,iGAAiG;AACjG,MAAM,WAAW,gBAAgB;IAC/B,kEAAkE;IAClE,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;IACvD,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,8FAA8F;IAC9F,QAAQ,CAAC,IAAI,EAAE,CACb,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,KACjC,aAAa,CAAC,MAAM,CAAC,CAAC;IAC3B,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;CACxB;AAED,qGAAqG;AACrG,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yEAAyE;IACzE,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,8DAA8D;IAC9D,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;KACzB,CAAC;IACF,4GAA4G;IAC5G,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;QACzB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;QACzB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;QACzB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;KAC5B,CAAC;IACF,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK;QACjC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;QACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;KACzB,CAAC;IACF,oEAAoE;IACpE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CACvB,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAC,CAAC,GAAG,SAAS,CAAC,CAC3E,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAC7D,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,CAAC;IACxC,2DAA2D;IAC3D,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC;IACvE,4EAA4E;IAC5E,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CACzB,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,GAAG,SAAS,CAAC,CACrE,CAAC;IACF,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACxC,kEAAkE;IAClE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC;CACjE;AAED,OAAO,CAAC,MAAM,KAAK,EAAE,OAAO,MAAM,CAAC;AAEnC,MAAM,WAAW,KAAK,CACpB,GAAG,CAAC,IAAI,SAAS,MAAM,EACvB,GAAG,CAAC,KAAK,EACT,GAAG,CAAC,KAAK,EACT,GAAG,CAAC,KAAK,EACT,GAAG,CAAC,KAAK,SAAS,MAAM,EACxB,GAAG,CAAC,GAAG,SAAS,MAAM,EACtB,GAAG,CAAC,IAAI,EACR,GAAG,CAAC,KAAK;IAET,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE;QACjB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC;QACtB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;QACxB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;KACtB,CAAC;CACH;AAED,MAAM,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAExE,kEAAkE;AAClE,MAAM,MAAM,KAAK,CAAC,CAAC,IACjB,CAAC,SAAS,KAAK,CACb,GAAG,EACH,MAAM,KAAK,EACX,MAAM,KAAK,EACX,MAAM,KAAK,EACX,MAAM,KAAK,EACX,MAAM,GAAG,EACT,MAAM,IAAI,EACV,MAAM,KAAK,CACZ,GACG;IACE,KAAK,EAAE,KAAK,CAAC;IACb,KAAK,EAAE,KAAK,CAAC;IACb,KAAK,EAAE,KAAK,CAAC;IACb,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,GAAG,CAAC;IACb,2BAA2B;IAC3B,QAAQ,EAAE,IAAI,CAAC;IACf,IAAI,EAAE,KAAK,CAAC;CACb,GACD,KAAK,CAAC"}

package/dist/core/actor/types.js

@@ -0,0 +1,2 @@
+/** Where a Command keeps the Effect it runs, out of sight of a comparison. */
+export const RUN = Symbol.for('@kestack/kabuki/Command/run');

package/dist/core/history/history.d.ts

@@ -0,0 +1,67 @@
+import type { Effect } from 'effect';
+import type { AnyActor } from '../actor/index.ts';
+import type { Envelope, Handled, Snapshot } from '../snapshot/index.ts';
+import type { ReplayOptions } from './replay.ts';
+/** One entry: an Envelope, and where it sits. */
+export interface Entry extends Envelope {
+    /** Its position in the History. */
+    readonly id: number;
+    /** The entry before it, or `null` right after init. */
+    readonly parent: number | null;
+}
+/**
+ * A History as plain JSON, to keep and load again: every Message, and every
+ * Instance of a Restore's Snapshot, as its Actor's Schemas encode it.
+ */
+export interface SavedHistory {
+    /** Append-only: an entry's id is its position. */
+    readonly entries: ReadonlyArray<Entry>;
+    /** The entry the next Message goes after, or `null` right after init. */
+    readonly head: number | null;
+}
+export interface HistoryOptions extends ReplayOptions {
+    /** The root's Input. */
+    readonly input?: unknown;
+}
+export interface History<A = AnyActor> {
+    readonly actor: A;
+    /** The History as plain JSON: the same object until it changes, and never changed itself. */
+    readonly save: () => SavedHistory;
+    readonly head: () => number | null;
+    /** The entries from the first to `to`, the Head by default. */
+    readonly branch: (to?: number | null) => ReadonlyArray<Entry>;
+    /** The entries that follow an entry (`null`: init), oldest first. */
+    readonly children: (of: number | null) => ReadonlyArray<Entry>;
+    /** Write an Envelope after the Head, with what came of it, and move the Head to it. */
+    readonly append: (envelope: Envelope, handled: Handled) => Entry;
+    /** Move the Head to an entry (`null`: init). */
+    readonly moveHead: (to: number | null) => void;
+    /** Forget every entry, on every Branch. */
+    readonly clear: () => void;
+    /** The Snapshot right after an entry, the Head by default, yielding to the page as it plays. */
+    readonly seek: (entry?: number | null) => Effect.Effect<Snapshot>;
+    /** The Snapshot right after an entry (`null`: init), played now. */
+    readonly snapshotAt: (entry: number | null) => Snapshot;
+    /** What came of an entry: worked out again when not seen live. */
+    readonly outcome: (entry: number) => Handled['outcome'];
+    readonly subscribe: (listener: () => void) => () => void;
+    /** Keep the Head where it is while a Runtime runs on it. Call what it returns to let go. */
+    readonly lock: () => () => void;
+}
+declare const make: <A extends AnyActor>(actor: A, options?: HistoryOptions) => History<A>;
+/** A History saved before, read with the Actor's code as it is now. Throws if `saved` is not a History's shape. */
+declare const load: <A extends AnyActor>(actor: A, saved: SavedHistory, options?: HistoryOptions) => History<A>;
+/**
+ * The lightest History an app can be saved as: right after init, one Restore
+ * of `snapshot` at Time `at`. Nothing before it can be travelled to but init.
+ */
+declare const restored: <A extends AnyActor>(actor: A, snapshot: Snapshot, at: number, options?: HistoryOptions) => History<A>;
+export declare const History: {
+    make: typeof make;
+    load: typeof load;
+    restored: typeof restored;
+};
+/** Tells a History from an Actor. */
+export declare const isHistory: (value: object) => value is History;
+export {};
+//# sourceMappingURL=history.d.ts.map

package/dist/core/history/history.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.d.ts","sourceRoot":"","sources":["../../../src/core/history/history.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAElD,OAAO,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAExE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAkBjD,iDAAiD;AACjD,MAAM,WAAW,KAAM,SAAQ,QAAQ;IACrC,mCAAmC;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IACvC,yEAAyE;IACzE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,WAAW,cAAe,SAAQ,aAAa;IACnD,wBAAwB;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,OAAO,CAAC,CAAC,GAAG,QAAQ;IACnC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,6FAA6F;IAC7F,QAAQ,CAAC,IAAI,EAAE,MAAM,YAAY,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,MAAM,GAAG,IAAI,CAAC;IACnC,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC;IAC9D,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC;IAC/D,uFAAuF;IACvF,QAAQ,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,KAAK,CAAC;IACjE,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,KAAK,IAAI,CAAC;IAC/C,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC;IAC3B,gGAAgG;IAChG,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAClE,oEAAoE;IACpE,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,KAAK,QAAQ,CAAC;IACxD,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,SAAS,CAAC,CAAC;IACxD,QAAQ,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,IAAI,KAAK,MAAM,IAAI,CAAC;IACzD,4FAA4F;IAC5F,QAAQ,CAAC,IAAI,EAAE,MAAM,MAAM,IAAI,CAAC;CACjC;AAID,QAAA,MAAM,IAAI,GAAI,CAAC,SAAS,QAAQ,SACvB,CAAC,YACE,cAAc,KACvB,OAAO,CAAC,CAAC,CAAoC,CAAC;AAEjD,mHAAmH;AACnH,QAAA,MAAM,IAAI,GAAI,CAAC,SAAS,QAAQ,SACvB,CAAC,SACD,YAAY,YACT,cAAc,KACvB,OAAO,CAAC,CAAC,CAYX,CAAC;AAoIF;;;GAGG;AACH,QAAA,MAAM,QAAQ,GAAI,CAAC,SAAS,QAAQ,SAC3B,CAAC,YACE,QAAQ,MACd,MAAM,YACA,cAAc,KACvB,OAAO,CAAC,CAAC,CAkBT,CAAC;AAEJ,eAAO,MAAM,OAAO;;;;CAA2B,CAAC;AAEhD,qCAAqC;AACrC,eAAO,MAAM,SAAS,UAAW,MAAM,KAAG,KAAK,IAAI,OAA2B,CAAC"}

package/dist/core/history/history.js

@@ -0,0 +1,145 @@
+import { restore } from '../snapshot/index.js';
+import { Replay, outcomeOf } from './replay.js';
+import { checkSaved, decodeEntry, encodeEntry } from './saved.js';
+const EMPTY = { entries: [], head: null };
+const make = (actor, options) => open(actor, EMPTY, [], options);
+/** A History saved before, read with the Actor's code as it is now. Throws if `saved` is not a History's shape. */
+const load = (actor, saved, options) => {
+    checkSaved(saved);
+    const root = actor.definition;
+    return open(actor, {
+        entries: saved.entries.map((entry) => decodeEntry(root, entry)),
+        head: saved.head,
+    }, saved.entries, options);
+};
+/** A History of decoded entries, and those already encoded, by position. */
+const open = (actor, from, saved, options = {}) => {
+    const root = actor.definition;
+    const children = new Map();
+    const outcomes = new Map();
+    const listeners = new Set();
+    let entries = [];
+    /** Each entry as saved, encoded once, when first saved or as it was loaded. */
+    let encoded = [...saved];
+    let replay = Replay.make(root, options.input, options);
+    let branches = new Map();
+    let head = from.head;
+    let state;
+    let locks = 0;
+    const change = (to) => {
+        head = to;
+        state = undefined;
+        branches = new Map();
+        for (const listener of listeners)
+            listener();
+    };
+    const unlocked = (what) => {
+        if (locks > 0)
+            throw new Error(`[@kestack/kabuki] stop the Runtime before ${what} its History`);
+    };
+    const add = (entry) => {
+        entries.push(entry);
+        const siblings = children.get(entry.parent) ?? [];
+        children.set(entry.parent, siblings);
+        siblings.push(entry);
+        return entry;
+    };
+    from.entries.forEach(add);
+    // 1. Append
+    const append = (envelope, handled) => {
+        const entry = add({ id: entries.length, parent: head, ...envelope });
+        outcomes.set(entry.id, handled.outcome);
+        replay.remember(entry.id, handled.snapshot);
+        change(entry.id);
+        return entry;
+    };
+    // 2. Move
+    const moveHead = (to) => {
+        unlocked('moving the Head of');
+        if (to !== null && !entries[to])
+            throw new RangeError(`[@kestack/kabuki] no History entry ${to}`);
+        change(to);
+    };
+    const clear = () => {
+        unlocked('clearing');
+        entries = [];
+        encoded = [];
+        children.clear();
+        outcomes.clear();
+        replay = Replay.make(root, options.input, options);
+        change(null);
+    };
+    // 3. Read
+    const branch = (to = head) => {
+        const known = branches.get(to);
+        if (known)
+            return known;
+        const path = [];
+        for (let at = to; at !== null; at = entries[at].parent)
+            path.unshift(entries[at]);
+        branches.set(to, path);
+        return path;
+    };
+    const outcome = (id) => {
+        const entry = entries[id];
+        if (!entry)
+            throw new RangeError(`[@kestack/kabuki] no History entry ${id}`);
+        const known = outcomes.get(id) ??
+            outcomeOf(root, replay.at(branch(entry.parent)), entry);
+        outcomes.set(id, known);
+        return known;
+    };
+    // 4. Save
+    /** A new array on every change, so one saved before never grows. */
+    const save = () => (state ??= {
+        entries: Object.freeze(entries.map((entry) => (encoded[entry.id] ??= encodeEntry(root, entry)))),
+        head,
+    });
+    return {
+        actor,
+        save,
+        head: () => head,
+        branch,
+        children: (of) => children.get(of) ?? [],
+        append,
+        moveHead,
+        clear,
+        seek: (entry = head) => replay.seek(branch(entry)),
+        snapshotAt: (entry) => replay.at(branch(entry)),
+        outcome,
+        subscribe: (listener) => {
+            listeners.add(listener);
+            return () => listeners.delete(listener);
+        },
+        // Counted, so two Runtimes on one History each hold it until they let go.
+        lock: () => {
+            locks++;
+            let held = true;
+            return () => {
+                if (held)
+                    locks--;
+                held = false;
+            };
+        },
+    };
+};
+/**
+ * The lightest History an app can be saved as: right after init, one Restore
+ * of `snapshot` at Time `at`. Nothing before it can be travelled to but init.
+ */
+const restored = (actor, snapshot, at, options) => open(actor, {
+    entries: [
+        {
+            id: 0,
+            parent: null,
+            destination: actor.definition.name,
+            message: restore(snapshot),
+            source: { kind: 'restore' },
+            at,
+        },
+    ],
+    head: 0,
+}, [], options);
+export const History = { make, load, restored };
+/** Tells a History from an Actor. */
+export const isHistory = (value) => 'actor' in value;

package/dist/core/history/index.d.ts

@@ -0,0 +1,5 @@
+export { History, isHistory } from './history.ts';
+export type { Entry, HistoryOptions, SavedHistory } from './history.ts';
+export { Replay, outcomeOf } from './replay.ts';
+export type { ReplayOptions } from './replay.ts';
+//# sourceMappingURL=index.d.ts.map

package/dist/core/history/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/history/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAClD,YAAY,EAAE,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAChD,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC"}

package/dist/core/history/index.js

@@ -0,0 +1,2 @@
+export { History, isHistory } from './history.js';
+export { Replay, outcomeOf } from './replay.js';

package/dist/core/history/replay.d.ts

@@ -0,0 +1,34 @@
+import { Effect } from 'effect';
+import type { ActorDefinition } from '../actor/index.ts';
+import type { Envelope, Handled, Snapshot } from '../snapshot/index.ts';
+import type { Entry } from './history.ts';
+export interface ReplayOptions {
+    /** Millis of playing between yields to the main thread. Default 8. */
+    readonly budget?: number;
+    /** Remember a Snapshot every this many entries. Default 100. */
+    readonly every?: number;
+}
+/** Snapshots of one app, played from init and remembered, so playing again starts from the nearest one. */
+export interface Replay {
+    /** The Snapshot right after the last entry of `branch`, played now. */
+    readonly at: (branch: ReadonlyArray<Entry>) => Snapshot;
+    /** The same, yielding to the page as it plays, so a long Branch never freezes it. */
+    readonly seek: (branch: ReadonlyArray<Entry>) => Effect.Effect<Snapshot>;
+    /** Remember the Snapshot right after an entry. */
+    readonly remember: (entry: number, snapshot: Snapshot) => void;
+}
+declare const make: (root: ActorDefinition, input: unknown, { budget, every }?: ReplayOptions) => Replay;
+/**
+ * What came of an Envelope on this Snapshot: worked out by handling it again,
+ * never kept. One that no longer fits the code, which Replay skips, counts as
+ * ignored.
+ */
+export declare const outcomeOf: (root: ActorDefinition, snapshot: Snapshot, envelope: Envelope) => Handled['outcome'];
+/** The Snapshot right after a whole Branch, played now from init with the root's Input. */
+declare const fold: (root: ActorDefinition, branch: ReadonlyArray<Entry>, input?: unknown) => Snapshot;
+export declare const Replay: {
+    make: typeof make;
+    fold: typeof fold;
+};
+export {};
+//# sourceMappingURL=replay.d.ts.map

package/dist/core/history/replay.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"replay.d.ts","sourceRoot":"","sources":["../../../src/core/history/replay.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEzD,OAAO,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAS1C,MAAM,WAAW,aAAa;IAC5B,sEAAsE;IACtE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,gEAAgE;IAChE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,2GAA2G;AAC3G,MAAM,WAAW,MAAM;IACrB,uEAAuE;IACvE,QAAQ,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC;IACxD,qFAAqF;IACrF,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACzE,kDAAkD;IAClD,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,KAAK,IAAI,CAAC;CAChE;AAED,QAAA,MAAM,IAAI,SACF,eAAe,SACd,OAAO,sBACe,aAAa,KACzC,MAwCF,CAAC;AAqBF;;;;GAIG;AACH,eAAO,MAAM,SAAS,SACd,eAAe,YACX,QAAQ,YACR,QAAQ,KACjB,OAAO,CAAC,SAAS,CAMnB,CAAC;AAgBF,2FAA2F;AAC3F,QAAA,MAAM,IAAI,SACF,eAAe,UACb,aAAa,CAAC,KAAK,CAAC,UACpB,OAAO,KACd,QAIA,CAAC;AAEJ,eAAO,MAAM,MAAM;;;CAAiB,CAAC"}