xstate 6.0.0-alpha.57 → 6.0.0-alpha.58

package/dist/declarations/src/actors/index.d.ts

@@ -5,5 +5,5 @@ export { createLogic, type LogicActorLogic, type LogicActorRef, type LogicArgs,
 export { createAsyncLogic, type AsyncActorLogic, type AsyncActorRef, type AsyncSnapshot, type LogicArgs as AsyncLogicArgs, type LogicConfig as AsyncLogicConfig, type LogicEnqueue as AsyncLogicEnqueue, type LogicFunction as AsyncLogicFunction, TimeoutError } from "./promise.js";
 export { createListenerLogic, listenerLogic, type ListenerActorLogic, type ListenerActorRef, type ListenerSnapshot, type ListenerInput } from "./listener.js";
 export { createSubscriptionLogic, subscriptionLogic, type SubscriptionActorLogic, type SubscriptionActorRef, type SubscriptionSnapshot, type SubscriptionInput, type SubscriptionMappers } from "./subscription.js";
-declare const emptyLogic: import("./logic.js").LogicActorLogic<undefined, undefined, import("../types.js").EventObject, import("../types.js").NonReducibleUnknown, import("../types.js").EventObject>;
+declare const emptyLogic: import("./logic.js").LogicActorLogic<undefined, undefined, import("../base.types.js").EventObject, import("../types.js").NonReducibleUnknown, import("../base.types.js").EventObject>;
 export declare function createEmptyActor(): ActorFromLogic<typeof emptyLogic>;

package/dist/declarations/src/base.types.d.ts

@@ -0,0 +1,87 @@
+/**
+ * Lean type primitives shared by the main `xstate` entry and the compact
+ * `xstate/fsm` entry. This module (plus `schema.types.ts`) must stay free of
+ * imports from the rest of the package so that `xstate/fsm` consumers do not
+ * pull the full type surface into their program.
+ */
+import type { SetupStateSchemas, StandardSchemaV1, TypeSchema } from "./schema.types.js";
+declare global {
+    interface SymbolConstructor {
+        readonly observable: symbol;
+    }
+}
+/** The full definition of an event, with a string `type`. */
+export type EventObject = {
+    /** The type of event that is sent. */
+    type: string;
+};
+export type MachineContext = Record<string, any>;
+export type Values<T> = T[keyof T];
+export type ActionSchemas = Record<string, {
+    params: StandardSchemaV1;
+}>;
+export type GuardSchemas = Record<string, {
+    params: StandardSchemaV1;
+}>;
+/** State node types that can be declared in a setup state contract. */
+export type SetupStateType = 'atomic' | 'compound' | 'parallel' | 'final' | 'history' | 'choice';
+export type SetupSchemas = {
+    context?: StandardSchemaV1;
+    events?: Record<string, StandardSchemaV1>;
+    internalEvents?: Record<string, StandardSchemaV1>;
+    actions?: ActionSchemas;
+    guards?: GuardSchemas;
+    emitted?: Record<string, StandardSchemaV1>;
+    input?: StandardSchemaV1;
+    output?: StandardSchemaV1;
+    meta?: StandardSchemaV1;
+    transitionMeta?: StandardSchemaV1;
+    tags?: StandardSchemaV1;
+    children?: Record<string, StandardSchemaV1>;
+};
+/**
+ * State schema with optional input/output schemas, structural metadata, and
+ * nested states.
+ *
+ * Structural fields are contracts/defaults for `createMachine(...)`; machine
+ * behavior remains authored in the machine config.
+ */
+export interface SetupStateSchema {
+    type?: SetupStateType;
+    id?: string;
+    initial?: string;
+    history?: 'shallow' | 'deep' | true;
+    target?: string | readonly [string, ...string[]];
+    route?: true;
+    schemas?: SetupStateSchemas;
+    states?: Record<string, SetupStateSchema>;
+}
+/**
+ * Event payloads from schemas (e.g. Zod) are often inferred as optional in
+ * output types. Wrapping in Required<> ensures properties defined in the schema
+ * are required on the event. Type-only schemas created with the `types()`
+ * helper are exempt: their declared type is authoritative, so optional
+ * properties stay optional.
+ */
+export type InferEvents<TEventSchemaMap extends Record<string, StandardSchemaV1>> = Values<{
+    [K in keyof TEventSchemaMap & string]: StandardSchemaV1.InferOutput<TEventSchemaMap[K]> extends infer O ? [O] extends [never] ? never : unknown extends O ? O & {
+        type: K;
+    } : [O] extends [void] ? {
+        type: K;
+    } : string extends keyof O ? [O[string]] extends [never] ? {
+        type: EventTypeFromSchemaKey<K>;
+    } : NormalizeEventPayload<TEventSchemaMap[K], O> & {
+        type: EventTypeFromSchemaKey<K>;
+    } : NormalizeEventPayload<TEventSchemaMap[K], O> & {
+        type: EventTypeFromSchemaKey<K>;
+    } : never;
+}>;
+/** Infers internal events only from explicitly declared schema keys. */
+export type InferInternalEvents<TEventSchemaMap extends Record<string, StandardSchemaV1>> = string extends keyof TEventSchemaMap ? never : InferEvents<TEventSchemaMap>;
+type EventTypeFromSchemaKey<TKey extends string> = TKey extends '*' ? string : TKey extends `${infer TLeading}.*` ? `${TLeading}.${string}` : TKey;
+/**
+ * Keeps a type-only schema's payload verbatim; applies Required<> to payloads
+ * from validator libraries (see {@link InferEvents}).
+ */
+type NormalizeEventPayload<TSchema extends StandardSchemaV1, O> = TSchema extends TypeSchema<any> ? O : Required<O>;
+export {};

package/dist/declarations/src/fsm.d.ts

@@ -1,7 +1,5 @@
-import type { EventObject, MachineContext } from "./types.js";
+import type { EventObject, InferEvents, MachineContext, SetupSchemas, SetupStateSchema } from "./base.types.js";
 import type { StandardSchemaV1 } from "./schema.types.js";
-import type { SetupSchemas, SetupStateSchema } from "./setup.js";
-import type { InferEvents } from "./types.v6.js";
 export type FSMArgs<TContext extends MachineContext, TEvent extends EventObject> = {
     context: TContext;
     event: TEvent;

package/dist/declarations/src/index.d.ts

@@ -31,8 +31,3 @@ export { executeEffects, isBuiltInExecutableAction } from "./transitionActions.j
 export { getEffectDescriptor, type EffectDescriptor } from "./effectDescriptor.js";
 export { deliverEvent, runStep, stopActor, terminateActor } from "./runtimeHelpers.js";
 export { waitFor } from "./waitFor.js";
-declare global {
-    interface SymbolConstructor {
-        readonly observable: symbol;
-    }
-}

package/dist/declarations/src/setup.d.ts

@@ -1,11 +1,12 @@
 import { SetupStateSchemas, StandardSchemaV1 } from "./schema.types.js";
+import type { SetupSchemas, SetupStateSchema, SetupStateType } from "./base.types.js";
 import type { ActorLogicValidator } from "./validation.types.js";
 import { StateMachine } from "./StateMachine.js";
 import { type Actor, type RequiredActorOptionsKeys } from "./createActor.js";
 import { AnyActorRef, AnyActorLogic, ActorRefFromLogic, AnyStateNode, EventObject, AnyEventObject, EventDescriptor, ExtractEvent, MachineContext, ProvidedActor, RoutableStateId, StateSchema, StateValue, StateValueFromStateSchema, ToChildren, MetaObject, Cast, Compute, EnqueueObject, DoneActorEvent, DoneStateEvent, ErrorFrom, ErrorActorEvent, SystemRegistry, RegistryKeyForLogic, ActorOptions, Observer, Subscription, OutputArg, SnapshotEvent, SingleOrArray, AfterEvent, TimeoutEvent, ErrorEvent } from "./types.js";
 import { AnyActorSystem } from "./system.js";
 import { InspectionEvent } from "./inspection.js";
-import { ActionSchemas, DelayMapFromNames, DelaySourceMap, GuardSourceMap, GuardSchemas, InferChildren, InferActions, InferGuards, Sources, InferOutput, InferEvents, InferInternalEvents, Next_MachineConfig, Next_InvokeConfig, Next_StateNodeConfig, Next_TransitionConfigOrTarget, OutputFromConfig, ValidateHistoryDefaults, ValidateStateTargets, WithDefault } from "./types.v6.js";
+import { ActionSchemas, DelayMapFromNames, DelaySourceMap, GuardSourceMap, GuardSchemas, InferChildren, InferActions, InferGuards, Sources, InferOutput, InferEvents, InferInternalEvents, Next_MachineConfig, Next_InvokeConfig, Next_StateNodeConfig, Next_TransitionConfigOrTarget, FinalStateConfigOutput, OutputFromConfig, ValidateHistoryDefaults, ValidateStateTargets, WithDefault } from "./types.v6.js";
 export type SetupConfig<TSchemas extends SetupSchemas, TStates extends Record<string, SetupStateSchema>, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TValidator extends ActorLogicValidator | undefined = ActorLogicValidator | undefined> = {
     validator?: TValidator;
     schemas?: TSchemas;
@@ -157,39 +158,7 @@ type ValidateRegistryKeys<TConfig, TSystemRegistry extends SystemRegistry, TActo
     };
 } : unknown);
 export type { SetupStateSchemas };
