foldkit 0.157.0 → 0.158.0

package/dist/devTools/host.d.ts

@@ -1,6 +1,6 @@
 export { DEVTOOLS_HOST_ID } from '../html/index.js';
-export { __setDevToolsOverlay } from '../runtime/runtime.js';
-export type { DevToolsOverlay } from '../runtime/runtime.js';
+export { __setDevToolsOverlay } from '../runtime/devToolsConfig.js';
+export type { DevToolsOverlay } from '../runtime/devToolsConfig.js';
 export { INIT_INDEX, latestEntryIndex } from './store.js';
 export type { CommandRecord, DevToolsStore, MountRecord, StoreState, } from './store.js';
 export { toInspectableValue } from './serialize.js';

package/dist/devTools/host.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"host.d.ts","sourceRoot":"","sources":["../../src/devTools/host.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAA;AAC5D,YAAY,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAE5D,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAEzD,YAAY,EACV,aAAa,EACb,aAAa,EACb,WAAW,EACX,UAAU,GACX,MAAM,YAAY,CAAA;AAEnB,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AAEnD,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,QAAQ,GACT,MAAM,mBAAmB,CAAA"}
+{"version":3,"file":"host.d.ts","sourceRoot":"","sources":["../../src/devTools/host.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AACnE,YAAY,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAEnE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAEzD,YAAY,EACV,aAAa,EACb,aAAa,EACb,WAAW,EACX,UAAU,GACX,MAAM,YAAY,CAAA;AAEnB,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AAEnD,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,QAAQ,GACT,MAAM,mBAAmB,CAAA"}

package/dist/devTools/host.js

@@ -1,5 +1,5 @@
 export { DEVTOOLS_HOST_ID } from '../html/index.js';
-export { __setDevToolsOverlay } from '../runtime/runtime.js';
+export { __setDevToolsOverlay } from '../runtime/devToolsConfig.js';
 export { INIT_INDEX, latestEntryIndex } from './store.js';
 export { toInspectableValue } from './serialize.js';
 export { GOT_MESSAGE_PATTERN, extractSubmodelInfo, isTagged, } from './submodelPath.js';

package/dist/experimental/machine/machine.d.ts

@@ -1,4 +1,4 @@
-import { Option, Schema } from 'effect';
+import { Array, Option, Schema } from 'effect';
 import type { Command } from '../../command/index.js';
 import type * as Update from '../../update/index.js';
 /** Any value discriminated by a `_tag` field. Both states and Messages satisfy this shape. */
@@ -11,50 +11,67 @@ export type TagOf<Union extends Tagged> = Union['_tag'];
 export type Variant<Union extends Tagged, Tag extends TagOf<Union>> = Extract<Union, Readonly<{
     _tag: Tag;
 }>>;
+declare const NoMachineContextTypeId: unique symbol;
+type NoMachineContext = typeof NoMachineContextTypeId;
+type IsAny<Value> = 0 extends 1 & Value ? true : false;
+type IsNever<Value> = [Value] extends [never] ? true : false;
+type HasMachineContext<Context> = IsAny<Context> extends true ? true : [Context] extends [never] ? true : [Context] extends [NoMachineContext] ? false : true;
+type ContextArguments<Context> = HasMachineContext<Context> extends true ? [context: Context] : [];
+type MachineContextArgument<Context> = IsAny<Context> extends true ? Context : IsNever<Context> extends true ? Context : undefined extends Context ? Exclude<Context, void | undefined> | undefined : Context;
+type MachineContextArguments<Context> = HasMachineContext<Context> extends true ? [context: MachineContextArgument<Context>] : [];
 /**
- * The single argument an Edge's `build` and `commands` callbacks receive:
- * the source state, the triggering Message, and the guard value produced by
- * the Edge's {@link when} guard (`void` on unguarded and boolean-guarded
- * Edges). Destructure the fields you need.
+ * The single argument an Edge handler receives: the source state, the
+ * triggering Message, the guard value produced by the Edge's {@link when}
+ * guard (`void` on unguarded and boolean-guarded Edges), and the read-only
+ * context declared for the Machine when one exists. Destructure the fields you
+ * need.
  */
-export type EdgeInput<SourceState extends Tagged, TriggerMessage extends Tagged, GuardValue = void> = Readonly<{
+export type EdgeInput<SourceState extends Tagged, TriggerMessage extends Tagged, GuardValue = void, Context = NoMachineContext> = HasMachineContext<Context> extends true ? Readonly<{
+    state: SourceState;
+    message: TriggerMessage;
+    guardValue: GuardValue;
+    context: Context;
+}> : Readonly<{
     state: SourceState;
     message: TriggerMessage;
     guardValue: GuardValue;
 }>;
 /**
  * A single transition edge. The target state tag is a literal value, so the
- * edge set of a Machine is enumerable data. `build` constructs the target
- * variant from its {@link EdgeInput}. `maybeCommands` holds transition-time
- * effects, dispatched as ordinary Commands.
+ * edge set of a Machine is enumerable data. `handler` returns the target
+ * variant and any transition-time Commands as an `Update.Return` record.
  *
- * The correlation between `target` and `build`'s return variant is enforced
+ * The correlation between `target` and `handler`'s Model variant is enforced
  * by {@link to}'s signature, not by this type. Keeping this type free of the
  * target tag is what lets TypeScript infer the source state and trigger
- * Message from the transition table position.
+ * Message from the transition-map position.
  *
  * Construct with {@link to}.
  */
-export type Edge<State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, GuardValue = void, R = never> = Readonly<{
+export type Edge<State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, GuardValue = void, R = never, Context = NoMachineContext> = Readonly<{
     _tag: 'Edge';
     target: TagOf<State>;
-    build: (input: EdgeInput<SourceState, TriggerMessage, unknown>) => State;
-    maybeCommands: Option.Option<(input: EdgeInput<SourceState, TriggerMessage, unknown>) => ReadonlyArray<Command<Message, never, R>>>;
+    handler: (input: EdgeInput<SourceState, TriggerMessage, unknown, Context>) => Update.Return<State, Message, R>;
     readonly '~foldkit/EdgeGuardValue'?: GuardValue;
 }>;
 /** A guarded Edge that fires only when its guard passes. Construct with {@link when}. */
-export type When<State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, GuardValue = unknown, R = never> = Readonly<{
+export type When<State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, GuardValue = unknown, R = never, Context = NoMachineContext> = Readonly<{
     _tag: 'When';
-    guard: (state: SourceState, message: TriggerMessage) => Option.Option<unknown>;
-    edge: Edge<State, Message, SourceState, TriggerMessage, GuardValue, R>;
+    guard: (state: SourceState, message: TriggerMessage, ...context: ContextArguments<Context>) => Option.Option<unknown>;
+    edge: Edge<State, Message, SourceState, TriggerMessage, GuardValue, R, Context>;
 }>;
 /** The unconditional fallback Edge at the end of a guard list. Construct with {@link otherwise}. */
-export type Otherwise<State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, R = never> = Readonly<{
+export type Otherwise<State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, R = never, Context = NoMachineContext> = Readonly<{
     _tag: 'Otherwise';
-    edge: Edge<State, Message, SourceState, TriggerMessage, void, R>;
+    edge: Edge<State, Message, SourceState, TriggerMessage, void, R, Context>;
 }>;
-/** One entry in an ordered guard list: a {@link When} or the {@link Otherwise} fallback. */
-export type GuardedEdge<State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, R = never> = When<State, Message, SourceState, TriggerMessage, unknown, R> | Otherwise<State, Message, SourceState, TriggerMessage, R>;
+/** An explicit no-transition fallback at the end of a guard list. Construct with {@link ignore}. */
+export type Ignore = Readonly<{
+    _tag: 'Ignore';
+}>;
+/** One entry in an ordered guard list: a {@link When}, the {@link Otherwise}
+ * transition fallback, or the {@link Ignore} no-transition fallback. */
+export type GuardedEdge<State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, R = never, Context = NoMachineContext> = When<State, Message, SourceState, TriggerMessage, unknown, R, Context> | Otherwise<State, Message, SourceState, TriggerMessage, R, Context> | Ignore;
 type OptionValue<MaybeValue> = MaybeValue extends Option.Option<infer Value> ? Value : never;
 type GuardValueOf<GuardResult> = [GuardResult] extends [boolean] ? void : OptionValue<GuardResult>;
 /**
@@ -66,51 +83,119 @@ type GuardValueOf<GuardResult> = [GuardResult] extends [boolean] ? void : Option
  *
  * @experimental Ships from `foldkit/experimental/machine`; expect breaking changes while the API settles.
  */
-export type TransitionTable<State extends Tagged, Message extends Tagged, R = never> = Readonly<{
+export type TransitionTable<State extends Tagged, Message extends Tagged, R = never, Context = NoMachineContext> = Readonly<{
     [SourceTag in TagOf<State>]?: Readonly<{
         on: Readonly<{
-            [MessageTag in TagOf<Message>]?: Edge<State, Message, Variant<State, SourceTag>, Variant<Message, MessageTag>, void, R> | ReadonlyArray<GuardedEdge<State, Message, Variant<State, SourceTag>, Variant<Message, MessageTag>, R>>;
+            [MessageTag in TagOf<Message>]?: Edge<State, Message, Variant<State, SourceTag>, Variant<Message, MessageTag>, void, R, Context> | ReadonlyArray<GuardedEdge<State, Message, Variant<State, SourceTag>, Variant<Message, MessageTag>, R, Context>>;
         }>;
     }>;
 }>;
+declare const ForStatesTypeId: unique symbol;
+declare const ForStatesVarianceTypeId: unique symbol;
+type ForStatesFragment<State extends Tagged, Message extends Tagged, R, Context, SourceTags extends ReadonlyArray<string> = ReadonlyArray<TagOf<State>>> = Readonly<{
+    _tag: 'ForStates';
+    [ForStatesTypeId]: typeof ForStatesTypeId;
+    sourceTags: SourceTags;
+    on: unknown;
+    readonly [ForStatesVarianceTypeId]?: Readonly<{
+        state: State;
+        message: Message;
+        requirements: R;
+        context: Context;
+    }>;
+}>;
+type SharedTransitionMap<State extends Tagged, Message extends Tagged, SourceState extends State, R, Context> = Readonly<{
+    [MessageTag in TagOf<Message>]?: Edge<State, Message, SourceState, Variant<Message, MessageTag>, void, R, Context> | ReadonlyArray<GuardedEdge<State, Message, SourceState, Variant<Message, MessageTag>, R, Context>>;
+}>;
+type RequirementsOfGuarded<Value> = Value extends When<any, any, any, any, any, infer R, any> ? R : Value extends Otherwise<any, any, any, any, infer R, any> ? R : never;
+type RequirementsOfTransition<Value> = Value extends Edge<any, any, any, any, any, infer R, any> ? R : Value extends ReadonlyArray<infer GuardedEdge> ? RequirementsOfGuarded<GuardedEdge> : never;
+type RequirementsOfTransitionMap<Transitions> = RequirementsOfTransition<NonNullable<Transitions[keyof Transitions]>>;
+type ForStatesBuilder<SourceTags extends Array.NonEmptyReadonlyArray<string>> = Readonly<{
+    on: <State extends Tagged, Message extends Tagged, Context, R, const Transitions extends SharedTransitionMap<State, Message, Variant<State, Extract<SourceTags[number], TagOf<State>>>, R, Context>>(transitions: Exclude<SourceTags[number], TagOf<State>> extends never ? Exclude<keyof Transitions, TagOf<Message>> extends never ? Transitions : never : never) => ForStatesFragment<State, Message, RequirementsOfTransitionMap<Transitions>, Context, SourceTags>;
+}>;
+/** Selects source state tags for a shared transition map. The `on` handler's
+ * `state` is narrowed to the union of the selected variants, and its `message`
+ * is narrowed by the map key.
+ *
+ * Add the resulting fragment to a Machine definition's `shared` array. Shared
+ * transitions are defaults: a state-local transition for the same Message
+ * replaces the shared transition. Defining the same state/Message pair in two
+ * shared fragments throws when the Machine is defined.
+ *
+ * @example
+ * ```ts
+ * shared: [
+ *   forStates(['Editing', 'Reviewing']).on({
+ *     ClickedCancel: to('Cancelled', ({ state }) => ({
+ *       model: CheckoutState.Cancelled({ draftId: state.draftId }),
+ *     })),
+ *   }),
+ * ]
+ * ```
+ *
+ * @experimental Ships from `foldkit/experimental/machine`; expect breaking changes while the API settles.
+ */
+export declare const forStates: <const SourceTags extends Array.NonEmptyReadonlyArray<string>>(sourceTags: SourceTags) => ForStatesBuilder<SourceTags>;
+/** The transition table entry for one source state. Use this alias when
+ * extracting an entry from a Machine's `states` record to preserve the source
+ * state and triggering Message narrowing inside its Edges.
+ *
+ * @experimental Ships from `foldkit/experimental/machine`; expect breaking changes while the API settles.
+ */
+export type StateTransitions<State extends Tagged, Message extends Tagged, SourceTag extends TagOf<State>, R = never, Context = NoMachineContext> = NonNullable<TransitionTable<State, Message, R, Context>[SourceTag]>;
 /**
  * Declares a transition Edge to the state variant named by `target`. The
- * `build` callback receives an {@link EdgeInput} whose state and Message are
- * narrowed to the variants the Edge sits under in the transition table, and
- * must return the target variant. Optional `commands` attach transition-time
- * effects.
+ * `handler` receives an {@link EdgeInput} whose state and Message are narrowed
+ * to the variants the Edge sits under in a state-local or shared transition
+ * map, and returns an `Update.Return` record whose `model` is the target
+ * variant and whose optional `commands` are transition-time effects. When the
+ * Machine declares a context, the input also contains that context for the
+ * current transition.
  *
- * The `commands` callback may return Commands whose Effects need services. The
- * requirements they carry flow into the Machine's `R` through {@link define}.
+ * The handler's `commands` field may contain Commands whose Effects need
+ * services. The requirements they carry flow into the Machine's `R` through
+ * {@link define}.
  *
- * Only meaningful inside a {@link TransitionTable}: the source and trigger
- * types flow in from the table position contextually.
+ * Only meaningful inside a Machine definition's state-local or shared
+ * transition map: the source and trigger types flow in from that position
+ * contextually.
  *
  * @experimental Ships from `foldkit/experimental/machine`; expect breaking changes while the API settles.
  */
-export declare const to: <State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, const TargetTag extends TagOf<State>, R = never>(target: TargetTag, build: (input: NoInfer<EdgeInput<SourceState, TriggerMessage>>) => NoInfer<Variant<State, TargetTag>>, commands?: (input: NoInfer<EdgeInput<SourceState, TriggerMessage>>) => ReadonlyArray<Command<NoInfer<Message>, never, R>>) => Edge<State, Message, SourceState, TriggerMessage, void, R>;
+export declare const to: <State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, const TargetTag extends TagOf<State>, R = never, Context = NoMachineContext>(target: TargetTag, handler: (input: NoInfer<EdgeInput<SourceState, TriggerMessage, void, Context>>) => Update.Return<NoInfer<Variant<State, TargetTag>>, NoInfer<Message>, R>) => Edge<State, Message, SourceState, TriggerMessage, void, R, Context>;
 /**
  * Guards an Edge. Guard lists run in order, and the first guard that passes
  * fires its Edge. A guard either resolves the state and Message to an
  * `Option` (returning `Option.some` passes, and the wrapped value flows into
- * the Edge's build and commands callbacks as `guardValue`) or returns a
+ * the Edge's handler as `guardValue`) or returns a
  * plain boolean when there is nothing to extract (returning `true` passes,
  * and `guardValue` is `void`).
  *
- * The state and Message parameters are `NoInfer` so they resolve from the
- * guard list's table position alone.
+ * When the Machine declares a context, the guard receives it as a third
+ * parameter and its Edge handler receives it in {@link EdgeInput}. The state,
+ * Message, and context parameters are `NoInfer` so they resolve from the guard
+ * list's transition-map position alone.
+ *
+ * @experimental Ships from `foldkit/experimental/machine`; expect breaking changes while the API settles.
+ */
+export declare const when: <State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, GuardResult extends Option.Option<unknown> | boolean, const TargetTag extends TagOf<State>, R = never, Context = NoMachineContext>(guard: (state: NoInfer<SourceState>, message: NoInfer<TriggerMessage>, ...context: ContextArguments<NoInfer<Context>>) => GuardResult, target: TargetTag, handler: (input: NoInfer<EdgeInput<SourceState, TriggerMessage, GuardValueOf<GuardResult>, Context>>) => Update.Return<NoInfer<Variant<State, TargetTag>>, NoInfer<Message>, R>) => When<State, Message, SourceState, TriggerMessage, GuardValueOf<GuardResult>, R, Context>;
+/**
+ * The unconditional fallback at the end of a guard list. Its Edge handler may
+ * return Commands whose Effects need services, threading their requirements
+ * into the Machine's `R` the same way {@link to} and {@link when} do.
  *
  * @experimental Ships from `foldkit/experimental/machine`; expect breaking changes while the API settles.
  */
-export declare const when: <State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, GuardResult extends Option.Option<unknown> | boolean, const TargetTag extends TagOf<State>, R = never>(guard: (state: NoInfer<SourceState>, message: NoInfer<TriggerMessage>) => GuardResult, target: TargetTag, build: (input: NoInfer<EdgeInput<SourceState, TriggerMessage, GuardValueOf<GuardResult>>>) => NoInfer<Variant<State, TargetTag>>, commands?: (input: NoInfer<EdgeInput<SourceState, TriggerMessage, GuardValueOf<GuardResult>>>) => ReadonlyArray<Command<NoInfer<Message>, never, R>>) => When<State, Message, SourceState, TriggerMessage, GuardValueOf<GuardResult>, R>;
+export declare const otherwise: <State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, R = never, Context = NoMachineContext>(edge: Edge<State, Message, SourceState, TriggerMessage, void, R, Context>) => Otherwise<State, Message, SourceState, TriggerMessage, R, Context>;
 /**
- * The unconditional fallback at the end of a guard list. Its edge may carry
- * Commands whose Effects need services, threading their requirements into the
- * Machine's `R` the same way {@link to} and {@link when} do.
+ * Declares that a Message is intentionally ignored when every preceding
+ * {@link when} guard declines. Evaluation stops at this fallback, and
+ * {@link Machine.step} reports `ExplicitlyIgnored`. Edges listed after it are
+ * reported by {@link Machine.deadTransitions} as `ShadowedByIgnore`.
  *
  * @experimental Ships from `foldkit/experimental/machine`; expect breaking changes while the API settles.
  */
-export declare const otherwise: <State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, R = never>(edge: Edge<State, Message, SourceState, TriggerMessage, void, R>) => Otherwise<State, Message, SourceState, TriggerMessage, R>;
+export declare const ignore: () => Ignore;
 /** A step that matched an Edge: the next state plus any transition-time Commands. */
 export type Transitioned<State extends Tagged, Message extends Tagged, R = never> = Readonly<{
     _tag: 'Transitioned';
@@ -120,12 +205,29 @@ export type Transitioned<State extends Tagged, Message extends Tagged, R = never
     state: State;
     commands: ReadonlyArray<Command<Message, never, R>>;
 }>;
-/** A step that matched no Edge: the state is unchanged and the Message is observable as ignored. */
+/**
+ * Why a step matched no Edge. `OutOfAlphabet` means the Message tag appears
+ * in no state's `on` record anywhere in the table, so the Message is outside
+ * the Machine's alphabet. `NotApplicable` means the Message tag is in the
+ * alphabet, but no Edge for it exists from the current state, whether the
+ * state is absent from the table or its `on` record lacks the tag.
+ * `GuardsFellThrough` means an Edge entry exists for this state and Message,
+ * but every guard declined and no {@link otherwise} or {@link ignore} fallback
+ * was present.
+ * `ExplicitlyIgnored` means evaluation reached an {@link ignore} fallback.
+ */
+export type IgnoredReason = 'OutOfAlphabet' | 'NotApplicable' | 'GuardsFellThrough' | 'ExplicitlyIgnored';
+/**
+ * A step that matched no Edge: the state is unchanged and the Message is
+ * observable as ignored. `reason` distinguishes the four causes, described
+ * on {@link IgnoredReason}.
+ */
 export type Ignored<State extends Tagged, Message extends Tagged> = Readonly<{
     _tag: 'Ignored';
     stateTag: TagOf<State>;
     messageTag: TagOf<Message>;
     state: State;
+    reason: IgnoredReason;
 }>;
 /** The observable outcome of one step: `Transitioned` or `Ignored`.
  *
@@ -153,9 +255,10 @@ export type EdgeSummary<State extends Tagged, Message extends Tagged> = Readonly
  * Why an Edge cannot fire in a walk of the declared Edge set:
  * `UnreachableSource` means no path from the walk roots reaches the Edge's
  * source state, and `ShadowedByOtherwise` means an earlier `otherwise` in the
- * Edge's guard list always fires first.
+ * Edge's guard list always fires first. `ShadowedByIgnore` means an earlier
+ * {@link ignore} stops evaluation first.
  */
-export type DeadTransitionReason = 'UnreachableSource' | 'ShadowedByOtherwise';
+export type DeadTransitionReason = 'UnreachableSource' | 'ShadowedByOtherwise' | 'ShadowedByIgnore';
 /** An Edge that cannot fire in a walk of the declared Edge set, with the reason. */
 export type DeadTransition<State extends Tagged, Message extends Tagged> = Readonly<{
     edge: EdgeSummary<State, Message>;
@@ -165,48 +268,100 @@ export type DeadTransition<State extends Tagged, Message extends Tagged> = Reado
  *
  * @experimental Ships from `foldkit/experimental/machine`; expect breaking changes while the API settles.
  */
-export type Machine<State extends Tagged, Message extends Tagged, R = never> = Readonly<{
+export type Machine<State extends Tagged, Message extends Tagged, R = never, Context = NoMachineContext> = Readonly<{
     initial: State;
     stateTags: ReadonlyArray<TagOf<State>>;
     edges: ReadonlyArray<EdgeSummary<State, Message>>;
     /** Runs one Message through the Machine as a Foldkit update. The returned
      * `Update.Return<State, Message, R>` stores the next Machine state in
-     * `model` and any transition-time Commands in `commands`, so `transition`
-     * can be passed directly to `Update.foldChild`. Use `step` when code needs
-     * to distinguish a `Transitioned` result from an `Ignored` result or
-     * inspect Edge metadata. */
-    transition: (state: State, message: Message) => Update.Return<State, Message, R>;
-    step: (state: State, message: Message) => TransitionResult<State, Message, R>;
-    /** The state tags a walk of the declared Edge set visits starting from `tag`. */
+     * `model` and any transition-time Commands in `commands`. Use {@link fold}
+     * to read and write the Machine state inside an enclosing Model. Use `step`
+     * when code needs to distinguish a `Transitioned` result from an `Ignored`
+     * result or inspect Edge metadata.
+     */
+    transition: (state: State, message: Message, ...context: MachineContextArguments<Context>) => Update.Return<State, Message, R>;
+    step: (state: State, message: Message, ...context: MachineContextArguments<Context>) => TransitionResult<State, Message, R>;
+    /**
+     * The state tags a walk of the statically selectable declared Edges visits
+     * starting from `tag`. Edges listed after an `otherwise` or {@link ignore}
+     * are excluded because the runtime can never select them.
+     */
     reachableFrom: (tag: TagOf<State>) => ReadonlySet<TagOf<State>>;
     /**
-     * The state tags a walk of the declared Edge set never visits, starting
-     * from the initial state's tag plus `extraRoots`. The walk sees only the
-     * declared Edges, so state changes made outside `transition` and `step`
-     * are invisible to it, and it always starts at `initial`. Entry points
-     * other than `initial`, such as restored persistence, deep links, or SSR
-     * hydration, must be passed as `extraRoots`, or the states they enter are
-     * reported unreachable even though the running program visits them.
+     * The state tags a walk of the statically selectable declared Edges never
+     * visits, starting from the initial state's tag plus `extraRoots`. Edges
+     * listed after an `otherwise` or {@link ignore} are excluded because the
+     * runtime can never select them. The walk sees only declared Edges, so state
+     * changes made outside `transition` and `step` are invisible to it, and it
+     * always starts at `initial`. Entry points other than `initial`, such as
+     * restored persistence, deep links, or SSR hydration, must be passed as
+     * `extraRoots`, or the states they enter are reported unreachable even
+     * though the running program visits them.
      */
     unreachableStates: (extraRoots?: ReadonlyArray<TagOf<State>>) => ReadonlyArray<TagOf<State>>;
     /**
      * The Edges that cannot fire in a walk of the declared Edge set starting
      * from the initial state's tag plus `extraRoots`, each with its
-     * {@link DeadTransitionReason}. The same assumptions as
-     * `unreachableStates` apply: the walk cannot see state changes made
-     * outside `transition` and `step`, and entry points other than `initial`
-     * must be passed as `extraRoots`, or their outgoing Edges are reported as
-     * `UnreachableSource` even though the running program fires them.
+     * {@link DeadTransitionReason}. Each Edge appears at most once;
+     * `ShadowedByOtherwise` and `ShadowedByIgnore` take precedence when a source
+     * is also unreachable. The same assumptions as `unreachableStates` apply:
+     * the walk cannot see state changes made outside `transition` and `step`,
+     * and entry points other than `initial` must be passed as `extraRoots`, or
+     * their outgoing Edges are reported as `UnreachableSource` even though the
+     * running program fires them.
      */
     deadTransitions: (extraRoots?: ReadonlyArray<TagOf<State>>) => ReadonlyArray<DeadTransition<State, Message>>;
     toMermaid: () => string;
 }>;
+type FoldContextField<ParentModel, Context> = HasMachineContext<Context> extends true ? Readonly<{
+    context: (model: NoInfer<ParentModel>) => NoInfer<MachineContextArgument<Context>>;
+}> : Readonly<{
+    context?: never;
+}>;
+/** The capabilities needed to fold a Machine state field into its enclosing
+ * Model. `read` returns an `Option` because the field may be absent in the
+ * current Model variant; `write` replaces it after a transition. A contextual
+ * Machine also requires `context`, which reads the current context from the
+ * enclosing Model for each transition. */
+export type FoldConfig<ParentModel, State extends Tagged, Message extends Tagged, R = never, Context = NoMachineContext> = Readonly<{
+    machine: Machine<State, Message, R, Context>;
+    read: (model: ParentModel) => Option.Option<State>;
+    write: (model: ParentModel, nextState: State) => ParentModel;
+}> & FoldContextField<ParentModel, Context>;
+/** Folds a Machine state field into an enclosing Model. Any transition-time
+ * Commands pass through unchanged.
+ *
+ * When `read` returns `None`, the fold returns the original Model without
+ * running a transition. For a contextual Machine, `context` is read only when
+ * the Machine state is present and is supplied to that transition.
+ *
+ * ```ts
+ * const foldUpload = Machine.fold({
+ *   machine: uploadMachine,
+ *   read: (model: Model) => Option.some(model.upload),
+ *   write: (model, nextUpload) =>
+ *     evo(model, { upload: () => nextUpload }),
+ *   context: model => model.uploadQueues,
+ * })
+ *
+ * // Data-first in update
+ * foldUpload(model, message)
+ *
+ * // Data-last in a composed update
+ * Update.combine(model, [foldUpload(message), recordUploadAttempt])
+ * ```
+ *
+ * @experimental Ships from `foldkit/experimental/machine`; expect breaking changes while the API settles.
+ */
+export declare const fold: {
+    <ParentModel, State extends Tagged, Message extends Tagged, R = never, Context = NoMachineContext>(config: FoldConfig<ParentModel, State, Message, R, Context>): Update.Fold<ParentModel, Message, Message, R>;
+};
 /**
  * The Schemas a Machine is defined over: the state union and the Message
  * union. Passed to `define`'s first stage so the type parameters are
- * fully resolved before the transition table is checked.
+ * fully resolved before the Machine definition is checked.
  */
-export type MachineSchemas<State extends Tagged, Message extends Tagged> = Readonly<{
+type MachineSchemaFields<State extends Tagged, Message extends Tagged> = Readonly<{
     state: Schema.Top & Readonly<{
         Type: State;
         members: ReadonlyArray<Schema.Top>;
@@ -215,29 +370,54 @@ export type MachineSchemas<State extends Tagged, Message extends Tagged> = Reado
         Type: Message;
     }>;
 }>;
-/** The Machine definition: the initial state and the transition table.
+/**
+ * The Schemas a Machine is defined over, including an optional read-only
+ * context Schema. A declared context is required by the Machine's guards,
+ * Edge handlers, `transition`, and `step`.
+ */
+export type MachineSchemas<State extends Tagged, Message extends Tagged, ContextSchema extends Schema.Top | undefined = undefined> = MachineSchemaFields<State, Message> & ([ContextSchema] extends [Schema.Top] ? Readonly<{
+    context: ContextSchema;
+}> : Readonly<{
+    context?: never;
+}>);
+/** The Machine definition: the initial state, shared transition defaults, and
+ * the state-local transition table. A state-local transition replaces a
+ * shared transition for the same state and Message.
  *
  * @experimental Ships from `foldkit/experimental/machine`; expect breaking changes while the API settles.
  */
-export type MachineDefinition<State extends Tagged, Message extends Tagged, R = never> = Readonly<{
+export type MachineDefinition<State extends Tagged, Message extends Tagged, R = never, Context = NoMachineContext> = Readonly<{
     initial: State;
-    states: TransitionTable<State, Message, R>;
+    shared?: ReadonlyArray<ForStatesFragment<State, Message, R, Context>>;
+    states: TransitionTable<State, Message, R, Context>;
 }>;
 /**
- * Compiles a declarative transition table into a {@link Machine}.
+ * Compiles a declarative Machine definition into a {@link Machine}.
  *
  * Two stages: the first takes the state and Message union Schemas and fixes
- * the type parameters, the second takes the initial state and the transition
- * table. The split is what lets TypeScript narrow `state` and `message`
- * inside every Edge from its table position: a single-call form checks the
- * table while the type parameters are still being inferred, and the
- * narrowing collapses.
+ * the type parameters, the second takes the initial state, optional shared
+ * transition defaults, and the state-local transition table. The split is
+ * what lets TypeScript narrow `state` and `message` inside every Edge from its
+ * transition-map position: a single-call form checks the definition while the
+ * type parameters are still being inferred, and the narrowing collapses.
+ *
+ * Build shared defaults with {@link forStates}. Each fragment is expanded
+ * into the ordinary state-local table before dispatch and static analysis. A
+ * state-local transition replaces its shared default for that state and
+ * Message; overlapping shared fragments throw when the Machine is defined.
+ *
+ * The Machine is not a runtime: `transition` returns an `Update.Return`, so the
+ * Machine state lives in the Model and the Foldkit runtime never learns the
+ * Machine exists. Use {@link fold} to read and write a Machine state field in
+ * an enclosing Model. Messages that match no Edge leave the state unchanged;
+ * use `step` when the `Ignored` outcome should be observable.
  *
- * The Machine is not a runtime: `transition` has the same shape as a Foldkit
- * `update` branch and returns `[nextState, commands]`, so the machine state
- * lives in the Model and the Foldkit runtime never learns the Machine
- * exists. Messages that match no Edge leave the state unchanged; use `step`
- * when the `Ignored` outcome should be observable.
+ * Declare a `context` Schema when transitions need a read-only view of data
+ * outside the Machine state. The context is passed to guards and Edge handlers
+ * on each call; it is not decoded, stored, or included in static analysis. Data
+ * that the state owns for its lifetime belongs in the state as a snapshot.
+ * Values that should be visible as facts in Story tests and DevTools should
+ * still enter through Messages.
  *
  * Because every Edge names a literal target tag, the Edge set is plain data:
  * `reachableFrom`, `unreachableStates`, `deadTransitions`, and `toMermaid`
@@ -249,23 +429,37 @@ export type MachineDefinition<State extends Tagged, Message extends Tagged, R =
  * distinct services `R` cannot be inferred to their union, so supply it on the
  * second call: `define(schemas)<UploadsClient | SaveClient>({ ... })`.
  *
- * @example An edge Command that needs a service
+ * @example Read external Model data through context
  * ```ts
- * const machine = define({ state: DialogState, message: DialogMessage })({
+ * const machine = define({
+ *   state: DialogState,
+ *   message: DialogMessage,
+ *   context: UploadQueues,
+ * })({
  *   initial: Idle(),
  *   states: {
  *     Idle: {
  *       on: {
- *         ClickedSubmit: to('Uploading', () => Uploading(), () => [Presign()]),
+ *         ClickedSubmit: [
+ *           when(
+ *             (_state, message, queues) => queues.has(message.fileId),
+ *             'Uploading',
+ *             ({ message, context: queues }) => ({
+ *               model: Uploading({ fileId: message.fileId }),
+ *               commands: [UploadFromQueue({ queues, fileId: message.fileId })],
+ *             }),
+ *           ),
+ *         ],
  *       },
  *     },
  *   },
  * })
- * // Commands on the return from machine.transition(...) require UploadsClient.
+ * machine.transition(model.dialog, message, model.uploadQueues)
  * ```
  *
  * @experimental Ships from `foldkit/experimental/machine`; expect breaking changes while the API settles.
  */
-export declare const define: <State extends Tagged, Message extends Tagged>(schemas: MachineSchemas<State, Message>) => <R = never>(definition: MachineDefinition<State, Message, R>) => Machine<State, Message, R>;
+export declare function define<State extends Tagged, Message extends Tagged, ContextSchema extends Schema.Top>(schemas: MachineSchemas<State, Message, ContextSchema>): <R = never>(definition: MachineDefinition<State, Message, R, ContextSchema['Type']>) => Machine<State, Message, R, ContextSchema['Type']>;
+export declare function define<State extends Tagged, Message extends Tagged>(schemas: MachineSchemas<State, Message>): <R = never>(definition: MachineDefinition<State, Message, R>) => Machine<State, Message, R>;
 export {};
 //# sourceMappingURL=machine.d.ts.map

package/dist/experimental/machine/machine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"machine.d.ts","sourceRoot":"","sources":["../../../src/experimental/machine/machine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAqB,MAAM,EAAQ,MAAM,QAAQ,CAAA;AAE9E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,8FAA8F;AAC9F,MAAM,MAAM,MAAM,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAE/C,sDAAsD;AACtD,MAAM,MAAM,KAAK,CAAC,KAAK,SAAS,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAA;AAEvD,mEAAmE;AACnE,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,MAAM,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,IAAI,OAAO,CAC3E,KAAK,EACL,QAAQ,CAAC;IAAE,IAAI,EAAE,GAAG,CAAA;CAAE,CAAC,CACxB,CAAA;AAID;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CACnB,WAAW,SAAS,MAAM,EAC1B,cAAc,SAAS,MAAM,EAC7B,UAAU,GAAG,IAAI,IACf,QAAQ,CAAC;IACX,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,EAAE,cAAc,CAAA;IACvB,UAAU,EAAE,UAAU,CAAA;CACvB,CAAC,CAAA;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,UAAU,GAAG,IAAI,EACjB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,KAAK,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,OAAO,CAAC,KAAK,KAAK,CAAA;IACxE,aAAa,EAAE,MAAM,CAAC,MAAM,CAC1B,CACE,KAAK,EAAE,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,OAAO,CAAC,KACnD,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAC/C,CAAA;IACD,QAAQ,CAAC,yBAAyB,CAAC,EAAE,UAAU,CAAA;CAChD,CAAC,CAAA;AAEF,yFAAyF;AACzF,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,UAAU,GAAG,OAAO,EACpB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC9E,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;CACvE,CAAC,CAAA;AAEF,oGAAoG;AACpG,MAAM,MAAM,SAAS,CACnB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,IAAI,EAAE,WAAW,CAAA;IACjB,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;CACjE,CAAC,CAAA;AAEF,4FAA4F;AAC5F,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,CAAC,GAAG,KAAK,IAEP,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC,GAC7D,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC,CAAA;AAE7D,KAAK,WAAW,CAAC,UAAU,IACzB,UAAU,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;AAE/D,KAAK,YAAY,CAAC,WAAW,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,GAC5D,IAAI,GACJ,WAAW,CAAC,WAAW,CAAC,CAAA;AAE5B;;;;;;;;GAQG;AACH,MAAM,MAAM,eAAe,CACzB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;KACV,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;QACrC,EAAE,EAAE,QAAQ,CAAC;aACV,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAC3B,IAAI,CACF,KAAK,EACL,OAAO,EACP,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,EACzB,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,EAC5B,IAAI,EACJ,CAAC,CACF,GACD,aAAa,CACX,WAAW,CACT,KAAK,EACL,OAAO,EACP,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,EACzB,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,EAC5B,CAAC,CACF,CACF;SACN,CAAC,CAAA;KACH,CAAC;CACH,CAAC,CAAA;AAqCF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,EAAE,GACb,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,KAAK,CAAC,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,EACpC,CAAC,GAAG,KAAK,UAED,SAAS,SACV,CACL,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,KACnD,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,aAC5B,CACT,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,KACnD,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KACtD,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CACzB,CAAA;AAEnC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,OAAO,EACpD,KAAK,CAAC,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,EACpC,CAAC,GAAG,KAAK,SAEF,CACL,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,EAC3B,OAAO,EAAE,OAAO,CAAC,cAAc,CAAC,KAC7B,WAAW,UACR,SAAS,SACV,CACL,KAAK,EAAE,OAAO,CACZ,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,CAClE,KACE,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,aAC5B,CACT,KAAK,EAAE,OAAO,CACZ,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,CAClE,KACE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KACtD,IAAI,CACL,KAAK,EACL,OAAO,EACP,WAAW,EACX,cAAc,EACd,YAAY,CAAC,WAAW,CAAC,EACzB,CAAC,CAaD,CAAA;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,GACpB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,CAAC,GAAG,KAAK,QAEH,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,KAC/D,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAGzD,CAAA;AAIF,qFAAqF;AACrF,MAAM,MAAM,YAAY,CACtB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,IAAI,EAAE,cAAc,CAAA;IACpB,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAClB,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC1B,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;CACpD,CAAC,CAAA;AAEF,oGAAoG;AACpG,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,IAAI,QAAQ,CAAC;IAC3E,IAAI,EAAE,SAAS,CAAA;IACf,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACtB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC1B,KAAK,EAAE,KAAK,CAAA;CACb,CAAC,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAC1B,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;AAI7D,qFAAqF;AACrF,MAAM,MAAM,SAAS,GACjB,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,GAC/B,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,GAC5C,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAErD,yFAAyF;AACzF,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,IACpB,QAAQ,CAAC;IACX,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAClB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC1B,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,KAAK,EAAE,SAAS,CAAA;CACjB,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG,mBAAmB,GAAG,qBAAqB,CAAA;AAE9E,oFAAoF;AACpF,MAAM,MAAM,cAAc,CACxB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,IACpB,QAAQ,CAAC;IACX,IAAI,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACjC,MAAM,EAAE,oBAAoB,CAAA;CAC7B,CAAC,CAAA;AAIF;;;GAGG;AACH,MAAM,MAAM,OAAO,CACjB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,OAAO,EAAE,KAAK,CAAA;IACd,SAAS,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IACtC,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IACjD;;;;;gCAK4B;IAC5B,UAAU,EAAE,CACV,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;IACrC,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,KAAK,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;IAC7E,iFAAiF;IACjF,aAAa,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/D;;;;;;;;OAQG;IACH,iBAAiB,EAAE,CACjB,UAAU,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KACrC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IAChC;;;;;;;;OAQG;IACH,eAAe,EAAE,CACf,UAAU,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KACrC,aAAa,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IAClD,SAAS,EAAE,MAAM,MAAM,CAAA;CACxB,CAAC,CAAA;AAEF;;;;GAIG;AACH,MAAM,MAAM,cAAc,CACxB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,IACpB,QAAQ,CAAC;IACX,KAAK,EAAE,MAAM,CAAC,GAAG,GACf,QAAQ,CAAC;QAAE,IAAI,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;KAAE,CAAC,CAAA;IAC/D,OAAO,EAAE,MAAM,CAAC,GAAG,GAAG,QAAQ,CAAC;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CAClD,CAAC,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,CAC3B,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,OAAO,EAAE,KAAK,CAAA;IACd,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;CAC3C,CAAC,CAAA;AAkEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,eAAO,MAAM,MAAM,GAChB,KAAK,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,WAClC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,MAExC,CAAC,GAAG,KAAK,cACI,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,KAC/C,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CA0T3B,CAAA"}
+{"version":3,"file":"machine.d.ts","sourceRoot":"","sources":["../../../src/experimental/machine/machine.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EAKL,MAAM,EAGN,MAAM,EAEP,MAAM,QAAQ,CAAA;AAEf,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,8FAA8F;AAC9F,MAAM,MAAM,MAAM,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAE/C,sDAAsD;AACtD,MAAM,MAAM,KAAK,CAAC,KAAK,SAAS,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAA;AAEvD,mEAAmE;AACnE,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,MAAM,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,IAAI,OAAO,CAC3E,KAAK,EACL,QAAQ,CAAC;IAAE,IAAI,EAAE,GAAG,CAAA;CAAE,CAAC,CACxB,CAAA;AAED,OAAO,CAAC,MAAM,sBAAsB,EAAE,OAAO,MAAM,CAAA;AACnD,KAAK,gBAAgB,GAAG,OAAO,sBAAsB,CAAA;AAErD,KAAK,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAA;AACtD,KAAK,OAAO,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA;AAE5D,KAAK,iBAAiB,CAAC,OAAO,IAC5B,KAAK,CAAC,OAAO,CAAC,SAAS,IAAI,GACvB,IAAI,GACJ,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,GACvB,IAAI,GACJ,CAAC,OAAO,CAAC,SAAS,CAAC,gBAAgB,CAAC,GAClC,KAAK,GACL,IAAI,CAAA;AAEd,KAAK,gBAAgB,CAAC,OAAO,IAC3B,iBAAiB,CAAC,OAAO,CAAC,SAAS,IAAI,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,CAAA;AAEnE,KAAK,sBAAsB,CAAC,OAAO,IACjC,KAAK,CAAC,OAAO,CAAC,SAAS,IAAI,GACvB,OAAO,GACP,OAAO,CAAC,OAAO,CAAC,SAAS,IAAI,GAC3B,OAAO,GACP,SAAS,SAAS,OAAO,GACvB,OAAO,CAAC,OAAO,EAAE,IAAI,GAAG,SAAS,CAAC,GAAG,SAAS,GAC9C,OAAO,CAAA;AAEjB,KAAK,uBAAuB,CAAC,OAAO,IAClC,iBAAiB,CAAC,OAAO,CAAC,SAAS,IAAI,GACnC,CAAC,OAAO,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAC,GAC1C,EAAE,CAAA;AAIR;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,CACnB,WAAW,SAAS,MAAM,EAC1B,cAAc,SAAS,MAAM,EAC7B,UAAU,GAAG,IAAI,EACjB,OAAO,GAAG,gBAAgB,IAE1B,iBAAiB,CAAC,OAAO,CAAC,SAAS,IAAI,GACnC,QAAQ,CAAC;IACP,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,EAAE,cAAc,CAAA;IACvB,UAAU,EAAE,UAAU,CAAA;IACtB,OAAO,EAAE,OAAO,CAAA;CACjB,CAAC,GACF,QAAQ,CAAC;IACP,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,EAAE,cAAc,CAAA;IACvB,UAAU,EAAE,UAAU,CAAA;CACvB,CAAC,CAAA;AAER;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,UAAU,GAAG,IAAI,EACjB,CAAC,GAAG,KAAK,EACT,OAAO,GAAG,gBAAgB,IACxB,QAAQ,CAAC;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,OAAO,EAAE,CACP,KAAK,EAAE,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,CAAC,KAC5D,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;IACrC,QAAQ,CAAC,yBAAyB,CAAC,EAAE,UAAU,CAAA;CAChD,CAAC,CAAA;AAEF,yFAAyF;AACzF,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,UAAU,GAAG,OAAO,EACpB,CAAC,GAAG,KAAK,EACT,OAAO,GAAG,gBAAgB,IACxB,QAAQ,CAAC;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,CACL,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,cAAc,EACvB,GAAG,OAAO,EAAE,gBAAgB,CAAC,OAAO,CAAC,KAClC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC3B,IAAI,EAAE,IAAI,CACR,KAAK,EACL,OAAO,EACP,WAAW,EACX,cAAc,EACd,UAAU,EACV,CAAC,EACD,OAAO,CACR,CAAA;CACF,CAAC,CAAA;AAEF,oGAAoG;AACpG,MAAM,MAAM,SAAS,CACnB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,CAAC,GAAG,KAAK,EACT,OAAO,GAAG,gBAAgB,IACxB,QAAQ,CAAC;IACX,IAAI,EAAE,WAAW,CAAA;IACjB,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;CAC1E,CAAC,CAAA;AAEF,oGAAoG;AACpG,MAAM,MAAM,MAAM,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,CAAA;AAEjD;wEACwE;AACxE,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,CAAC,GAAG,KAAK,EACT,OAAO,GAAG,gBAAgB,IAExB,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,GACtE,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,EAAE,OAAO,CAAC,GAClE,MAAM,CAAA;AAEV,KAAK,WAAW,CAAC,UAAU,IACzB,UAAU,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;AAE/D,KAAK,YAAY,CAAC,WAAW,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,GAC5D,IAAI,GACJ,WAAW,CAAC,WAAW,CAAC,CAAA;AAE5B;;;;;;;;GAQG;AACH,MAAM,MAAM,eAAe,CACzB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,EACT,OAAO,GAAG,gBAAgB,IACxB,QAAQ,CAAC;KACV,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;QACrC,EAAE,EAAE,QAAQ,CAAC;aACV,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAC3B,IAAI,CACF,KAAK,EACL,OAAO,EACP,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,EACzB,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,EAC5B,IAAI,EACJ,CAAC,EACD,OAAO,CACR,GACD,aAAa,CACX,WAAW,CACT,KAAK,EACL,OAAO,EACP,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,EACzB,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,EAC5B,CAAC,EACD,OAAO,CACR,CACF;SACN,CAAC,CAAA;KACH,CAAC;CACH,CAAC,CAAA;AAEF,QAAA,MAAM,eAAe,EAAE,OAAO,MAA4C,CAAA;AAC1E,OAAO,CAAC,MAAM,uBAAuB,EAAE,OAAO,MAAM,CAAA;AAEpD,KAAK,iBAAiB,CACpB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,EACD,OAAO,EACP,UAAU,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IACpE,QAAQ,CAAC;IACX,IAAI,EAAE,WAAW,CAAA;IACjB,CAAC,eAAe,CAAC,EAAE,OAAO,eAAe,CAAA;IACzC,UAAU,EAAE,UAAU,CAAA;IACtB,EAAE,EAAE,OAAO,CAAA;IACX,QAAQ,CAAC,CAAC,uBAAuB,CAAC,CAAC,EAAE,QAAQ,CAAC;QAC5C,KAAK,EAAE,KAAK,CAAA;QACZ,OAAO,EAAE,OAAO,CAAA;QAChB,YAAY,EAAE,CAAC,CAAA;QACf,OAAO,EAAE,OAAO,CAAA;KACjB,CAAC,CAAA;CACH,CAAC,CAAA;AAEF,KAAK,mBAAmB,CACtB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,CAAC,EACD,OAAO,IACL,QAAQ,CAAC;KACV,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAC3B,IAAI,CACF,KAAK,EACL,OAAO,EACP,WAAW,EACX,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,EAC5B,IAAI,EACJ,CAAC,EACD,OAAO,CACR,GACD,aAAa,CACX,WAAW,CACT,KAAK,EACL,OAAO,EACP,WAAW,EACX,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,EAC5B,CAAC,EACD,OAAO,CACR,CACF;CACN,CAAC,CAAA;AAEF,KAAK,qBAAqB,CAAC,KAAK,IAC9B,KAAK,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GACrD,CAAC,GACD,KAAK,SAAS,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GACvD,CAAC,GACD,KAAK,CAAA;AAEb,KAAK,wBAAwB,CAAC,KAAK,IACjC,KAAK,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GACrD,CAAC,GACD,KAAK,SAAS,aAAa,CAAC,MAAM,WAAW,CAAC,GAC5C,qBAAqB,CAAC,WAAW,CAAC,GAClC,KAAK,CAAA;AAEb,KAAK,2BAA2B,CAAC,WAAW,IAAI,wBAAwB,CACtE,WAAW,CAAC,WAAW,CAAC,MAAM,WAAW,CAAC,CAAC,CAC5C,CAAA;AAED,KAAK,gBAAgB,CAAC,UAAU,SAAS,KAAK,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAC1E,QAAQ,CAAC;IACP,EAAE,EAAE,CACF,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,OAAO,EACP,CAAC,EACD,KAAK,CAAC,WAAW,SAAS,mBAAmB,CAC3C,KAAK,EACL,OAAO,EACP,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EACzD,CAAC,EACD,OAAO,CACR,EAED,WAAW,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,KAAK,GAChE,OAAO,CAAC,MAAM,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,SAAS,KAAK,GACtD,WAAW,GACX,KAAK,GACP,KAAK,KACN,iBAAiB,CACpB,KAAK,EACL,OAAO,EACP,2BAA2B,CAAC,WAAW,CAAC,EACxC,OAAO,EACP,UAAU,CACX,CAAA;CACF,CAAC,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,SAAS,EAAE,CACtB,KAAK,CAAC,UAAU,SAAS,KAAK,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAE5D,UAAU,EAAE,UAAU,KACnB,gBAAgB,CAAC,UAAU,CAO9B,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,CAC1B,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,EAC9B,CAAC,GAAG,KAAK,EACT,OAAO,GAAG,gBAAgB,IACxB,WAAW,CAAC,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAA;AAuCvE;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,EAAE,GACb,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,KAAK,CAAC,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,EACpC,CAAC,GAAG,KAAK,EACT,OAAO,GAAG,gBAAgB,UAElB,SAAS,WACR,CACP,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,KAClE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAC1E,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,CAUjD,CAAA;AAEpB;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,OAAO,EACpD,KAAK,CAAC,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,EACpC,CAAC,GAAG,KAAK,EACT,OAAO,GAAG,gBAAgB,SAEnB,CACL,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,EAC3B,OAAO,EAAE,OAAO,CAAC,cAAc,CAAC,EAChC,GAAG,OAAO,EAAE,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAC3C,WAAW,UACR,SAAS,WACR,CACP,KAAK,EAAE,OAAO,CACZ,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,YAAY,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,CAC3E,KACE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAC1E,IAAI,CACL,KAAK,EACL,OAAO,EACP,WAAW,EACX,cAAc,EACd,YAAY,CAAC,WAAW,CAAC,EACzB,CAAC,EACD,OAAO,CA8BR,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,GACpB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,CAAC,GAAG,KAAK,EACT,OAAO,GAAG,gBAAgB,QAEpB,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,KACxE,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,EAAE,OAAO,CAGlE,CAAA;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,QAAO,MAA8B,CAAA;AAIxD,qFAAqF;AACrF,MAAM,MAAM,YAAY,CACtB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,IAAI,EAAE,cAAc,CAAA;IACpB,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAClB,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC1B,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;CACpD,CAAC,CAAA;AAEF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,aAAa,GACvB,eAAe,GAAG,eAAe,GAAG,mBAAmB,GAAG,mBAAmB,CAAA;AAE/E;;;;GAIG;AACH,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,IAAI,QAAQ,CAAC;IAC3E,IAAI,EAAE,SAAS,CAAA;IACf,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACtB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC1B,KAAK,EAAE,KAAK,CAAA;IACZ,MAAM,EAAE,aAAa,CAAA;CACtB,CAAC,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAC1B,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;AAI7D,qFAAqF;AACrF,MAAM,MAAM,SAAS,GACjB,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,GAC/B,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,GAC5C,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAErD,yFAAyF;AACzF,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,IACpB,QAAQ,CAAC;IACX,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAClB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC1B,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,KAAK,EAAE,SAAS,CAAA;CACjB,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,oBAAoB,GAC9B,mBAAmB,GAAG,qBAAqB,GAAG,kBAAkB,CAAA;AAElE,oFAAoF;AACpF,MAAM,MAAM,cAAc,CACxB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,IACpB,QAAQ,CAAC;IACX,IAAI,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACjC,MAAM,EAAE,oBAAoB,CAAA;CAC7B,CAAC,CAAA;AAIF;;;GAGG;AACH,MAAM,MAAM,OAAO,CACjB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,EACT,OAAO,GAAG,gBAAgB,IACxB,QAAQ,CAAC;IACX,OAAO,EAAE,KAAK,CAAA;IACd,SAAS,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IACtC,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IACjD;;;;;;OAMG;IACH,UAAU,EAAE,CACV,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,EAChB,GAAG,OAAO,EAAE,uBAAuB,CAAC,OAAO,CAAC,KACzC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;IACrC,IAAI,EAAE,CACJ,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,EAChB,GAAG,OAAO,EAAE,uBAAuB,CAAC,OAAO,CAAC,KACzC,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;IACxC;;;;OAIG;IACH,aAAa,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/D;;;;;;;;;;OAUG;IACH,iBAAiB,EAAE,CACjB,UAAU,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KACrC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IAChC;;;;;;;;;;OAUG;IACH,eAAe,EAAE,CACf,UAAU,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KACrC,aAAa,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IAClD,SAAS,EAAE,MAAM,MAAM,CAAA;CACxB,CAAC,CAAA;AAEF,KAAK,gBAAgB,CAAC,WAAW,EAAE,OAAO,IACxC,iBAAiB,CAAC,OAAO,CAAC,SAAS,IAAI,GACnC,QAAQ,CAAC;IACP,OAAO,EAAE,CACP,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,KACxB,OAAO,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAA;CAC9C,CAAC,GACF,QAAQ,CAAC;IAAE,OAAO,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,CAAA;AAEnC;;;;0CAI0C;AAC1C,MAAM,MAAM,UAAU,CACpB,WAAW,EACX,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,EACT,OAAO,GAAG,gBAAgB,IACxB,QAAQ,CAAC;IACX,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;IAC5C,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAClD,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,KAAK,WAAW,CAAA;CAC7D,CAAC,GACA,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAA;AAwBxC;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB,CACE,WAAW,EACX,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,EACT,OAAO,GAAG,gBAAgB,EAE1B,MAAM,EAAE,UAAU,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,GAC1D,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;CAsB9C,CAAA;AAEJ;;;;GAIG;AACH,KAAK,mBAAmB,CACtB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,IACpB,QAAQ,CAAC;IACX,KAAK,EAAE,MAAM,CAAC,GAAG,GACf,QAAQ,CAAC;QAAE,IAAI,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;KAAE,CAAC,CAAA;IAC/D,OAAO,EAAE,MAAM,CAAC,GAAG,GAAG,QAAQ,CAAC;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CAClD,CAAC,CAAA;AAEF;;;;GAIG;AACH,MAAM,MAAM,cAAc,CACxB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,aAAa,SAAS,MAAM,CAAC,GAAG,GAAG,SAAS,GAAG,SAAS,IACtD,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,GACrC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GACjC,QAAQ,CAAC;IAAE,OAAO,EAAE,aAAa,CAAA;CAAE,CAAC,GACpC,QAAQ,CAAC;IAAE,OAAO,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC,CAAA;AAEpC;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,CAC3B,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,EACT,OAAO,GAAG,gBAAgB,IACxB,QAAQ,CAAC;IACX,OAAO,EAAE,KAAK,CAAA;IACd,MAAM,CAAC,EAAE,aAAa,CAAC,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAA;IACrE,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;CACpD,CAAC,CAAA;AAgPF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmEG;AACH,wBAAgB,MAAM,CACpB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,aAAa,SAAS,MAAM,CAAC,GAAG,EAEhC,OAAO,EAAE,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,aAAa,CAAC,GACrD,CAAC,CAAC,GAAG,KAAK,EACX,UAAU,EAAE,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,KACpE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,CAAA;AACtD,wBAAgB,MAAM,CAAC,KAAK,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EACjE,OAAO,EAAE,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,GACtC,CAAC,CAAC,GAAG,KAAK,EACX,UAAU,EAAE,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,KAC7C,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA"}