@typeonce/effect-machine 0.12.0 → 0.14.0

package/dist/internal/machine/planner.d.ts

@@ -10,6 +10,7 @@ import { type RuntimeCommand } from "./command.js";
 import { type ActiveConfiguration } from "./configuration.js";
 import { InfiniteTransitionError, MachineSchemaDecodeError, StartupError } from "./errors.js";
 import * as InvocationEvent from "./invocationEvent.js";
+import { type InitialTarget as InitialTargetInstruction } from "./topology.js";
 export type MicrostepPlan<State, Event, E, R> = {
     readonly next: State;
     readonly event: Event | MachineInitialEvent;
@@ -17,6 +18,7 @@ export type MicrostepPlan<State, Event, E, R> = {
         readonly source: string;
         readonly trigger: Machine.TransitionTrigger;
         readonly reenter: boolean;
+        readonly branchIndex: number;
         readonly target: string | undefined;
         readonly resolvedTarget: string | undefined;
     }>;
@@ -40,18 +42,32 @@ export type MacrostepPlan<State, Event, E, R, Output> = {
     readonly output: undefined;
 });
 export type TransitionHandler<States extends Machine.StateSchemas, E, R, Context> = (context: Context, enqueue: Enqueue<any, any>) => Machine.HandlerResult<States, E, R>;
+type TransitionEvaluation<States extends Machine.StateSchemas, E, R> = {
+    readonly result: Machine.HandlerResult<States, E, R>;
+    readonly branchIndex: number;
+};
+type TransitionEvaluator<States extends Machine.StateSchemas, E, R, Context> = (context: Context, enqueue: Enqueue<any, any>) => TransitionEvaluation<States, E, R>;
 export declare const withMachineReferences: (machine: Machine.Any, machineReferences: MachineReferences<any, any>) => Machine.Any;
 type EventTransition<States extends Machine.StateSchemas, E, R, Context> = TransitionHandler<States, E, R, Context> | {
     readonly reenter?: boolean;
     readonly targets?: ReadonlyArray<string>;
     readonly transition: TransitionHandler<States, E, R, Context>;
+    readonly evaluate?: TransitionEvaluator<States, E, R, Context>;
 };
 export type MicrostepTransition<States extends Machine.StateSchemas, E, R, Context> = {
     readonly reenter: boolean;
     readonly targets: ReadonlyArray<string> | undefined;
     readonly transition: TransitionHandler<States, E, R, Context>;
+    readonly evaluate: TransitionEvaluator<States, E, R, Context> | undefined;
 };
 export declare const normalizeTransition: <States extends Machine.StateSchemas, E, R, Context>(transition: EventTransition<States, E, R, Context> | undefined) => MicrostepTransition<States, E, R, Context> | undefined;
+export declare function resolveInitialTarget(machine: Machine.Any, configuration: ActiveConfiguration, target: InitialTargetInstruction, event: unknown): {
+    target: Machine.Target<Readonly<Record<string, Machine.TaggedSchema | Machine.StateNodeConfig>>, any>;
+    commands: import("../../Machine.js").Command[];
+    raisedEvents: unknown[];
+    emittedEvents: unknown[];
+    transitions: ResolvedChoiceTransition[];
+};
 export type SelectedTransition<States extends Machine.StateSchemas, E, R, Context> = {
     readonly sourcePath: string;
     readonly leafPath: string;
@@ -61,6 +77,7 @@ export type SelectedTransition<States extends Machine.StateSchemas, E, R, Contex
 };
 export type EvaluatedTransition<States extends Machine.StateSchemas, Event, E, R, Context> = {
     readonly selection: SelectedTransition<States, E, R, Context>;
+    readonly branchIndex: number;
     readonly unresolvedTarget: Machine.Snapshot<States> | Machine.Target<States, Machine.StateIdentifier<States>> | Machine.HistoryTarget<States, Machine.HistoryIdentifier<States>> | Machine.ChoiceTarget<States, Machine.ChoiceIdentifier<States>> | undefined;
     readonly target: Machine.Snapshot<States> | Machine.Target<States, Machine.StateIdentifier<States>> | undefined;
     readonly commands: ReadonlyArray<RuntimeCommand>;
@@ -73,6 +90,7 @@ export type EvaluatedTransition<States extends Machine.StateSchemas, Event, E, R
         readonly source: string;
         readonly trigger: Machine.TransitionTrigger;
         readonly reenter: false;
+        readonly branchIndex: number;
         readonly target: string;
         readonly resolvedTarget: string;
     }>;
@@ -87,6 +105,14 @@ export declare const getTargetNodePath: <const States extends Machine.StateSchem
 export declare const validateDeclaredTransitionTarget: (sourcePath: string, trigger: Machine.TransitionTrigger, declaredTargets: ReadonlyArray<string> | undefined, target: unknown) => void;
 export declare const sortEvaluatedTransitions: <const States extends Machine.StateSchemas, Event, E, R, Context>(machine: Machine.Any, transitions: Iterable<EvaluatedTransition<States, Event, E, R, Context>>) => ReadonlyArray<EvaluatedTransition<States, Event, E, R, Context>>;
 export declare const removeConflictingTransitions: <const States extends Machine.StateSchemas, Event, E, R, Context>(machine: Machine.Any, transitions: ReadonlyArray<EvaluatedTransition<States, Event, E, R, Context>>) => ReadonlyArray<EvaluatedTransition<States, Event, E, R, Context>>;
+interface ResolvedChoiceTransition {
+    readonly source: string;
+    readonly trigger: Machine.TransitionTrigger;
+    readonly reenter: false;
+    readonly branchIndex: number;
+    readonly target: string;
+    readonly resolvedTarget: string;
+}
 export declare const MaxMacrostepIterations = 1000;
 export declare const InitialEvent: MachineInitialEvent;
 export declare const isFinalState: (machine: Machine.Any, state: Machine.Snapshot<any>) => boolean;
@@ -107,6 +133,7 @@ export declare const planInitialSync: <const States extends Machine.StateSchemas
             readonly source: string;
             readonly trigger: Machine.TransitionTrigger;
             readonly reenter: boolean;
