xstate 6.0.0-alpha.56 → 6.0.0-alpha.57

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

@@ -11,7 +11,7 @@ export { machineVersions, type AdaptEventsOptions, type EventAdapterHandlers, ty
 export { types, isTypeSchema, type StandardSchemaV1, type TypeSchema } from "./schema.types.js";
 export type { ActorValidationBoundary, ActorValidationEventOrigin, ActorValidationRequest, ActorLogicValidator } from "./validation.types.js";
 export { createSystem, setup } from "./setup.js";
-export type { AnySetupConfig, SetupConfig, SetupReturn, SetupReturnFromConfig, SetupSchemas, SystemActorMap, SystemConfig, SystemRuntime, SetupStateSchema, SetupStateSchemas, SetupStateType } from "./setup.js";
+export type { ActiveStateContext, AnySetupConfig, RootContextMarker, StrictSetupStateSchemas, StrictSetupStateTargetsFlag, StrictSetupStateTargetsMarker, RelativeSetupStateSchemasMarker, CurrentSetupStateSchemaMarker, SetupStateParentTypeMarker, SetupStateSchemasWithParentType, RootSetupStateSchemasMarker, WithRootSetupStateSchemas, SetupConfig, SetupReturn, SetupReturnFromConfig, SetupSchemas, SystemActorMap, SystemConfig, SystemRuntime, SetupStateSchema, SetupStateSchemas, SetupStateType } from "./setup.js";
 export { getInitialSnapshot, getNextSnapshot } from "./getNextSnapshot.js";
 export type { InspectionEvent, ActorInspectionEvent, DeadLetterInspectionEvent, TransitionInspectionEvent, ActionRecord, SentRecord } from "./inspection.js";
 export { SimulatedClock } from "./SimulatedClock.js";
@@ -24,7 +24,7 @@ export type { ActorSystem, ActorSystemRuntime, AnyActorSystem, DeadLetterDetail,
 export { toPromise } from "./toPromise.js";
 export type * from "./types.js";
 export { SpecialTargets } from "./types.js";
-export type { Next_MachineConfig as MachineConfig, Next_StateNodeConfig as StateNodeConfig, Next_InvokeConfig as InvokeConfig, Next_TransitionConfigOrTarget as TransitionConfigOrTarget, Sources, InferEvents, WidenLiterals } from "./types.v6.js";
+export type { Next_MachineConfig as MachineConfig, Next_StateNodeConfig as StateNodeConfig, Next_ChoiceStateNodeConfig as ChoiceStateNodeConfig, Next_RegularStateNodeConfig as RegularStateNodeConfig, Next_InvokeConfig as InvokeConfig, Next_TransitionConfigOrTarget as TransitionConfigOrTarget, Sources, InferEvents, WidenLiterals } from "./types.v6.js";
 export { getAllOwnEventDescriptors as __unsafe_getAllOwnEventDescriptors, matchesState, checkStateIn, pathToStateValue, toObserver } from "./utils.js";
 export { transition, initialTransition, getMicrosteps, getInitialMicrosteps, getNextTransitions } from "./transition.js";
 export { executeEffects, isBuiltInExecutableAction } from "./transitionActions.js";

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

@@ -206,48 +206,54 @@ type UncheckedSetupStateSchemas = Record<string, UncheckedSetupStateSchema>;
 type SetupStateKey<TStateSchemas extends Record<string, SetupStateSchema>> = string extends SetupStateKeys<TStateSchemas> ? string : [SetupStateKeys<TStateSchemas>] extends [never] ? string : SetupStateKeys<TStateSchemas>;
 type StrictSetupStatePaths<TStateSchemas extends Record<string, SetupStateSchema>> = [SetupStateKeys<TStateSchemas>] extends [never] ? never : StatePaths<TStateSchemas>;
 type SetupRelativeStateTarget<TStateSchemas extends Record<string, SetupStateSchema>> = string extends SetupStateKeys<TStateSchemas> ? `.${string}` : [SetupStateKeys<TStateSchemas>] extends [never] ? '.' : '.' | `.${StatePaths<TStateSchemas> & string}`;
-type SetupStateTarget<TStateSchemas extends Record<string, SetupStateSchema>> = TStateSchemas extends {
-    readonly [strictSetupStateTargets]: true;
-} ? StrictSetupStatePaths<TStateSchemas> | SetupRelativeStateTarget<RelativeSetupStateSchemas<TStateSchemas>> | `#${string}` : string extends SetupStateKeys<TStateSchemas> ? string : [SetupStateKeys<TStateSchemas>] extends [never] ? string : StatePaths<TStateSchemas> | `.${string}` | `#${string}`;
+type SetupStateTarget<TStateSchemas extends Record<string, SetupStateSchema>> = TStateSchemas extends StrictSetupStateTargetsFlag ? StrictSetupStatePaths<TStateSchemas> | SetupRelativeStateTarget<RelativeSetupStateSchemas<TStateSchemas>> | `#${string}` : string extends SetupStateKeys<TStateSchemas> ? string : [SetupStateKeys<TStateSchemas>] extends [never] ? string : StatePaths<TStateSchemas> | `.${string}` | `#${string}`;
 type KnownSetupStateTarget<TStateSchemas extends Record<string, SetupStateSchema>> = string extends StatePaths<TStateSchemas> ? string extends StatePaths<RelativeSetupStateSchemas<TStateSchemas>> ? never : SetupRelativeStateTarget<RelativeSetupStateSchemas<TStateSchemas>> | RootSetupStateIdTarget<RootSetupStateSchemas<TStateSchemas>> : (StrictSetupStatePaths<TStateSchemas> & string) | SetupRelativeStateTarget<RelativeSetupStateSchemas<TStateSchemas>> | RootSetupStateIdTarget<RootSetupStateSchemas<TStateSchemas>>;
 declare const strictSetupStateTargets: unique symbol;
 declare const relativeSetupStateSchemas: unique symbol;
 declare const rootSetupStateSchemas: unique symbol;
 declare const currentSetupStateSchema: unique symbol;
 declare const parentSetupStateType: unique symbol;
-type StrictSetupStateSchemas<TStateSchemas extends Record<string, SetupStateSchema>, TRelativeStateSchemas extends Record<string, SetupStateSchema> = Record<string, SetupStateSchema>, TRootStateSchemas extends Record<string, SetupStateSchema> = RootSetupStateSchemas<TStateSchemas>, TCurrentStateSchema extends SetupStateSchema = never> = TStateSchemas & {
+/** @public Referenced by emitted declarations of strict transition targets. */
+export type StrictSetupStateTargetsFlag = {
     readonly [strictSetupStateTargets]: true;
+};
+/** @public Referenced by emitted declarations of strict transition targets. */
+export type RelativeSetupStateSchemasMarker<TRelativeStateSchemas extends Record<string, SetupStateSchema>> = {
     readonly [relativeSetupStateSchemas]: TRelativeStateSchemas;
-    readonly [rootSetupStateSchemas]: TRootStateSchemas;
+};
+/** @public Referenced by emitted declarations of strict transition targets. */
+export type CurrentSetupStateSchemaMarker<TCurrentStateSchema extends SetupStateSchema> = {
     readonly [currentSetupStateSchema]: TCurrentStateSchema;
 };
-type RelativeSetupStateSchemas<TStateSchemas extends Record<string, SetupStateSchema>> = TStateSchemas extends {
-    readonly [relativeSetupStateSchemas]: infer TRelativeStateSchemas extends Record<string, SetupStateSchema>;
-} ? TRelativeStateSchemas : TStateSchemas;
-type RootSetupStateSchemas<TStateSchemas extends Record<string, SetupStateSchema>> = TStateSchemas extends {
-    readonly [rootSetupStateSchemas]: infer TRootStateSchemas extends Record<string, SetupStateSchema>;
-} ? TRootStateSchemas : TStateSchemas;
-type CurrentSetupStateSchema<TStateSchemas extends Record<string, SetupStateSchema>> = TStateSchemas extends {
-    readonly [currentSetupStateSchema]: infer TCurrentStateSchema extends SetupStateSchema;
-} ? TCurrentStateSchema : never;
+/** @public Referenced by emitted declarations of strict transition targets. */
+export type StrictSetupStateTargetsMarker<TRelativeStateSchemas extends Record<string, SetupStateSchema>, TRootStateSchemas extends Record<string, SetupStateSchema>, TCurrentStateSchema extends SetupStateSchema> = StrictSetupStateTargetsFlag & RelativeSetupStateSchemasMarker<TRelativeStateSchemas> & RootSetupStateSchemasMarker<TRootStateSchemas> & CurrentSetupStateSchemaMarker<TCurrentStateSchema>;
+/** @public Referenced by emitted declarations of strict transition targets. */
+export type StrictSetupStateSchemas<TStateSchemas extends Record<string, SetupStateSchema>, TRelativeStateSchemas extends Record<string, SetupStateSchema> = Record<string, SetupStateSchema>, TRootStateSchemas extends Record<string, SetupStateSchema> = RootSetupStateSchemas<TStateSchemas>, TCurrentStateSchema extends SetupStateSchema = never> = TStateSchemas & StrictSetupStateTargetsMarker<TRelativeStateSchemas, TRootStateSchemas, TCurrentStateSchema>;
+type RelativeSetupStateSchemas<TStateSchemas extends Record<string, SetupStateSchema>> = TStateSchemas extends RelativeSetupStateSchemasMarker<infer TRelativeStateSchemas> ? TRelativeStateSchemas : TStateSchemas;
+type RootSetupStateSchemas<TStateSchemas extends Record<string, SetupStateSchema>> = TStateSchemas extends RootSetupStateSchemasMarker<infer TRootStateSchemas> ? TRootStateSchemas : TStateSchemas;
+type CurrentSetupStateSchema<TStateSchemas extends Record<string, SetupStateSchema>> = TStateSchemas extends CurrentSetupStateSchemaMarker<infer TCurrentStateSchema> ? TCurrentStateSchema : never;
 type SetupStateSelfSchema<TStateSchema extends SetupStateSchema> = TStateSchema extends {
     schemas: infer TSchemas extends SetupStateSchemas;
 } ? {
     schemas: TSchemas;
 } : {};
-type SetupStateSchemasWithParentType<TStateSchemas extends Record<string, SetupStateSchema>, TParentStateType extends SetupStateType | never> = TStateSchemas & {
+/** @public Referenced by emitted declarations of strict transition targets. */
+export type SetupStateParentTypeMarker<TParentStateType extends SetupStateType | never> = {
     readonly [parentSetupStateType]: TParentStateType;
 };
-type SetupStateParentType<TStateSchemas extends Record<string, SetupStateSchema>> = TStateSchemas extends {
-    readonly [parentSetupStateType]: infer TParentStateType;
-} ? TParentStateType : never;
+/** @public Referenced by emitted declarations of strict transition targets. */
+export type SetupStateSchemasWithParentType<TStateSchemas extends Record<string, SetupStateSchema>, TParentStateType extends SetupStateType | never> = TStateSchemas & SetupStateParentTypeMarker<TParentStateType>;
+type SetupStateParentType<TStateSchemas extends Record<string, SetupStateSchema>> = TStateSchemas extends SetupStateParentTypeMarker<infer TParentStateType> ? TParentStateType : never;
 type IsParallelSetupStateParent<TStateSchemas extends Record<string, SetupStateSchema>> = [SetupStateParentType<TStateSchemas>] extends [never] ? false : SetupStateParentType<TStateSchemas> extends 'parallel' ? true : false;
 type ResolveStateSiblingsForPath<TStates extends Record<string, SetupStateSchema>, TPath extends string> = SetupStateParentAtPath<TStates, TPath> extends infer TParent ? [TParent] extends [SetupStateSchema] ? SetupStateSchemasWithParentType<ResolveStateSiblings<TStates, TPath>, TParent extends {
     type: infer TType extends SetupStateType;
 } ? TType : never> : ResolveStateSiblings<TStates, TPath> : never;
-type WithRootSetupStateSchemas<TStateSchemas extends Record<string, SetupStateSchema>, TRootStateSchemas extends Record<string, SetupStateSchema>> = TStateSchemas & {
+/** @public Referenced by emitted declarations of strict transition targets. */
+export type RootSetupStateSchemasMarker<TRootStateSchemas extends Record<string, SetupStateSchema>> = {
     readonly [rootSetupStateSchemas]: TRootStateSchemas;
 };
+/** @public Referenced by emitted declarations of strict transition targets. */
+export type WithRootSetupStateSchemas<TStateSchemas extends Record<string, SetupStateSchema>, TRootStateSchemas extends Record<string, SetupStateSchema>> = TStateSchemas & RootSetupStateSchemasMarker<TRootStateSchemas>;
 type RootSetupStateTransitionSchemas<TStateSchemas extends Record<string, SetupStateSchema>> = StrictSetupStateSchemas<{}, TStateSchemas, TStateSchemas>;
 type RootSetupStateTarget<TStateSchemas extends Record<string, SetupStateSchema>> = SetupRelativeStateTarget<TStateSchemas> | RootSetupStateIdTarget<TStateSchemas>;
 type SetupStateTransitionChildSchemas<TStateSchema extends SetupStateSchema> = TStateSchema extends {
@@ -515,7 +521,8 @@ type RootContext<TContext> = typeof rootContext extends keyof TContext ? TContex
 type StateContextShape<TStateSchema extends SetupStateSchema, TFallbackContext> = TStateSchema['schemas'] extends {
     context: infer TContextSchema;
 } ? TContextSchema extends StandardSchemaV1 ? StandardSchemaV1.InferOutput<TContextSchema> & RootContext<TFallbackContext> & RootContextMarker<TFallbackContext> : RootContext<TFallbackContext> : RootContext<TFallbackContext>;
-type ActiveStateContext<TStateSchema extends SetupStateSchema, TRootContext extends MachineContext, TAncestorContext> = StateContext<TStateSchema, TRootContext> & TAncestorContext & MachineContext;
+/** @public Referenced by emitted declarations of narrowed state contexts. */
+export type ActiveStateContext<TStateSchema extends SetupStateSchema, TRootContext extends MachineContext, TAncestorContext> = StateContext<TStateSchema, TRootContext> & TAncestorContext & MachineContext;
 type ActiveStateContextShape<TStateSchema extends SetupStateSchema, TAncestorContext> = StateContextShape<TStateSchema, TAncestorContext> & TAncestorContext;
 type WithNestedStates<TConfig, TNestedStates> = TConfig extends {
     type: 'choice';
@@ -547,9 +554,7 @@ type SetupChoiceTargetConfig<TStateSchemas extends Record<string, SetupStateSche
     [K in KnownSetupStateTarget<TStateSchemas>]: {
         target: K;
     } & SetupStateInputConfig<SetupStateSchemaAtTarget<TStateSchemas, K>, TContext, TEvent>;
-}[KnownSetupStateTarget<TStateSchemas>] | (TStateSchemas extends {
-    readonly [strictSetupStateTargets]: true;
-} ? {
+}[KnownSetupStateTarget<TStateSchemas>] | (TStateSchemas extends StrictSetupStateTargetsFlag ? {
     target: KnownSetupStateTarget<TStateSchemas>[];
     input?: Record<string, unknown>;
 } : {
@@ -980,9 +985,7 @@ type StateTransitionResult<TStateSchemas extends Record<string, SetupStateSchema
         context: StateTransitionContext<TAllowContextMapper, TContext, TContextShape, StateContextShape<SetupStateSchemaAtTarget<TStateSchemas, K>, TContextShape>, StateContext<SetupStateSchemaAtTarget<TStateSchemas, K>, TContext>, TExpressionEvent, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>;
     });
 }[TKnownTarget] | {
-    target: TStateSchemas extends {
-        readonly [strictSetupStateTargets]: true;
-    } ? never : Exclude<TTarget, TKnownTarget>;
+    target: TStateSchemas extends StrictSetupStateTargetsFlag ? never : Exclude<TTarget, TKnownTarget>;
     context?: StateTransitionContext<TAllowContextMapper, TContext, TContextShape, TContextShape, TContext, TExpressionEvent, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TSystemRegistry>;
     reenter?: boolean;
     meta?: TMeta;

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

@@ -319,7 +319,8 @@ type Next_RouteConfig<TContext extends MachineContext, TEvent extends EventObjec
 });
 type Next_ChoiceConfigFunction<TContext extends MachineContext, TCurrentEvent extends EventObject, TEvent extends EventObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TMeta extends MetaObject, _TCtx extends MachineContext = [TContext] extends [never] ? any : TContext> = (args: Next_ChoiceArgs<TContext, TCurrentEvent, TEvent, TActionMap, TActorMap, TGuardMap, TDelayMap, _TCtx>) => Next_ChoiceTarget<TMeta>;
 export type Next_StateNodeConfig<TContext extends MachineContext, TEvent extends EventObject, TDelays extends string, TTag extends string, _TOutput, TEmitted extends EventObject, TStateMeta extends MetaObject, TChildren extends Record<string, AnyActorRef | undefined>, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TInput = Record<string, unknown> | undefined, TInputMap extends Record<string, unknown> = Record<string, unknown>, TSystemRegistry extends SystemRegistry = SystemRegistry, TChildOutput = unknown, TTransitionMeta extends MetaObject = TStateMeta> = Next_RegularStateNodeConfig<TContext, TEvent, TDelays, TTag, _TOutput, TEmitted, TStateMeta, TTransitionMeta, TChildren, TActionMap, TActorMap, TGuardMap, TDelayMap, TInput, TInputMap, TSystemRegistry, TChildOutput> | Next_ChoiceStateNodeConfig<TContext, TEvent, TTag, TStateMeta, TTransitionMeta, TActionMap, TActorMap, TGuardMap, TDelayMap>;
-interface Next_ChoiceStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject, TTag extends string, TStateMeta extends MetaObject, TTransitionMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays']> {
+/** @public Referenced by emitted declarations of `Next_StateNodeConfig`. */
+export interface Next_ChoiceStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject, TTag extends string, TStateMeta extends MetaObject, TTransitionMeta extends MetaObject, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays']> {
     contextSchema?: StandardSchemaV1;
     schemas?: SetupStateSchemas;
     type: 'choice';
@@ -347,7 +348,8 @@ interface Next_ChoiceStateNodeConfig<TContext extends MachineContext, TEvent ext
     output?: never;
     target?: never;
 }
-interface Next_RegularStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject, TDelays extends string, TTag extends string, TOutput, TEmitted extends EventObject, TStateMeta extends MetaObject, TTransitionMeta extends MetaObject, TChildren extends Record<string, AnyActorRef | undefined>, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TInput = Record<string, unknown> | undefined, TInputMap extends Record<string, unknown> = Record<string, unknown>, TSystemRegistry extends SystemRegistry = SystemRegistry, TChildOutput = unknown> {
+/** @public Referenced by emitted declarations of `Next_StateNodeConfig`. */
+export interface Next_RegularStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject, TDelays extends string, TTag extends string, TOutput, TEmitted extends EventObject, TStateMeta extends MetaObject, TTransitionMeta extends MetaObject, TChildren extends Record<string, AnyActorRef | undefined>, TActionMap extends Sources['actions'], TActorMap extends Sources['actors'], TGuardMap extends Sources['guards'], TDelayMap extends Sources['delays'], TInput = Record<string, unknown> | undefined, TInputMap extends Record<string, unknown> = Record<string, unknown>, TSystemRegistry extends SystemRegistry = SystemRegistry, TChildOutput = unknown> {
     contextSchema?: StandardSchemaV1;
     schemas?: SetupStateSchemas;
     /** The initial state transition. */

package/dist/xstate.cjs.js

@@ -1084,6 +1084,28 @@ function machineVersions(entries, options) {
  * behavior remains authored in the machine config.
  */
 
+// Named, like `RootContextMarker`, so declaration emit can reference these
+// markers instead of expanding their private unique-symbol keys into exported
+// types. They are split one key apiece because the conditional types below
+// match on a single key at a time, and those conditionals are emitted too.
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
 /**
  * The sibling state schemas of a dotted path: the children of the path's
  * parent. A bare transition target resolves relative to the parent, so the
@@ -1119,6 +1141,11 @@ function machineVersions(entries, options) {
 // the private unique-symbol key into exported machine config types.
 /** @public Referenced by emitted declarations of narrowed state contexts. */
 
+// Exported for the same reason as `RootContextMarker`: this is the context type
+// a narrowed state's transition receives, so it appears in the emitted
+// declarations of any machine that declares per-state `context`.
+/** @public Referenced by emitted declarations of narrowed state contexts. */
+
 /**
  * The runtime applies one transition input to every target in a target set.
  * Keep the array's input correlated to its literal targets by requiring the

package/dist/xstate.development.cjs.js

@@ -1084,6 +1084,28 @@ function machineVersions(entries, options) {
  * behavior remains authored in the machine config.
  */
 
+// Named, like `RootContextMarker`, so declaration emit can reference these
+// markers instead of expanding their private unique-symbol keys into exported
+// types. They are split one key apiece because the conditional types below
+// match on a single key at a time, and those conditionals are emitted too.
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
 /**
  * The sibling state schemas of a dotted path: the children of the path's
  * parent. A bare transition target resolves relative to the parent, so the
@@ -1119,6 +1141,11 @@ function machineVersions(entries, options) {
 // the private unique-symbol key into exported machine config types.
 /** @public Referenced by emitted declarations of narrowed state contexts. */
 
+// Exported for the same reason as `RootContextMarker`: this is the context type
+// a narrowed state's transition receives, so it appears in the emitted
+// declarations of any machine that declares per-state `context`.
+/** @public Referenced by emitted declarations of narrowed state contexts. */
+
 /**
  * The runtime applies one transition input to every target in a target set.
  * Keep the array's input correlated to its literal targets by requiring the

package/dist/xstate.development.esm.js

@@ -1082,6 +1082,28 @@ function machineVersions(entries, options) {
  * behavior remains authored in the machine config.
  */
 
+// Named, like `RootContextMarker`, so declaration emit can reference these
+// markers instead of expanding their private unique-symbol keys into exported
+// types. They are split one key apiece because the conditional types below
+// match on a single key at a time, and those conditionals are emitted too.
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
 /**
  * The sibling state schemas of a dotted path: the children of the path's
  * parent. A bare transition target resolves relative to the parent, so the
@@ -1117,6 +1139,11 @@ function machineVersions(entries, options) {
 // the private unique-symbol key into exported machine config types.
 /** @public Referenced by emitted declarations of narrowed state contexts. */
 
+// Exported for the same reason as `RootContextMarker`: this is the context type
+// a narrowed state's transition receives, so it appears in the emitted
+// declarations of any machine that declares per-state `context`.
+/** @public Referenced by emitted declarations of narrowed state contexts. */
+
 /**
  * The runtime applies one transition input to every target in a target set.
  * Keep the array's input correlated to its literal targets by requiring the

package/dist/xstate.esm.js

@@ -1082,6 +1082,28 @@ function machineVersions(entries, options) {
  * behavior remains authored in the machine config.
  */
 
+// Named, like `RootContextMarker`, so declaration emit can reference these
+// markers instead of expanding their private unique-symbol keys into exported
+// types. They are split one key apiece because the conditional types below
+// match on a single key at a time, and those conditionals are emitted too.
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
+/** @public Referenced by emitted declarations of strict transition targets. */
+
 /**
  * The sibling state schemas of a dotted path: the children of the path's
  * parent. A bare transition target resolves relative to the parent, so the
@@ -1117,6 +1139,11 @@ function machineVersions(entries, options) {
 // the private unique-symbol key into exported machine config types.
 /** @public Referenced by emitted declarations of narrowed state contexts. */
 
+// Exported for the same reason as `RootContextMarker`: this is the context type
+// a narrowed state's transition receives, so it appears in the emitted
+// declarations of any machine that declares per-state `context`.
+/** @public Referenced by emitted declarations of narrowed state contexts. */
+
 /**
  * The runtime applies one transition input to every target in a target set.
  * Keep the array's input correlated to its literal targets by requiring the