-/** State node types that can be declared in a setup state contract. */
-export type SetupStateType = 'atomic' | 'compound' | 'parallel' | 'final' | 'history' | 'choice';
-export type SetupSchemas = {
-    context?: StandardSchemaV1;
-    events?: Record<string, StandardSchemaV1>;
-    internalEvents?: Record<string, StandardSchemaV1>;
-    actions?: ActionSchemas;
-    guards?: GuardSchemas;
-    emitted?: Record<string, StandardSchemaV1>;
-    input?: StandardSchemaV1;
-    output?: StandardSchemaV1;
-    meta?: StandardSchemaV1;
-    transitionMeta?: StandardSchemaV1;
-    tags?: StandardSchemaV1;
-    children?: Record<string, StandardSchemaV1>;
-};
-/**
- * State schema with optional input/output schemas, structural metadata, and
- * nested states.
- *
- * Structural fields are contracts/defaults for `createMachine(...)`; machine
- * behavior remains authored in the machine config.
- */
-export interface SetupStateSchema {
-    type?: SetupStateType;
-    id?: string;
-    initial?: string;
-    history?: 'shallow' | 'deep' | true;
-    target?: string | readonly [string, ...string[]];
-    route?: true;
-    schemas?: SetupStateSchemas;
-    states?: Record<string, SetupStateSchema>;
-}
+export type { SetupSchemas, SetupStateSchema, SetupStateType } from "./base.types.js";
 type SetupSchema<TSchemas, TKey extends keyof SetupSchemas> = TKey extends keyof TSchemas ? TSchemas[TKey] extends StandardSchemaV1 ? TSchemas[TKey] : never : never;
 type SetupSchemaMap<TSchemas, TKey extends 'events' | 'internalEvents' | 'emitted' | 'children'> = TKey extends keyof TSchemas ? TSchemas[TKey] extends Record<string, StandardSchemaV1> ? TSchemas[TKey] : never : never;
 type SetupActionSchemaMap<TSchemas> = 'actions' extends keyof TSchemas ? TSchemas['actions'] extends ActionSchemas ? TSchemas['actions'] : never : never;
@@ -451,12 +420,35 @@ type SetupOutput<TSchemas, TOutputSchema extends StandardSchemaV1> = [
 type HasOutputSchema<TSchemas, TOutputSchema extends StandardSchemaV1> = [
     SetupSchema<TSchemas, 'output'>
 ] extends [never] ? StandardSchemaV1 extends TOutputSchema ? false : true : true;
+/**
+ * Whether a state is final, per the authored config or the setup-declared
+ * state contract.
+ */
+type IsFinalState<TStateConfig, TStateSchema> = TStateConfig extends {
+    type: 'final';
+} ? true : TStateSchema extends {
+    type: 'final';
+} ? true : false;
+/**
+ * The union of output types across the config's top-level final states, or
+ * `never` when it has none. A setup-declared per-state `schemas.output` wins
+ * over the state's inline `schemas.output`, which wins over the state's
+ * `output` mapper; a final state with none of these contributes `undefined`.
+ */
+type SetupTopLevelFinalOutput<TConfig, TStates extends Record<string, SetupStateSchema>> = TConfig extends {
+    states: infer TConfigStates;
+} ? {
+    [K in keyof TConfigStates]: IsFinalState<TConfigStates[K], K extends keyof TStates ? TStates[K] : never> extends true ? K extends keyof TStates ? StateOutput<TStates[K], FinalStateConfigOutput<TConfigStates[K]>> : FinalStateConfigOutput<TConfigStates[K]> : never;
+}[keyof TConfigStates] : never;
 /**
  * The machine's output type. A declared output schema wins; otherwise the type
  * is inferred from the config's `output` property (a mapper's return type, or
- * the static value's type).
+ * the static value's type), falling back to the union of top-level
+ * final-state output types.
  */
-type SetupOrConfigOutput<TSchemas, TOutputSchema extends StandardSchemaV1, TConfig> = HasOutputSchema<TSchemas, TOutputSchema> extends true ? SetupOutput<TSchemas, TOutputSchema> : OutputFromConfig<TConfig, SetupOutput<TSchemas, TOutputSchema>>;
+type SetupOrConfigOutput<TSchemas, TOutputSchema extends StandardSchemaV1, TConfig, TStates extends Record<string, SetupStateSchema>> = HasOutputSchema<TSchemas, TOutputSchema> extends true ? SetupOutput<TSchemas, TOutputSchema> : OutputFromConfig<TConfig, [
+    SetupTopLevelFinalOutput<TConfig, TStates>
+] extends [never] ? SetupOutput<TSchemas, TOutputSchema> : SetupTopLevelFinalOutput<TConfig, TStates>>;
 type SetupEmitted<TSchemas, TEmittedSchemaMap extends Record<string, StandardSchemaV1>> = [SetupSchemaMap<TSchemas, 'emitted'>] extends [never] ? WithDefault<InferEvents<TEmittedSchemaMap>, AnyEventObject> : WithDefault<InferEvents<SetupSchemaMap<TSchemas, 'emitted'>>, AnyEventObject>;
 type SetupMeta<TSchemas, TMetaSchema extends StandardSchemaV1> = [
     SetupSchema<TSchemas, 'meta'>
@@ -1050,7 +1042,7 @@ export interface SetupReturn<TStates extends Record<string, SetupStateSchema> =
         to: RoutableStateId<SetupMachineStateSchema<TConfig, TStates>>;
     }), Cast<MergeChildren<SetupChildren<TSchemas, TChildrenSchemaMap>, TActor>, Record<string, AnyActorRef | undefined>>, StateValueFromStateSchema<SetupMachineStateSchema<TConfig, TStates>>, TTag & string, [
         SetupSchema<TSchemas, 'input'>
-    ] extends [never] ? TInput : SetupInput<TSchemas, TInputSchema>, SetupOrConfigOutput<TSchemas, TOutputSchema, TConfig>, SetupEmitted<TSchemas, TEmittedSchemaMap>, SetupMeta<TSchemas, TMetaSchema>, SetupMachineStateSchema<TConfig, TStates>, MergeSourceMaps<SetupActions<TSchemas, TSetupActionMap>, MergeSourceMaps<InferActions<TActionSchemaMap>, TActionMap>>, MergeSourceMaps<TSetupActorMap, TActorMap>, MergeSourceMaps<SetupGuards<TSchemas, TSetupGuardMap>, MergeSourceMaps<InferGuards<TGuardSchemaMap>, TGuardMap>>, DelayMapFromNames<TSetupDelays | TDelays, MergeSourceMaps<TSetupDelayMap, TDelayMap>>, SetupInternalEvents<TSchemas, TInternalEventSchemaMap>, SetupTransitionMeta<TSchemas, TMetaSchema, TTransitionMetaSchema>> & MachineIdentity<TConfig>;
+    ] extends [never] ? TInput : SetupInput<TSchemas, TInputSchema>, SetupOrConfigOutput<TSchemas, TOutputSchema, TConfig, TStates>, SetupEmitted<TSchemas, TEmittedSchemaMap>, SetupMeta<TSchemas, TMetaSchema>, SetupMachineStateSchema<TConfig, TStates>, MergeSourceMaps<SetupActions<TSchemas, TSetupActionMap>, MergeSourceMaps<InferActions<TActionSchemaMap>, TActionMap>>, MergeSourceMaps<TSetupActorMap, TActorMap>, MergeSourceMaps<SetupGuards<TSchemas, TSetupGuardMap>, MergeSourceMaps<InferGuards<TGuardSchemaMap>, TGuardMap>>, DelayMapFromNames<TSetupDelays | TDelays, MergeSourceMaps<TSetupDelayMap, TDelayMap>>, SetupInternalEvents<TSchemas, TInternalEventSchemaMap>, SetupTransitionMeta<TSchemas, TMetaSchema, TTransitionMetaSchema>> & MachineIdentity<TConfig>;
     /**
      * Creates a state node config bound to a specific setup-declared state,
      * addressed by a dotted path (e.g. `'loading'` or `'parent.child'`). The

package/dist/declarations/src/types.d.ts

@@ -9,6 +9,8 @@ import type { ActorSystemRuntime, AnyActorSystem, Clock, DeadLetterDetail, Event
 import { Sources, Next_StateNodeConfig } from "./types.v6.js";
 import { StandardSchemaV1 } from "./schema.types.js";
 import { builtInActions } from "./actions.js";
+import type { EventObject, MachineContext, Values } from "./base.types.js";
+export type { EventObject, MachineContext, Values };
 export type Identity<T> = {
     [K in keyof T]: T[K];
 };
@@ -47,7 +49,6 @@ export type Compute<A> = {
     [K in keyof A]: A[K];
 } & unknown;
 export type Prop<T, K> = K extends keyof T ? T[K] : never;
-export type Values<T> = T[keyof T];
 export type Elements<T> = T[keyof T & `${number}`];
 export type Merge<M, N> = Omit<M, keyof N> & N;
 export type IndexByProp<T extends Record<P, string>, P extends keyof T> = {
@@ -67,11 +68,6 @@ export type LowInfer<T> = T & NonNullable<unknown>;
 export type MetaObject = Record<string, any>;
 export type Lazy<T> = () => T;
 export type MaybeLazy<T> = T | Lazy<T>;
-/** The full definition of an event, with a string `type`. */
-export type EventObject = {
-    /** The type of event that is sent. */
-    type: string;
-};
 export type EventPayloadPattern<TEvent extends EventObject> = TEvent extends any ? Partial<Omit<TEvent, 'type'>> : never;
 export interface AnyEventObject extends EventObject {
     [key: string]: any;
@@ -88,7 +84,6 @@ export type UnifiedArg<TContext extends MachineContext, TExpressionEvent extends
     TODO>, TEvent, AnyEventObject>;
     system: AnyActorSystem;
 } & OutputArg<TExpressionEvent>;
