xstate 6.0.0-alpha.63 → 6.0.0-alpha.64

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

@@ -3,10 +3,11 @@ import type { SetupSchemas, SetupStateSchema, SetupStateType } from "./base.type
 import type { ActorLogicValidator } from "./validation.types.js";
 import { StateMachine } from "./StateMachine.js";
 import { type Actor, type RequiredActorOptionsFor, 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, CallbackActors } from "./types.js";
+import { AnyActorRef, AnyStateMachine, 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, CallbackActors, InputFrom, OutputFrom, SnapshotFrom, ActorTimeoutEvent, NonReducibleUnknown } from "./types.js";
 import { AnyActorSystem } from "./system.js";
 import { InspectionEvent } from "./inspection.js";
-import { ActionSchemas, DelayMapFromNames, DelaySourceMap, GuardSourceMap, GuardSchemas, InferChildren, InferActions, InferGuards, Sources, InferMachineInput, InferOutput, InferEvents, InferInternalEvents, Next_MachineConfig, Next_InvokeConfig, Next_StateNodeConfig, Next_TransitionConfigOrTarget, FinalStateConfigOutput, OutputFromConfig, ChildCompletionEvents, DelayDurationKey, ValidateDelayNames, ValidateEventDescriptors, ValidateHistoryDefaults, ValidateStateTargets, WithDefault } from "./types.v6.js";
+import { type AsyncActorLogic, type AsyncSnapshot, type LogicFunction } from "./actors/promise.js";
+import { ActionSchemas, DelayMapFromNames, DelaySourceMap, GuardSourceMap, GuardSchemas, InferChildren, InferActions, InferGuards, Sources, InferMachineInput, InferOutput, InferEvents, InferInternalEvents, Next_MachineConfig, Next_InvokeConfig, Next_InvokeConfigBase, InvokeInputArgs, Next_StateNodeConfig, Next_TransitionConfigOrTarget, type createdInvokeConfig, FinalStateConfigOutput, OutputFromConfig, ChildCompletionEvents, DelayDurationKey, ValidateDelayNames, ValidateEventDescriptors, ValidateHistoryDefaults, ValidateStateTargets, WithDefault } from "./types.v6.js";
 /** @public */
 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;
@@ -340,7 +341,11 @@ type SetupTargetSetLegality<TTransition, TRootStateSchemas extends Record<string
 type SetupTargetSetMapLegality<TMap, TRootStateSchemas extends Record<string, SetupStateSchema>, TSourcePath extends string> = TMap extends Record<string, unknown> ? {
     [K in keyof TMap]?: TMap[K] & SetupTargetSetLegality<TMap[K], TRootStateSchemas, TSourcePath>;
 } : unknown;