+            readonly branchIndex: number;
             readonly target: string | undefined;
             readonly resolvedTarget: string | undefined;
         }[];
@@ -132,6 +159,7 @@ export declare const planInitialSync: <const States extends Machine.StateSchemas
             readonly source: string;
             readonly trigger: Machine.TransitionTrigger;
             readonly reenter: boolean;
+            readonly branchIndex: number;
             readonly target: string | undefined;
             readonly resolvedTarget: string | undefined;
         }[];

package/dist/internal/machine/planner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../../../src/internal/machine/planner.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,EACV,OAAO,EACP,YAAY,IAAI,mBAAmB,EACnC,OAAO,EACP,iBAAiB,EAElB,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAAmC,KAAK,cAAc,EAAE,MAAM,cAAc,CAAA;AACnF,OAAO,EACL,KAAK,mBAAmB,EA0BzB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,YAAY,EAAgB,MAAM,aAAa,CAAA;AAC3G,OAAO,KAAK,eAAe,MAAM,sBAAsB,CAAA;AAevD,MAAM,MAAM,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI;IAC9C,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,mBAAmB,CAAA;IAC3C,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;QAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,iBAAiB,CAAA;QAC3C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;QACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;QACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,SAAS,CAAA;KAC5C,CAAC,CAAA;IACF,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAChD,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;IAC3C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IAC9C,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,IAChD;IACA,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAChD,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACrE,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;CAC/C,GACC,CACE;IACA,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB,GACC;IACA,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC3B,CACF,CAAA;AAEH,MAAM,MAAM,iBAAiB,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAClF,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,KACvB,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAKxC,eAAO,MAAM,qBAAqB,GAChC,SAAS,OAAO,CAAC,GAAG,EACpB,mBAAmB,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,KAC7C,OAAO,CAAC,GAIV,CAAA;AAsBD,KAAK,eAAe,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,IACnE,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GACxC;IACA,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACxC,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;CAC9D,CAAA;AAEH,MAAM,MAAM,mBAAmB,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI;IACpF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IACnD,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;CAC9D,CAAA;AAED,eAAO,MAAM,mBAAmB,GAAI,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EACpF,YAAY,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,SAAS,KAC7D,mBAAmB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,SAW/C,CAAA;AA2QD,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI;IACnF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,iBAAiB,CAAA;IAC3C,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;IAC/D,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,mBAAmB,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI;IAC3F,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;IAC7D,QAAQ,CAAC,gBAAgB,EACrB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GACxB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,GACvD,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,GAChE,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,GAC9D,SAAS,CAAA;IACb,QAAQ,CAAC,MAAM,EACX,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GACxB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,GACvD,SAAS,CAAA;IACb,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAChD,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;IAC3C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IAC9C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC;QACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,iBAAiB,CAAA;QAC3C,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAA;QACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;KAChC,CAAC,CAAA;CACH,CAAA;AAYD,eAAO,MAAM,sBAAsB,GACjC,SAAS,OAAO,CAAC,GAAG,EACpB,MAAM,MAAM,EACZ,OAAO,MAAM,KACZ,MAAM,GAAG,SAYX,CAAA;AAED,eAAO,MAAM,yBAAyB,GACpC,iBAAiB,MAAM,GAAG,SAAS,EACnC,iBAAiB,MAAM,GAAG,SAAS,KAClC,MAAM,GAAG,SAKX,CAAA;AAED,eAAO,MAAM,YAAY,GACvB,SAAS,OAAO,CAAC,GAAG,EACpB,eAAe,mBAAmB,EAClC,UAAU,MAAM,GAAG,SAAS,KAC3B,aAAa,CAAC,MAAM,CAKpB,CAAA;AAEH,eAAO,MAAM,aAAa,GACxB,SAAS,OAAO,CAAC,GAAG,EACpB,eAAe,mBAAmB,EAClC,UAAU,MAAM,GAAG,SAAS,KAC3B,aAAa,CAAC,MAAM,CAIpB,CAAA;AAKH,eAAO,MAAM,aAAa,GAAI,SAAS,OAAO,CAAC,GAAG,EAAE,OAAO,QAAQ,CAAC,MAAM,CAAC,KAAG,aAAa,CAAC,MAAM,CAK5F,CAAA;AAEN,eAAO,MAAM,cAAc,GAAI,SAAS,OAAO,CAAC,GAAG,EAAE,OAAO,QAAQ,CAAC,MAAM,CAAC,KAAG,aAAa,CAAC,MAAM,CAK7F,CAAA;AAwWN,eAAO,MAAM,iBAAiB,GAAI,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzE,QACI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GACxB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,GACvD,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,GAChE,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,KACjE,MAWF,CAAA;AAED,eAAO,MAAM,gCAAgC,GAC3C,YAAY,MAAM,EAClB,SAAS,OAAO,CAAC,iBAAiB,EAClC,iBAAiB,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,EAClD,QAAQ,OAAO,KACd,IAeF,CAAA;AAWD,eAAO,MAAM,wBAAwB,GACnC,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,EACL,CAAC,EACD,CAAC,EACD,OAAO,EAEP,SAAS,OAAO,CAAC,GAAG,EACpB,aAAa,QAAQ,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,KACvE,aAAa,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAE8C,CAAA;AAgBhH,eAAO,MAAM,4BAA4B,GACvC,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,EACL,CAAC,EACD,CAAC,EACD,OAAO,EAEP,SAAS,OAAO,CAAC,GAAG,EACpB,aAAa,aAAa,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,KAC5E,aAAa,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CA0BjE,CAAA;AAsWD,eAAO,MAAM,sBAAsB,OAAO,CAAA;AAC1C,eAAO,MAAM,YAAY,EAAE,mBAAkD,CAAA;AAE7E,eAAO,MAAM,YAAY,GACvB,SAAS,OAAO,CAAC,GAAG,EACpB,OAAO,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAC3B,OAAsF,CAAA;AAEzF,eAAO,MAAM,oBAAoB,GAC/B,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACxD,MAAM,EAEN,SAAS,OAAO,CAAC,GAAG,EACpB,OAAO,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAC/B,OAAO,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,KACpC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAe9C,CAAA;AAEH,eAAO,MAAM,OAAO,GAClB,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACxD,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACvD,KAAK,CAAC,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,OAAO,MAAM,CAAC,IAAI,EACnD,eAAe,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EACzF,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,KAAK,EACT,QAAQ,GAAG,KAAK,EAChB,QAAQ,GAAG,KAAK,EAChB,WAAW,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,KAAK,EAC3D,MAAM,GAAG,KAAK,EACd,YAAY,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,KAAK,EAE5D,SAAS,OAAO,CACd,MAAM,EACN,MAAM,EACN,KAAK,EACL,eAAe,EACf,CAAC,EACD,CAAC,EACD,QAAQ,EACR,QAAQ,EACR,WAAW,EACX,MAAM,EACN,KAAK,EACL,YAAY,CACb,EACD,OAAO,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,KAC9B,KAAK,IAAI,OAAO,CAAC,uBAAuB,CAAC,MAAM,EAAE,WAAW,CAAiC,CAAA;AAEhG,eAAO,MAAM,eAAe,GAC1B,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACxD,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,SAAS,EAAE,EACrE,KAAK,CAAC,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,OAAO,MAAM,CAAC,IAAI,EACnD,eAAe,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EACzF,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,KAAK,EACT,QAAQ,GAAG,KAAK,EAChB,QAAQ,GAAG,KAAK,EAChB,WAAW,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,KAAK,EAC3D,MAAM,GAAG,KAAK,EAEd,SAAS,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,EAC9G,GAAG,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;;;;;;;mBAkHI,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;;;;;6BAt9C3D,MAAM;8BACL,OAAO,CAAC,iBAAiB;8BACzB,OAAO;6BACR,MAAM,GAAG,SAAS;qCACV,MAAM,GAAG,SAAS;;;;;;;;;;;;;;;;mBAk9CH,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;;;;;6BAt9C3D,MAAM;8BACL,OAAO,CAAC,iBAAiB;8BACzB,OAAO;6BACR,MAAM,GAAG,SAAS;qCACV,MAAM,GAAG,SAAS;;;;;;;;;CAk+C9C,CAAA;AAED,eAAO,MAAM,OAAO,GAClB,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACxD,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACvD,KAAK,CAAC,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,OAAO,MAAM,CAAC,IAAI,EACnD,eAAe,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EACzF,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,KAAK,EACT,QAAQ,GAAG,KAAK,EAChB,QAAQ,GAAG,KAAK,EAChB,WAAW,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,KAAK,EAC3D,MAAM,GAAG,KAAK,EACd,YAAY,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,KAAK,EAE5D,SAAS,OAAO,CACd,MAAM,EACN,MAAM,EACN,KAAK,EACL,eAAe,EACf,CAAC,EACD,CAAC,EACD,QAAQ,EACR,QAAQ,EACR,WAAW,EACX,MAAM,EACN,KAAK,EACL,YAAY,CACb,EACD,OAAO,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,KAC9B,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAgB7C,CAAA;AAyYD,eAAO,MAAM,QAAQ,SArBb,MAAM,SAAS,OAAO,CAAC,YAAY,QACnC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,QAClD,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,sBACjD,KAAK,SAAS,MAAM,CAAC,GAAG,gBAC9B,eAAe,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,oCACvD,CAAC,UACD,CAAC,UACD,QAAQ,UACR,QAAQ,UACR,WAAW,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,UACnD,MAAM,mBAEG,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,SACvG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,SACxB,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,mFAOC,CAAA;AAEjC,eAAO,MAAM,iBAAiB,SAtHtB,MAAM,SAAS,OAAO,CAAC,YAAY,QACnC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,QAClD,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,sBACjD,KAAK,SAAS,MAAM,CAAC,GAAG,gBAC9B,eAAe,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,oCACvD,CAAC,UACD,CAAC,UACD,QAAQ,UACR,QAAQ,UACR,WAAW,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,UACnD,MAAM,mBAEG,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,iBAC/F,mBAAmB,SAC3B,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,eAAe,CAAC,eAAe;;;;;;;;;;;;;;CAwGX,CAAA;AAavD,eAAO,MAAM,IAAI,GAAI,SAAS,OAAO,CAAC,GAAG,EAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;mFAClB,CAAA;AAErE,eAAO,MAAM,WAAW,GACtB,SAAS,OAAO,CAAC,GAAG,EACpB,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,KAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,uBAAuB,GAAG,wBAAwB,GAAG,YAAY,CAQnF,CAAA"}
+{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../../../src/internal/machine/planner.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,EACV,OAAO,EACP,YAAY,IAAI,mBAAmB,EACnC,OAAO,EACP,iBAAiB,EAElB,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAAmC,KAAK,cAAc,EAAE,MAAM,cAAc,CAAA;AACnF,OAAO,EACL,KAAK,mBAAmB,EA2BzB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,YAAY,EAAgB,MAAM,aAAa,CAAA;AAE3G,OAAO,KAAK,eAAe,MAAM,sBAAsB,CAAA;AAGvD,OAAO,EAEL,KAAK,aAAa,IAAI,wBAAwB,EAU/C,MAAM,eAAe,CAAA;AAEtB,MAAM,MAAM,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI;IAC9C,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,mBAAmB,CAAA;IAC3C,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;QAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,iBAAiB,CAAA;QAC3C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;QACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;QAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;QACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,SAAS,CAAA;KAC5C,CAAC,CAAA;IACF,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAChD,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;IAC3C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IAC9C,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,IAChD;IACA,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAChD,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACrE,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;CAC/C,GACC,CACE;IACA,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB,GACC;IACA,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC3B,CACF,CAAA;AAEH,MAAM,MAAM,iBAAiB,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAClF,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,KACvB,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAExC,KAAK,oBAAoB,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,IAAI;IACrE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACpD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B,CAAA;AAED,KAAK,mBAAmB,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAC7E,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,KACvB,oBAAoB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAKvC,eAAO,MAAM,qBAAqB,GAChC,SAAS,OAAO,CAAC,GAAG,EACpB,mBAAmB,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,KAC7C,OAAO,CAAC,GAIV,CAAA;AAsBD,KAAK,eAAe,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,IACnE,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GACxC;IACA,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACxC,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;IAC7D,QAAQ,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;CAC/D,CAAA;AAEH,MAAM,MAAM,mBAAmB,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI;IACpF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IACnD,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;IAC7D,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,SAAS,CAAA;CAC1E,CAAA;AAED,eAAO,MAAM,mBAAmB,GAAI,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EACpF,YAAY,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,SAAS,KAC7D,mBAAmB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,SAY/C,CAAA;AA4ND,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,OAAO,CAAC,GAAG,EACpB,aAAa,EAAE,mBAAmB,EAClC,MAAM,EAAE,wBAAwB,EAChC,KAAK,EAAE,OAAO;;;;;;EAef;AAgGD,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI;IACnF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,iBAAiB,CAAA;IAC3C,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;IAC/D,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,mBAAmB,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI;IAC3F,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;IAC7D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,gBAAgB,EACrB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GACxB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,GACvD,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,GAChE,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,GAC9D,SAAS,CAAA;IACb,QAAQ,CAAC,MAAM,EACX,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GACxB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,GACvD,SAAS,CAAA;IACb,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAChD,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;IAC3C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IAC9C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC;QACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,iBAAiB,CAAA;QAC3C,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAA;QACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;QAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;KAChC,CAAC,CAAA;CACH,CAAA;AAYD,eAAO,MAAM,sBAAsB,GACjC,SAAS,OAAO,CAAC,GAAG,EACpB,MAAM,MAAM,EACZ,OAAO,MAAM,KACZ,MAAM,GAAG,SAYX,CAAA;AAED,eAAO,MAAM,yBAAyB,GACpC,iBAAiB,MAAM,GAAG,SAAS,EACnC,iBAAiB,MAAM,GAAG,SAAS,KAClC,MAAM,GAAG,SAKX,CAAA;AAED,eAAO,MAAM,YAAY,GACvB,SAAS,OAAO,CAAC,GAAG,EACpB,eAAe,mBAAmB,EAClC,UAAU,MAAM,GAAG,SAAS,KAC3B,aAAa,CAAC,MAAM,CAKpB,CAAA;AAEH,eAAO,MAAM,aAAa,GACxB,SAAS,OAAO,CAAC,GAAG,EACpB,eAAe,mBAAmB,EAClC,UAAU,MAAM,GAAG,SAAS,KAC3B,aAAa,CAAC,MAAM,CAIpB,CAAA;AAKH,eAAO,MAAM,aAAa,GAAI,SAAS,OAAO,CAAC,GAAG,EAAE,OAAO,QAAQ,CAAC,MAAM,CAAC,KAAG,aAAa,CAAC,MAAM,CAK5F,CAAA;AAEN,eAAO,MAAM,cAAc,GAAI,SAAS,OAAO,CAAC,GAAG,EAAE,OAAO,QAAQ,CAAC,MAAM,CAAC,KAAG,aAAa,CAAC,MAAM,CAK7F,CAAA;AAwWN,eAAO,MAAM,iBAAiB,GAAI,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzE,QACI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GACxB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,GACvD,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,GAChE,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,KACjE,MAWF,CAAA;AAED,eAAO,MAAM,gCAAgC,GAC3C,YAAY,MAAM,EAClB,SAAS,OAAO,CAAC,iBAAiB,EAClC,iBAAiB,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,EAClD,QAAQ,OAAO,KACd,IAeF,CAAA;AAWD,eAAO,MAAM,wBAAwB,GACnC,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,EACL,CAAC,EACD,CAAC,EACD,OAAO,EAEP,SAAS,OAAO,CAAC,GAAG,EACpB,aAAa,QAAQ,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,KACvE,aAAa,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAE8C,CAAA;AAgBhH,eAAO,MAAM,4BAA4B,GACvC,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,EACL,CAAC,EACD,CAAC,EACD,OAAO,EAEP,SAAS,OAAO,CAAC,GAAG,EACpB,aAAa,aAAa,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,KAC5E,aAAa,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CA0BjE,CAAA;AAkDD,UAAU,wBAAwB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,iBAAiB,CAAA;IAC3C,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAA;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAChC;AAiVD,eAAO,MAAM,sBAAsB,OAAO,CAAA;AAC1C,eAAO,MAAM,YAAY,EAAE,mBAAkD,CAAA;AAE7E,eAAO,MAAM,YAAY,GACvB,SAAS,OAAO,CAAC,GAAG,EACpB,OAAO,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAC3B,OAAsF,CAAA;AAEzF,eAAO,MAAM,oBAAoB,GAC/B,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACxD,MAAM,EAEN,SAAS,OAAO,CAAC,GAAG,EACpB,OAAO,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAC/B,OAAO,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,KACpC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAe9C,CAAA;AAEH,eAAO,MAAM,OAAO,GAClB,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACxD,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACvD,KAAK,CAAC,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,OAAO,MAAM,CAAC,IAAI,EACnD,eAAe,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EACzF,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,KAAK,EACT,QAAQ,GAAG,KAAK,EAChB,QAAQ,GAAG,KAAK,EAChB,WAAW,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,KAAK,EAC3D,MAAM,GAAG,KAAK,EACd,YAAY,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,KAAK,EAE5D,SAAS,OAAO,CACd,MAAM,EACN,MAAM,EACN,KAAK,EACL,eAAe,EACf,CAAC,EACD,CAAC,EACD,QAAQ,EACR,QAAQ,EACR,WAAW,EACX,MAAM,EACN,KAAK,EACL,YAAY,CACb,EACD,OAAO,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,KAC9B,KAAK,IAAI,OAAO,CAAC,uBAAuB,CAAC,MAAM,EAAE,WAAW,CAAiC,CAAA;AAEhG,eAAO,MAAM,eAAe,GAC1B,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACxD,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,SAAS,EAAE,EACrE,KAAK,CAAC,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,OAAO,MAAM,CAAC,IAAI,EACnD,eAAe,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EACzF,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,KAAK,EACT,QAAQ,GAAG,KAAK,EAChB,QAAQ,GAAG,KAAK,EAChB,WAAW,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,KAAK,EAC3D,MAAM,GAAG,KAAK,EAEd,SAAS,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,EAC9G,GAAG,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;;;;;;;mBAkHI,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;;;;;6BA9kD3D,MAAM;8BACL,OAAO,CAAC,iBAAiB;8BACzB,OAAO;kCACH,MAAM;6BACX,MAAM,GAAG,SAAS;qCACV,MAAM,GAAG,SAAS;;;;;;;;;;;;;;;;mBAykDH,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;;;;;6BA9kD3D,MAAM;8BACL,OAAO,CAAC,iBAAiB;8BACzB,OAAO;kCACH,MAAM;6BACX,MAAM,GAAG,SAAS;qCACV,MAAM,GAAG,SAAS;;;;;;;;;CAylD9C,CAAA;AAED,eAAO,MAAM,OAAO,GAClB,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACxD,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACvD,KAAK,CAAC,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,OAAO,MAAM,CAAC,IAAI,EACnD,eAAe,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EACzF,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,KAAK,EACT,QAAQ,GAAG,KAAK,EAChB,QAAQ,GAAG,KAAK,EAChB,WAAW,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,KAAK,EAC3D,MAAM,GAAG,KAAK,EACd,YAAY,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,KAAK,EAE5D,SAAS,OAAO,CACd,MAAM,EACN,MAAM,EACN,KAAK,EACL,eAAe,EACf,CAAC,EACD,CAAC,EACD,QAAQ,EACR,QAAQ,EACR,WAAW,EACX,MAAM,EACN,KAAK,EACL,YAAY,CACb,EACD,OAAO,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,KAC9B,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAgB7C,CAAA;AA0YD,eAAO,MAAM,QAAQ,SArBb,MAAM,SAAS,OAAO,CAAC,YAAY,QACnC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,QAClD,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,sBACjD,KAAK,SAAS,MAAM,CAAC,GAAG,gBAC9B,eAAe,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,oCACvD,CAAC,UACD,CAAC,UACD,QAAQ,UACR,QAAQ,UACR,WAAW,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,UACnD,MAAM,mBAEG,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,SACvG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,SACxB,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,mFAOC,CAAA;AAEjC,eAAO,MAAM,iBAAiB,SAtHtB,MAAM,SAAS,OAAO,CAAC,YAAY,QACnC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,QAClD,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,sBACjD,KAAK,SAAS,MAAM,CAAC,GAAG,gBAC9B,eAAe,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,oCACvD,CAAC,UACD,CAAC,UACD,QAAQ,UACR,QAAQ,UACR,WAAW,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,UACnD,MAAM,mBAEG,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,iBAC/F,mBAAmB,SAC3B,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,eAAe,CAAC,eAAe;;;;;;;;;;;;;;CAwGX,CAAA;AAavD,eAAO,MAAM,IAAI,GAAI,SAAS,OAAO,CAAC,GAAG,EAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;mFAClB,CAAA;AAErE,eAAO,MAAM,WAAW,GACtB,SAAS,OAAO,CAAC,GAAG,EACpB,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,KAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,uBAAuB,GAAG,wBAAwB,GAAG,YAAY,CAQnF,CAAA"}

package/dist/internal/machine/planner.js

@@ -6,12 +6,13 @@
 import * as Cause from "effect/Cause";
 import * as Effect from "effect/Effect";
 import { getTargetBuilder, makeCollector } from "./command.js";
-import { captureHistory, compareDocumentOrder, completeConfigurationEffect, completeConfigurationSync, configurationFromHistoryRecord, getActiveLeafPathFrom, getActiveLeafPaths, getHistoryRecord, getInitialEntryPaths, getLeafPath, getParentValue, getParentValues, getPathToRoot, getRootPath, isActiveFinalConfiguration, isDescendantOf, isPathInSubtree, normalizeConfiguration, normalizeConfigurationEffect, normalizeConfigurationSync, normalizeTargetConfigurationSync, pathDepth, snapshotFromConfiguration, snapshotFromConfigurationAtPath, validateInitialConfiguration } from "./configuration.js";
+import { captureHistory, compareDocumentOrder, completeConfigurationEffect, completeConfigurationSync, configurationFromHistoryRecord, configurationFromInitialTargetSync, getActiveLeafPathFrom, getActiveLeafPaths, getHistoryRecord, getInitialEntryPaths, getLeafPath, getParentValue, getParentValues, getPathToRoot, getRootPath, isActiveFinalConfiguration, isDescendantOf, isPathInSubtree, normalizeConfiguration, normalizeConfigurationEffect, normalizeConfigurationSync, normalizeTargetConfigurationSync, pathDepth, snapshotFromConfiguration, snapshotFromConfigurationAtPath, validateInitialConfiguration } from "./configuration.js";
 import { InfiniteTransitionError, MachineSchemaDecodeError, StartupError, StoppedError } from "./errors.js";
+import { getStateInitializeValues, makeStateInitializeBuilder } from "./initialization.js";
 import * as InvocationEvent from "./invocationEvent.js";
 import { decodeEventSync, decodeInputSync, decodeStateValueSync } from "./protocol.js";
 import { InitialEventTypeId } from "./symbols.js";
-import { getNode, isChoiceTarget, isHistoryTarget, isNoTarget, isSnapshot, isTarget, makeChoiceTarget, makeTarget, TargetSnapshotTypeId } from "./topology.js";
+import { getNode, isChoiceTarget, isHistoryTarget, isInitialTarget, isNoTarget, isSnapshot, isTarget, makeChoiceTarget, makeTarget, TargetSnapshotTypeId } from "./topology.js";
 const rootMachineReferences = new WeakMap();
 const scopedMachineReferences = new WeakMap();
 export const withMachineReferences = (machine, machineReferences) => {
@@ -43,11 +44,12 @@ export const normalizeTransition = (transition) => {
         return undefined;
     }
     return typeof transition === "function"
-        ? { reenter: false, targets: undefined, transition }
+        ? { reenter: false, targets: undefined, transition, evaluate: undefined }
         : {
             reenter: transition.reenter === true,
             targets: transition.targets,
-            transition: transition.transition
+            transition: transition.transition,
+            evaluate: transition.evaluate
         };
 };
 const collectStateAction = (machine, handler, context) => {
@@ -66,11 +68,14 @@ const collectStateAction = (machine, handler, context) => {
         emittedEvents: collected.emittedEvents
     };
 };
-const collectTransition = (machine, transition, context) => {
+const collectTransition = (machine, transition, context, evaluate) => {
     const collected = makeCollector(machine);
-    const result = transition(context, collected.enqueue);
+    const evaluated = evaluate === undefined
+        ? { result: transition(context, collected.enqueue), branchIndex: 0 }
+        : evaluate(context, collected.enqueue);
     return {
-        state: isNoTarget(result) ? undefined : result,
+        state: isNoTarget(evaluated.result) ? undefined : evaluated.result,
+        branchIndex: evaluated.branchIndex,
         commands: collected.commands,
         raisedEvents: collected.raisedEvents,
         emittedEvents: collected.emittedEvents
@@ -94,6 +99,7 @@ const completeHistoryConfiguration = (machine, configuration, event) => {
     const commands = [];
     const raisedEvents = [];
     const emittedEvents = [];
+    const transitions = [];
     let changed = true;
     while (changed) {
         changed = false;
@@ -111,9 +117,40 @@ const completeHistoryConfiguration = (machine, configuration, event) => {
                     history: configuration.history,
                     machineReferences: configuration.machineReferences
                 };
+                if (child.type === "choice") {
+                    const choice = resolveChoiceTarget(machine, current, makeChoiceTarget(child.path, path, Object.fromEntries(values)), event);
+                    let next = current;
+                    for (const routed of [choice.target, ...choice.additionalTargets]) {
+                        if (routed === undefined || isHistoryTarget(routed)) {
+                            throw new Error(`Machine initial choice "${child.path}" must resolve to an active state target`);
+                        }
+                        const resolved = isInitialTarget(routed)
+                            ? resolveInitialTarget(machine, next, routed, event)
+                            : undefined;
+                        next = normalizeTargetConfigurationSync(machine, next, (resolved?.target ?? routed));
+                        if (resolved !== undefined) {
+                            commands.push(...resolved.commands);
+                            raisedEvents.push(...resolved.raisedEvents);
+                            emittedEvents.push(...resolved.emittedEvents);
+                            transitions.push(...resolved.transitions);
+                        }
+                    }
+                    active.clear();
+                    values.clear();
+                    for (const activePath of next.active)
+                        active.add(activePath);
+                    for (const [valuePath, stateValue] of next.values)
+                        values.set(valuePath, stateValue);
+                    commands.push(...choice.commands);
+                    raisedEvents.push(...choice.raisedEvents);
+                    emittedEvents.push(...choice.emittedEvents);
+                    transitions.push(...choice.transitions);
+                    changed = true;
+                    continue;
+                }
                 active.add(child.path);
                 if (child.schema !== undefined) {
-                    const initializer = machine.handlers[path]?.initial;
+                    const initializer = machine.handlers[path]?.initialize;
                     if (initializer === undefined) {
                         throw new Error(`Machine shallow history requires an initial value implementation for state "${path}"`);
                     }
@@ -122,9 +159,11 @@ const completeHistoryConfiguration = (machine, configuration, event) => {
                         state: current.values.get(path),
                         containingState: getParentValue(machine, current, path),
                         ancestors: getParentValues(machine, current, path),
-                        event
+                        event,
+                        builder: makeStateInitializeBuilder(machine, path)
                     });
-                    values.set(child.path, decodeStateValueSync(machine, child, initialized.value));
+                    const initializedValues = getStateInitializeValues(path, initialized.value);
+                    values.set(child.path, decodeStateValueSync(machine, child, initializedValues[child.key]));
                     commands.push(...initialized.commands);
                     raisedEvents.push(...initialized.raisedEvents);
                     emittedEvents.push(...initialized.emittedEvents);
@@ -142,7 +181,7 @@ const completeHistoryConfiguration = (machine, configuration, event) => {
                         history: configuration.history,
                         machineReferences: configuration.machineReferences
                     };
-                    const initializer = valuedMissing.length === 0 ? undefined : machine.handlers[path]?.initial;
+                    const initializer = valuedMissing.length === 0 ? undefined : machine.handlers[path]?.initialize;
                     if (valuedMissing.length > 0 && initializer === undefined) {
                         throw new Error(`Machine shallow history requires an initial value implementation for state "${path}"`);
                     }
@@ -151,20 +190,21 @@ const completeHistoryConfiguration = (machine, configuration, event) => {
                         state: current.values.get(path),
                         containingState: getParentValue(machine, current, path),
                         ancestors: getParentValues(machine, current, path),
-                        event
+                        event,
+                        builder: makeStateInitializeBuilder(machine, path)
                     });
-                    if (initialized !== undefined && (typeof initialized.value !== "object" || initialized.value === null)) {
-                        throw new Error(`Machine parallel state initializer for "${path}" must return its region values`);
-                    }
+                    const initializedValues = initialized === undefined
+                        ? undefined
+                        : getStateInitializeValues(path, initialized.value);
                     for (const childPath of missing) {
                         const child = getNode(machine, childPath);
                         active.add(child.path);
                         if (child.schema !== undefined) {
                             if (initialized === undefined ||
-                                !Object.prototype.hasOwnProperty.call(initialized.value, child.key)) {
+                                initializedValues === undefined || !Object.prototype.hasOwnProperty.call(initializedValues, child.key)) {
                                 throw new Error(`Machine parallel state initializer for "${path}" must return region "${child.key}"`);
                             }
-                            values.set(child.path, decodeStateValueSync(machine, child, initialized.value[child.key]));
+                            values.set(child.path, decodeStateValueSync(machine, child, initializedValues[child.key]));
                         }
                     }
                     if (initialized !== undefined) {
@@ -186,10 +226,26 @@ const completeHistoryConfiguration = (machine, configuration, event) => {
         },
         commands,
         raisedEvents,
-        emittedEvents
+        emittedEvents,
+        transitions
     };
 };
-const resolveHistoryTarget = (machine, configuration, target, event) => {
+export function resolveInitialTarget(machine, configuration, target, event) {
+    const partial = configurationFromInitialTargetSync(machine, configuration, target);
+    const completed = completeHistoryConfiguration(machine, partial, event);
+    const snapshot = snapshotFromConfigurationAtPath(machine, completed.configuration, target.path);
+    return {
+        target: makeTarget(target.path, snapshot.value, {
+            snapshot: snapshot,
+            values: Object.fromEntries(completed.configuration.values)
+        }),
+        commands: completed.commands,
+        raisedEvents: completed.raisedEvents,
+        emittedEvents: completed.emittedEvents,
+        transitions: completed.transitions
+    };
+}
+function resolveHistoryTarget(machine, configuration, target, event) {
     const node = getNode(machine, target.path);
     if (node.type !== "history" || node.parent !== target.parent) {
         throw new Error(`Machine expected history target "${target.path}" to resolve to its declared parent`);
@@ -211,7 +267,7 @@ const resolveHistoryTarget = (machine, configuration, target, event) => {
             commands: completed.commands,
             raisedEvents: completed.raisedEvents,
             emittedEvents: completed.emittedEvents,
-            transitions: []
+            transitions: completed.transitions
         };
     }
     const key = node.key;
@@ -262,7 +318,7 @@ const resolveHistoryTarget = (machine, configuration, target, event) => {
         emittedEvents: [...collected.emittedEvents, ...(choiceResolution?.emittedEvents ?? [])],
         transitions: choiceResolution?.transitions ?? []
     };
-};
+}
 const getCandidatePaths = (machine, configuration) => Array.from(configuration.active)
     .sort((left, right) => {
     const depth = pathDepth(machine, right) - pathDepth(machine, left);
@@ -563,7 +619,7 @@ const withChoiceValues = (target, values) => {
         values: { ...values, ...(target.values ?? {}) }
     });
 };
-const resolveChoiceTarget = (machine, configuration, initialTarget, event) => {
+function resolveChoiceTarget(machine, configuration, initialTarget, event) {
     const pending = [initialTarget];
     const resolvedTargets = [];
     const commands = [];
@@ -614,7 +670,7 @@ const resolveChoiceTarget = (machine, configuration, initialTarget, event) => {
                 ancestors: getParentValues(machine, provisional, node.path),
                 event,
                 target: getTargetBuilder(machine, node.path)
-            });
+            }, choice.evaluate);
             if (collected.state === undefined) {
                 throw new Error(`Machine choice resolver for "${node.path}" must return a target`);
             }
@@ -626,6 +682,7 @@ const resolveChoiceTarget = (machine, configuration, initialTarget, event) => {
                 source: node.path,
                 trigger: { type: "choice" },
                 reenter: false,
+                branchIndex: collected.branchIndex,
                 target: returnedPath,
                 resolvedTarget: nested?.target.path ?? returnedPath
             });
@@ -633,7 +690,7 @@ const resolveChoiceTarget = (machine, configuration, initialTarget, event) => {
             raisedEvents.push(...collected.raisedEvents);
             emittedEvents.push(...collected.emittedEvents);
         }
-        if (!isTarget(current) && !isSnapshot(current) && !isHistoryTarget(current)) {
+        if (!isTarget(current) && !isSnapshot(current) && !isHistoryTarget(current) && !isInitialTarget(current)) {
             throw new Error("Machine choice resolver must return a concrete typed target");
         }
         resolvedTargets.push(current);
@@ -646,10 +703,10 @@ const resolveChoiceTarget = (machine, configuration, initialTarget, event) => {
         emittedEvents,
         transitions
     };
-};
+}
 const collectEvaluatedTransition = (machine, state, selection) => {
     const stateIdentifier = selection.leafPath;
-    const transitionResult = collectTransition(machine, selection.transition.transition, selection.context);
+    const transitionResult = collectTransition(machine, selection.transition.transition, selection.context, selection.transition.evaluate);
     const unresolvedTarget = transitionResult.state === undefined
         ? undefined
         : transitionResult.state;
@@ -658,45 +715,58 @@ const collectEvaluatedTransition = (machine, state, selection) => {
         ? undefined
         : resolveChoiceTarget(machine, state, unresolvedTarget, selection.context.event);
     const choiceResolvedTarget = choiceResolution?.target ?? unresolvedTarget;
+    const initialResolution = choiceResolvedTarget !== undefined && isInitialTarget(choiceResolvedTarget)
+        ? resolveInitialTarget(machine, state, choiceResolvedTarget, selection.context.event)
+        : undefined;
+    const routedTarget = initialResolution?.target ?? choiceResolvedTarget;
     let historyResolution;
-    const reenteredHistoryTarget = isHistoryTarget(choiceResolvedTarget) && selection.transition.reenter &&
-        state.active.has(choiceResolvedTarget.parent)
-        ? choiceResolvedTarget
+    const reenteredHistoryTarget = isHistoryTarget(routedTarget) && selection.transition.reenter &&
+        state.active.has(routedTarget.parent)
+        ? routedTarget
         : undefined;
-    if (choiceResolvedTarget !== undefined && isHistoryTarget(choiceResolvedTarget)) {
+    if (routedTarget !== undefined && isHistoryTarget(routedTarget)) {
         // A reentering transition may exit the history node's own parent. SCXML
         // history observes that same exit, so resolve against a provisional
         // capture rather than an older record (or the default).
         const provisionalBoundary = selection.transition.reenter
             ? getNode(machine, selection.sourcePath).parent
-            : getLeastCommonAncestor(machine, stateIdentifier, choiceResolvedTarget.parent);
+            : getLeastCommonAncestor(machine, stateIdentifier, routedTarget.parent);
         const provisionalExitPaths = reenteredHistoryTarget !== undefined
-            ? sortExitPaths(machine, Array.from(state.active).filter((path) => isPathInSubtree(path, choiceResolvedTarget.parent)))
+            ? sortExitPaths(machine, Array.from(state.active).filter((path) => isPathInSubtree(path, routedTarget.parent)))
             : getExitPaths(machine, state, provisionalBoundary);
-        const stateAtHistoryResolution = provisionalExitPaths.includes(choiceResolvedTarget.parent)
+        const stateAtHistoryResolution = provisionalExitPaths.includes(routedTarget.parent)
             ? captureHistory(machine, state, state, provisionalExitPaths)
             : state;
-        historyResolution = resolveHistoryTarget(machine, stateAtHistoryResolution, choiceResolvedTarget, selection.context.event);
+        historyResolution = resolveHistoryTarget(machine, stateAtHistoryResolution, routedTarget, selection.context.event);
     }
     const target = historyResolution === undefined
-        ? choiceResolvedTarget
+        ? routedTarget
         : historyResolution.target;
-    const additionalHistoryActions = [];
-    const additionalHistoryRaisedEvents = [];
-    const additionalHistoryEmittedEvents = [];
-    const additionalHistoryChoiceTransitions = [];
+    const additionalTargetActions = [];
+    const additionalTargetRaisedEvents = [];
+    const additionalTargetEmittedEvents = [];
+    const additionalTargetChoiceTransitions = [];
     const additionalChoiceTargets = [];
     for (const additionalTarget of choiceResolution?.additionalTargets ?? []) {
+        if (isInitialTarget(additionalTarget)) {
+            const resolved = resolveInitialTarget(machine, state, additionalTarget, selection.context.event);
+            additionalChoiceTargets.push(resolved.target);
+            additionalTargetActions.push(...resolved.commands);
+            additionalTargetRaisedEvents.push(...resolved.raisedEvents);
+            additionalTargetEmittedEvents.push(...resolved.emittedEvents);
+            additionalTargetChoiceTransitions.push(...resolved.transitions);
+            continue;
+        }
         if (!isHistoryTarget(additionalTarget)) {
             additionalChoiceTargets.push(additionalTarget);
             continue;
         }
         const resolved = resolveHistoryTarget(machine, state, additionalTarget, selection.context.event);
         additionalChoiceTargets.push(resolved.target);
-        additionalHistoryActions.push(...resolved.commands);
-        additionalHistoryRaisedEvents.push(...resolved.raisedEvents);
-        additionalHistoryEmittedEvents.push(...resolved.emittedEvents);
-        additionalHistoryChoiceTransitions.push(...resolved.transitions);
+        additionalTargetActions.push(...resolved.commands);
+        additionalTargetRaisedEvents.push(...resolved.raisedEvents);
+        additionalTargetEmittedEvents.push(...resolved.emittedEvents);
+        additionalTargetChoiceTransitions.push(...resolved.transitions);
     }
     const targetPath = target === undefined
         ? undefined
@@ -713,33 +783,38 @@ const collectEvaluatedTransition = (machine, state, selection) => {
     if (!changed) {
         return {
             selection,
+            branchIndex: transitionResult.branchIndex,
             unresolvedTarget,
             target,
             commands: [
                 ...transitionResult.commands,
                 ...(choiceResolution?.commands ?? []),
+                ...(initialResolution?.commands ?? []),
                 ...(historyResolution?.commands ?? []),
-                ...additionalHistoryActions
+                ...additionalTargetActions
             ],
             raisedEvents: [
                 ...transitionResult.raisedEvents,
                 ...(choiceResolution?.raisedEvents ?? []),
+                ...(initialResolution?.raisedEvents ?? []),
                 ...(historyResolution?.raisedEvents ?? []),
-                ...additionalHistoryRaisedEvents
+                ...additionalTargetRaisedEvents
             ],
             emittedEvents: [
                 ...transitionResult.emittedEvents,
                 ...(choiceResolution?.emittedEvents ?? []),
+                ...(initialResolution?.emittedEvents ?? []),
                 ...(historyResolution?.emittedEvents ?? []),
-                ...additionalHistoryEmittedEvents
+                ...additionalTargetEmittedEvents
             ],
             changed,
             exitPaths: [],
             entryPaths: [],
             choiceTransitions: [
                 ...(choiceResolution?.transitions ?? []),
+                ...(initialResolution?.transitions ?? []),
                 ...(historyResolution?.transitions ?? []),
-                ...additionalHistoryChoiceTransitions
+                ...additionalTargetChoiceTransitions
             ]
         };
     }
@@ -752,25 +827,29 @@ const collectEvaluatedTransition = (machine, state, selection) => {
         : naturalBoundary;
     return {
         selection,
+        branchIndex: transitionResult.branchIndex,
         unresolvedTarget,
         target,
         commands: [
             ...transitionResult.commands,
             ...(choiceResolution?.commands ?? []),
+            ...(initialResolution?.commands ?? []),
             ...(historyResolution?.commands ?? []),
-            ...additionalHistoryActions
+            ...additionalTargetActions
         ],
         raisedEvents: [
             ...transitionResult.raisedEvents,
             ...(choiceResolution?.raisedEvents ?? []),
+            ...(initialResolution?.raisedEvents ?? []),
             ...(historyResolution?.raisedEvents ?? []),
-            ...additionalHistoryRaisedEvents
+            ...additionalTargetRaisedEvents
         ],
         emittedEvents: [
             ...transitionResult.emittedEvents,
             ...(choiceResolution?.emittedEvents ?? []),
+            ...(initialResolution?.emittedEvents ?? []),
             ...(historyResolution?.emittedEvents ?? []),
-            ...additionalHistoryEmittedEvents
+            ...additionalTargetEmittedEvents
         ],
         changed,
         exitPaths: reenteredHistoryTarget !== undefined
@@ -781,8 +860,9 @@ const collectEvaluatedTransition = (machine, state, selection) => {
             : getEntryPaths(machine, stateAfterTransition, boundary),
         choiceTransitions: [
             ...(choiceResolution?.transitions ?? []),
+            ...(initialResolution?.transitions ?? []),
             ...(historyResolution?.transitions ?? []),
-            ...additionalHistoryChoiceTransitions
+            ...additionalTargetChoiceTransitions
         ]
     };
 };
@@ -939,6 +1019,7 @@ const microstep = (machine, state, event, selections) => {
             source: transition.selection.sourcePath,
             trigger: transition.selection.trigger,
             reenter: transition.selection.transition.reenter,
+            branchIndex: transition.branchIndex,
             target: transition.unresolvedTarget === undefined ? undefined : getTargetNodePath(transition.unresolvedTarget),
             resolvedTarget: transition.target === undefined ? undefined : getTargetNodePath(transition.target)
         },