-export type MachineContext = Record<string, any>;
 type DoneEventType = 'xstate.done.actor' | 'xstate.done.state';
 export type OutputArg<TEvent extends EventObject> = TEvent extends {
     type: DoneEventType;
@@ -1384,4 +1379,3 @@ export type AnyAction = Action<MachineContext, EventObject, EventObject, Sources
     action: (...args: any[]) => any;
     args: any[];
 } | AnyEventObject;
-export {};

package/dist/declarations/src/types.v6.d.ts

@@ -1,4 +1,6 @@
-import { SetupStateSchemas, StandardSchemaV1, TypeSchema } from "./schema.types.js";
+import { SetupStateSchemas, StandardSchemaV1 } from "./schema.types.js";
+import type { ActionSchemas, GuardSchemas, InferEvents, InferInternalEvents } from "./base.types.js";
+export type { ActionSchemas, GuardSchemas, InferEvents, InferInternalEvents };
 import { MachineSnapshot } from "./State.js";
 import { Action, ActorTimeoutEvent, AfterEvent, ActorLogic, ActorRef, ActorRefFromLogic, ActorSelf, AnyActorLogic, AnyActorRef, Compute, DoneActorEvent, DoNotInfer, ErrorFrom, ErrorActorEvent, EnqueueObject, EventDescriptor, ErrorEvent, EventObject, EventPayloadPattern, ExtractEvent, InitialContext, InputFrom, IsNever, MetaObject, NonReducibleUnknown, OutputFrom, SingleOrArray, SnapshotEvent, StateValue, TODO, TransitionContextMapper, TransitionContextPatch, TransitionConfigFunction, Values, AnyStateNode, SystemRegistry, TimeoutEvent } from "./types.js";
 import { MachineContext, Mapper } from "./types.js";
@@ -14,48 +16,40 @@ export type OutputFromConfig<TConfig, TFallback> = TConfig extends {
     output: infer TOutput;
 } ? TOutput extends (...args: never[]) => infer TResult ? TResult : TOutput : TFallback;
 /**
- * The machine's output type when no output schema is declared in `setup()`: a
- * declared `schemas.output` is authoritative, otherwise the output type is
- * inferred from the config's `output` property.
+ * The output type contributed by a single top-level final state: its
+ * `schemas.output` if declared, otherwise its `output` mapper's return type
+ * (or static value), otherwise `undefined` (a final state with no `output`
+ * completes the machine with `undefined` output).
  */
-export type SchemaOrConfigOutput<TOutputSchema extends StandardSchemaV1, TConfig> = StandardSchemaV1 extends TOutputSchema ? OutputFromConfig<TConfig, InferOutput<TOutputSchema, unknown>> : InferOutput<TOutputSchema, unknown>;
+export type FinalStateConfigOutput<TStateConfig> = TStateConfig extends {
+    schemas: {
+        output: infer TOutputSchema extends StandardSchemaV1;
+    };
+} ? StandardSchemaV1.InferOutput<TOutputSchema> : OutputFromConfig<TStateConfig, undefined>;
 /**
- * Event payloads from schemas (e.g. Zod) are often inferred as optional in
- * output types. Wrapping in Required<> ensures properties defined in the schema
- * are required on the event. Type-only schemas created with the `types()`
- * helper are exempt: their declared type is authoritative, so optional
- * properties stay optional.
+ * The union of output types across the config's top-level final states, or
+ * `never` when it has none. Reaching a top-level final state completes the
+ * machine with that state's output when no root `output` mapper is declared.
  */
-export type InferEvents<TEventSchemaMap extends Record<string, StandardSchemaV1>> = Values<{
-    [K in keyof TEventSchemaMap & string]: StandardSchemaV1.InferOutput<TEventSchemaMap[K]> extends infer O ? [O] extends [never] ? never : unknown extends O ? O & {
-        type: K;
-    } : [O] extends [void] ? {
-        type: K;
-    } : string extends keyof O ? [O[string]] extends [never] ? {
-        type: EventTypeFromSchemaKey<K>;
-    } : NormalizeEventPayload<TEventSchemaMap[K], O> & {
-        type: EventTypeFromSchemaKey<K>;
-    } : NormalizeEventPayload<TEventSchemaMap[K], O> & {
-        type: EventTypeFromSchemaKey<K>;
-    } : never;
-}>;
-/** Infers internal events only from explicitly declared schema keys. */
-export type InferInternalEvents<TEventSchemaMap extends Record<string, StandardSchemaV1>> = string extends keyof TEventSchemaMap ? never : InferEvents<TEventSchemaMap>;
-type EventTypeFromSchemaKey<TKey extends string> = TKey extends '*' ? string : TKey extends `${infer TLeading}.*` ? `${TLeading}.${string}` : TKey;
+type TopLevelFinalOutput<TConfig> = TConfig extends {
+    states: infer TStates;
+} ? {
+    [K in keyof TStates]: TStates[K] extends {
+        type: 'final';
+    } ? FinalStateConfigOutput<TStates[K]> : never;
+}[keyof TStates] : never;
 /**
- * Keeps a type-only schema's payload verbatim; applies Required<> to payloads
- * from validator libraries (see {@link InferEvents}).
+ * The machine's output type when no output schema is declared in `setup()`: a
+ * declared `schemas.output` is authoritative, otherwise the output type is
+ * inferred from the config's `output` property, falling back to the union of
+ * top-level final-state output types.
  */
-type NormalizeEventPayload<TSchema extends StandardSchemaV1, O> = TSchema extends TypeSchema<any> ? O : Required<O>;
+export type SchemaOrConfigOutput<TOutputSchema extends StandardSchemaV1, TConfig> = StandardSchemaV1 extends TOutputSchema ? OutputFromConfig<TConfig, [
+    TopLevelFinalOutput<TConfig>
+] extends [never] ? InferOutput<TOutputSchema, unknown> : TopLevelFinalOutput<TConfig>> : InferOutput<TOutputSchema, unknown>;
 export type InferChildren<TChildrenSchemaMap extends Record<string, StandardSchemaV1>> = string extends keyof TChildrenSchemaMap ? {} : {
     [K in keyof TChildrenSchemaMap & string]?: StandardSchemaV1.InferOutput<TChildrenSchemaMap[K]> extends AnyActorRef ? NormalizeActorRef<StandardSchemaV1.InferOutput<TChildrenSchemaMap[K]>> : never;
 };
-export type ActionSchemas = Record<string, {
-    params: StandardSchemaV1;
-}>;
-export type GuardSchemas = Record<string, {
-    params: StandardSchemaV1;
-}>;
 export type InferActions<TActionSchemaMap extends ActionSchemas> = string extends keyof TActionSchemaMap ? {} : {
     [K in keyof TActionSchemaMap & string]: (params: StandardSchemaV1.InferOutput<TActionSchemaMap[K]['params']>) => void | {
         context?: any;
@@ -709,4 +703,3 @@ export type ValidateStateTargets<TConfig> = 0 extends 1 & TConfig ? unknown : TC
 } ? (TInitial extends {
     target: infer TInitialTarget;
 } ? TInitialTarget : TInitial) extends infer TInitialTarget ? InvalidInitialTarget<TConfig, TStates, TInitialTarget> : never : never) | InvalidNodeTargets<TConfig, TConfig, []> | InvalidTargetsInStates<TConfig, TStates> extends never ? unknown : never : unknown;
-export {};

package/dist/{types-69f39448.esm.js → types-1378f0fa.esm.js}