-type SetupInvokeTargetSetLegality<TInvoke, TRootStateSchemas extends Record<string, SetupStateSchema>, TSourcePath extends string> = TInvoke extends readonly unknown[] ? {
+type SetupInvokeTargetSetLegality<TInvoke, TRootStateSchemas extends Record<string, SetupStateSchema>, TSourcePath extends string> = TInvoke extends {
+    readonly [createdInvokeConfig]: infer TConfig;
+} ? {
+    readonly [createdInvokeConfig]: TConfig & SetupInvokeTargetSetLegality<TConfig, TRootStateSchemas, TSourcePath>;
+} : TInvoke extends readonly unknown[] ? {
     [K in keyof TInvoke]: TInvoke[K] & SetupInvokeTargetSetLegality<TInvoke[K], TRootStateSchemas, TSourcePath>;
 } : TInvoke extends Record<string, unknown> ? (TInvoke extends {
     onDone: infer TOnDone;
@@ -587,7 +592,11 @@ type SetupTransitionMapTargetArrayInputConstraint<TValue, TStateSchemas extends
 type SetupTransitionPropertyTargetArrayInputConstraint<TConfig, TKey extends PropertyKey, TStateSchemas extends Record<string, SetupStateSchema>, TIsMap extends boolean = false> = TKey extends keyof TConfig ? {
     [K in TKey]?: TConfig[K] & (TIsMap extends true ? SetupTransitionMapTargetArrayInputConstraint<TConfig[K], TStateSchemas> : SetupTransitionValueTargetArrayInputConstraint<TConfig[K], TStateSchemas>);
 } : unknown;
-type SetupInvokeTargetArrayInputConstraint<TInvoke, TStateSchemas extends Record<string, SetupStateSchema>> = [TInvoke] extends [readonly unknown[]] ? {
+type SetupInvokeTargetArrayInputConstraint<TInvoke, TStateSchemas extends Record<string, SetupStateSchema>> = TInvoke extends {
+    readonly [createdInvokeConfig]: infer TConfig;
+} ? {
+    readonly [createdInvokeConfig]: TConfig & SetupInvokeTargetArrayInputConstraint<TConfig, TStateSchemas>;
+} : [TInvoke] extends [readonly unknown[]] ? {
     [K in keyof TInvoke]: TInvoke[K] & SetupInvokeTargetArrayInputConstraint<TInvoke[K], TStateSchemas>;
 } : [TInvoke] extends [Record<string, unknown>] ? SetupTransitionPropertyTargetArrayInputConstraint<TInvoke, 'onDone', TStateSchemas> & SetupTransitionPropertyTargetArrayInputConstraint<TInvoke, 'onError', TStateSchemas> & SetupTransitionPropertyTargetArrayInputConstraint<TInvoke, 'onSnapshot', TStateSchemas> & SetupTransitionPropertyTargetArrayInputConstraint<TInvoke, 'onTimeout', TStateSchemas> : unknown;
 type SetupStateNodeTargetArrayInputConstraint<TConfig, TSiblingStateSchemas extends Record<string, SetupStateSchema>, TStateSchema extends SetupStateSchema, TChildStateSchemas extends Record<string, SetupStateSchema>> = SetupTransitionPropertyTargetArrayInputConstraint<TConfig, 'on', SetupStateTransitionSchemas<TSiblingStateSchemas, TStateSchema>, true> & SetupTransitionPropertyTargetArrayInputConstraint<TConfig, 'always', SetupStateTransitionSchemas<TSiblingStateSchemas, TStateSchema>> & SetupTransitionPropertyTargetArrayInputConstraint<TConfig, 'after', SetupStateTransitionSchemas<TSiblingStateSchemas, TStateSchema>, true> & SetupTransitionPropertyTargetArrayInputConstraint<TConfig, 'onDone', SetupStateTransitionSchemas<TSiblingStateSchemas, TStateSchema>> & SetupTransitionPropertyTargetArrayInputConstraint<TConfig, 'onError', SetupStateTransitionSchemas<TSiblingStateSchemas, TStateSchema>> & SetupTransitionPropertyTargetArrayInputConstraint<TConfig, 'onTimeout', SetupStateTransitionSchemas<TSiblingStateSchemas, TStateSchema>> & SetupTransitionPropertyTargetArrayInputConstraint<TConfig, 'choice', SetupStateTransitionSchemas<TSiblingStateSchemas, TStateSchema>> & (TConfig extends {
@@ -908,16 +917,20 @@ type StateNodeConfigWithNestedInputBase<TSiblingStateSchemas extends Record<stri
 }, TStateSchema['states'] extends Record<string, SetupStateSchema> ? StatesWithInput<SetupStateSchemasWithParentType<WithRootSetupStateSchemas<TStateSchema['states'], RootSetupStateSchemas<TSiblingStateSchemas>>, TStateSchema extends {
     type: infer TType extends SetupStateType;
 } ? TType : never>, TStateSchema['states'], TContext, ActiveStateContextShape<TStateSchema, TContextShape>, TEvent, TChildren, TDelays, TTag, TOutput, TEmitted, TStateMeta, TTransitionMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry> : {
-    [K in string]?: Next_StateNodeConfig<ActiveStateContext<TStateSchema, TContext, TContextShape>, TEvent, TDelays, TTag, TOutput, TEmitted, TStateMeta, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, undefined, Record<string, unknown>, TSystemRegistry, unknown, TTransitionMeta>;
+    [K in string]?: StateNodeConfigWithNestedInput<UncheckedSetupStateSchemas, SetupStateSchema, TContext, ActiveStateContextShape<TStateSchema, TContextShape>, TEvent, TChildren, TDelays, TTag, TOutput, TEmitted, TStateMeta, TTransitionMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>;
 }>;
 type StateNodeConfigWithNestedInput<TSiblingStateSchemas extends Record<string, SetupStateSchema>, TStateSchema extends SetupStateSchema, TContext extends MachineContext, TContextShape, TEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TDelays extends string, TTag extends string, TOutput, TEmitted extends EventObject, TStateMeta extends MetaObject, TTransitionMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry> = SetupStateNodeContract<TStateSchema, StateNodeConfigWithNestedInputBase<TSiblingStateSchemas, TStateSchema, TContext, TContextShape, TEvent, TChildren, TDelays, TTag, TOutput, TEmitted, TStateMeta, TTransitionMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>, TContext, TEvent, TSiblingStateSchemas>;
 type StateTransitions<TStateSchemas extends Record<string, SetupStateSchema>, TContext extends MachineContext, TContextShape, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry, TInput = undefined, TTarget extends string = SetupStateTarget<TStateSchemas>, TKnownTarget extends string = KnownSetupStateTarget<TStateSchemas>> = {
     [K in EventDescriptor<TEvent>]?: StateTransitionConfigOrTarget<TStateSchemas, TContext, TContextShape, ExtractEvent<TEvent, K>, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry, TInput, TTarget, TKnownTarget>;
-};
+} & (string extends TEvent['type'] ? unknown : {
+    [K in `xstate.${string}`]?: StateTransitionConfigOrTarget<TStateSchemas, TContext, TContextShape, {
+        type: K;
+    }, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry, TInput, TTarget, TKnownTarget>;
+});
 type InvokeDoneEvent<TInvoke> = TInvoke extends {
     onDone?: Next_TransitionConfigOrTarget<infer _TContext, infer TDoneEvent, infer _TEvent, infer _TEmitted, infer _TActionMap, infer _TActorMap, infer _TGuardMap, infer _TDelayMap, infer _TMeta>;
 } ? Cast<TDoneEvent, EventObject> : DoneActorEvent;
-type SetupInvokeConfig<TStateSchemas extends Record<string, SetupStateSchema>, TContext extends MachineContext, TContextShape, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry, TStateInput = undefined> = Next_InvokeConfig<TContext, TEvent, TEmitted, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TMeta, TSystemRegistry, TStateInput> extends infer TInvoke ? TInvoke extends any ? DistributiveOmit<TInvoke, 'onDone' | 'onError' | 'onSnapshot' | 'onTimeout'> & {
+type PlainSetupInvokeConfig<TStateSchemas extends Record<string, SetupStateSchema>, TContext extends MachineContext, TContextShape, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry, TStateInput = undefined> = Next_InvokeConfig<TContext, TEvent, TEmitted, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TMeta, TSystemRegistry, TStateInput> extends infer TInvoke ? TInvoke extends any ? DistributiveOmit<TInvoke, 'onDone' | 'onError' | 'onSnapshot' | 'onTimeout'> & {
     onDone?: TInvoke extends {
         onDone?: infer TOnDone;
     } ? [
@@ -927,10 +940,113 @@ type SetupInvokeConfig<TStateSchemas extends Record<string, SetupStateSchema>, T
     onSnapshot?: StateTransitionConfigOrTarget<TStateSchemas, TContext, TContextShape, SnapshotEvent<any>, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>;
     onTimeout?: StateTransitionConfigOrTarget<TStateSchemas, TContext, TContextShape, TEvent, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>;
 } : never : never;
+declare const createdInvoke: unique symbol;
+/** @public Type-only scope carried by setup-created invoke configs. */
+export interface CreatedInvoke<TLogic extends AnyActorLogic, TContext extends MachineContext, TContextShape, TStateSchemas extends Record<string, SetupStateSchema>, TStateInput, TConfig = unknown> {
+    src: NoInfer<TLogic>;
+    readonly [createdInvoke]: {
+        context: TContext;
+        contextShape: TContextShape;
+        states: TStateSchemas;
+        input: TStateInput;
+        child: NoInfer<{
+            id: TConfig extends {
+                id: infer TId;
+            } ? TId : undefined;
+            ref: ActorRefFromLogic<TLogic>;
+        }>;
+    };
+    readonly [createdInvokeConfig]: NoInfer<TConfig>;
+}
+type CreatedInvokeTransitionData<TTransition> = TTransition extends (...args: any[]) => infer TResult ? CreatedInvokeTransitionData<TResult> : TTransition extends {
+    target: infer TTarget;
+} ? {
+    target: TTarget;
+} & (TTransition extends {
+    input: infer TInput;
+} ? {
+    input: TInput extends (...args: any[]) => infer TResult ? TResult : TInput;
+} : unknown) : {};
+type CreatedInvokeValidationConfig<TConfig> = TConfig extends unknown ? {
+    [K in keyof TConfig as K extends 'id' | 'onDone' | 'onError' | 'onSnapshot' | 'onTimeout' ? K : never]: K extends 'id' ? TConfig[K] : CreatedInvokeTransitionData<TConfig[K]>;
+} : never;
+type CreatedInvokeId<TLogic extends AnyActorLogic, TChildren> = string extends keyof TChildren ? {
+    id?: string;
+} : [keyof TChildren] extends [never] ? {
+    id?: string;
+} : {
+    id: {
+        [K in keyof TChildren & string]: ActorRefFromLogic<TLogic> extends NonNullable<TChildren[K]> ? K : never;
+    }[keyof TChildren & string];
+};
+type CreatedInvokeChildContract<TChildren> = string extends keyof TChildren ? unknown : [keyof TChildren] extends [never] ? unknown : {
+    [K in keyof TChildren & string]: {
+        id: K;
+        ref: NonNullable<TChildren[K]>;
+    };
+}[keyof TChildren & string];
+type ValidateCreatedInvokeChild<TInvoke, TChildren> = TInvoke extends {
+    readonly [createdInvoke]: unknown;
+} ? {
+    readonly [createdInvoke]: {
+        child: CreatedInvokeChildContract<TChildren>;
+    };
+} : TInvoke extends readonly unknown[] ? {
+    [K in keyof TInvoke]: ValidateCreatedInvokeChild<TInvoke[K], TChildren>;
+} : unknown;
+type ValidateCreatedInvokeChildren<TConfig, TChildren> = (TConfig extends {
+    invoke: infer TInvoke;
+} ? {
+    invoke?: ValidateCreatedInvokeChild<TInvoke, TChildren>;
+} : unknown) & (TConfig extends {
+    states: infer TStates;
+} ? {
+    states?: {
+        [K in keyof TStates]: ValidateCreatedInvokeChildren<TStates[K], TChildren>;
+    };
+} : unknown);
+type CreatedInvokeInput<TLogic extends AnyActorLogic, TArgs, TInput = InputFrom<NoInfer<TLogic>>, TValue = TInput | ((args: TArgs) => TInput)> = undefined extends TInput ? {
+    input?: TValue;
+} : {
+    input: TValue;
+};
+/** @public An invoke config whose callbacks are checked against its source logic. */
+export type CreateInvokeConfig<TLogic extends AnyActorLogic, TStateSchemas extends Record<string, SetupStateSchema>, TContext extends MachineContext, TContextShape, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry, TStateInput = undefined> = CreatedInvokeId<NoInfer<TLogic>, TChildren> & CreatedInvokeInput<TLogic, InvokeInputArgs<TContext, TEvent, TEmitted, TChildren, TStateInput>> & Omit<Next_InvokeConfigBase<TContext, TEvent, TEmitted, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TMeta, TSystemRegistry, DoneActorEvent<OutputFrom<NoInfer<TLogic>>>, ErrorActorEvent<ErrorFrom<NoInfer<TLogic>>>>, 'id' | 'onDone' | 'onError' | 'onSnapshot' | 'onTimeout'> & {
+    src: TLogic;
+    schemas?: never;
+    onDone?: StateTransitionConfigOrTarget<TStateSchemas, TContext, TContextShape, DoneActorEvent<OutputFrom<NoInfer<TLogic>>>, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>;
+    onError?: StateTransitionConfigOrTarget<TStateSchemas, TContext, TContextShape, ErrorActorEvent<ErrorFrom<NoInfer<TLogic>>>, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>;
+    onSnapshot?: StateTransitionConfigOrTarget<TStateSchemas, TContext, TContextShape, SnapshotEvent<SnapshotFrom<NoInfer<TLogic>>>, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>;
+    onTimeout?: StateTransitionConfigOrTarget<TStateSchemas, TContext, TContextShape, ActorTimeoutEvent, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>;
+};
+type AsyncInvokeSchemaOutput<TSchema extends StandardSchemaV1, TFallback> = StandardSchemaV1 extends TSchema ? TFallback : StandardSchemaV1.InferOutput<TSchema>;
+/** @public An inline async invoke whose schemas and function determine its actor types. */
+export type CreateAsyncInvokeConfig<TOutput, TInputSchema extends StandardSchemaV1, TOutputSchema extends StandardSchemaV1, TErrorSchema extends StandardSchemaV1, TStateSchemas extends Record<string, SetupStateSchema>, TContext extends MachineContext, TContextShape, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry, TStateInput = undefined> = CreatedInvokeId<AsyncActorLogic<NoInfer<TOutput>, AsyncInvokeSchemaOutput<NoInfer<TInputSchema>, NonReducibleUnknown>, EventObject, AsyncInvokeSchemaOutput<NoInfer<TErrorSchema>, unknown>>, TChildren> & CreatedInvokeInput<AsyncActorLogic<unknown, AsyncInvokeSchemaOutput<NoInfer<TInputSchema>, NonReducibleUnknown>>, InvokeInputArgs<TContext, TEvent, TEmitted, TChildren, TStateInput>> & Omit<Next_InvokeConfigBase<TContext, TEvent, TEmitted, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TMeta, TSystemRegistry>, 'id' | 'onDone' | 'onError' | 'onSnapshot' | 'onTimeout'> & {
+    schemas?: {
+        input?: TInputSchema;
+        output?: StandardSchemaV1 extends TOutputSchema ? never : TOutputSchema;
+        error?: TErrorSchema;
+    };
+    src: (...args: Parameters<LogicFunction<AsyncInvokeSchemaOutput<NoInfer<TOutputSchema>, unknown>, AsyncInvokeSchemaOutput<NoInfer<TInputSchema>, NonReducibleUnknown>>>) => PromiseLike<TOutput>;
+    onDone?: StateTransitionConfigOrTarget<TStateSchemas, TContext, TContextShape, DoneActorEvent<NoInfer<TOutput>>, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry, undefined, SetupStateTarget<TStateSchemas>, KnownSetupStateTarget<TStateSchemas>, NoInfer<TOutput>>;
+    onError?: NoInfer<StateTransitionConfigOrTarget<TStateSchemas, TContext, TContextShape, ErrorActorEvent<NoInfer<AsyncInvokeSchemaOutput<TErrorSchema, unknown>>>, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>>;
+    onSnapshot?: NoInfer<StateTransitionConfigOrTarget<TStateSchemas, TContext, TContextShape, SnapshotEvent<AsyncSnapshot<TOutput, NoInfer<AsyncInvokeSchemaOutput<TInputSchema, NonReducibleUnknown>>, NoInfer<AsyncInvokeSchemaOutput<TErrorSchema, unknown>>>>, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>>;
+    onTimeout?: StateTransitionConfigOrTarget<TStateSchemas, TContext, TContextShape, ActorTimeoutEvent, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>;
+};
+type SetupInvokeConfig<TStateSchemas extends Record<string, SetupStateSchema>, TContext extends MachineContext, TContextShape, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry, TStateInput = undefined> = (PlainSetupInvokeConfig<TStateSchemas, TContext, TContextShape, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry, TStateInput> & {
+    readonly [createdInvoke]?: never;
+}) | {
+    readonly [createdInvoke]: {
+        context: TContext;
+        contextShape: TContextShape;
+        states: TStateSchemas extends UncheckedSetupStateSchemas ? Record<string, SetupStateSchema> : TStateSchemas;
+        input: TStateInput;
+    };
+};
 type InvokeErrorEvent<TInvoke, TActorMap extends Sources['actors']> = TInvoke extends {
     src: infer TSrc;
 } ? TSrc extends keyof TActorMap & string ? ErrorActorEvent<ErrorFrom<TActorMap[TSrc]>> : TSrc extends AnyActorLogic ? ErrorActorEvent<ErrorFrom<TSrc>> : ErrorActorEvent : ErrorActorEvent;
-type StateTransitionConfigOrTarget<TStateSchemas extends Record<string, SetupStateSchema>, TContext extends MachineContext, TContextShape, TExpressionEvent extends EventObject, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry, TInput = undefined, TTarget extends string = SetupStateTarget<TStateSchemas>, TKnownTarget extends string = KnownSetupStateTarget<TStateSchemas>> = undefined | StateTransitionObjectConfig<TStateSchemas, TContext, TContextShape, TExpressionEvent, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry, true, TTarget, TKnownTarget> | StateTransitionFunction<TStateSchemas, TContext, TContextShape, TExpressionEvent, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry, TInput, TTarget, TKnownTarget>;
+type StateTransitionConfigOrTarget<TStateSchemas extends Record<string, SetupStateSchema>, TContext extends MachineContext, TContextShape, TExpressionEvent extends EventObject, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry, TInput = undefined, TTarget extends string = SetupStateTarget<TStateSchemas>, TKnownTarget extends string = KnownSetupStateTarget<TStateSchemas>, TOutput = OutputArg<TExpressionEvent>['output']> = undefined | StateTransitionObjectConfig<TStateSchemas, TContext, TContextShape, TExpressionEvent, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry, true, TTarget, TKnownTarget> | StateTransitionFunction<TStateSchemas, TContext, TContextShape, TExpressionEvent, TEvent, TEmitted, TChildren, TMeta, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry, TInput, TTarget, TKnownTarget, TOutput>;
 type StateTransitionObjectConfig<TStateSchemas extends Record<string, SetupStateSchema>, TContext extends MachineContext, TContextShape, TExpressionEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry, TAllowContextMapper extends boolean = true, TTarget extends string = SetupStateTarget<TStateSchemas>, TKnownTarget extends string = KnownSetupStateTarget<TStateSchemas>> = (StateTransitionResult<TStateSchemas, TContext, TContextShape, TMeta, TExpressionEvent, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry, TAllowContextMapper, TTarget, TKnownTarget> & {
     description?: string;
 }) | {
@@ -959,9 +1075,10 @@ type StateTransitionContextMapper<TContext extends MachineContext, TContextShape
 } & OutputArg<TExpressionEvent>) => ContextPatch<TContextShape, TTargetContextShape, TResolvedTargetContext>;
 type StateTransitionContextOrMapper<TContext extends MachineContext, TContextShape, TTargetContextShape, TResolvedTargetContext extends MachineContext, TExpressionEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry> = ContextPatch<TContextShape, TTargetContextShape, TResolvedTargetContext> | StateTransitionContextMapper<TContext, TContextShape, TTargetContextShape, TResolvedTargetContext, TExpressionEvent, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>;
 type StateTransitionContext<TAllowMapper extends boolean, TContext extends MachineContext, TContextShape, TTargetContextShape, TResolvedTargetContext extends MachineContext, TExpressionEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry> = TAllowMapper extends true ? StateTransitionContextOrMapper<TContext, TContextShape, TTargetContextShape, TResolvedTargetContext, TExpressionEvent, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry> : ContextPatch<TContextShape, TTargetContextShape, TResolvedTargetContext>;
-type StateTransitionFunction<TStateSchemas extends Record<string, SetupStateSchema>, TContext extends MachineContext, TContextShape, TExpressionEvent extends EventObject, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry, TInput = undefined, TTarget extends string = SetupStateTarget<TStateSchemas>, TKnownTarget extends string = KnownSetupStateTarget<TStateSchemas>> = (args: {
+type StateTransitionFunction<TStateSchemas extends Record<string, SetupStateSchema>, TContext extends MachineContext, TContextShape, TExpressionEvent extends EventObject, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry, TInput = undefined, TTarget extends string = SetupStateTarget<TStateSchemas>, TKnownTarget extends string = KnownSetupStateTarget<TStateSchemas>, TOutput = OutputArg<TExpressionEvent>['output']> = (args: {
     context: TContext;
     event: TExpressionEvent;
+    output: TOutput;
     self: AnyActorRef;
     parent: AnyActorRef | undefined;
     value: StateValue;
@@ -972,7 +1089,7 @@ type StateTransitionFunction<TStateSchemas extends Record<string, SetupStateSche
     guards: TGuardMap;
     delays: TDelayMap;
     input: TInput;
-} & OutputArg<TExpressionEvent>, enq: EnqueueObject<TEvent, TEmitted, TSystemRegistry, Compute<CallbackActors<TActorMap>>, TChildren>) => StateTransitionResult<TStateSchemas, TContext, TContextShape, TMeta, TExpressionEvent, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry, false, TTarget, TKnownTarget> | void;
+}, enq: EnqueueObject<TEvent, TEmitted, TSystemRegistry, Compute<CallbackActors<TActorMap>>, TChildren>) => StateTransitionResult<TStateSchemas, TContext, TContextShape, TMeta, TExpressionEvent, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry, false, TTarget, TKnownTarget> | void;
 type StateTransitionResult<TStateSchemas extends Record<string, SetupStateSchema>, TContext extends MachineContext, TContextShape, TMeta extends MetaObject, TExpressionEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TSystemRegistry extends SystemRegistry, TAllowContextMapper extends boolean, TTarget extends string = SetupStateTarget<TStateSchemas>, TKnownTarget extends string = KnownSetupStateTarget<TStateSchemas>> = {
     target?: never;
     context?: StateTransitionContext<TAllowContextMapper, TContext, TContextShape, TContextShape, TContext, TExpressionEvent, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>;
@@ -1035,6 +1152,26 @@ type RootInitialTransitionWithInput<TStateSchemas extends Record<string, SetupSt
 export interface SetupReturn<TStates extends Record<string, SetupStateSchema> = Record<string, SetupStateSchema>, TSchemas extends SetupSchemas = {}, TSetupActionMap extends Sources['actions'] = {}, TSetupActorMap extends Sources['actors'] = {}, TSetupGuardMap extends Sources['guards'] = {}, TSetupDelayMap extends Sources['delays'] = {}, TSetupDelays extends string = Extract<keyof TSetupDelayMap, string>, TSystemRegistry extends SystemRegistry = SystemRegistry, TValidator extends ActorLogicValidator | undefined = undefined> {
     /** Extends the setup configuration */
     extend<const TExtendSchemas extends SetupSchemas = {}, const TExtendStates extends Record<string, SetupStateSchema> = {}, TExtendActionMap extends Sources['actions'] = {}, TExtendActorMap extends Sources['actors'] = {}, TExtendGuardMap extends Sources['guards'] = {}, TExtendDelayMap extends Sources['delays'] = {}, const TExtendValidator extends ActorLogicValidator | undefined | InheritedValidator = InheritedValidator>(config: SetupExtensionConfig<TSchemas, TStates, TValidator, TExtendSchemas, TExtendStates, TExtendActionMap, TExtendActorMap, TExtendGuardMap, TExtendDelayMap, TExtendValidator>): SetupReturn<MergeSetupStateSchemas<TStates, TExtendStates>, MergeSourceMaps<TSchemas, TExtendSchemas>, MergeSourceMaps<TSetupActionMap, TExtendActionMap>, MergeSourceMaps<TSetupActorMap, TExtendActorMap>, MergeSourceMaps<TSetupGuardMap, TExtendGuardMap>, MergeSourceMaps<TSetupDelayMap, TExtendDelayMap>, TSetupDelays | Extract<keyof TExtendDelayMap, string>, TSystemRegistry, ResolveExtendedValidator<TValidator, TExtendValidator>>;
+    /** Infers async output from src when no output schema is declared. */
+    createInvoke<TOutput, TContext extends SetupContext<TSchemas, StandardSchemaV1>, const TInputSchema extends StandardSchemaV1 = StandardSchemaV1, const TErrorSchema extends StandardSchemaV1 = StandardSchemaV1, TContextShape = SetupContextShape<TSchemas, StandardSchemaV1, TContext>, TStateSchemas extends Record<string, SetupStateSchema> = TStates, TStateInput = undefined, const TConfig = unknown>(config: TConfig & CreateAsyncInvokeConfig<TOutput, TInputSchema, StandardSchemaV1, TErrorSchema, TStateSchemas, TContext, TContextShape, SetupEvents<TSchemas, Record<string, StandardSchemaV1>>, SetupEmitted<TSchemas, Record<string, StandardSchemaV1>>, SetupChildren<TSchemas, Record<string, StandardSchemaV1>>, SetupTransitionMeta<TSchemas, StandardSchemaV1, StandardSchemaV1>, SetupActions<TSchemas, TSetupActionMap>, TSetupActorMap, SetupGuards<TSchemas, TSetupGuardMap>, TSetupDelayMap, TSystemRegistry, TStateInput>, ...check: unknown extends TConfig ? [] : [TConfig] extends [
+        NoInfer<CreateAsyncInvokeConfig<TOutput, TInputSchema, StandardSchemaV1, TErrorSchema, TStateSchemas, TContext, TContextShape, SetupEvents<TSchemas, Record<string, StandardSchemaV1>>, SetupEmitted<TSchemas, Record<string, StandardSchemaV1>>, SetupChildren<TSchemas, Record<string, StandardSchemaV1>>, SetupTransitionMeta<TSchemas, StandardSchemaV1, StandardSchemaV1>, SetupActions<TSchemas, TSetupActionMap>, TSetupActorMap, SetupGuards<TSchemas, TSetupGuardMap>, TSetupDelayMap, TSystemRegistry, TStateInput>> & ValidateSystemInvoke<Omit<TConfig, 'src'> & {
+            src: AsyncActorLogic<AsyncInvokeSchemaOutput<StandardSchemaV1, TOutput>, AsyncInvokeSchemaOutput<TInputSchema, NonReducibleUnknown>, EventObject, AsyncInvokeSchemaOutput<TErrorSchema, unknown>>;
+        }, TSystemRegistry, TSetupActorMap>
+    ] ? [] : [invalidConfig: never]): CreatedInvoke<AsyncActorLogic<AsyncInvokeSchemaOutput<StandardSchemaV1, TOutput>, AsyncInvokeSchemaOutput<TInputSchema, NonReducibleUnknown>, EventObject, AsyncInvokeSchemaOutput<TErrorSchema, unknown>>, TContext, TContextShape, TStateSchemas, TStateInput, CreatedInvokeValidationConfig<TConfig>>;
+    /** Creates a typed inline invoke. Keep the call inline to infer its state scope. */
+    createInvoke<TContext extends SetupContext<TSchemas, StandardSchemaV1>, const TInputSchema extends StandardSchemaV1 = StandardSchemaV1, const TOutputSchema extends StandardSchemaV1 = StandardSchemaV1, const TErrorSchema extends StandardSchemaV1 = StandardSchemaV1, TContextShape = SetupContextShape<TSchemas, StandardSchemaV1, TContext>, TStateSchemas extends Record<string, SetupStateSchema> = TStates, TStateInput = undefined, const TConfig = unknown>(config: TConfig & CreateAsyncInvokeConfig<StandardSchemaV1.InferOutput<TOutputSchema>, TInputSchema, TOutputSchema, TErrorSchema, TStateSchemas, TContext, TContextShape, SetupEvents<TSchemas, Record<string, StandardSchemaV1>>, SetupEmitted<TSchemas, Record<string, StandardSchemaV1>>, SetupChildren<TSchemas, Record<string, StandardSchemaV1>>, SetupTransitionMeta<TSchemas, StandardSchemaV1, StandardSchemaV1>, SetupActions<TSchemas, TSetupActionMap>, TSetupActorMap, SetupGuards<TSchemas, TSetupGuardMap>, TSetupDelayMap, TSystemRegistry, TStateInput> & {
+        schemas: {
+            output: TOutputSchema;
+        };
+    }, ...check: unknown extends TConfig ? [] : [TConfig] extends [
+        NoInfer<CreateAsyncInvokeConfig<StandardSchemaV1.InferOutput<TOutputSchema>, TInputSchema, TOutputSchema, TErrorSchema, TStateSchemas, TContext, TContextShape, SetupEvents<TSchemas, Record<string, StandardSchemaV1>>, SetupEmitted<TSchemas, Record<string, StandardSchemaV1>>, SetupChildren<TSchemas, Record<string, StandardSchemaV1>>, SetupTransitionMeta<TSchemas, StandardSchemaV1, StandardSchemaV1>, SetupActions<TSchemas, TSetupActionMap>, TSetupActorMap, SetupGuards<TSchemas, TSetupGuardMap>, TSetupDelayMap, TSystemRegistry, TStateInput>> & ValidateSystemInvoke<Omit<TConfig, 'src'> & {
+            src: AsyncActorLogic<StandardSchemaV1.InferOutput<TOutputSchema>, AsyncInvokeSchemaOutput<TInputSchema, NonReducibleUnknown>, EventObject, AsyncInvokeSchemaOutput<TErrorSchema, unknown>>;
+        }, TSystemRegistry, TSetupActorMap>
+    ] ? [] : [invalidConfig: never]): CreatedInvoke<AsyncActorLogic<StandardSchemaV1.InferOutput<TOutputSchema>, AsyncInvokeSchemaOutput<TInputSchema, NonReducibleUnknown>, EventObject, AsyncInvokeSchemaOutput<TErrorSchema, unknown>>, TContext, TContextShape, TStateSchemas, TStateInput, CreatedInvokeValidationConfig<TConfig>>;
+    /** Creates an invoke from actor logic with its existing source types. */
+    createInvoke<TLogic extends AnyActorLogic, TContext extends SetupContext<TSchemas, StandardSchemaV1>, TContextShape = SetupContextShape<TSchemas, StandardSchemaV1, TContext>, TStateSchemas extends Record<string, SetupStateSchema> = TStates, TStateInput = undefined, const TConfig = unknown>(config: TConfig & CreateInvokeConfig<TLogic, TStateSchemas, TContext, TContextShape, SetupEvents<TSchemas, Record<string, StandardSchemaV1>>, SetupEmitted<TSchemas, Record<string, StandardSchemaV1>>, SetupChildren<TSchemas, Record<string, StandardSchemaV1>>, SetupTransitionMeta<TSchemas, StandardSchemaV1, StandardSchemaV1>, SetupActions<TSchemas, TSetupActionMap>, TSetupActorMap, SetupGuards<TSchemas, TSetupGuardMap>, TSetupDelayMap, TSystemRegistry, TStateInput>, ...check: unknown extends TConfig ? [] : [TConfig] extends [
+        NoInfer<CreateInvokeConfig<TLogic, TStateSchemas, TContext, TContextShape, SetupEvents<TSchemas, Record<string, StandardSchemaV1>>, SetupEmitted<TSchemas, Record<string, StandardSchemaV1>>, SetupChildren<TSchemas, Record<string, StandardSchemaV1>>, SetupTransitionMeta<TSchemas, StandardSchemaV1, StandardSchemaV1>, SetupActions<TSchemas, TSetupActionMap>, TSetupActorMap, SetupGuards<TSchemas, TSetupGuardMap>, TSetupDelayMap, TSystemRegistry, TStateInput>> & ValidateSystemInvoke<TConfig, TSystemRegistry, TSetupActorMap>
+    ] ? [] : [invalidConfig: never]): CreatedInvoke<TLogic, TContext, TContextShape, TStateSchemas, TStateInput, CreatedInvokeValidationConfig<TConfig>>;
     /** Creates a state machine with the setup configuration */
     createMachine<TContextSchema extends StandardSchemaV1 = StandardSchemaV1, const TEventSchemaMap extends Record<string, StandardSchemaV1> = Record<string, StandardSchemaV1>, const TInternalEventSchemaMap extends Record<string, StandardSchemaV1> = {}, TEmittedSchemaMap extends Record<string, StandardSchemaV1> = Record<string, StandardSchemaV1>, TInputSchema extends StandardSchemaV1 = StandardSchemaV1, TOutputSchema extends StandardSchemaV1 = StandardSchemaV1, TMetaSchema extends StandardSchemaV1 = StandardSchemaV1, TTransitionMetaSchema extends StandardSchemaV1 = TMetaSchema, TTagSchema extends StandardSchemaV1 = StandardSchemaV1, const TChildrenSchemaMap extends Record<string, StandardSchemaV1> = Record<string, StandardSchemaV1>, const TActionSchemaMap extends ActionSchemas = {}, const TGuardSchemaMap extends GuardSchemas = {}, _TEvent extends EventObject = EventObject, TActor extends ProvidedActor = ProvidedActor, TActionMap extends Sources['actions'] = {}, TActorMap extends Sources['actors'] = {}, TGuardMap extends Sources['guards'] = {}, TDelayMap extends Sources['delays'] = {}, TDelays extends string = Extract<keyof TDelayMap, string>, TTag extends SetupTags<TSchemas, TTagSchema> = SetupTags<TSchemas, TTagSchema>, _TInput = unknown, const TStateKeys extends string = SetupStateKey<TStates>, const TConfig extends SetupMachineConfig<TStates, TStateKeys, TSchemas, TContextSchema, TEventSchemaMap, TInternalEventSchemaMap, TEmittedSchemaMap, TInputSchema, TOutputSchema, TMetaSchema, TTransitionMetaSchema, TTagSchema, TChildrenSchemaMap, SetupContext<TSchemas, TContextSchema>, SetupEvents<TSchemas, TEventSchemaMap, TInternalEventSchemaMap> | ChildCompletionEvents<Cast<MergeChildren<SetupChildren<TSchemas, TChildrenSchemaMap>, TActor>, Record<string, AnyActorRef | undefined>>>, Cast<MergeChildren<SetupChildren<TSchemas, TChildrenSchemaMap>, TActor>, Record<string, AnyActorRef | undefined>>, TSetupDelays | TDelays, TTag, SetupEmitted<TSchemas, TEmittedSchemaMap>, SetupMeta<TSchemas, TMetaSchema>, SetupTransitionMeta<TSchemas, TMetaSchema, TTransitionMetaSchema>, MergeSourceMaps<SetupActions<TSchemas, TSetupActionMap>, MergeSourceMaps<InferActions<TActionSchemaMap>, TActionMap>>, MergeSourceMaps<TSetupActorMap, TActorMap>, MergeSourceMaps<SetupGuards<TSchemas, TSetupGuardMap>, MergeSourceMaps<InferGuards<TGuardSchemaMap>, TGuardMap>>, MergeSourceMaps<TSetupDelayMap, TDelayMap>, TSystemRegistry, SetupContextRequired<TSchemas, TContextSchema>, TDelays, TActionMap, TActorMap, TGuardMap> = SetupMachineConfig<TStates, TStateKeys, TSchemas, TContextSchema, TEventSchemaMap, TInternalEventSchemaMap, TEmittedSchemaMap, TInputSchema, TOutputSchema, TMetaSchema, TTransitionMetaSchema, TTagSchema, TChildrenSchemaMap, SetupContext<TSchemas, TContextSchema>, SetupEvents<TSchemas, TEventSchemaMap, TInternalEventSchemaMap> | ChildCompletionEvents<Cast<MergeChildren<SetupChildren<TSchemas, TChildrenSchemaMap>, TActor>, Record<string, AnyActorRef | undefined>>>, Cast<MergeChildren<SetupChildren<TSchemas, TChildrenSchemaMap>, TActor>, Record<string, AnyActorRef | undefined>>, TSetupDelays | TDelays, TTag, SetupEmitted<TSchemas, TEmittedSchemaMap>, SetupMeta<TSchemas, TMetaSchema>, SetupTransitionMeta<TSchemas, TMetaSchema, TTransitionMetaSchema>, MergeSourceMaps<SetupActions<TSchemas, TSetupActionMap>, MergeSourceMaps<InferActions<TActionSchemaMap>, TActionMap>>, MergeSourceMaps<TSetupActorMap, TActorMap>, MergeSourceMaps<SetupGuards<TSchemas, TSetupGuardMap>, MergeSourceMaps<InferGuards<TGuardSchemaMap>, TGuardMap>>, MergeSourceMaps<TSetupDelayMap, TDelayMap>, TSystemRegistry, SetupContextRequired<TSchemas, TContextSchema>, TDelays, TActionMap, TActorMap, TGuardMap>>(config: {
         schemas?: {
@@ -1056,9 +1193,9 @@ export interface SetupReturn<TStates extends Record<string, SetupStateSchema> =
         guards?: TGuardMap;
         delays?: TDelayMap;
         states?: Record<TStateKeys, unknown>;
-    } & TConfig & RuntimeValidationConstraint<NoInfer<MachineConfigSchemas<TConfig>>, NoInfer<MachineConfigStates<TConfig>>, TValidator> & ValidateSetupDelayReferences<TConfig, TSetupDelays> & ValidateSetupStateContracts<TConfig, TStates> & ValidateEventDescriptors<TConfig, NoInfer<SetupEvents<TSchemas, TEventSchemaMap, TInternalEventSchemaMap>>> & ValidateRegistryKeys<TConfig, TSystemRegistry, MergeSourceMaps<TSetupActorMap, TActorMap>>): StateMachine<SetupContext<TSchemas, TContextSchema>, SetupEvents<TSchemas, TEventSchemaMap, TInternalEventSchemaMap> | ([RoutableStateId<SetupMachineStateSchema<TConfig, TStates>>] extends [
-        never
-    ] ? never : {
+    } & TConfig & RuntimeValidationConstraint<NoInfer<MachineConfigSchemas<TConfig>>, NoInfer<MachineConfigStates<TConfig>>, TValidator> & ValidateSetupDelayReferences<TConfig, TSetupDelays> & ValidateSetupStateContracts<TConfig, TStates> & NoInfer<ValidateCreatedInvokeChildren<TConfig, MergeChildren<SetupChildren<TSchemas, TChildrenSchemaMap>, TActor>>> & ValidateEventDescriptors<TConfig, NoInfer<SetupEvents<TSchemas, TEventSchemaMap, TInternalEventSchemaMap>>> & ValidateRegistryKeys<TConfig, TSystemRegistry, MergeSourceMaps<TSetupActorMap, TActorMap>>): [TConfig] extends [never] ? AnyStateMachine : StateMachine<SetupContext<TSchemas, TContextSchema>, SetupEvents<TSchemas, TEventSchemaMap, TInternalEventSchemaMap> | ([
+        RoutableStateId<SetupMachineStateSchema<TConfig, TStates>>
+    ] extends [never] ? never : {
         type: 'xstate.route';
         to: RoutableStateId<SetupMachineStateSchema<TConfig, TStates>>;
     }), Cast<MergeChildren<SetupChildren<TSchemas, TChildrenSchemaMap>, TActor>, Record<string, AnyActorRef | undefined>>, StateValueFromStateSchema<SetupMachineStateSchema<TConfig, TStates>>, TTag & string, SetupInput<TSchemas, TInputSchema>, SetupOrConfigOutput<TSchemas, TOutputSchema, TConfig, TStates>, SetupEmitted<TSchemas, TEmittedSchemaMap>, SetupMeta<TSchemas, TMetaSchema>, PublicStateSchema<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>;
@@ -1067,9 +1204,9 @@ export interface SetupReturn<TStates extends Record<string, SetupStateSchema> =
      * addressed by a dotted path (e.g. `'loading'` or `'parent.child'`). The
      * addressed state's own `input` schema is typed inside `entry`/`exit` args.
      */
-    createStateConfig<const TPath extends StatePaths<TStates>, const TConfig extends SetupStateNodeConfig<StrictSetupStateSchemas<ResolveStateSiblingsForPath<TStates, TPath>, SetupStateTransitionChildSchemas<ResolveStatePath<TStates, TPath>>, TStates, SetupStateSelfSchema<ResolveStatePath<TStates, TPath>>>, ResolveStatePath<TStates, TPath>, TSchemas, TSetupActionMap, TSetupActorMap, TSetupGuardMap, TSetupDelayMap, TSystemRegistry>>(path: TPath, config: TConfig & NoInfer<SetupStateNodeTargetArrayInputConstraint<TConfig, StrictSetupStateSchemas<ResolveStateSiblingsForPath<TStates, TPath>, SetupStateTransitionChildSchemas<ResolveStatePath<TStates, TPath>>, TStates, SetupStateSelfSchema<ResolveStatePath<TStates, TPath>>>, ResolveStatePath<TStates, TPath>, SetupStateChildSchemas<ResolveStatePath<TStates, TPath>>>> & NoInfer<SetupStateTargetSetLegality<TConfig, TStates, TPath>> & ValidateSetupHistoryStateInput<TConfig, ResolveStatePath<TStates, TPath>, WithRootSetupStateSchemas<ResolveStateSiblingsForPath<TStates, TPath>, TStates>>): TConfig;
+    createStateConfig<const TPath extends StatePaths<TStates>, const TConfig extends SetupStateNodeConfig<StrictSetupStateSchemas<ResolveStateSiblingsForPath<TStates, TPath>, SetupStateTransitionChildSchemas<ResolveStatePath<TStates, TPath>>, TStates, SetupStateSelfSchema<ResolveStatePath<TStates, TPath>>>, ResolveStatePath<TStates, TPath>, TSchemas, TSetupActionMap, TSetupActorMap, TSetupGuardMap, TSetupDelayMap, TSystemRegistry>>(path: TPath, config: TConfig & ValidateEventDescriptors<TConfig, NoInfer<SetupEvents<TSchemas, Record<string, StandardSchemaV1>>>> & NoInfer<SetupStateNodeTargetArrayInputConstraint<TConfig, StrictSetupStateSchemas<ResolveStateSiblingsForPath<TStates, TPath>, SetupStateTransitionChildSchemas<ResolveStatePath<TStates, TPath>>, TStates, SetupStateSelfSchema<ResolveStatePath<TStates, TPath>>>, ResolveStatePath<TStates, TPath>, SetupStateChildSchemas<ResolveStatePath<TStates, TPath>>>> & NoInfer<SetupStateTargetSetLegality<TConfig, TStates, TPath>> & ValidateSetupHistoryStateInput<TConfig, ResolveStatePath<TStates, TPath>, WithRootSetupStateSchemas<ResolveStateSiblingsForPath<TStates, TPath>, TStates>>): TConfig;
     /** Creates a state node config with the setup configuration */
-    createStateConfig<const TConfig extends SetupStateNodeConfig<TStates, SetupStateSchema, TSchemas, TSetupActionMap, TSetupActorMap, TSetupGuardMap, TSetupDelayMap, TSystemRegistry>>(config: TConfig): TConfig;
+    createStateConfig<const TConfig extends SetupStateNodeConfig<TStates, SetupStateSchema, TSchemas, TSetupActionMap, TSetupActorMap, TSetupGuardMap, TSetupDelayMap, TSystemRegistry>>(config: TConfig & ValidateEventDescriptors<TConfig, NoInfer<SetupEvents<TSchemas, Record<string, StandardSchemaV1>>>>): TConfig;
     /** State input schemas from setup config */
     states: TStates;
     /** Schemas from setup config */

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

@@ -0,0 +1,103 @@
+import type { AnyActorLogic, AnyEventObject, InputFrom } from "./types.js";
+/** Immutable definitions for a pure actor system. @experimental */
+export interface SystemLogic<TLogic extends AnyActorLogic = AnyActorLogic> {
+    readonly root: TLogic;
+    /** Additional definitions used by dynamically spawned actors. */
+    readonly actors?: Readonly<Record<string, AnyActorLogic>>;
+    /** Stable names for callable external effects; implementations are never run here. */
+    readonly effects?: Readonly<Record<string, (...args: any[]) => unknown>>;
+    /** Pure, named event/snapshot mappers used by listen and subscribeTo. */
+    readonly mappers?: Readonly<Record<string, (...args: any[]) => AnyEventObject>>;
+}
+/** An actor identity, without a live actor or runtime. @experimental */
+export interface SystemActorReference {
+    readonly $actor: string;
+    readonly incarnation: number;
+}
+/** Actor state and topology in a system snapshot. @experimental */
+export interface SystemActorState {
+    readonly id: string;
+    readonly address: string;
+    readonly incarnation: number;
+    readonly logic: string;
+    readonly logicVersion?: string;
+    readonly parent?: SystemActorReference;
+    readonly registryKey?: string;
+    readonly syncSnapshot?: boolean;
+    readonly started: boolean;
+    readonly input: unknown;
+    readonly snapshot: Readonly<Record<string, any>>;
+}
+/** An accepted message waiting for a completed actor macrostep. @experimental */
+export interface SystemMessage {
+    readonly source?: SystemActorReference;
+    readonly target: SystemActorReference;
+    readonly event: AnyEventObject;
+    readonly sequence: number;
+    /** Set only by the system scheduler, never by an ordinary send. */
+    readonly timerOccurrence?: number;
+}
+/** Absolute deadlines in the system's virtual time domain. @experimental */
+export interface SystemTimer {
+    readonly source: SystemActorReference;
+    readonly id: string;
+    readonly occurrence: number;
+    readonly scheduledAt: number;
+    readonly dueAt: number;
+    readonly sequence: number;
+    readonly event?: AnyEventObject;
+}
+/** External work as data. Interpret it outside the pure reducer. @experimental */
+export interface SystemExternalEffect {
+    readonly id: string;
+    readonly source: SystemActorReference;
+    readonly type: string;
+    readonly kind: 'action' | 'emit' | 'deadLetter';
+    readonly params?: unknown;
+    readonly args?: readonly unknown[];
+    readonly event?: AnyEventObject;
+    readonly reason?: string;
+}
+/** Acknowledges external work, optionally delivering its result to its owner. @experimental */
+export interface SystemEffectResult {
+    type: 'xstate.system.effect.result';
+    effectId: string;
+    event?: AnyEventObject;
+}
+/** Complete immutable system state; no running actors are retained. @experimental */
+export interface SystemSnapshot {
+    readonly executionId: string;
+    readonly root: string;
+    readonly now: number;
+    readonly actors: Readonly<Record<string, SystemActorState>>;
+    readonly registry: Readonly<Record<string, SystemActorReference>>;
+    readonly messages: readonly SystemMessage[];
+    readonly timers: Readonly<Record<string, SystemTimer>>;
+    readonly externalEffects: Readonly<Record<string, SystemExternalEffect>>;
+    readonly counters: Readonly<{
+        actor: number;
+        timer: number;
+        sequence: number;
+        effect: number;
+    }>;
+}
+/** Options for initializing an immutable system snapshot. @experimental */
+export interface InitialSystemTransitionOptions<TLogic extends AnyActorLogic = AnyActorLogic> {
+    input?: InputFrom<TLogic>;
+    id?: string;
+    registryKey?: string;
+    /** Namespace external effect IDs when several executions share one host. */
+    executionId?: string;
+    time?: number;
+    /** Bound immediate message chains. Exhaustion throws; the input is unchanged. */
+    maxSteps?: number;
+}
+/** Initialize all actors and return external work without executing it. @experimental */
+export declare function initialSystemTransition<TLogic extends AnyActorLogic>(systemLogic: SystemLogic<TLogic>, options?: InitialSystemTransitionOptions<TLogic>): [SystemSnapshot, SystemExternalEffect[]];
+/** Complete actor macrosteps and immediate communication in an immutable snapshot. @experimental */
+export declare function systemTransition(systemLogic: SystemLogic, snapshot: SystemSnapshot, actorPath: string, event: AnyEventObject): [SystemSnapshot, SystemExternalEffect[]];
+/** Process every due timer chronologically across the entire system snapshot. @experimental */
+export declare function advanceSystemTime(systemLogic: SystemLogic, snapshot: SystemSnapshot, options: {
+    time: number;
+    maxSteps?: number;
+}): [SystemSnapshot, SystemExternalEffect[]];

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

@@ -623,9 +623,9 @@ export interface LogicalTimer {
     /** `self` or the logical actor that will receive `event`. */
     target: 'self' | AnyActor;
     /**
-     * The timer's wall-clock start, stamped at persist time by a running
-     * wall-clock actor and carried through restore so re-persisting keeps the
-     * original deadline.
+     * The timer's absolute start in milliseconds, persisted from a running
+     * wall-clock actor or a successfully scheduled durable timer. Carried
+     * through restore so re-persisting keeps the original deadline.
      */
     startedAt?: number;
 }

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

@@ -1,3 +1,5 @@
+/** Type-only metadata for validating setup-created invoke transitions. */
+export declare const createdInvokeConfig: unique symbol;
 import { SetupStateSchemas, StandardSchemaV1 } from "./schema.types.js";
 import type { ActionSchemas, GuardSchemas, InferEvents, InferInternalEvents } from "./base.types.js";
 export type { ActionSchemas, GuardSchemas, InferEvents, InferInternalEvents };
@@ -182,7 +184,7 @@ type InvokeSrcArgs<TContext extends MachineContext, TEvent extends EventObject,
     event: TEvent;
     self: AnyActorRef;
 };
-type InvokeInputArgs<TContext extends MachineContext, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TInput = undefined> = {
+export type InvokeInputArgs<TContext extends MachineContext, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TInput = undefined> = {
     context: TContext;
     event: TEvent;
     input: TInput;
@@ -268,7 +270,7 @@ export type Next_InvokeConfig<TContext extends MachineContext, TEvent extends Ev
         src: (args: InvokeSrcArgs<TContext, TEvent, TActorMap>) => K | TActorMap[K];
     });
 }[keyof TActorMap & string] | InlineInvokeConfig<TContext, TEvent, TEmitted, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TMeta, TSystemRegistry, TInput>;
-interface Next_InvokeConfigBase<TContext extends MachineContext, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TMeta extends MetaObject, TSystemRegistry extends SystemRegistry, TDoneEvent extends EventObject = [keyof TActorMap & string] extends [never] ? DoneActorEvent<any> : DoneActorEvent<OutputFrom<TActorMap[keyof TActorMap & string]>>, TErrorEvent extends EventObject = [keyof TActorMap & string] extends [never] ? ErrorActorEvent<any> : ErrorActorEvent<ErrorFrom<TActorMap[keyof TActorMap & string]>>> {
+export interface Next_InvokeConfigBase<TContext extends MachineContext, TEvent extends EventObject, TEmitted extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TMeta extends MetaObject, TSystemRegistry extends SystemRegistry, TDoneEvent extends EventObject = [keyof TActorMap & string] extends [never] ? DoneActorEvent<any> : DoneActorEvent<OutputFrom<TActorMap[keyof TActorMap & string]>>, TErrorEvent extends EventObject = [keyof TActorMap & string] extends [never] ? ErrorActorEvent<any> : ErrorActorEvent<ErrorFrom<TActorMap[keyof TActorMap & string]>>> {
     id?: string;
     registryKey?: keyof TSystemRegistry & string;
     onDone?: Next_TransitionConfigOrTarget<TContext, TDoneEvent, TEvent, TEmitted, TActionMap, TActorMap, TGuardMap, TDelayMap, TMeta, undefined, TChildren>;
@@ -413,7 +415,11 @@ export interface Next_RegularStateNodeConfig<TContext extends MachineContext, TE
     /** The mapping of event types to their potential transition(s). */
     on?: {
         [K in EventDescriptor<TEvent>]?: Next_TransitionConfigOrTarget<TContext, ExtractEvent<TEvent, K>, TEvent, TEmitted, TActionMap, TActorMap, TGuardMap, TDelayMap, TTransitionMeta, TInput, TChildren>;
-    };
+    } & (string extends TEvent['type'] ? unknown : {
+        [K in `xstate.${string}`]?: Next_TransitionConfigOrTarget<TContext, {
+            type: K;
+        }, TEvent, TEmitted, TActionMap, TActorMap, TGuardMap, TDelayMap, TTransitionMeta, TInput, TChildren>;
+    });
     /**
      * Enables routing to this state via `{ type: 'xstate.route', to: '#id' }`.
      * Requires this state node to have an explicit `id`.
@@ -744,7 +750,9 @@ type InvalidTransitionMapTargets<TRootConfig, TSourcePath extends StatePath, TTr
     [K in keyof TTransitionMap]: InvalidTransitionTarget<TRootConfig, TSourcePath, TTransitionMap[K]>;
 }[keyof TTransitionMap] : never;
 type InvalidInitialTarget<TRootConfig, TChildStates, TInitialTarget> = TInitialTarget extends string ? string extends TInitialTarget ? never : TInitialTarget extends keyof TChildStates ? never : TInitialTarget extends `#${string}` ? TInitialTarget extends AuthoredIdTargets<TRootConfig> ? never : TInitialTarget : TInitialTarget : never;
-type InvalidInvokeTargets<TRootConfig, TSourcePath extends StatePath, TInvoke> = 0 extends 1 & TInvoke ? never : TInvoke extends readonly unknown[] ? InvalidInvokeTargets<TRootConfig, TSourcePath, TInvoke[number]> : TInvoke extends Record<string, unknown> ? (TInvoke extends {
+type InvalidInvokeTargets<TRootConfig, TSourcePath extends StatePath, TInvoke> = 0 extends 1 & TInvoke ? never : TInvoke extends {
+    readonly [createdInvokeConfig]: infer TConfig;
+} ? InvalidInvokeTargets<TRootConfig, TSourcePath, TConfig> : TInvoke extends readonly unknown[] ? InvalidInvokeTargets<TRootConfig, TSourcePath, TInvoke[number]> : TInvoke extends Record<string, unknown> ? (TInvoke extends {
     onDone: infer TOnDone;
 } ? InvalidTransitionTarget<TRootConfig, TSourcePath, TOnDone> : never) | (TInvoke extends {
     onError: infer TOnError;

package/dist/{effectDescriptor-8c87a3e7.development.cjs.js → effectDescriptor-62b53c6d.development.cjs.js}

@@ -1,6 +1,6 @@
 'use strict';
 
-var createActor = require('./createActor-f71670cf.development.cjs.js');
+var createActor = require('./createActor-521c8805.development.cjs.js');
 
 function attachMicrostepActorRefs(microsteps, actorScope, inputSnapshot) {
   const result = microsteps.map(([snapshot, actions, transitions]) => [snapshot, actions, transitions ?? []]);

package/dist/{effectDescriptor-bc9e3e81.cjs.js → effectDescriptor-6dbc400a.cjs.js}

@@ -1,6 +1,6 @@
 'use strict';
 
-var createActor = require('./createActor-eba8226e.cjs.js');
+var createActor = require('./createActor-29adb8a4.cjs.js');
 
 function attachMicrostepActorRefs(microsteps, actorScope, inputSnapshot) {
   const result = microsteps.map(([snapshot, actions, transitions]) => [snapshot, actions, transitions ?? []]);

package/dist/{effectDescriptor-ad75e430.esm.js → effectDescriptor-85ea06c9.esm.js}

@@ -1,4 +1,4 @@
-import { w as createInertActorScope, x as setInertActorScopeSnapshot, at as finalizeTransitionResult, A as attachSnapshotActorRef, O as createInitEvent, ax as hasAmbientInspector, z as beginSpawnAllocation, B as macrostep, P as createSpawnEffect, Q as initialMicrostep, a3 as isAtomicStateNode, ay as getProperAncestors, az as isRemoteActorRef, aA as getActorIdPrefix } from './createActor-523a98c7.esm.js';
+import { w as createInertActorScope, x as setInertActorScopeSnapshot, a9 as finalizeTransitionResult, A as attachSnapshotActorRef, O as createInitEvent, aC as hasAmbientInspector, z as beginSpawnAllocation, B as macrostep, P as createSpawnEffect, Q as initialMicrostep, a3 as isAtomicStateNode, aD as getProperAncestors, aE as isRemoteActorRef, a8 as getActorIdPrefix } from './createActor-8493caa9.esm.js';
 
 function attachMicrostepActorRefs(microsteps, actorScope, inputSnapshot) {
   const result = microsteps.map(([snapshot, actions, transitions]) => [snapshot, actions, transitions ?? []]);

package/dist/{effectDescriptor-eadf1b25.development.esm.js → effectDescriptor-f76948fc.development.esm.js}

@@ -1,4 +1,4 @@
-import { w as createInertActorScope, x as setInertActorScopeSnapshot, at as finalizeTransitionResult, A as attachSnapshotActorRef, O as createInitEvent, ax as hasAmbientInspector, z as beginSpawnAllocation, B as macrostep, P as createSpawnEffect, Q as initialMicrostep, a3 as isAtomicStateNode, ay as getProperAncestors, az as isRemoteActorRef, aA as getActorIdPrefix } from './createActor-48f753a9.development.esm.js';
+import { w as createInertActorScope, x as setInertActorScopeSnapshot, a9 as finalizeTransitionResult, A as attachSnapshotActorRef, O as createInitEvent, aC as hasAmbientInspector, z as beginSpawnAllocation, B as macrostep, P as createSpawnEffect, Q as initialMicrostep, a3 as isAtomicStateNode, aD as getProperAncestors, aE as isRemoteActorRef, a8 as getActorIdPrefix } from './createActor-bd2527dc.development.esm.js';
 
 function attachMicrostepActorRefs(microsteps, actorScope, inputSnapshot) {
   const result = microsteps.map(([snapshot, actions, transitions]) => [snapshot, actions, transitions ?? []]);

package/dist/{index-83f11f07.cjs.js → index-2afc57c3.development.cjs.js}

@@ -1,6 +1,6 @@
 'use strict';
 
-var createActor = require('./createActor-eba8226e.cjs.js');
+var createActor = require('./createActor-521c8805.development.cjs.js');
 
 function assertValid(validator, request) {
   const error = validator.check(request);
@@ -900,7 +900,7 @@ class TimeoutError extends Error {
 
 function createAsyncLogic(asyncLogic) {
   const config = asyncLogic;
-  return createLogic({
+  const logic = createLogic({
     id: config.id,
     validator: config.validator,
     schemas: config.schemas,
@@ -1018,6 +1018,13 @@ function createAsyncLogic(asyncLogic) {
       };
     }
   });
+  Object.defineProperty(logic, createActor.systemLogicMetadata, {
+    value: {
+      kind: 'async',
+      timeout: config.timeout
+    }
+  });
+  return logic;
 }
 
 const emptyLogic = /* #__PURE__ */createLogic({

package/dist/{index-3cb56f46.development.cjs.js → index-5587e13b.cjs.js}

@@ -1,6 +1,6 @@
 'use strict';
 
-var createActor = require('./createActor-f71670cf.development.cjs.js');
+var createActor = require('./createActor-29adb8a4.cjs.js');
 
 function assertValid(validator, request) {
   const error = validator.check(request);
@@ -900,7 +900,7 @@ class TimeoutError extends Error {
 
 function createAsyncLogic(asyncLogic) {
   const config = asyncLogic;
-  return createLogic({
+  const logic = createLogic({
     id: config.id,
     validator: config.validator,
     schemas: config.schemas,
@@ -1018,6 +1018,13 @@ function createAsyncLogic(asyncLogic) {
       };
     }
   });
+  Object.defineProperty(logic, createActor.systemLogicMetadata, {
+    value: {
+      kind: 'async',
+      timeout: config.timeout
+    }
+  });
+  return logic;
 }
 
 const emptyLogic = /* #__PURE__ */createLogic({

package/dist/{index-2a4be1f2.development.esm.js → index-90ebf5ae.development.esm.js}

@@ -1,4 +1,4 @@
-import { O as createInitEvent, y as createDeadLetterEffect, ao as XSTATE_STOP, ap as createCustomEffect, aq as XSTATE_LOGIC_EFFECT_START, ar as XSTATE_LOGIC_EFFECT_RESOLVE, as as XSTATE_LOGIC_EFFECT_REJECT, at as finalizeTransitionResult, au as createEmitEffect, av as createSendToEffect, aw as XSTATE_INIT, a2 as parseDelayToMilliseconds, al as runStep, a1 as createActor } from './createActor-48f753a9.development.esm.js';
+import { O as createInitEvent, y as createDeadLetterEffect, au as XSTATE_STOP, av as createCustomEffect, aw as XSTATE_LOGIC_EFFECT_START, ax as XSTATE_LOGIC_EFFECT_RESOLVE, ay as XSTATE_LOGIC_EFFECT_REJECT, a9 as finalizeTransitionResult, az as createEmitEffect, aA as createSendToEffect, aB as XSTATE_INIT, a2 as parseDelayToMilliseconds, a7 as systemLogicMetadata, ar as runStep, a1 as createActor } from './createActor-bd2527dc.development.esm.js';
 
 function assertValid(validator, request) {
   const error = validator.check(request);
@@ -898,7 +898,7 @@ class TimeoutError extends Error {
 
 function createAsyncLogic(asyncLogic) {
   const config = asyncLogic;
-  return createLogic({
+  const logic = createLogic({
     id: config.id,
     validator: config.validator,
     schemas: config.schemas,
@@ -1016,6 +1016,13 @@ function createAsyncLogic(asyncLogic) {
       };
     }
   });
+  Object.defineProperty(logic, systemLogicMetadata, {
+    value: {
+      kind: 'async',
+      timeout: config.timeout
+    }
+  });
+  return logic;
 }
 
 const emptyLogic = /* #__PURE__ */createLogic({