@@ -1327,8 +1327,6 @@ function createStateConfig(config) {
 
 /** @deprecated Use the built-in `NoInfer` type instead */
 
-/** The full definition of an event, with a string `type`. */
-
 /**
  * The string or object representing the state value relative to the parent
  * state node.

package/dist/{types-802dc45c.cjs.js → types-91238aab.cjs.js}

@@ -1329,8 +1329,6 @@ function createStateConfig(config) {
 
 /** @deprecated Use the built-in `NoInfer` type instead */
 
-/** The full definition of an event, with a string `type`. */
-
 /**
  * The string or object representing the state value relative to the parent
  * state node.

package/dist/{types-ec6c763a.development.cjs.js → types-939a97c6.development.cjs.js}

@@ -1361,8 +1361,6 @@ function createStateConfig(config) {
 
 /** @deprecated Use the built-in `NoInfer` type instead */
 
-/** The full definition of an event, with a string `type`. */
-
 /**
  * The string or object representing the state value relative to the parent
  * state node.

package/dist/{types-33de9b3d.development.esm.js → types-94ac7819.development.esm.js}

@@ -1359,8 +1359,6 @@ function createStateConfig(config) {
 
 /** @deprecated Use the built-in `NoInfer` type instead */
 
-/** The full definition of an event, with a string `type`. */
-
 /**
  * The string or object representing the state value relative to the parent
  * state node.

package/dist/xstate-fsm.umd.min.js.map

@@ -1 +1 @@
-{"version":3,"file":"xstate-fsm.umd.min.js","sources":["../src/fsm.ts","../src/schema.types.ts"],"sourcesContent":["import type { EventObject, MachineContext } from './types.ts';\nimport type { StandardSchemaV1 } from './schema.types.ts';\nimport type { SetupSchemas, SetupStateSchema } from './setup.ts';\nimport type { InferEvents } from './types.v6.ts';\n\nexport type FSMArgs<\n  TContext extends MachineContext,\n  TEvent extends EventObject\n> = {\n  context: TContext;\n  event: TEvent;\n};\n\nexport type FSMContextPatch<TContext extends MachineContext> =\n  Partial<TContext>;\n\nexport type FSMTransitionConfig<\n  TContext extends MachineContext,\n  TState extends string\n> = {\n  target?: TState;\n  context?: FSMContextPatch<TContext>;\n};\n\nexport type FSMTransitionFunction<\n  TContext extends MachineContext,\n  TEvent extends EventObject,\n  TState extends string,\n  TTransitionContext extends MachineContext = TContext\n> = (\n  args: FSMArgs<TContext, TEvent>\n) => FSMTransitionConfig<TTransitionContext, TState> | undefined;\n\ntype EventForType<TEvent extends EventObject, TType extends string> = [\n  Extract<TEvent, { type: TType }>\n] extends [never]\n  ? TEvent\n  : Extract<TEvent, { type: TType }>;\n\nexport type FSMTransition<\n  TContext extends MachineContext,\n  TEvent extends EventObject,\n  TState extends string,\n  TTransitionContext extends MachineContext = TContext\n> =\n  | TState\n  | FSMTransitionConfig<TTransitionContext, TState>\n  | FSMTransitionFunction<TContext, TEvent, TState, TTransitionContext>;\n\ntype FSMOn<\n  TContext extends MachineContext,\n  TEvent extends EventObject,\n  TState extends string,\n  TTransitionContext extends MachineContext = TContext\n> = {\n  [TType in TEvent['type'] & string]?: FSMTransition<\n    TContext,\n    EventForType<TEvent, TType>,\n    TState,\n    TTransitionContext\n  >;\n};\n\nexport type FSMStateConfig<\n  TContext extends MachineContext,\n  TEvent extends EventObject,\n  TState extends string,\n  TTransitionContext extends MachineContext = TContext\n> = {\n  on?: FSMOn<TContext, TEvent, TState, TTransitionContext>;\n};\n\ntype FSMContextConfig<TContext extends MachineContext> =\n  string extends keyof TContext\n    ? { context?: TContext }\n    : keyof TContext extends never\n      ? { context?: TContext }\n      : { context: TContext };\n\nexport type FSMConfig<\n  TContext extends MachineContext = {},\n  TEvent extends EventObject = EventObject,\n  TState extends string = string\n> = {\n  id?: string;\n  initial: TState;\n  states: { [K in TState]: FSMStateConfig<TContext, TEvent, TState> };\n} & FSMContextConfig<TContext>;\n\ntype FSMConfigForStates<\n  TContext extends MachineContext,\n  TEvent extends EventObject,\n  TStates extends Record<string, unknown>\n> = Omit<\n  FSMConfig<TContext, TEvent, keyof TStates & string>,\n  'initial' | 'states'\n> & {\n  initial: keyof TStates & string;\n  states: {\n    [K in keyof TStates]: FSMStateConfig<\n      TContext,\n      TEvent,\n      keyof TStates & string\n    >;\n  };\n};\n\nexport type FSMSnapshot<\n  TContext extends MachineContext,\n  TState extends string\n> = {\n  value: TState;\n  context: TContext;\n};\n\nexport type FSM<\n  TContext extends MachineContext,\n  TEvent extends EventObject,\n  TState extends string,\n  TSnapshot extends { value: TState; context: MachineContext } = FSMSnapshot<\n    TContext,\n    TState\n  >,\n  TConfig = FSMConfig<TContext, TEvent, TState>\n> = {\n  readonly id: string | undefined;\n  readonly config: TConfig;\n  readonly initialState: TSnapshot;\n  transition(snapshot: TSnapshot, event: TEvent): TSnapshot;\n};\n\ntype FSMSetupSchemas = Pick<SetupSchemas, 'context' | 'events'>;\ntype FSMSetupStates = Record<string, SetupStateSchema>;\n\ntype FSMSchemaContext<TSchema extends StandardSchemaV1> =\n  StandardSchemaV1.InferOutput<TSchema> extends MachineContext\n    ? StandardSchemaV1.InferOutput<TSchema>\n    : MachineContext;\n\ntype FSMSetupContext<TSchemas extends FSMSetupSchemas> = TSchemas extends {\n  context: infer TSchema extends StandardSchemaV1;\n}\n  ? FSMSchemaContext<TSchema>\n  : MachineContext;\n\ntype FSMSetupEvents<TSchemas extends FSMSetupSchemas> = TSchemas extends {\n  events: infer TEventSchemas extends Record<string, StandardSchemaV1>;\n}\n  ? InferEvents<TEventSchemas>\n  : EventObject;\n\ntype FSMStateContext<\n  TStateSchema,\n  TGlobalContext extends MachineContext\n> = TStateSchema extends { schemas?: infer TSchemas }\n  ? TSchemas extends {\n      context?: infer TSchema extends StandardSchemaV1;\n    }\n    ? FSMSchemaContext<TSchema> &\n        ([MachineContext] extends [TGlobalContext] ? unknown : TGlobalContext)\n    : TGlobalContext\n  : TGlobalContext;\n\ntype FSMContextFromDeclaredStates<\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext\n> = {\n  [K in keyof TStates & string]: FSMStateContext<TStates[K], TGlobalContext>;\n}[keyof TStates & string];\n\ntype FSMContextFromStates<\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext\n> = [keyof TStates] extends [never]\n  ? TGlobalContext\n  : [MachineContext] extends [TGlobalContext]\n    ? FSMContextFromDeclaredStates<TStates, TGlobalContext>\n    : TGlobalContext | FSMContextFromDeclaredStates<TStates, TGlobalContext>;\n\ntype FSMSetupStateContext<\n  TState extends string,\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext\n> = TState extends keyof TStates\n  ? FSMStateContext<TStates[TState], TGlobalContext>\n  : TGlobalContext;\n\ntype FSMSetupSnapshot<\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext,\n  TMachineStates extends Record<string, unknown>\n> = [keyof TStates] extends [never]\n  ? FSMSnapshot<TGlobalContext, keyof TMachineStates & string>\n  : {\n      [K in keyof TMachineStates & string]: {\n        value: K;\n        context: FSMSetupStateContext<K, TStates, TGlobalContext>;\n      };\n    }[keyof TMachineStates & string];\n\ntype FSMSetupTargetTransitionConfig<\n  TSourceContext extends MachineContext,\n  TTarget extends string,\n  TTargetContext extends MachineContext\n> = [FSMRequiredTargetContextKeys<TSourceContext, TTargetContext>] extends [\n  never\n]\n  ? {\n      target: TTarget;\n      context?: FSMTargetContextPatch<TSourceContext, TTargetContext>;\n    }\n  : {\n      target: TTarget;\n      context: FSMTargetContextPatch<TSourceContext, TTargetContext>;\n    };\n\ntype FSMRequiredTargetContextKeys<TSourceContext, TTargetContext> = {\n  [K in keyof TTargetContext]-?: K extends keyof TSourceContext\n    ? [TSourceContext[K]] extends [TTargetContext[K]]\n      ? never\n      : K\n    : K;\n}[keyof TTargetContext];\n\ntype FSMTargetContextPatch<TSourceContext, TTargetContext> =\n  Partial<TTargetContext> &\n    Pick<\n      TTargetContext,\n      Extract<\n        FSMRequiredTargetContextKeys<TSourceContext, TTargetContext>,\n        string\n      >\n    >;\n\ntype FSMSetupTransitionConfig<\n  TSourceContext extends MachineContext,\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext\n> =\n  | { target?: undefined; context?: FSMContextPatch<TSourceContext> }\n  | {\n      [TTarget in keyof TStates & string]: FSMSetupTargetTransitionConfig<\n        TSourceContext,\n        TTarget,\n        FSMSetupStateContext<TTarget, TStates, TGlobalContext>\n      >;\n    }[keyof TStates & string];\n\ntype FSMSetupStringTransition<\n  TSourceContext extends MachineContext,\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext\n> = {\n  [TTarget in keyof TStates & string]: [TSourceContext] extends [\n    FSMSetupStateContext<TTarget, TStates, TGlobalContext>\n  ]\n    ? TTarget\n    : never;\n}[keyof TStates & string];\n\ntype FSMSetupTransitionFunction<\n  TSourceContext extends MachineContext,\n  TEvent extends EventObject,\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext\n> = (\n  args: FSMArgs<TSourceContext, TEvent>\n) =>\n  | FSMSetupTransitionConfig<TSourceContext, TStates, TGlobalContext>\n  | undefined;\n\ntype FSMSetupTransition<\n  TSourceContext extends MachineContext,\n  TEvent extends EventObject,\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext,\n  TMachineStates extends Record<string, unknown>\n> = [keyof TStates] extends [never]\n  ? FSMTransition<TSourceContext, TEvent, keyof TMachineStates & string>\n  :\n      | FSMSetupStringTransition<TSourceContext, TStates, TGlobalContext>\n      | FSMSetupTransitionConfig<TSourceContext, TStates, TGlobalContext>\n      | FSMSetupTransitionFunction<\n          TSourceContext,\n          TEvent,\n          TStates,\n          TGlobalContext\n        >;\n\ntype FSMSetupStateConfig<\n  TSourceContext extends MachineContext,\n  TEvent extends EventObject,\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext,\n  TMachineStates extends Record<string, unknown>\n> = {\n  on?: {\n    [TType in TEvent['type'] & string]?: FSMSetupTransition<\n      TSourceContext,\n      EventForType<TEvent, TType>,\n      TStates,\n      TGlobalContext,\n      TMachineStates\n    >;\n  };\n};\n\ntype FSMSetupMachineConfig<\n  TSchemas extends FSMSetupSchemas,\n  TStates extends FSMSetupStates,\n  TMachineStates extends Record<string, unknown>\n> = {\n  id?: string;\n  initial: keyof TMachineStates & string;\n  states: {\n    [K in keyof TMachineStates]: FSMSetupStateConfig<\n      FSMStateContext<\n        K extends keyof TStates ? TStates[K] : {},\n        FSMSetupContext<TSchemas>\n      >,\n      FSMSetupEvents<TSchemas>,\n      TStates,\n      FSMSetupContext<TSchemas>,\n      TMachineStates\n    >;\n  };\n} & FSMContextConfig<FSMContextFromStates<TStates, FSMSetupContext<TSchemas>>>;\n\nexport type FSMSetupConfig<\n  TSchemas extends FSMSetupSchemas = {},\n  TStates extends FSMSetupStates = {}\n> = {\n  schemas?: TSchemas;\n  states?: TStates;\n};\n\nexport type FSMSetupReturn<\n  TSchemas extends FSMSetupSchemas,\n  TStates extends FSMSetupStates\n> = {\n  createFSM<const TMachineStates extends Record<string, unknown>>(\n    config: FSMSetupMachineConfig<TSchemas, TStates, TMachineStates>\n  ): FSM<\n    FSMContextFromStates<TStates, FSMSetupContext<TSchemas>>,\n    FSMSetupEvents<TSchemas>,\n    keyof TMachineStates & string,\n    FSMSetupSnapshot<TStates, FSMSetupContext<TSchemas>, TMachineStates>,\n    FSMSetupMachineConfig<TSchemas, TStates, TMachineStates>\n  >;\n};\n\nexport function setup<\n  const TSchemas extends FSMSetupSchemas = {},\n  const TStates extends FSMSetupStates = {}\n>(\n  _config: FSMSetupConfig<TSchemas, TStates> = {}\n): FSMSetupReturn<TSchemas, TStates> {\n  return {\n    createFSM: (config: FSMConfig) => createFSM(config)\n  } as unknown as FSMSetupReturn<TSchemas, TStates>;\n}\n\nexport function createFSM<\n  TContext extends MachineContext = {},\n  TEvent extends EventObject = EventObject,\n  const TStates extends Record<string, unknown> = Record<string, unknown>\n>(\n  config: FSMConfigForStates<TContext, TEvent, TStates>\n): FSM<\n  TContext,\n  TEvent,\n  keyof TStates & string,\n  FSMSnapshot<TContext, keyof TStates & string>,\n  FSMConfigForStates<TContext, TEvent, TStates>\n> {\n  type TState = keyof TStates & string;\n  const initialState: FSMSnapshot<TContext, TState> = {\n    value: config.initial,\n    context: config.context ?? ({} as TContext)\n  };\n\n  return {\n    id: config.id,\n    config,\n    initialState,\n    transition(snapshot, event) {\n      const stateConfig = config.states[snapshot.value];\n      const transitions = stateConfig?.on as\n        | Record<string, FSMTransition<TContext, TEvent, TState> | undefined>\n        | undefined;\n      const transition =\n        transitions && Object.hasOwn(transitions, event.type)\n          ? transitions[event.type]\n          : undefined;\n\n      if (transition === undefined) {\n        return snapshot;\n      }\n\n      const args = { context: snapshot.context, event };\n      const result =\n        typeof transition === 'function'\n          ? transition(args)\n          : typeof transition === 'string'\n            ? { target: transition }\n            : transition;\n\n      if (!result) {\n        return snapshot;\n      }\n\n      const contextPatch = result.context;\n      let context = snapshot.context;\n      if (contextPatch !== undefined) {\n        const nextContext = { ...snapshot.context, ...contextPatch };\n        if (\n          Object.keys(contextPatch).some(\n            (key) => nextContext[key] !== snapshot.context[key]\n          )\n        ) {\n          context = nextContext;\n        }\n      }\n      const value = result.target ?? snapshot.value;\n\n      if (value === snapshot.value && context === snapshot.context) {\n        return snapshot;\n      }\n\n      return { value, context };\n    }\n  };\n}\n","/** The Standard Schema interface. */\nexport interface StandardSchemaV1<Input = unknown, Output = Input> {\n  /** The Standard Schema properties. */\n  readonly '~standard': StandardSchemaV1.Props<Input, Output>;\n}\n\n/** Schemas that can be declared for an individual state node. */\nexport type SetupStateSchemas = {\n  /** Refines the machine's root context schema while this state is active. */\n  context?: StandardSchemaV1;\n  input?: StandardSchemaV1;\n  /** The output emitted when this state node completes. */\n  output?: StandardSchemaV1;\n};\n\n/** A type-only Standard Schema produced by {@link types}. */\nexport interface TypeSchema<T> extends StandardSchemaV1<T, T> {\n  readonly '~standard': StandardSchemaV1.Props<T, T> & {\n    readonly vendor: 'xstate.types';\n  };\n}\n\n/**\n * Declares schema types for inference only — no runtime validation.\n *\n * Use in a machine's `schemas` when you want TypeScript types without pulling\n * in a schema library like Zod. The returned value is a valid Standard Schema\n * whose validation is the identity function, so it carries types but never\n * rejects input.\n *\n * @example\n *\n * ```ts\n * import { createMachine, types } from 'xstate';\n *\n * const machine = createMachine({\n *   schemas: {\n *     context: types<{ count: number }>(),\n *     events: {\n *       inc: types<{ by: number }>(),\n *       reset: types<void>()\n *     }\n *   },\n *   context: { count: 0 }\n *   // ...\n * });\n * ```\n *\n * Use `types<void>()` for events without a payload.\n */\nexport function types<T>(): TypeSchema<T> {\n  return {\n    '~standard': {\n      version: 1,\n      vendor: 'xstate.types',\n      validate: (value) => ({ value: value as T })\n    }\n  };\n}\n\n/** Returns true if the value is a type-only schema created by {@link types}. */\nexport function isTypeSchema(value: unknown): value is TypeSchema<unknown> {\n  return (\n    !!value &&\n    typeof value === 'object' &&\n    '~standard' in value &&\n    (value as StandardSchemaV1)['~standard'].vendor === 'xstate.types'\n  );\n}\n\n// eslint-disable-next-line @typescript-eslint/no-namespace\nexport declare namespace StandardSchemaV1 {\n  /** The Standard Schema properties interface. */\n  export interface Props<Input = unknown, Output = Input> {\n    /** The version number of the standard. */\n    readonly version: 1;\n    /** The vendor name of the schema library. */\n    readonly vendor: string;\n    /** Validates unknown input values. */\n    readonly validate: (\n      value: unknown\n    ) => Result<Output> | Promise<Result<Output>>;\n    /** Inferred types associated with the schema. */\n    readonly types?: Types<Input, Output> | undefined;\n  }\n\n  /** The result interface of the validate function. */\n  export type Result<Output> = SuccessResult<Output> | FailureResult;\n\n  /** The result interface if validation succeeds. */\n  export interface SuccessResult<Output> {\n    /** The typed output value. */\n    readonly value: Output;\n    /** The non-existent issues. */\n    readonly issues?: undefined;\n  }\n\n  /** The result interface if validation fails. */\n  export interface FailureResult {\n    /** The issues of failed validation. */\n    readonly issues: ReadonlyArray<Issue>;\n  }\n\n  /** The issue interface of the failure output. */\n  export interface Issue {\n    /** The error message of the issue. */\n    readonly message: string;\n    /** The path of the issue, if any. */\n    readonly path?: ReadonlyArray<PropertyKey | PathSegment> | undefined;\n  }\n\n  /** The path segment interface of the issue. */\n  export interface PathSegment {\n    /** The key representing a path segment. */\n    readonly key: PropertyKey;\n  }\n\n  /** The Standard Schema types interface. */\n  export interface Types<Input = unknown, Output = Input> {\n    /** The input type of the schema. */\n    readonly input: Input;\n    /** The output type of the schema. */\n    readonly output: Output;\n  }\n\n  /** Infers the input type of a Standard Schema. */\n  export type InferInput<Schema extends StandardSchemaV1> = NonNullable<\n    Schema['~standard']['types']\n  >['input'];\n\n  /** Infers the output type of a Standard Schema. */\n  export type InferOutput<Schema extends StandardSchemaV1> = NonNullable<\n    Schema['~standard']['types']\n  >['output'];\n}\n"],"names":["createFSM","config","initialState","value","initial","context","id","transition","snapshot","event","stateConfig","states","transitions","on","Object","hasOwn","type","undefined","args","result","target","contextPatch","nextContext","keys","some","key","_config","version","vendor","validate"],"mappings":"gPA0WO,SAASA,EAKdC,GASA,MAAMC,EAA8C,CAClDC,MAAOF,EAAOG,QACdC,QAASJ,EAAOI,SAAY,CAAC,GAG/B,MAAO,CACLC,GAAIL,EAAOK,GACXL,SACAC,eACAK,UAAAA,CAAWC,EAAUC,GACnB,MAAMC,EAAcT,EAAOU,OAAOH,EAASL,OACrCS,EAAcF,GAAaG,GAG3BN,EACJK,GAAeE,OAAOC,OAAOH,EAAaH,EAAMO,MAC5CJ,EAAYH,EAAMO,WAClBC,EAEN,QAAmBA,IAAfV,EACF,OAAOC,EAGT,MAAMU,EAAO,CAAEb,QAASG,EAASH,QAASI,SACpCU,EACkB,mBAAfZ,EACHA,EAAWW,GACW,iBAAfX,EACL,CAAEa,OAAQb,GACVA,EAER,IAAKY,EACH,OAAOX,EAGT,MAAMa,EAAeF,EAAOd,QAC5B,IAAIA,EAAUG,EAASH,QACvB,QAAqBY,IAAjBI,EAA4B,CAC9B,MAAMC,EAAc,IAAKd,EAASH,WAAYgB,GAE5CP,OAAOS,KAAKF,GAAcG,KACvBC,GAAQH,EAAYG,KAASjB,EAASH,QAAQoB,MAGjDpB,EAAUiB,EAEd,CACA,MAAMnB,EAAQgB,EAAOC,QAAUZ,EAASL,MAExC,OAAIA,IAAUK,EAASL,OAASE,IAAYG,EAASH,QAC5CG,EAGF,CAAEL,QAAOE,UAClB,EAEJ,uBAjFO,SAILqB,EAA6C,IAE7C,MAAO,CACL1B,UAAYC,GAAsBD,EAAUC,GAEhD,UCtTO,WACL,MAAO,CACL,YAAa,CACX0B,QAAS,EACTC,OAAQ,eACRC,SAAW1B,IAAW,CAAEA,MAAOA,KAGrC"}
+{"version":3,"file":"xstate-fsm.umd.min.js","sources":["../src/fsm.ts","../src/schema.types.ts"],"sourcesContent":["import type {\n  EventObject,\n  InferEvents,\n  MachineContext,\n  SetupSchemas,\n  SetupStateSchema\n} from './base.types.ts';\nimport type { StandardSchemaV1 } from './schema.types.ts';\n\nexport type FSMArgs<\n  TContext extends MachineContext,\n  TEvent extends EventObject\n> = {\n  context: TContext;\n  event: TEvent;\n};\n\nexport type FSMContextPatch<TContext extends MachineContext> =\n  Partial<TContext>;\n\nexport type FSMTransitionConfig<\n  TContext extends MachineContext,\n  TState extends string\n> = {\n  target?: TState;\n  context?: FSMContextPatch<TContext>;\n};\n\nexport type FSMTransitionFunction<\n  TContext extends MachineContext,\n  TEvent extends EventObject,\n  TState extends string,\n  TTransitionContext extends MachineContext = TContext\n> = (\n  args: FSMArgs<TContext, TEvent>\n) => FSMTransitionConfig<TTransitionContext, TState> | undefined;\n\ntype EventForType<TEvent extends EventObject, TType extends string> = [\n  Extract<TEvent, { type: TType }>\n] extends [never]\n  ? TEvent\n  : Extract<TEvent, { type: TType }>;\n\nexport type FSMTransition<\n  TContext extends MachineContext,\n  TEvent extends EventObject,\n  TState extends string,\n  TTransitionContext extends MachineContext = TContext\n> =\n  | TState\n  | FSMTransitionConfig<TTransitionContext, TState>\n  | FSMTransitionFunction<TContext, TEvent, TState, TTransitionContext>;\n\ntype FSMOn<\n  TContext extends MachineContext,\n  TEvent extends EventObject,\n  TState extends string,\n  TTransitionContext extends MachineContext = TContext\n> = {\n  [TType in TEvent['type'] & string]?: FSMTransition<\n    TContext,\n    EventForType<TEvent, TType>,\n    TState,\n    TTransitionContext\n  >;\n};\n\nexport type FSMStateConfig<\n  TContext extends MachineContext,\n  TEvent extends EventObject,\n  TState extends string,\n  TTransitionContext extends MachineContext = TContext\n> = {\n  on?: FSMOn<TContext, TEvent, TState, TTransitionContext>;\n};\n\ntype FSMContextConfig<TContext extends MachineContext> =\n  string extends keyof TContext\n    ? { context?: TContext }\n    : keyof TContext extends never\n      ? { context?: TContext }\n      : { context: TContext };\n\nexport type FSMConfig<\n  TContext extends MachineContext = {},\n  TEvent extends EventObject = EventObject,\n  TState extends string = string\n> = {\n  id?: string;\n  initial: TState;\n  states: { [K in TState]: FSMStateConfig<TContext, TEvent, TState> };\n} & FSMContextConfig<TContext>;\n\ntype FSMConfigForStates<\n  TContext extends MachineContext,\n  TEvent extends EventObject,\n  TStates extends Record<string, unknown>\n> = Omit<\n  FSMConfig<TContext, TEvent, keyof TStates & string>,\n  'initial' | 'states'\n> & {\n  initial: keyof TStates & string;\n  states: {\n    [K in keyof TStates]: FSMStateConfig<\n      TContext,\n      TEvent,\n      keyof TStates & string\n    >;\n  };\n};\n\nexport type FSMSnapshot<\n  TContext extends MachineContext,\n  TState extends string\n> = {\n  value: TState;\n  context: TContext;\n};\n\nexport type FSM<\n  TContext extends MachineContext,\n  TEvent extends EventObject,\n  TState extends string,\n  TSnapshot extends { value: TState; context: MachineContext } = FSMSnapshot<\n    TContext,\n    TState\n  >,\n  TConfig = FSMConfig<TContext, TEvent, TState>\n> = {\n  readonly id: string | undefined;\n  readonly config: TConfig;\n  readonly initialState: TSnapshot;\n  transition(snapshot: TSnapshot, event: TEvent): TSnapshot;\n};\n\ntype FSMSetupSchemas = Pick<SetupSchemas, 'context' | 'events'>;\ntype FSMSetupStates = Record<string, SetupStateSchema>;\n\ntype FSMSchemaContext<TSchema extends StandardSchemaV1> =\n  StandardSchemaV1.InferOutput<TSchema> extends MachineContext\n    ? StandardSchemaV1.InferOutput<TSchema>\n    : MachineContext;\n\ntype FSMSetupContext<TSchemas extends FSMSetupSchemas> = TSchemas extends {\n  context: infer TSchema extends StandardSchemaV1;\n}\n  ? FSMSchemaContext<TSchema>\n  : MachineContext;\n\ntype FSMSetupEvents<TSchemas extends FSMSetupSchemas> = TSchemas extends {\n  events: infer TEventSchemas extends Record<string, StandardSchemaV1>;\n}\n  ? InferEvents<TEventSchemas>\n  : EventObject;\n\ntype FSMStateContext<\n  TStateSchema,\n  TGlobalContext extends MachineContext\n> = TStateSchema extends { schemas?: infer TSchemas }\n  ? TSchemas extends {\n      context?: infer TSchema extends StandardSchemaV1;\n    }\n    ? FSMSchemaContext<TSchema> &\n        ([MachineContext] extends [TGlobalContext] ? unknown : TGlobalContext)\n    : TGlobalContext\n  : TGlobalContext;\n\ntype FSMContextFromDeclaredStates<\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext\n> = {\n  [K in keyof TStates & string]: FSMStateContext<TStates[K], TGlobalContext>;\n}[keyof TStates & string];\n\ntype FSMContextFromStates<\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext\n> = [keyof TStates] extends [never]\n  ? TGlobalContext\n  : [MachineContext] extends [TGlobalContext]\n    ? FSMContextFromDeclaredStates<TStates, TGlobalContext>\n    : TGlobalContext | FSMContextFromDeclaredStates<TStates, TGlobalContext>;\n\ntype FSMSetupStateContext<\n  TState extends string,\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext\n> = TState extends keyof TStates\n  ? FSMStateContext<TStates[TState], TGlobalContext>\n  : TGlobalContext;\n\ntype FSMSetupSnapshot<\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext,\n  TMachineStates extends Record<string, unknown>\n> = [keyof TStates] extends [never]\n  ? FSMSnapshot<TGlobalContext, keyof TMachineStates & string>\n  : {\n      [K in keyof TMachineStates & string]: {\n        value: K;\n        context: FSMSetupStateContext<K, TStates, TGlobalContext>;\n      };\n    }[keyof TMachineStates & string];\n\ntype FSMSetupTargetTransitionConfig<\n  TSourceContext extends MachineContext,\n  TTarget extends string,\n  TTargetContext extends MachineContext\n> = [FSMRequiredTargetContextKeys<TSourceContext, TTargetContext>] extends [\n  never\n]\n  ? {\n      target: TTarget;\n      context?: FSMTargetContextPatch<TSourceContext, TTargetContext>;\n    }\n  : {\n      target: TTarget;\n      context: FSMTargetContextPatch<TSourceContext, TTargetContext>;\n    };\n\ntype FSMRequiredTargetContextKeys<TSourceContext, TTargetContext> = {\n  [K in keyof TTargetContext]-?: K extends keyof TSourceContext\n    ? [TSourceContext[K]] extends [TTargetContext[K]]\n      ? never\n      : K\n    : K;\n}[keyof TTargetContext];\n\ntype FSMTargetContextPatch<TSourceContext, TTargetContext> =\n  Partial<TTargetContext> &\n    Pick<\n      TTargetContext,\n      Extract<\n        FSMRequiredTargetContextKeys<TSourceContext, TTargetContext>,\n        string\n      >\n    >;\n\ntype FSMSetupTransitionConfig<\n  TSourceContext extends MachineContext,\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext\n> =\n  | { target?: undefined; context?: FSMContextPatch<TSourceContext> }\n  | {\n      [TTarget in keyof TStates & string]: FSMSetupTargetTransitionConfig<\n        TSourceContext,\n        TTarget,\n        FSMSetupStateContext<TTarget, TStates, TGlobalContext>\n      >;\n    }[keyof TStates & string];\n\ntype FSMSetupStringTransition<\n  TSourceContext extends MachineContext,\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext\n> = {\n  [TTarget in keyof TStates & string]: [TSourceContext] extends [\n    FSMSetupStateContext<TTarget, TStates, TGlobalContext>\n  ]\n    ? TTarget\n    : never;\n}[keyof TStates & string];\n\ntype FSMSetupTransitionFunction<\n  TSourceContext extends MachineContext,\n  TEvent extends EventObject,\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext\n> = (\n  args: FSMArgs<TSourceContext, TEvent>\n) =>\n  | FSMSetupTransitionConfig<TSourceContext, TStates, TGlobalContext>\n  | undefined;\n\ntype FSMSetupTransition<\n  TSourceContext extends MachineContext,\n  TEvent extends EventObject,\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext,\n  TMachineStates extends Record<string, unknown>\n> = [keyof TStates] extends [never]\n  ? FSMTransition<TSourceContext, TEvent, keyof TMachineStates & string>\n  :\n      | FSMSetupStringTransition<TSourceContext, TStates, TGlobalContext>\n      | FSMSetupTransitionConfig<TSourceContext, TStates, TGlobalContext>\n      | FSMSetupTransitionFunction<\n          TSourceContext,\n          TEvent,\n          TStates,\n          TGlobalContext\n        >;\n\ntype FSMSetupStateConfig<\n  TSourceContext extends MachineContext,\n  TEvent extends EventObject,\n  TStates extends FSMSetupStates,\n  TGlobalContext extends MachineContext,\n  TMachineStates extends Record<string, unknown>\n> = {\n  on?: {\n    [TType in TEvent['type'] & string]?: FSMSetupTransition<\n      TSourceContext,\n      EventForType<TEvent, TType>,\n      TStates,\n      TGlobalContext,\n      TMachineStates\n    >;\n  };\n};\n\ntype FSMSetupMachineConfig<\n  TSchemas extends FSMSetupSchemas,\n  TStates extends FSMSetupStates,\n  TMachineStates extends Record<string, unknown>\n> = {\n  id?: string;\n  initial: keyof TMachineStates & string;\n  states: {\n    [K in keyof TMachineStates]: FSMSetupStateConfig<\n      FSMStateContext<\n        K extends keyof TStates ? TStates[K] : {},\n        FSMSetupContext<TSchemas>\n      >,\n      FSMSetupEvents<TSchemas>,\n      TStates,\n      FSMSetupContext<TSchemas>,\n      TMachineStates\n    >;\n  };\n} & FSMContextConfig<FSMContextFromStates<TStates, FSMSetupContext<TSchemas>>>;\n\nexport type FSMSetupConfig<\n  TSchemas extends FSMSetupSchemas = {},\n  TStates extends FSMSetupStates = {}\n> = {\n  schemas?: TSchemas;\n  states?: TStates;\n};\n\nexport type FSMSetupReturn<\n  TSchemas extends FSMSetupSchemas,\n  TStates extends FSMSetupStates\n> = {\n  createFSM<const TMachineStates extends Record<string, unknown>>(\n    config: FSMSetupMachineConfig<TSchemas, TStates, TMachineStates>\n  ): FSM<\n    FSMContextFromStates<TStates, FSMSetupContext<TSchemas>>,\n    FSMSetupEvents<TSchemas>,\n    keyof TMachineStates & string,\n    FSMSetupSnapshot<TStates, FSMSetupContext<TSchemas>, TMachineStates>,\n    FSMSetupMachineConfig<TSchemas, TStates, TMachineStates>\n  >;\n};\n\nexport function setup<\n  const TSchemas extends FSMSetupSchemas = {},\n  const TStates extends FSMSetupStates = {}\n>(\n  _config: FSMSetupConfig<TSchemas, TStates> = {}\n): FSMSetupReturn<TSchemas, TStates> {\n  return {\n    createFSM: (config: FSMConfig) => createFSM(config)\n  } as unknown as FSMSetupReturn<TSchemas, TStates>;\n}\n\nexport function createFSM<\n  TContext extends MachineContext = {},\n  TEvent extends EventObject = EventObject,\n  const TStates extends Record<string, unknown> = Record<string, unknown>\n>(\n  config: FSMConfigForStates<TContext, TEvent, TStates>\n): FSM<\n  TContext,\n  TEvent,\n  keyof TStates & string,\n  FSMSnapshot<TContext, keyof TStates & string>,\n  FSMConfigForStates<TContext, TEvent, TStates>\n> {\n  type TState = keyof TStates & string;\n  const initialState: FSMSnapshot<TContext, TState> = {\n    value: config.initial,\n    context: config.context ?? ({} as TContext)\n  };\n\n  return {\n    id: config.id,\n    config,\n    initialState,\n    transition(snapshot, event) {\n      const stateConfig = config.states[snapshot.value];\n      const transitions = stateConfig?.on as\n        | Record<string, FSMTransition<TContext, TEvent, TState> | undefined>\n        | undefined;\n      const transition =\n        transitions && Object.hasOwn(transitions, event.type)\n          ? transitions[event.type]\n          : undefined;\n\n      if (transition === undefined) {\n        return snapshot;\n      }\n\n      const args = { context: snapshot.context, event };\n      const result =\n        typeof transition === 'function'\n          ? transition(args)\n          : typeof transition === 'string'\n            ? { target: transition }\n            : transition;\n\n      if (!result) {\n        return snapshot;\n      }\n\n      const contextPatch = result.context;\n      let context = snapshot.context;\n      if (contextPatch !== undefined) {\n        const nextContext = { ...snapshot.context, ...contextPatch };\n        if (\n          Object.keys(contextPatch).some(\n            (key) => nextContext[key] !== snapshot.context[key]\n          )\n        ) {\n          context = nextContext;\n        }\n      }\n      const value = result.target ?? snapshot.value;\n\n      if (value === snapshot.value && context === snapshot.context) {\n        return snapshot;\n      }\n\n      return { value, context };\n    }\n  };\n}\n","/** The Standard Schema interface. */\nexport interface StandardSchemaV1<Input = unknown, Output = Input> {\n  /** The Standard Schema properties. */\n  readonly '~standard': StandardSchemaV1.Props<Input, Output>;\n}\n\n/** Schemas that can be declared for an individual state node. */\nexport type SetupStateSchemas = {\n  /** Refines the machine's root context schema while this state is active. */\n  context?: StandardSchemaV1;\n  input?: StandardSchemaV1;\n  /** The output emitted when this state node completes. */\n  output?: StandardSchemaV1;\n};\n\n/** A type-only Standard Schema produced by {@link types}. */\nexport interface TypeSchema<T> extends StandardSchemaV1<T, T> {\n  readonly '~standard': StandardSchemaV1.Props<T, T> & {\n    readonly vendor: 'xstate.types';\n  };\n}\n\n/**\n * Declares schema types for inference only — no runtime validation.\n *\n * Use in a machine's `schemas` when you want TypeScript types without pulling\n * in a schema library like Zod. The returned value is a valid Standard Schema\n * whose validation is the identity function, so it carries types but never\n * rejects input.\n *\n * @example\n *\n * ```ts\n * import { createMachine, types } from 'xstate';\n *\n * const machine = createMachine({\n *   schemas: {\n *     context: types<{ count: number }>(),\n *     events: {\n *       inc: types<{ by: number }>(),\n *       reset: types<void>()\n *     }\n *   },\n *   context: { count: 0 }\n *   // ...\n * });\n * ```\n *\n * Use `types<void>()` for events without a payload.\n */\nexport function types<T>(): TypeSchema<T> {\n  return {\n    '~standard': {\n      version: 1,\n      vendor: 'xstate.types',\n      validate: (value) => ({ value: value as T })\n    }\n  };\n}\n\n/** Returns true if the value is a type-only schema created by {@link types}. */\nexport function isTypeSchema(value: unknown): value is TypeSchema<unknown> {\n  return (\n    !!value &&\n    typeof value === 'object' &&\n    '~standard' in value &&\n    (value as StandardSchemaV1)['~standard'].vendor === 'xstate.types'\n  );\n}\n\n// eslint-disable-next-line @typescript-eslint/no-namespace\nexport declare namespace StandardSchemaV1 {\n  /** The Standard Schema properties interface. */\n  export interface Props<Input = unknown, Output = Input> {\n    /** The version number of the standard. */\n    readonly version: 1;\n    /** The vendor name of the schema library. */\n    readonly vendor: string;\n    /** Validates unknown input values. */\n    readonly validate: (\n      value: unknown\n    ) => Result<Output> | Promise<Result<Output>>;\n    /** Inferred types associated with the schema. */\n    readonly types?: Types<Input, Output> | undefined;\n  }\n\n  /** The result interface of the validate function. */\n  export type Result<Output> = SuccessResult<Output> | FailureResult;\n\n  /** The result interface if validation succeeds. */\n  export interface SuccessResult<Output> {\n    /** The typed output value. */\n    readonly value: Output;\n    /** The non-existent issues. */\n    readonly issues?: undefined;\n  }\n\n  /** The result interface if validation fails. */\n  export interface FailureResult {\n    /** The issues of failed validation. */\n    readonly issues: ReadonlyArray<Issue>;\n  }\n\n  /** The issue interface of the failure output. */\n  export interface Issue {\n    /** The error message of the issue. */\n    readonly message: string;\n    /** The path of the issue, if any. */\n    readonly path?: ReadonlyArray<PropertyKey | PathSegment> | undefined;\n  }\n\n  /** The path segment interface of the issue. */\n  export interface PathSegment {\n    /** The key representing a path segment. */\n    readonly key: PropertyKey;\n  }\n\n  /** The Standard Schema types interface. */\n  export interface Types<Input = unknown, Output = Input> {\n    /** The input type of the schema. */\n    readonly input: Input;\n    /** The output type of the schema. */\n    readonly output: Output;\n  }\n\n  /** Infers the input type of a Standard Schema. */\n  export type InferInput<Schema extends StandardSchemaV1> = NonNullable<\n    Schema['~standard']['types']\n  >['input'];\n\n  /** Infers the output type of a Standard Schema. */\n  export type InferOutput<Schema extends StandardSchemaV1> = NonNullable<\n    Schema['~standard']['types']\n  >['output'];\n}\n"],"names":["createFSM","config","initialState","value","initial","context","id","transition","snapshot","event","stateConfig","states","transitions","on","Object","hasOwn","type","undefined","args","result","target","contextPatch","nextContext","keys","some","key","_config","version","vendor","validate"],"mappings":"gPA8WO,SAASA,EAKdC,GASA,MAAMC,EAA8C,CAClDC,MAAOF,EAAOG,QACdC,QAASJ,EAAOI,SAAY,CAAC,GAG/B,MAAO,CACLC,GAAIL,EAAOK,GACXL,SACAC,eACAK,UAAAA,CAAWC,EAAUC,GACnB,MAAMC,EAAcT,EAAOU,OAAOH,EAASL,OACrCS,EAAcF,GAAaG,GAG3BN,EACJK,GAAeE,OAAOC,OAAOH,EAAaH,EAAMO,MAC5CJ,EAAYH,EAAMO,WAClBC,EAEN,QAAmBA,IAAfV,EACF,OAAOC,EAGT,MAAMU,EAAO,CAAEb,QAASG,EAASH,QAASI,SACpCU,EACkB,mBAAfZ,EACHA,EAAWW,GACW,iBAAfX,EACL,CAAEa,OAAQb,GACVA,EAER,IAAKY,EACH,OAAOX,EAGT,MAAMa,EAAeF,EAAOd,QAC5B,IAAIA,EAAUG,EAASH,QACvB,QAAqBY,IAAjBI,EAA4B,CAC9B,MAAMC,EAAc,IAAKd,EAASH,WAAYgB,GAE5CP,OAAOS,KAAKF,GAAcG,KACvBC,GAAQH,EAAYG,KAASjB,EAASH,QAAQoB,MAGjDpB,EAAUiB,EAEd,CACA,MAAMnB,EAAQgB,EAAOC,QAAUZ,EAASL,MAExC,OAAIA,IAAUK,EAASL,OAASE,IAAYG,EAASH,QAC5CG,EAGF,CAAEL,QAAOE,UAClB,EAEJ,uBAjFO,SAILqB,EAA6C,IAE7C,MAAO,CACL1B,UAAYC,GAAsBD,EAAUC,GAEhD,UC1TO,WACL,MAAO,CACL,YAAa,CACX0B,QAAS,EACTC,OAAQ,eACRC,SAAW1B,IAAW,CAAEA,MAAOA,KAGrC"}

package/dist/xstate-scxml.cjs.js

@@ -3,7 +3,7 @@
 Object.defineProperty(exports, '__esModule', { value: true });
 
 var saxes = require('saxes');
-var types = require('./types-802dc45c.cjs.js');
+var types = require('./types-91238aab.cjs.js');
 var createActor = require('./createActor-c4723a2b.cjs.js');
 require('./validation-4561b43c.cjs.js');
 

package/dist/xstate-scxml.development.cjs.js

@@ -3,7 +3,7 @@
 Object.defineProperty(exports, '__esModule', { value: true });
 
 var saxes = require('saxes');
-var types = require('./types-ec6c763a.development.cjs.js');
+var types = require('./types-939a97c6.development.cjs.js');
 var createActor = require('./createActor-2213c48b.development.cjs.js');
 require('./validation-f2714a35.development.cjs.js');
 

package/dist/xstate-scxml.development.esm.js

@@ -1,5 +1,5 @@
 import { SaxesParser } from 'saxes';
-import { c as createMachine, d as SpecialTargets } from './types-33de9b3d.development.esm.js';
+import { c as createMachine, d as SpecialTargets } from './types-94ac7819.development.esm.js';
 import { p as parseDelayToMilliseconds } from './createActor-3dc6cdb7.development.esm.js';
 import './validation-e69470ad.development.esm.js';
 

package/dist/xstate-scxml.esm.js

@@ -1,5 +1,5 @@
 import { SaxesParser } from 'saxes';
-import { c as createMachine, d as SpecialTargets } from './types-69f39448.esm.js';
+import { c as createMachine, d as SpecialTargets } from './types-1378f0fa.esm.js';
 import { p as parseDelayToMilliseconds } from './createActor-c7c704c2.esm.js';
 import './validation-05f1d517.esm.js';