@typeonce/effect-machine 0.4.0 → 0.5.1

package/dist/Machine.d.ts

@@ -1,7 +1,7 @@
 /**
  * Schema-first machine definitions.
  *
- * @since 4.0.0
+ * @since 0.4.0
  */
 import type * as Cause from "effect/Cause";
 import type * as Duration from "effect/Duration";
@@ -25,14 +25,14 @@ import type * as Topology from "./internal/machine/topology.js";
  * values.
  *
  * @category type IDs
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type TypeId = "~effect/Machine";
 /**
  * Runtime type identifier attached to `Machine` values.
  *
  * @category type IDs
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const TypeId: TypeId;
 declare const MachineOutputStatesTypeId: unique symbol;
@@ -42,7 +42,7 @@ declare const MachineTypeId: unique symbol;
  * actions.
  *
  * @category type IDs
- * @since 4.0.0
+ * @since 0.4.0
  */
 export { InitialEventTypeId };
 /**
@@ -50,7 +50,7 @@ export { InitialEventTypeId };
  * that run while the machine is settling its initial state.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface InitialEvent {
     readonly _tag: typeof InitialEventTypeId;
@@ -59,14 +59,14 @@ export interface InitialEvent {
  * Synthetic event value used while the machine settles its initial state.
  *
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const InitialEvent: InitialEvent;
 /**
  * Returns `true` if a value is the synthetic machine initial event.
  *
  * @category guards
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const isInitialEvent: (u: unknown) => u is InitialEvent;
 type IsAny<A> = 0 extends (1 & A) ? true : false;
@@ -88,7 +88,7 @@ type IsAny<A> = 0 extends (1 & A) ? true : false;
  * flow. Use `after` for cancellable state-scoped delayed events.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface Machine<States extends Machine.StateSchemas, Events extends ReadonlyArray<Machine.TaggedSchema>, Input extends Schema.Top = typeof Schema.Void, UnhandledStates extends Machine.StateIdentifier<States> = Machine.StateIdentifier<States>, E = never, R = never, InitialE = never, InitialR = never, FinalStates extends Machine.StateIdentifier<States> = never, Output = never, Emits extends ReadonlyArray<Machine.TaggedSchema> = readonly [], OutputStates extends Machine.StateIdentifier<States> = never, InputEvents extends ReadonlyArray<Machine.TaggedSchema> = Events> extends Pipeable {
     readonly [TypeId]: TypeId;
@@ -99,37 +99,37 @@ export interface Machine<States extends Machine.StateSchemas, Events extends Rea
     /**
      * State tree that defines the machine topology and state value schemas.
      *
-     * @since 4.0.0
+     * @since 0.4.0
      */
     readonly states: States;
     /**
      * Events accepted through public machine input boundaries.
      *
-     * @since 4.0.0
+     * @since 0.4.0
      */
     readonly events: InputEvents;
     /**
      * Events reserved for invokes, child emissions, and other machine-local work.
      *
-     * @since 4.0.0
+     * @since 0.4.0
      */
     readonly internalEvents: ReadonlyArray<Machine.TaggedSchema>;
     /**
      * Events that the machine may emit to its parent or external adapter.
      *
-     * @since 4.0.0
+     * @since 0.4.0
      */
     readonly emits: Emits;
     /**
      * Optional schema used to decode the machine input before initialization.
      *
-     * @since 4.0.0
+     * @since 0.4.0
      */
     readonly input: Input | undefined;
     /**
      * Optional stable identity used by runtime and persistence integrations.
      *
-     * @since 4.0.0
+     * @since 0.4.0
      */
     readonly id: string | undefined;
     /** @internal */
@@ -146,7 +146,7 @@ export interface Machine<States extends Machine.StateSchemas, Events extends Rea
      * later mutation of the objects supplied to this call cannot alter the
      * resulting machine.
      *
-     * @since 4.0.0
+     * @since 0.4.0
      */
     readonly handle: Machine.Handler<States, Events, Emits, Input, UnhandledStates, E, R, InitialE, InitialR, FinalStates, Output, OutputStates, InputEvents>;
     /** @internal */
@@ -158,7 +158,7 @@ export {
  * exists for the current machine.
  *
  * @category errors
- * @since 4.0.0
+ * @since 0.4.0
  */
 ChildAlreadyExistsError, 
 /**
@@ -166,7 +166,7 @@ ChildAlreadyExistsError,
  * number of macrostep iterations.
  *
  * @category errors
- * @since 4.0.0
+ * @since 0.4.0
  */
 InfiniteTransitionError, 
 /**
@@ -174,7 +174,7 @@ InfiniteTransitionError,
  * structural configuration declared for a machine boundary.
  *
  * @category errors
- * @since 4.0.0
+ * @since 0.4.0
  */
 MachineSchemaDecodeError, 
 /**
@@ -182,7 +182,7 @@ MachineSchemaDecodeError,
  * its declared state or output schemas.
  *
  * @category errors
- * @since 4.0.0
+ * @since 0.4.0
  */
 MachineSchemaEncodeError, 
 /**
@@ -190,7 +190,7 @@ MachineSchemaEncodeError,
  * requires a managed machine process.
  *
  * @category errors
- * @since 4.0.0
+ * @since 0.4.0
  */
 ProcessLocalError, 
 /**
@@ -198,7 +198,7 @@ ProcessLocalError,
  * logic after the initial state has been computed.
  *
  * @category errors
- * @since 4.0.0
+ * @since 0.4.0
  */
 StartupError, 
 /**
@@ -206,7 +206,7 @@ StartupError,
  * producing an output.
  *
  * @category errors
- * @since 4.0.0
+ * @since 0.4.0
  */
 StoppedError } from "./internal/machine/machine.js";
 declare const RuntimeRequirementTypeId = "~effect/Machine/RuntimeRequirement";
@@ -217,7 +217,7 @@ type MachineRuntimeRequirement = internalRuntime.MachineRuntime;
  * the Effect that plans a machine step.
  *
  * @category services
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface ActionRequirement<Error, Requirements> {
     readonly [ActionRequirementTypeId]: {
@@ -229,47 +229,47 @@ export interface ActionRequirement<Error, Requirements> {
  * Extracts the typed error channel of staged machine actions.
  *
  * @category utility types
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type ActionError<Requirements> = Requirements extends ActionRequirement<infer Error, any> ? Error : never;
 /**
  * Extracts the service requirements of staged machine actions.
  *
  * @category utility types
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type ActionServices<Requirements> = Requirements extends ActionRequirement<any, infer Services> ? Services : never;
 /**
  * Removes staged action requirements from machine planning services.
  *
  * @category utility types
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type PlanningServices<Requirements> = Exclude<Requirements, ActionRequirement<any, any>>;
 /**
  * Resolves all services needed to execute a machine at runtime.
  *
  * @category utility types
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type ExecutionServices<Requirements> = Exclude<PlanningServices<Requirements>, MachineRuntimeRequirement> | Exclude<ActionServices<Requirements>, MachineRuntimeRequirement>;
 /**
  * Managed runtime capability used to deliver raised and emitted events.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface Runtime<in Events, in Emits> {
     /**
      * Queues an event for the current machine macrostep.
      *
-     * @since 4.0.0
+     * @since 0.4.0
      */
     readonly raise: (event: Events) => Effect.Effect<void, MachineSchemaDecodeError | StoppedError>;
     /**
      * Emits an event through the running machine's parent boundary.
      *
-     * @since 4.0.0
+     * @since 0.4.0
      */
     readonly sendParent: (event: Emits) => Effect.Effect<void, MachineSchemaDecodeError | StoppedError>;
 }
@@ -279,7 +279,7 @@ export interface Runtime<in Events, in Emits> {
  * executes an Effect.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface Enqueue<in Events, in Emits> {
     /** Raises an event inside the current macrostep. */
@@ -297,7 +297,12 @@ export interface Enqueue<in Events, in Emits> {
         <Event>(child: ChildAddress<Event>): void;
     };
 }
-/** A closed actor command recorded by a synchronous machine transition. */
+/**
+ * A closed actor command recorded by a synchronous machine transition.
+ *
+ * @category models
+ * @since 0.4.0
+ */
 export type Command = {
     readonly _tag: "SendTo";
     readonly child: ChildMachine.Any | ChildAddress<never>;
@@ -309,14 +314,15 @@ export type Command = {
 /**
  * Namespace containing type-level members associated with `Runtime`.
  *
- * @since 4.0.0
+ * @category models
+ * @since 0.4.0
  */
 export declare namespace Runtime {
     /**
      * Protocol annotation for managed event delivery.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface Protocol {
         readonly events?: unknown;
@@ -326,7 +332,7 @@ export declare namespace Runtime {
      * Extracts the events required by a runtime protocol annotation.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Events<Protocol> = Protocol extends {
         readonly events: infer Events;
@@ -335,7 +341,7 @@ export declare namespace Runtime {
      * Extracts the emitted events required by a runtime protocol annotation.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Emits<Protocol> = Protocol extends {
         readonly emits: infer Emits;
@@ -344,7 +350,7 @@ export declare namespace Runtime {
      * Opaque service requirement for a machine runtime capability.
      *
      * @category services
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface Requirement<Events, Emits> {
         readonly [RuntimeRequirementTypeId]: {
@@ -471,7 +477,7 @@ type FromMethod<Arguments extends ReadonlyArray<unknown>, Result> = {
      * machine plans the resulting configuration. The input may be omitted when
      * the schema accepts an empty constructor object.
      *
-     * @since 4.0.0
+     * @since 0.4.0
      */
     readonly from: FromCallable<Arguments, Machine.StateConstruction<Result>>;
 };
@@ -675,7 +681,7 @@ type LocalTargetBuilderForScope<States extends Machine.StateSchemas, Scope exten
      * Updates the value of the state containing the local group and moves to
      * one of the states inside it. Values in other active branches are kept.
      *
-     * @since 4.0.0
+     * @since 0.4.0
      */
     readonly with: (<Result extends ConstructionResult<LocalTargetResultWithPrefix<States, Children, Scope>>>(value: Machine.StateByIdentifier<States, Scope>, state: (builder: LocalTargetBuilderWithPrefix<States, Children, Scope, Source>) => Result) => Result) & {
         readonly from: ConstructionSelectorFromCallable<Machine.SchemaByIdentifier<States, Scope>["~type.make.in"], LocalTargetBuilderWithPrefix<States, Children, Scope, Source>, LocalTargetResultWithPrefix<States, Children, Scope>>;
@@ -760,7 +766,7 @@ type SpawnResult<State, Event, Error, Requirements, Output, SpawnError, InitialE
  * with output or fail while processing an event.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type RuntimeSnapshot<State, Error = never, Output = never> = {
     readonly status: "active";
@@ -781,7 +787,7 @@ export type RuntimeSnapshot<State, Error = never, Output = never> = {
  * Represents a classified terminal outcome derived from a runtime snapshot.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type RuntimeOutcome<State, Error = never, Output = never> = {
     readonly _tag: "Done";
@@ -833,7 +839,7 @@ export type RuntimeOutcome<State, Error = never, Output = never> = {
  * `StoppedError`.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface MachineRef<out State, in Event, out Error = never, out Output = never> {
     /** Stable machine definition id, or a generated fallback when none was declared. */
@@ -855,13 +861,13 @@ export interface MachineRef<out State, in Event, out Error = never, out Output =
     /**
      * Returns the current directly owned child for a typed descriptor.
      *
-     * @since 4.0.0
+     * @since 0.4.0
      */
     readonly child: <Child extends ChildMachine.Any>(child: Child) => Effect.Effect<Option.Option<ChildMachine.Ref<Child>>>;
     /**
      * Streams activation, replacement, and removal of a directly owned child.
      *
-     * @since 4.0.0
+     * @since 0.4.0
      */
     readonly childChanges: <Child extends ChildMachine.Any>(child: Child) => Stream.Stream<Option.Option<ChildMachine.Ref<Child>>>;
 }
@@ -869,7 +875,7 @@ export interface MachineRef<out State, in Event, out Error = never, out Output =
  * Machine-specific process logic used by `spawn` and `invoke`.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface Logic<State, Event, out Error = never, out Requirements = never, out Output = never, out InitialError = never> {
     /** Creates the initial process state and may spawn scoped child processes. */
@@ -880,14 +886,15 @@ export interface Logic<State, Event, out Error = never, out Requirements = never
 /**
  * Public types used by advanced machine process logic.
  *
- * @since 4.0.0
+ * @category models
+ * @since 0.4.0
  */
 export declare namespace Logic {
     /**
      * Machine-local endpoint that can receive events and be stopped.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface Address<in Event> {
         /** Parent-local address id. */
@@ -903,7 +910,7 @@ export declare namespace Logic {
      * Starts child process logic owned by the current machine process.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface Spawn {
         <ChildState, ChildEvent, ChildError, ChildRequirements, ChildOutput, ChildInitialError = never>(logic: Logic<ChildState, ChildEvent, ChildError, ChildRequirements, ChildOutput, ChildInitialError>): Effect.Effect<MachineRef<ChildState, ChildEvent, ChildError, ChildOutput>, ChildInitialError, Exclude<ChildRequirements, Scope.Scope>>;
@@ -919,7 +926,7 @@ export declare namespace Logic {
      * invoke snapshot mapper when either can represent the communication.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface Scope<Event> {
         /** Address of the process being initialized. */
@@ -939,7 +946,7 @@ export declare namespace Logic {
      * Machine-local capabilities available while stateful process logic runs.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface Context<State, Event> extends Scope<Event> {
         /** Waits for the next event delivered to this process. */
@@ -968,7 +975,7 @@ type InvokeLifecycleId = string & {
  * event, error, and output types are inferred without separate annotations.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface ChildMachine<Id extends string, M extends Machine.Any> {
     readonly [ChildMachineTypeId]: typeof ChildMachineTypeId;
@@ -980,28 +987,29 @@ export interface ChildMachine<Id extends string, M extends Machine.Any> {
 /**
  * Namespace containing type-level members associated with `ChildMachine`.
  *
- * @since 4.0.0
+ * @category models
+ * @since 0.4.0
  */
 export declare namespace ChildMachine {
     /**
      * Any typed child machine descriptor.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Any = ChildMachine<string, Machine.Any>;
     /**
      * Running machine reference selected by a child descriptor.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Ref<Child> = Child extends ChildMachine<string, infer M> ? MachineRef<Machine.Snapshot<Machine.States<M>>, Machine.InputEvent<M>, Machine.Error<M> | ActionError<Machine.Services<M>> | InfiniteTransitionError | MachineSchemaDecodeError | StoppedError, Machine.Output<M>> : never;
     /**
      * Event accepted by the child selected by a descriptor.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Event<Child> = Ref<Child> extends MachineRef<any, infer Event, any, any> ? Event : never;
 }
@@ -1009,20 +1017,21 @@ export declare namespace ChildMachine {
  * Parent-local address for a child process that can receive events.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type ChildAddress<Event> = string & ChildAddress.Variance<Event>;
 /**
  * Namespace containing type-level members associated with `ChildAddress`.
  *
- * @since 4.0.0
+ * @category models
+ * @since 0.4.0
  */
 export declare namespace ChildAddress {
     /**
      * Variance marker carried by a typed child process address.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface Variance<in Event> {
         readonly [ChildAddressTypeId]: {
@@ -1033,7 +1042,7 @@ export declare namespace ChildAddress {
      * Extracts the event protocol accepted by a child address.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Event<Address> = Address extends ChildAddress<infer Event> ? Event : unknown;
     /**
@@ -1041,7 +1050,7 @@ export declare namespace ChildAddress {
      * protocol.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Compatibility<Address, Event> = [Address] extends [ChildAddress<infer AddressEvent>] ? [
         AddressEvent
@@ -1056,7 +1065,7 @@ export declare namespace ChildAddress {
      * child process event protocol.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type OptionsCompatibility<Options, Event> = "id" extends keyof Options ? Options extends {
         readonly id?: infer Address;
@@ -1066,7 +1075,7 @@ export declare namespace ChildAddress {
  * Options for spawning child processes.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface SpawnOptions {
     readonly id?: string;
@@ -1075,7 +1084,7 @@ export interface SpawnOptions {
  * Options for spawning child processes with a parent-local id.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface SpawnIdOptions extends SpawnOptions {
     readonly id: string;
@@ -1083,7 +1092,8 @@ export interface SpawnIdOptions extends SpawnOptions {
 /**
  * Namespace containing type-level members associated with `Machine`.
  *
- * @since 4.0.0
+ * @category models
+ * @since 0.4.0
  */
 export declare namespace Machine {
     /**
@@ -1116,7 +1126,7 @@ export declare namespace Machine {
      * that proof on another concrete `Machine` type.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface Any extends Pipeable {
         readonly [TypeId]: TypeId;
@@ -1143,112 +1153,112 @@ export declare namespace Machine {
      * Extracts the state schema tree carried by a machine definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type States<M extends Any> = M[typeof MachineTypeId]["states"];
     /**
      * Extracts the complete event schema tuple carried by a machine definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Events<M extends Any> = M[typeof MachineTypeId]["events"];
     /**
      * Extracts the input schema carried by a machine definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Input<M extends Any> = M[typeof MachineTypeId]["input"];
     /**
      * Extracts state paths that do not yet have handlers.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type UnhandledStates<M extends Any> = M[typeof MachineTypeId]["unhandledStates"];
     /**
      * Extracts the runtime error channel carried by a machine definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Error<M extends Any> = M[typeof MachineTypeId]["error"];
     /**
      * Extracts runtime service requirements carried by a machine definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Services<M extends Any> = M[typeof MachineTypeId]["services"];
     /**
      * Extracts the startup error channel carried by a machine definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InitialError<M extends Any> = M[typeof MachineTypeId]["initialError"];
     /**
      * Extracts startup service requirements carried by a machine definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InitialServices<M extends Any> = M[typeof MachineTypeId]["initialServices"];
     /**
      * Extracts final state paths carried by a machine definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type FinalStates<M extends Any> = M[typeof MachineTypeId]["finalStates"];
     /**
      * Extracts the terminal output channel carried by a machine definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Output<M extends Any> = M[typeof MachineTypeId]["output"];
     /**
      * Extracts the emitted event schema tuple carried by a machine definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Emits<M extends Any> = M[typeof MachineTypeId]["emits"];
     /**
      * Extracts state paths with implemented output handlers.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type OutputStates<M extends Any> = M[typeof MachineTypeId]["outputStates"];
     /**
      * Extracts the public input event schema tuple carried by a machine definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InputEvents<M extends Any> = M[typeof MachineTypeId]["inputEvents"];
     /**
      * Extracts the complete event protocol handled inside a machine.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Event<M extends Any> = EventOf<Events<M>>;
     /**
      * Extracts the event protocol accepted by public machine input boundaries.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InputEvent<M extends Any> = EventOf<InputEvents<M>>;
     /**
      * Extracts the event protocol emitted by a machine.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Emit<M extends Any> = EmitOf<Emits<M>>;
     /**
@@ -1259,7 +1269,7 @@ export declare namespace Machine {
      * This mirrors the tagged-schema constraint used by `Schema.toTaggedUnion`.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type TaggedSchema = Schema.Top & {
         readonly Type: {
@@ -1274,7 +1284,7 @@ export declare namespace Machine {
      * affect state identity, targeting, or runtime behavior.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface StateNodeAnnotations extends Schema.Annotations.Annotations {
         readonly title?: string | undefined;
@@ -1287,7 +1297,7 @@ export declare namespace Machine {
      * Configuration accepted for an atomic object state node.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type AtomicStateNodeConfig = {
         readonly schema: TaggedSchema;
@@ -1302,7 +1312,7 @@ export declare namespace Machine {
      * Configuration accepted for a compound object state node.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface CompoundStateNodeConfig {
         readonly schema: TaggedSchema;
@@ -1314,7 +1324,7 @@ export declare namespace Machine {
      * Configuration accepted for a parallel object state node.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface ParallelStateNodeConfig {
         readonly schema: TaggedSchema;
@@ -1332,7 +1342,7 @@ export declare namespace Machine {
      * history owner, so its validity is independent of the transition source.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface HistoryStateNodeConfig {
         readonly type: "history";
@@ -1348,7 +1358,7 @@ export declare namespace Machine {
      * Effect to select a typed target.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface ChoiceStateNodeConfig {
         readonly type: "choice";
@@ -1358,7 +1368,7 @@ export declare namespace Machine {
      * Configuration accepted for an object state node.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type StateNodeConfig = AtomicStateNodeConfig | CompoundStateNodeConfig | ParallelStateNodeConfig | HistoryStateNodeConfig | ChoiceStateNodeConfig;
     /**
@@ -1368,14 +1378,14 @@ export declare namespace Machine {
      * prototype-mutating key `__proto__` and symbol keys are not accepted.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type StateTree = Readonly<Record<string, TaggedSchema | StateNodeConfig>>;
     /**
      * State schema definitions accepted by `make`.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type StateSchemas = StateTree;
     /**
@@ -1392,7 +1402,7 @@ export declare namespace Machine {
      * require every direct region for parallel states.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InitialBuilder<States extends StateSchemas> = InitialSnapshotBuilderWithPrefix<States>;
     /**
@@ -1405,7 +1415,7 @@ export declare namespace Machine {
      * state tree.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface DefinedStates<States extends StateSchemas> {
         /** Original state tree supplied to {@link defineStates}. */
@@ -1415,7 +1425,7 @@ export declare namespace Machine {
         /**
          * Returns the decoded value for an active state path.
          *
-         * @since 4.0.0
+         * @since 0.4.0
          */
         readonly get: <Path extends StateIdentifier<States>>(snapshot: Snapshot<States>, path: Path) => Option.Option<StateByIdentifier<States, Path>>;
         /**
@@ -1426,19 +1436,19 @@ export declare namespace Machine {
          *
          * Parent values are keyed by their full state paths.
          *
-         * @since 4.0.0
+         * @since 0.4.0
          */
         readonly getWithParents: <Path extends StateIdentifier<States>>(snapshot: Snapshot<States>, path: Path) => Option.Option<StateWithParents<States, Path>>;
         /**
          * Returns the snapshot for an active state path.
          *
-         * @since 4.0.0
+         * @since 0.4.0
          */
         readonly getSnapshot: <Path extends StateIdentifier<States>>(snapshot: Snapshot<States>, path: Path) => Option.Option<SnapshotByIdentifier<States, Path>>;
         /**
          * Returns whether a state path is active in the snapshot.
          *
-         * @since 4.0.0
+         * @since 0.4.0
          */
         readonly matches: <Path extends StateIdentifier<States>>(snapshot: Snapshot<States>, path: Path) => boolean;
     }
@@ -1446,7 +1456,7 @@ export declare namespace Machine {
      * Validates the nested shape of state schema definitions.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type ValidateStateSchemas<States extends StateSchemas> = ValidateStateTree<States>;
     /** Properties shared by every compiled state-node variant. */
@@ -1526,7 +1536,7 @@ export declare namespace Machine {
      * property while preserving a uniform inspection shape.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type ActiveStateNode<ActivePath extends string = string, ChoicePath extends string = ActivePath> = AtomicStateNode<ActivePath, ActivePath> | CompoundStateNode<ActivePath, ActivePath, ChoicePath> | ParallelStateNode<ActivePath, ActivePath> | FinalStateNode<ActivePath, ActivePath>;
     type StateNode<ActivePath extends string = string, HistoryPath extends string = ActivePath, ChoicePath extends string = ActivePath> = ActiveStateNode<ActivePath, ChoicePath> | HistoryStateNode<HistoryPath, ActivePath> | ChoiceStateNode<ChoicePath, ActivePath>;
@@ -1534,7 +1544,7 @@ export declare namespace Machine {
      * Runtime lookup table for state nodes.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface StateNodes<ActivePath extends string = string, HistoryPath extends string = ActivePath, ChoicePath extends string = ActivePath> {
         readonly byPath: ReadonlyMap<ActivePath | HistoryPath | ChoicePath, StateNode<ActivePath, HistoryPath, ChoicePath>>;
@@ -1544,7 +1554,7 @@ export declare namespace Machine {
      * Trigger that selects a registered transition handler.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type TransitionTrigger<EventTag extends PropertyKey = PropertyKey> = {
         readonly type: "event";
@@ -1561,7 +1571,7 @@ export declare namespace Machine {
      * A declared parent path covers every descendant below that state.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type TransitionTargets<Path extends string = string> = {
         readonly type: "dynamic";
@@ -1580,7 +1590,7 @@ export declare namespace Machine {
      * available without executing the handler.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface TransitionDefinition<SourcePath extends string = string, EventTag extends PropertyKey = PropertyKey, TargetPath extends string = SourcePath> {
         readonly source: SourcePath;
@@ -1596,7 +1606,7 @@ export declare namespace Machine {
      * invoke factory is reported as dynamic and is never evaluated by inspection.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type ActivityDefinition<SourcePath extends string = string> = Activities.ActivityDefinition<SourcePath>;
     /**
@@ -1604,7 +1614,7 @@ export declare namespace Machine {
      * one planned microstep.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface RetainedTransition<SourcePath extends string = string, EventTag extends PropertyKey = PropertyKey, TargetPath extends string = SourcePath> {
         readonly source: SourcePath;
@@ -1619,21 +1629,21 @@ export declare namespace Machine {
      * Constructor arguments for a machine initial state function.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InputArgs<Input extends Schema.Top> = Input extends typeof Schema.Void ? [] : [input: Input["Type"]];
     /**
      * Extracts the discriminator value represented by a tagged schema.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type TagOf<S extends TaggedSchema> = S["Type"]["_tag"];
     /**
      * Extracts the schema from a state tree node definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type NodeSchema<Node> = Node extends TaggedSchema ? Node : Node extends {
         readonly schema: infer Schema extends TaggedSchema;
@@ -1642,14 +1652,14 @@ export declare namespace Machine {
      * Prefixes a state path with its parent path.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type JoinPath<Parent extends string, Child extends string> = Parent extends "" ? Child : `${Parent}.${Child}`;
     /**
      * Extracts the state path values represented by a state definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type StateIdentifier<States extends StateSchemas> = StateIdentifierWithPrefix<States>;
     /**
@@ -1657,7 +1667,7 @@ export declare namespace Machine {
      * parent path prefix.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type StateIdentifierWithPrefix<States extends StateSchemas, Prefix extends string = ""> = {
         readonly [Key in Extract<keyof States, string>]: States[Key] extends HistoryStateNodeConfig | ChoiceStateNodeConfig ? never : States[Key] extends {
@@ -1668,7 +1678,7 @@ export declare namespace Machine {
      * Extracts the transition-only history pseudo-state paths in a definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type HistoryIdentifier<States extends StateSchemas> = HistoryIdentifierWithPrefix<States>;
     /** Extracts the transition-only choice pseudo-state paths. */
@@ -1677,7 +1687,7 @@ export declare namespace Machine {
      * Extracts every compiled state-node path, including history pseudo-states.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type StateNodeIdentifier<States extends StateSchemas> = StateIdentifier<States> | HistoryIdentifier<States> | ChoiceIdentifier<States>;
     /** @internal */
@@ -1709,7 +1719,7 @@ export declare namespace Machine {
      * shallow history restoration.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type RequiredHistoryInitializers<States extends StateSchemas> = [HistoryIdentifier<States>] extends [never] ? never : Extract<RequiredHistoryInitializersWithPrefix<States, States, "">, StateIdentifier<States>>;
     /** Active parent states that own one or more history pseudo-states. */
@@ -1732,7 +1742,7 @@ export declare namespace Machine {
      * Extracts a state-tree node by state path.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type NodeByIdentifier<States extends StateSchemas, StateId extends StateIdentifier<States>> = StateId extends `${infer Head}.${infer Rest}` ? Head extends keyof States ? States[Head] extends {
         readonly states: infer Children extends StateSchemas;
@@ -1741,21 +1751,21 @@ export declare namespace Machine {
      * Extracts a schema from a state definition by state identifier.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type SchemaByIdentifier<States extends StateSchemas, StateId extends StateIdentifier<States>> = NodeSchema<NodeByIdentifier<States, StateId>>;
     /**
      * Extracts the union of state values represented by a state definition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type StateOf<States extends StateSchemas> = StateIdentifier<States> extends infer StateId ? StateId extends StateIdentifier<States> ? SchemaByIdentifier<States, StateId>["Type"] : never : never;
     /**
      * Extracts the union of event values represented by an event schema list.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type EventOf<Events extends ReadonlyArray<TaggedSchema>> = Events[number]["Type"];
     /**
@@ -1763,42 +1773,42 @@ export declare namespace Machine {
      * schema list.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type EmitOf<Emits extends ReadonlyArray<TaggedSchema>> = Emits[number]["Type"];
     /**
      * Event values received by lifecycle callbacks.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type LifecycleEvent<Events extends ReadonlyArray<TaggedSchema>> = EventOf<Events> | InitialEvent;
     /**
      * Extracts a state value from a state definition by identifier.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type StateByIdentifier<States extends StateSchemas, StateId extends StateIdentifier<States>> = Extract<StateOf<States>, SchemaByIdentifier<States, StateId>["Type"]>;
     /**
      * Extracts every parent state path from a state identifier.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type ParentStateIdentifier<StateId extends string> = StateId extends `${infer Parent}.${infer Child}` ? Parent | (Child extends `${string}.${string}` ? `${Parent}.${ParentStateIdentifier<Child>}` : never) : never;
     /**
      * Extracts the nearest parent state path from a state identifier.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type ImmediateParentStateIdentifier<StateId extends string> = StateId extends `${infer Head}.${infer Tail}` ? Tail extends `${string}.${string}` ? `${Head}.${ImmediateParentStateIdentifier<Tail>}` : Head : never;
     /**
      * Maps every parent state path of a state identifier to its decoded value.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type ParentStateValues<States extends StateSchemas, StateId extends StateIdentifier<States>> = StateId extends StateIdentifier<States> ? {
         readonly [Parent in Extract<ParentStateIdentifier<StateId>, StateIdentifier<States>>]: StateByIdentifier<States, Parent>;
@@ -1807,14 +1817,14 @@ export declare namespace Machine {
      * Extracts the nearest parent value, or `undefined` for a root state.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type ParentStateValue<States extends StateSchemas, StateId extends StateIdentifier<States>> = StateId extends StateIdentifier<States> ? Extract<ImmediateParentStateIdentifier<StateId>, StateIdentifier<States>> extends infer Parent ? [Parent] extends [never] ? undefined : Parent extends StateIdentifier<States> ? StateByIdentifier<States, Parent> : undefined : undefined : never;
     /**
      * Represents a decoded state value together with all of its parent values.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type StateWithParents<States extends StateSchemas, StateId extends StateIdentifier<States>> = StateId extends StateIdentifier<States> ? {
         readonly value: StateByIdentifier<States, StateId>;
@@ -1828,7 +1838,7 @@ export declare namespace Machine {
      * Extracts the declared output type for a state node.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type OutputByIdentifier<States extends StateSchemas, StateId extends StateIdentifier<States>> = NodeOutput<NodeByIdentifier<States, StateId>>;
     type DirectFinalCompletionOutput<States extends StateSchemas, StateId extends StateIdentifier<States>> = NodeByIdentifier<States, StateId> extends {
@@ -1842,7 +1852,7 @@ export declare namespace Machine {
      * Extracts the output passed when a state node completes.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type CompletionOutputByIdentifier<States extends StateSchemas, StateId extends StateIdentifier<States>> = NodeByIdentifier<States, StateId> extends infer Node ? Node extends {
         readonly type: "parallel";
@@ -1865,7 +1875,7 @@ export declare namespace Machine {
      * before that root becomes the machine's terminal result.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type TerminalOutput<States extends StateSchemas> = {
         readonly [Key in Extract<keyof States, string>]: Extract<Key, StateIdentifier<States>> extends infer StateId extends StateIdentifier<States> ? NodeByIdentifier<States, StateId> extends infer Node ? Node extends {
@@ -1878,7 +1888,7 @@ export declare namespace Machine {
      * Extracts every state path whose definition declares an output schema.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type DeclaredOutputState<States extends StateSchemas> = {
         readonly [StateId in StateIdentifier<States>]: NodeByIdentifier<States, StateId> extends {
@@ -1890,7 +1900,7 @@ export declare namespace Machine {
      * implementation before a machine is planned or started.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type EnsureOutputImplementations<States extends StateSchemas, OutputStates extends StateIdentifier<States>> = [
         Exclude<DeclaredOutputState<States>, OutputStates>
@@ -1907,7 +1917,7 @@ export declare namespace Machine {
      * machine snapshot.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type SnapshotDecodingServices<States extends StateSchemas> = StateIdentifier<States> extends infer StateId ? StateId extends StateIdentifier<States> ? DecodingServices<SchemaByIdentifier<States, StateId>> | DecodingServices<OutputSchema<NodeByIdentifier<States, StateId>>> : never : never;
     /**
@@ -1915,14 +1925,14 @@ export declare namespace Machine {
      * machine snapshot.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type SnapshotEncodingServices<States extends StateSchemas> = StateIdentifier<States> extends infer StateId ? StateId extends StateIdentifier<States> ? EncodingServices<SchemaByIdentifier<States, StateId>> | EncodingServices<OutputSchema<NodeByIdentifier<States, StateId>>> : never : never;
     /**
      * Encoded value for one active state path in a normalized machine snapshot.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface EncodedSnapshotState {
         readonly path: string;
@@ -1933,7 +1943,7 @@ export declare namespace Machine {
      * snapshot. An omitted output represents `undefined`.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface EncodedSnapshotCompletion {
         readonly path: string;
@@ -1955,7 +1965,7 @@ export declare namespace Machine {
      * scopes, queues, and subscriptions is not included.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface EncodedSnapshot {
         readonly _tag: "MachineSnapshot";
@@ -1967,7 +1977,7 @@ export declare namespace Machine {
      * Completed state path and its resolved output value.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface SnapshotCompletion {
         readonly path: string;
@@ -1993,7 +2003,7 @@ export declare namespace Machine {
      * or transport boundary.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface SnapshotMetadata {
         readonly completed?: ReadonlyArray<SnapshotCompletion>;
@@ -2004,7 +2014,7 @@ export declare namespace Machine {
      * decoded state value.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface AtomicSnapshot<Path extends string, Value> extends SnapshotMetadata {
         readonly path: Path;
@@ -2015,7 +2025,7 @@ export declare namespace Machine {
      * snapshot.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface CompoundSnapshot<Path extends string, Value, Child> extends SnapshotMetadata {
         readonly path: Path;
@@ -2027,7 +2037,7 @@ export declare namespace Machine {
      * per child region.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface ParallelSnapshot<Path extends string, Value, Regions> extends SnapshotMetadata {
         readonly path: Path;
@@ -2039,7 +2049,7 @@ export declare namespace Machine {
      * identifier.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type SnapshotByIdentifier<States extends StateSchemas, StateId extends StateIdentifier<States>> = NodeByIdentifier<States, StateId> extends infer Node ? Node extends {
         readonly type: "parallel";
@@ -2051,7 +2061,7 @@ export declare namespace Machine {
      * Extracts child snapshots under a parent path prefix.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type SnapshotWithPrefix<States extends StateSchemas, Prefix extends string> = {
         readonly [Key in ActiveStateKey<States>]: SnapshotByIdentifierWithPath<States, Key, JoinPath<Prefix, Key>>;
@@ -2061,7 +2071,7 @@ export declare namespace Machine {
      * child region.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type SnapshotRegionsWithPrefix<States extends StateSchemas, Prefix extends string> = {
         readonly [Key in ActiveStateKey<States>]: SnapshotByIdentifierWithPath<States, Key, JoinPath<Prefix, Key>>;
@@ -2070,7 +2080,7 @@ export declare namespace Machine {
      * Extracts a snapshot for a state node while preserving its full path.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type SnapshotByIdentifierWithPath<States extends StateSchemas, StateId extends ActiveStateKey<States>, Path extends string> = States[StateId] extends {
         readonly type: "parallel";
@@ -2086,7 +2096,7 @@ export declare namespace Machine {
      * are narrowed to the branch leading to `Owner`.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type CompleteSnapshotContaining<States extends StateSchemas, Owner extends StateIdentifier<States>> = HistorySnapshotWithPrefix<States, Owner, "">;
     /**
@@ -2094,7 +2104,7 @@ export declare namespace Machine {
      * definition.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type Snapshot<States extends StateSchemas> = {
         readonly [StateId in ActiveStateKey<States>]: SnapshotByIdentifier<States, StateId & StateIdentifier<States>>;
@@ -2103,21 +2113,21 @@ export declare namespace Machine {
      * Extracts the root state identifier from a state path.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type RootStateIdentifier<StateId extends string> = StateId extends `${infer Root}.${string}` ? Root : StateId;
     /**
      * Extracts the public snapshot shape that contains a final state path.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type SnapshotContainingFinal<States extends StateSchemas, FinalStates extends StateIdentifier<States>> = FinalStates extends StateIdentifier<States> ? RootStateIdentifier<FinalStates> extends infer Root extends StateIdentifier<States> ? SnapshotByIdentifier<States, Root> : never : never;
     /**
      * Extracts state identifiers whose state-tree definition marks them final.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type FinalStateFromDefinition<States extends StateSchemas> = {
         readonly [StateId in StateIdentifier<States>]: NodeByIdentifier<States, StateId> extends {
@@ -2128,7 +2138,7 @@ export declare namespace Machine {
      * Extracts an event value from an event schema list by tag.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type EventByTag<Events extends ReadonlyArray<TaggedSchema>, Tag extends TagOf<Events[number]>> = Extract<EventOf<Events>, {
         readonly _tag: Tag;
@@ -2145,7 +2155,7 @@ export declare namespace Machine {
      * planning succeeds.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface StateConstruction<Result> {
         readonly [Topology.StateConstructionTypeId]: Result;
@@ -2154,7 +2164,7 @@ export declare namespace Machine {
      * Machine-bound target instruction accepted from transition handlers.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface Target<States extends StateSchemas, StateId extends StateIdentifier<States>> {
         readonly [Topology.TargetTypeId]: typeof Topology.TargetTypeId;
@@ -2173,7 +2183,7 @@ export declare namespace Machine {
      * history node's typed default when no record exists.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface HistoryTarget<States extends StateSchemas, HistoryId extends HistoryIdentifier<States>> {
         readonly [Topology.HistoryTargetTypeId]: typeof Topology.HistoryTargetTypeId;
@@ -2202,14 +2212,14 @@ export declare namespace Machine {
      * every active child below the selected root.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type FullTargetBuilder<States extends StateSchemas> = FullSnapshotBuilderWithPrefix<States>;
     /**
      * Builder for a complete fallback configuration containing a history owner.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type HistoryDefaultTargetBuilder<States extends StateSchemas, Owner extends StateIdentifier<States>> = HistorySnapshotBuilderWithPrefix<States, Owner>;
     /**
@@ -2221,7 +2231,7 @@ export declare namespace Machine {
      * the source state and should preserve active ancestor and sibling values.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type LocalTargetBuilder<States extends StateSchemas, Source extends StateNodeIdentifier<States>> = NearestCompoundScope<States, Source> extends infer Scope ? [Scope] extends [never] ? {} : Scope extends StateIdentifier<States> ? LocalTargetBuilderForScope<States, Scope, Source> : {} : {};
     /**
@@ -2233,7 +2243,7 @@ export declare namespace Machine {
      * root while preserving unmentioned active ancestors or parallel regions.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type BranchTargetBuilder<States extends StateSchemas, Source extends StateNodeIdentifier<States>> = BranchTargetBuilderForRoot<States, Extract<RootStateIdentifier<Source>, ActiveStateKey<States>>, Source>;
     /**
@@ -2253,14 +2263,14 @@ export declare namespace Machine {
      * enter again.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface TargetBuilder<States extends StateSchemas, Source extends StateNodeIdentifier<States>> {
         /**
          * Moves to another state in the same local group. The value of the state
          * containing that group, and values in other active branches, are kept.
          *
-         * @since 4.0.0
+         * @since 0.4.0
          */
         readonly local: LocalTargetBuilder<States, Source>;
         /**
@@ -2268,7 +2278,7 @@ export declare namespace Machine {
          * values change only when their builder methods are explicitly called;
          * other active branches are kept.
          *
-         * @since 4.0.0
+         * @since 0.4.0
          */
         readonly branch: BranchTargetBuilder<States, Source>;
         /**
@@ -2281,7 +2291,7 @@ export declare namespace Machine {
          * When it contains parallel states, an active state must be provided for
          * every region.
          *
-         * @since 4.0.0
+         * @since 0.4.0
          */
         readonly full: FullTargetBuilder<States>;
         /** Restores a declared shallow or deep history pseudo-state. */
@@ -2291,7 +2301,7 @@ export declare namespace Machine {
      * Context passed to a state/event handler.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface HandlerContext<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>, EventTag extends TagOf<Events[number]>, E, R> {
         readonly state: StateByIdentifier<States, StateId>;
@@ -2304,7 +2314,7 @@ export declare namespace Machine {
          * Provides typed builders for choosing the next active state from this
          * handler. Each builder documents which existing state values it keeps.
          *
-         * @since 4.0.0
+         * @since 0.4.0
          */
         readonly target: TargetBuilder<States, StateId>;
     }
@@ -2312,7 +2322,7 @@ export declare namespace Machine {
      * Context passed to an entry or exit state handler.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface StateActionContext<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>> {
         readonly state: StateByIdentifier<States, StateId>;
@@ -2324,7 +2334,7 @@ export declare namespace Machine {
      * Context passed to an invoked child process source.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface InvokeContext<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>> {
         readonly state: StateByIdentifier<States, StateId>;
@@ -2336,7 +2346,7 @@ export declare namespace Machine {
      * Context passed to an invoked child process active snapshot mapper.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface InvokeSnapshotContext<State, Error, Output> {
         readonly id: string;
@@ -2348,7 +2358,7 @@ export declare namespace Machine {
      * Context passed to an invoked machine terminal output mapper.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface InvokeDoneContext<Output> {
         readonly id: string;
@@ -2358,7 +2368,7 @@ export declare namespace Machine {
      * Context passed to an eventless transition handler.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface AlwaysContext<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>> {
         readonly state: StateByIdentifier<States, StateId>;
@@ -2372,7 +2382,7 @@ export declare namespace Machine {
          * eventless handler. Each builder documents which existing state values it
          * keeps.
          *
-         * @since 4.0.0
+         * @since 0.4.0
          */
         readonly target: TargetBuilder<States, StateId>;
     }
@@ -2380,7 +2390,7 @@ export declare namespace Machine {
      * Context passed to a state completion transition handler.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface DoneContext<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>> {
         readonly state: StateByIdentifier<States, StateId>;
@@ -2395,7 +2405,7 @@ export declare namespace Machine {
          * state completes. Each builder documents which existing state values it
          * keeps.
          *
-         * @since 4.0.0
+         * @since 0.4.0
          */
         readonly target: TargetBuilder<States, StateId>;
     }
@@ -2412,7 +2422,7 @@ export declare namespace Machine {
      * Context passed to a final state output function.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface FinalOutputContext<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>> {
         readonly state: StateByIdentifier<States, StateId>;
@@ -2424,7 +2434,7 @@ export declare namespace Machine {
      * Extracts region outputs for a completed parallel state.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type ParallelOutputRegions<States extends StateSchemas, StateId extends StateIdentifier<States>> = NodeByIdentifier<States, StateId> extends {
         readonly type: "parallel";
@@ -2436,7 +2446,7 @@ export declare namespace Machine {
      * Context passed to a parallel state output function.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface ParallelOutputContext<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>> {
         readonly state: StateByIdentifier<States, StateId>;
@@ -2449,14 +2459,14 @@ export declare namespace Machine {
      * Return value accepted from entry and exit state actions.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type StateActionResult<E, R> = undefined;
     /**
      * Return value accepted from a machine initial state function.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InitialResult<States extends StateSchemas, E, R> = Snapshot<States> | InitialSnapshot<States> | StateConstruction<Snapshot<States> | InitialSnapshot<States>>;
     /** Initial snapshots may transiently terminate in a declared choice node. */
@@ -2473,7 +2483,7 @@ export declare namespace Machine {
      * accepted at transition boundaries.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type HandlerResult<States extends StateSchemas, E, R> = Snapshot<States> | Target<States, StateIdentifier<States>> | HistoryTarget<States, HistoryIdentifier<States>> | ChoiceTarget<States, ChoiceIdentifier<States>> | StateConstruction<Snapshot<States> | Target<States, StateIdentifier<States>> | HistoryTarget<States, HistoryIdentifier<States>> | ChoiceTarget<States, ChoiceIdentifier<States>>> | void;
     /** A choice resolver must always select a typed target synchronously. */
@@ -2482,35 +2492,35 @@ export declare namespace Machine {
      * Extracts the union of handler return values from a handler map.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type HandlerEffect<Handlers> = Handlers[keyof Handlers];
     /**
      * Extracts the error type from a handler return value.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type HandlerError<Handlers> = Effect.Error<HandlerEffect<Handlers>>;
     /**
      * Extracts the service requirements from a handler return value.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type HandlerServices<Handlers> = Effect.Services<HandlerEffect<Handlers>>;
     /**
      * Extracts the return value from an initial state function.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InitialReturn<Initial> = Initial extends (...args: any) => infer Ret ? Ret : never;
     /**
      * Extracts the return value from an entry or exit action.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type StateActionReturn<Config, Key extends "entry" | "exit"> = Key extends keyof Config ? NonNullable<Config[Key]> extends (...args: any) => infer Ret ? Ret : never : never;
     /** Extracts the return value from an implicit initial child implementation. */
@@ -2535,7 +2545,7 @@ export declare namespace Machine {
      * Extracts the return value from an event transition config.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type EventTransitionReturn<Transition> = Transition extends (...args: any) => infer Ret ? Ret : Transition extends {
         readonly transition: (...args: any) => infer Ret;
@@ -2544,7 +2554,7 @@ export declare namespace Machine {
      * Extracts the return value from a state's event handlers.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type EventHandlerReturn<Config> = Config extends {
         readonly on?: infer On;
@@ -2555,7 +2565,7 @@ export declare namespace Machine {
      * Extracts the invoke config or configs from a state config.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InvokeReturn<Config> = "invoke" extends keyof Config ? Config extends {
         readonly invoke?: infer Invoke;
@@ -2564,7 +2574,7 @@ export declare namespace Machine {
      * Extracts the child process logic returned by an invoke source.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InvokeLogic<Invoke> = Invoke extends {
         readonly src: (...args: any) => infer Logic;
@@ -2573,7 +2583,7 @@ export declare namespace Machine {
      * Extracts the startup error from an invoke source child process logic.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InvokeInitialError<Invoke> = Invoke extends {
         readonly [InvokeTypeId]: {
@@ -2584,7 +2594,7 @@ export declare namespace Machine {
      * Extracts the runtime error from an invoked child process.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InvokeRuntimeError<Invoke> = Invoke extends {
         readonly [InvokeTypeId]: {
@@ -2595,7 +2605,7 @@ export declare namespace Machine {
      * Extracts the output from an invoked child process.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InvokeOutput<Invoke> = Invoke extends {
         readonly [InvokeTypeId]: {
@@ -2606,7 +2616,7 @@ export declare namespace Machine {
      * Extracts the service requirements from an invoke source child process logic.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InvokeServices<Invoke> = Invoke extends {
         readonly [InvokeTypeId]: {
@@ -2617,7 +2627,7 @@ export declare namespace Machine {
      * Extracts events emitted directly by an invoked child.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InvokeEmits<Invoke> = Invoke extends {
         readonly [InvokeTypeId]: {
@@ -2628,7 +2638,7 @@ export declare namespace Machine {
      * Extracts events returned by an invoked child snapshot mapper.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InvokeSnapshotEvent<Invoke> = Invoke extends {
         readonly [InvokeTypeId]: {
@@ -2639,21 +2649,21 @@ export declare namespace Machine {
      * Extracts the parent transition error contribution from invoked children.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InvokeError<Config> = [InvokeReturn<Config>] extends [never] ? never : ChildAlreadyExistsError | InvokeInitialError<InvokeReturn<Config>> | InvokeRuntimeError<InvokeReturn<Config>>;
     /**
      * Extracts the parent service requirement contribution from invoked children.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InvokeRequirements<Config> = [InvokeReturn<Config>] extends [never] ? never : MachineRuntimeRequirement | InvokeServices<InvokeReturn<Config>>;
     /**
      * Extracts the return value from an eventless transition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type AlwaysReturn<Config> = Config extends {
         readonly always?: infer Always;
@@ -2662,7 +2672,7 @@ export declare namespace Machine {
      * Extracts the return value from a state completion transition.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type DoneReturn<Config> = Config extends {
         readonly onDone?: infer OnDone;
@@ -2671,7 +2681,7 @@ export declare namespace Machine {
      * Extracts the return value from a final state output function.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type FinalOutputReturn<Config> = Config extends {
         readonly output?: infer Output;
@@ -2680,14 +2690,14 @@ export declare namespace Machine {
      * Extracts all service requirements contributed by a state handler config.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type ConfigServices<Config> = Effect.Services<EventHandlerReturn<Config>> | Effect.Services<AlwaysReturn<Config>> | Effect.Services<DoneReturn<Config>> | Effect.Services<StateActionReturn<Config, "entry">> | Effect.Services<StateActionReturn<Config, "exit">> | Effect.Services<StateInitialReturn<Config>> | Effect.Services<HistoryDefaultReturn<Config>> | Effect.Services<ChoiceReturn<Config>> | InvokeRequirements<Config>;
     /**
      * Configuration for invoking a child process while a state is active.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface InvokeConfig<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>, Event, ChildState, ChildEvent, ChildError, ChildRequirements, ChildOutput, ChildInitialError, ChildEmits = never, DeliveredOutput = ChildOutput> {
         readonly [InvokeTypeId]: {
@@ -2737,7 +2747,7 @@ export declare namespace Machine {
      * event before constructing one or more invoke configurations.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type InvokeDefinition<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>> = InvokeDefinitionValue | ReadonlyArray<InvokeDefinitionValue> | ((context: InvokeContext<States, Events, Emits, StateId>) => InvokeDefinitionValue | ReadonlyArray<InvokeDefinitionValue>);
     type OutputHandlerConfig<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>, Context> = NodeByIdentifier<States, StateId> extends {
@@ -2756,7 +2766,7 @@ export declare namespace Machine {
      * Configuration accepted for a non-final state.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type ActiveStateConfig<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>, E, R> = {
         readonly entry?: (context: StateActionContext<States, Events, Emits, StateId>, enqueue: Enqueue<EventOf<Events>, EmitOf<Emits>>) => StateActionResult<any, any>;
@@ -2840,7 +2850,7 @@ export declare namespace Machine {
      * Configuration accepted for a final state.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type FinalStateConfig<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>> = {
         readonly entry?: (context: StateActionContext<States, Events, Emits, StateId>, enqueue: Enqueue<EventOf<Events>, EmitOf<Emits>>) => StateActionResult<any, any>;
@@ -2853,7 +2863,7 @@ export declare namespace Machine {
      * Configuration accepted by `handle` for a state tag.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type HandlerConfig<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>, E, R> = NodeByIdentifier<States, StateId> extends {
         readonly type: "final";
@@ -3026,7 +3036,7 @@ export declare namespace Machine {
      * Adds state handlers from a root state object.
      *
      * @category combinators
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface Handler<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, Input extends Schema.Top, UnhandledStates extends StateIdentifier<States>, E, R, InitialE, InitialR, FinalStates extends StateIdentifier<States>, Output, OutputStates extends StateIdentifier<States>, InputEvents extends ReadonlyArray<TaggedSchema>> {
         <const Config extends HandlerTree<States, States, Events, Emits, E, R, "">>(config: Config & HandlerTreeValidation<States, Events, Emits, NoInfer<Config>, OutputStates | Extract<HandlerTreeEvidence<States, NoInfer<Config>>["outputState"], StateIdentifier<States>>>): HandleTreeResult<States, Events, Emits, Input, UnhandledStates, E, R, InitialE, InitialR, FinalStates, Output, OutputStates, InputEvents, Config>;
@@ -3035,14 +3045,14 @@ export declare namespace Machine {
      * Any state config.
      *
      * @category utility types
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type AnyStateConfig = StateConfig<any, any, any, any, any, any, any> | ChoiceStateConfig<any, any, any, any>;
     /**
      * Runtime event-handler map stored for a single state tag.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type EventHandlerMap<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>, EventTag extends TagOf<Events[number]>, E, R> = Readonly<Record<PropertyKey, ((context: HandlerContext<States, Events, Emits, StateId, EventTag, E, R>, enqueue: Enqueue<EventOf<Events>, EmitOf<Emits>>) => HandlerResult<States, E, R>) | {
         readonly reenter?: boolean;
@@ -3054,7 +3064,7 @@ export declare namespace Machine {
      * Runtime state config stored for a single state tag.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     interface StateConfig<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>, EventTag extends TagOf<Events[number]>, E, R> {
         readonly entry?: (context: StateActionContext<States, Events, Emits, StateId>, enqueue: Enqueue<EventOf<Events>, EmitOf<Emits>>) => StateActionResult<E, R>;
@@ -3075,7 +3085,7 @@ export declare namespace Machine {
      * Runtime handler table stored on a machine.
      *
      * @category models
-     * @since 4.0.0
+     * @since 0.4.0
      */
     type StateConfigs<States extends StateSchemas, Events extends ReadonlyArray<TaggedSchema>, Emits extends ReadonlyArray<TaggedSchema>, StateId extends StateIdentifier<States>, EventTag extends TagOf<Events[number]>, E, R> = Readonly<Record<PropertyKey, StateConfig<States, Events, Emits, StateId, EventTag, E, R> | ChoiceStateConfig<States, Events, Emits, ChoiceIdentifier<States>>>>;
 }
@@ -3083,14 +3093,14 @@ export declare namespace Machine {
  * Returns `true` if a value is a `Machine`.
  *
  * @category guards
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const isMachine: (u: unknown) => u is Machine.Any;
 /**
  * Returns `true` if a state snapshot is final for a machine.
  *
  * @category guards
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const isFinal: <const States extends Machine.StateSchemas, const Events extends ReadonlyArray<Machine.TaggedSchema>, const Emits extends ReadonlyArray<Machine.TaggedSchema>, const Input extends Schema.Top = typeof Schema.Void, UnhandledStates extends Machine.StateIdentifier<States> = Machine.StateIdentifier<States>, E = never, R = never, InitialE = never, InitialR = never, FinalStates extends Machine.StateIdentifier<States> = never, Output = never, OutputStates extends Machine.StateIdentifier<States> = never, InputEvents extends ReadonlyArray<Machine.TaggedSchema> = Events>(machine: Machine<States, Events, Input, UnhandledStates, E, R, InitialE, InitialR, FinalStates, Output, Emits, OutputStates, InputEvents>, state: Machine.Snapshot<States>) => state is Machine.SnapshotContainingFinal<States, FinalStates>;
 /**
@@ -3125,7 +3135,7 @@ export declare const isFinal: <const States extends Machine.StateSchemas, const
  * ```
  *
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const defineStates: DefineStates;
 type MakeConfig<States extends Machine.StateSchemas, InputEvents extends ReadonlyArray<Machine.TaggedSchema>, Emits extends ReadonlyArray<Machine.TaggedSchema>, Input extends Schema.Top, InitialE, InitialR, InternalEvents extends ReadonlyArray<Machine.TaggedSchema>> = {
@@ -3192,7 +3202,7 @@ interface Make {
  *
  * @see {@link defineStates} for typed initial snapshot builders.
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const make: Make;
 type EventConstructorArgs<EventSchema extends Machine.TaggedSchema> = {} extends EventSchema["~type.make.in"] ? [
@@ -3216,12 +3226,26 @@ type EventConstructorArgs<EventSchema extends Machine.TaggedSchema> = {} extends
  * **Example**
  *
  * ```ts
+ * import { Schema } from "effect"
+ * import { Machine } from "@typeonce/effect-machine"
+ *
+ * class Idle extends Schema.TaggedClass<Idle>("Idle")("Idle", {}) {}
+ * class Increment extends Schema.TaggedClass<Increment>("Increment")("Increment", {
+ *   by: Schema.Number
+ * }) {}
+ *
+ * const States = Machine.defineStates({ Idle })
+ * const counter = Machine.make({
+ *   states: States.states,
+ *   events: [Increment],
+ *   initial: () => States.initial.Idle.from()
+ * }).handle({ Idle: { on: { Increment: () => States.initial.Idle.from() } } })
+ *
  * const increment = Machine.event(counter, Increment, { by: 1 })
- * yield* ref.send(increment)
  * ```
  *
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const event: <const M extends Machine.Any, const EventSchema extends Machine.TaggedSchema>(machine: M, schema: EventSchema & ([EventSchema["Type"]] extends [Machine.Event<M>] ? unknown : never), ...args: EventConstructorArgs<EventSchema>) => EventSchema["Type"];
 /**
@@ -3247,9 +3271,29 @@ export declare const event: <const M extends Machine.Any, const EventSchema exte
  * guarantee JSON-compatible values; schemas used with JSON-backed storage must
  * have JSON-compatible encoded representations.
  *
+ * **Example**
+ *
+ * ```ts
+ * import { Effect, Schema } from "effect"
+ * import { Machine } from "@typeonce/effect-machine"
+ *
+ * class Idle extends Schema.TaggedClass<Idle>("Idle")("Idle", {}) {}
+ * const States = Machine.defineStates({ Idle })
+ * const machine = Machine.make({
+ *   states: States.states,
+ *   events: [],
+ *   initial: () => States.initial.Idle.from()
+ * }).handle({ Idle: {} })
+ *
+ * const encoded = Effect.gen(function*() {
+ *   const initial = yield* Machine.planInitial(machine)
+ *   return yield* Machine.encodeSnapshot(machine, initial.state)
+ * })
+ * ```
+ *
  * @see {@link decodeSnapshot} for restoring an encoded snapshot.
  * @category encoding
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const encodeSnapshot: <const States extends Machine.StateSchemas, const Events extends ReadonlyArray<Machine.TaggedSchema>, const Emits extends ReadonlyArray<Machine.TaggedSchema> = readonly [], const Input extends Schema.Top = typeof Schema.Void, UnhandledStates extends Machine.StateIdentifier<States> = Machine.StateIdentifier<States>, E = never, R = never, InitialE = never, InitialR = never, FinalStates extends Machine.StateIdentifier<States> = never, Output = never, OutputStates extends Machine.StateIdentifier<States> = never, InputEvents extends ReadonlyArray<Machine.TaggedSchema> = Events>(machine: Machine<States, Events, Input, UnhandledStates, E, R, InitialE, InitialR, FinalStates, Output, Emits, OutputStates, InputEvents>, snapshot: Machine.Snapshot<States>) => Effect.Effect<Machine.EncodedSnapshot, MachineSchemaEncodeError, Machine.SnapshotEncodingServices<States>>;
 /**
@@ -3271,9 +3315,30 @@ export declare const encodeSnapshot: <const States extends Machine.StateSchemas,
  * Decoding restores logical statechart data only. It does not restart invoked
  * processes, recreate spawned children, or restore a previous `MachineRef`.
  *
+ * **Example**
+ *
+ * ```ts
+ * import { Effect, Schema } from "effect"
+ * import { Machine } from "@typeonce/effect-machine"
+ *
+ * class Idle extends Schema.TaggedClass<Idle>("Idle")("Idle", {}) {}
+ * const States = Machine.defineStates({ Idle })
+ * const machine = Machine.make({
+ *   states: States.states,
+ *   events: [],
+ *   initial: () => States.initial.Idle.from()
+ * }).handle({ Idle: {} })
+ *
+ * const roundTrip = Effect.gen(function*() {
+ *   const initial = yield* Machine.planInitial(machine)
+ *   const encoded = yield* Machine.encodeSnapshot(machine, initial.state)
+ *   return yield* Machine.decodeSnapshot(machine, encoded)
+ * })
+ * ```
+ *
  * @see {@link encodeSnapshot} for creating the normalized representation.
  * @category decoding
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const decodeSnapshot: <const States extends Machine.StateSchemas, const Events extends ReadonlyArray<Machine.TaggedSchema>, const Emits extends ReadonlyArray<Machine.TaggedSchema> = readonly [], const Input extends Schema.Top = typeof Schema.Void, UnhandledStates extends Machine.StateIdentifier<States> = Machine.StateIdentifier<States>, E = never, R = never, InitialE = never, InitialR = never, FinalStates extends Machine.StateIdentifier<States> = never, Output = never, OutputStates extends Machine.StateIdentifier<States> = never, InputEvents extends ReadonlyArray<Machine.TaggedSchema> = Events>(machine: Machine<States, Events, Input, UnhandledStates, E, R, InitialE, InitialR, FinalStates, Output, Emits, OutputStates, InputEvents>, encoded: unknown) => Effect.Effect<Machine.Snapshot<States>, MachineSchemaDecodeError, Machine.SnapshotDecodingServices<States>>;
 /**
@@ -3317,7 +3382,7 @@ export declare const decodeSnapshot: <const States extends Machine.StateSchemas,
  * @see {@link effect} for one-shot child effects.
  * @see {@link spawn} for children whose lifetime is controlled by actions.
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const invoke: <ChildState, ChildEvent, ChildError = never, ChildRequirements = never, ChildOutput = never, ChildInitialError = never, Event = never, Address extends ChildAddress<never> | undefined = undefined>(config: {
     readonly id: InvokeLifecycleId;
@@ -3352,10 +3417,27 @@ type InvokeEffectConfig<Fx extends Effect.Effect<any, any, any>, SuccessEvent, F
  * Declare mapped outcomes in `internalEvents` unless they are also legitimate
  * public commands.
  *
+ * **Example**
+ *
+ * ```ts
+ * import { Effect, Schema } from "effect"
+ * import { Machine } from "@typeonce/effect-machine"
+ *
+ * class Loaded extends Schema.TaggedClass<Loaded>("Loaded")("Loaded", {
+ *   value: Schema.String
+ * }) {}
+ *
+ * const load = Machine.invokeEffect({
+ *   id: "load",
+ *   effect: Effect.succeed("ready"),
+ *   onSuccess: (value) => new Loaded({ value })
+ * })
+ * ```
+ *
  * @see {@link invoke} for arbitrary child process logic.
  * @see {@link after} for a state-scoped delayed event.
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const invokeEffect: <const Fx extends Effect.Effect<any, any, any>, SuccessEvent, FailureEvent = never>(config: InvokeEffectConfig<Fx, SuccessEvent, FailureEvent>) => InvokeEffectResult<Effect.Services<Fx>, SuccessEvent | (InvokeEffectIsInfallible<Fx> extends true ? never : FailureEvent)>;
 /**
@@ -3365,8 +3447,19 @@ export declare const invokeEffect: <const Fx extends Effect.Effect<any, any, any
  * that state exits. The delayed value should normally be declared in
  * `internalEvents`.
  *
+ * **Example**
+ *
+ * ```ts
+ * import { Schema } from "effect"
+ * import { Machine } from "@typeonce/effect-machine"
+ *
+ * class TimedOut extends Schema.TaggedClass<TimedOut>("TimedOut")("TimedOut", {}) {}
+ *
+ * const timeout = Machine.after("5 seconds", new TimedOut({}))
+ * ```
+ *
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const after: <Event extends {
     readonly _tag: PropertyKey;
@@ -3402,7 +3495,7 @@ type RetagArgs<Target extends Machine.TaggedSchema, Source> = [
  * remains authoritative at runtime.
  *
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const retag: <const Target extends Machine.TaggedSchema, const Source extends {
     readonly _tag: PropertyKey;
@@ -3435,7 +3528,7 @@ type InvokeMachineInput<Input extends Schema.Top> = Input extends typeof Schema.
  * @see {@link invoke} for invoking lower-level process logic.
  * @see {@link sendTo} for sending events to the invoked machine.
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const invokeMachine: {
     <const States extends Machine.StateSchemas, const Events extends ReadonlyArray<Machine.TaggedSchema>, const Emits extends ReadonlyArray<Machine.TaggedSchema> = readonly [], const Input extends Schema.Top = typeof Schema.Void, UnhandledStates extends Machine.StateIdentifier<States> = Machine.StateIdentifier<States>, E = never, R = never, InitialE = never, InitialR = never, FinalStates extends Machine.StateIdentifier<States> = never, Output = never, SnapshotEvent = never, DoneEvent = never, Id extends string = string, OutputStates extends Machine.StateIdentifier<States> = never, InputEvents extends ReadonlyArray<Machine.TaggedSchema> = Events>(config: {
@@ -3467,10 +3560,27 @@ export declare const invokeMachine: {
  * protocol. Manual planners may inspect commands but need a running actor scope
  * to execute child-addressed operations.
  *
+ * **Example**
+ *
+ * ```ts
+ * import { Effect, Schema } from "effect"
+ * import { Machine } from "@typeonce/effect-machine"
+ *
+ * class Idle extends Schema.TaggedClass<Idle>("Idle")("Idle", {}) {}
+ * const States = Machine.defineStates({ Idle })
+ * const machine = Machine.make({
+ *   states: States.states,
+ *   events: [],
+ *   initial: () => States.initial.Idle.from()
+ * }).handle({ Idle: {} })
+ *
+ * const initialState = Effect.map(Machine.planInitial(machine), (plan) => plan.state)
+ * ```
+ *
  * @see {@link plan} for planning a received event.
  * @see {@link start} for the managed runtime protocol.
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const planInitial: <const States extends Machine.StateSchemas, const Events extends ReadonlyArray<Machine.TaggedSchema>, const Emits extends ReadonlyArray<Machine.TaggedSchema> = readonly [], const Input extends Schema.Top = typeof Schema.Void, UnhandledStates extends Machine.StateIdentifier<States> = Machine.StateIdentifier<States>, E = never, R = never, InitialE = never, InitialR = never, FinalStates extends Machine.StateIdentifier<States> = never, Output = never, OutputStates extends Machine.StateIdentifier<States> = never, InputEvents extends ReadonlyArray<Machine.TaggedSchema> = Events>(machine: Machine<States, Events, Input, UnhandledStates, E, R, InitialE, InitialR, FinalStates, Output, Emits, OutputStates, InputEvents> & EnsureExecutable<States, UnhandledStates, OutputStates>, ...args: [...Machine.InputArgs<Input>]) => Effect.Effect<{
     readonly startingState: Machine.Snapshot<States>;
@@ -3508,7 +3618,7 @@ export declare const planInitial: <const States extends Machine.StateSchemas, co
  * active configuration.
  *
  * @category getters
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const stateNodes: <M extends Machine.Any>(machine: M) => ReadonlyArray<Machine.StateNode<Machine.StateIdentifier<Machine.States<M>>, Machine.HistoryIdentifier<Machine.States<M>>, Machine.ChoiceIdentifier<Machine.States<M>>>>;
 /**
@@ -3523,7 +3633,7 @@ export declare const stateNodes: <M extends Machine.Any>(machine: M) => Readonly
  * remain dynamic.
  *
  * @category getters
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const transitionDefinitions: <M extends Machine.Any>(machine: M) => ReadonlyArray<Machine.TransitionDefinition<Machine.StateNodeIdentifier<Machine.States<M>>, Machine.TagOf<Machine.Events<M>[number]>, Machine.StateNodeIdentifier<Machine.States<M>>>>;
 /**
@@ -3537,7 +3647,7 @@ export declare const transitionDefinitions: <M extends Machine.Any>(machine: M)
  * never evaluated during inspection.
  *
  * @category getters
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const activityDefinitions: <M extends Machine.Any>(machine: M) => ReadonlyArray<Machine.ActivityDefinition<Machine.StateIdentifier<Machine.States<M>>>>;
 /**
@@ -3550,14 +3660,14 @@ export declare const activityDefinitions: <M extends Machine.Any>(machine: M) =>
  * and are not returned.
  *
  * @category getters
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const configuration: <M extends Machine.Any>(machine: M, state: Machine.Snapshot<Machine.States<M>>) => ReadonlyArray<Machine.ActiveStateNode<Machine.StateIdentifier<Machine.States<M>>, Machine.ChoiceIdentifier<Machine.States<M>>>>;
 /**
  * Returns the event tags handled by the current state snapshot.
  *
  * @category getters
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const enabled: <const States extends Machine.StateSchemas, const Events extends ReadonlyArray<Machine.TaggedSchema>, const Emits extends ReadonlyArray<Machine.TaggedSchema>, const Input extends Schema.Top = typeof Schema.Void, UnhandledStates extends Machine.StateIdentifier<States> = Machine.StateIdentifier<States>, E = never, R = never, InitialE = never, InitialR = never, FinalStates extends Machine.StateIdentifier<States> = never, Output = never, OutputStates extends Machine.StateIdentifier<States> = never, InputEvents extends ReadonlyArray<Machine.TaggedSchema> = Events>(machine: Machine<States, Events, Input, UnhandledStates, E, R, InitialE, InitialR, FinalStates, Output, Emits, OutputStates, InputEvents>, state: Machine.Snapshot<States>) => ReadonlyArray<Machine.TagOf<Events[number]>>;
 /**
@@ -3577,10 +3687,32 @@ export declare const enabled: <const States extends Machine.StateSchemas, const
  * `emittedEvents`. Events with no enabled transition are ignored and produce
  * an unchanged plan.
  *
+ * **Example**
+ *
+ * ```ts
+ * import { Effect, Schema } from "effect"
+ * import { Machine } from "@typeonce/effect-machine"
+ *
+ * class Off extends Schema.TaggedClass<Off>("Off")("Off", {}) {}
+ * class On extends Schema.TaggedClass<On>("On")("On", {}) {}
+ * class Toggle extends Schema.TaggedClass<Toggle>("Toggle")("Toggle", {}) {}
+ * const States = Machine.defineStates({ Off, On })
+ * const machine = Machine.make({
+ *   states: States.states,
+ *   events: [Toggle],
+ *   initial: () => States.initial.Off.from()
+ * }).handle({ Off: { on: { Toggle: () => States.initial.On.from() } }, On: {} })
+ *
+ * const nextState = Effect.gen(function*() {
+ *   const initial = yield* Machine.planInitial(machine)
+ *   return (yield* Machine.plan(machine, initial.state, new Toggle({}))).next
+ * })
+ * ```
+ *
  * @see {@link planInitial} for planning machine startup.
  * @see {@link start} for managed execution and lifecycle observation.
  * @category combinators
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const plan: <const States extends Machine.StateSchemas, const Events extends ReadonlyArray<Machine.TaggedSchema>, const Emits extends ReadonlyArray<Machine.TaggedSchema> = readonly [], const Input extends Schema.Top = typeof Schema.Void, UnhandledStates extends Machine.StateIdentifier<States> = Machine.StateIdentifier<States>, E = never, R = never, InitialE = never, InitialR = never, FinalStates extends Machine.StateIdentifier<States> = never, Output = never, OutputStates extends Machine.StateIdentifier<States> = never, InputEvents extends ReadonlyArray<Machine.TaggedSchema> = Events>(machine: Machine<States, Events, Input, UnhandledStates, E, R, InitialE, InitialR, FinalStates, Output, Emits, OutputStates, InputEvents> & EnsureExecutable<States, UnhandledStates, OutputStates>, state: Machine.Snapshot<States>, event: Machine.EventOf<InputEvents>) => Effect.Effect<{
     readonly next: Machine.Snapshot<States>;
@@ -3644,7 +3776,7 @@ export declare const plan: <const States extends Machine.StateSchemas, const Eve
  * @see {@link transition} for event-driven state.
  * @see {@link logic} for direct control over intermediate snapshots.
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const effect: <Output, Error = never, Requirements = never>(effect: Effect.Effect<Output, Error, Requirements>) => Logic<void, never, Error, Requirements, Output>;
 /**
@@ -3673,7 +3805,7 @@ export declare const effect: <Output, Error = never, Requirements = never>(effec
  * @see {@link effect} for one-shot work.
  * @see {@link transition} for event-driven state.
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const logic: <State, Event = never, Output = void, Error = never, Requirements = never, InitialError = never, InitialRequirements = never>(options: {
     readonly initial: State | ((scope: Logic.Scope<Event>) => Effect.Effect<State, InitialError, InitialRequirements>);
@@ -3692,10 +3824,22 @@ export declare const logic: <State, Event = never, Output = void, Error = never,
  * Each received event runs the transition Effect against the latest state. The
  * resulting state is published before the next queued event is processed.
  *
+ * **Example**
+ *
+ * ```ts
+ * import { Effect } from "effect"
+ * import { Machine } from "@typeonce/effect-machine"
+ *
+ * const counter = Machine.transition(
+ *   0,
+ *   (count, event: { readonly by: number }) => Effect.succeed(count + event.by)
+ * )
+ * ```
+ *
  * @see {@link effect} for one-shot work.
  * @see {@link logic} for direct process lifecycle control.
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const transition: <State, Event, Error = never, Requirements = never>(initial: State, transition: (state: State, event: Event) => Effect.Effect<State, Error, Requirements>) => Logic<State, Event, Error, Requirements, never>;
 /**
@@ -3705,7 +3849,7 @@ export declare const transition: <State, Event, Error = never, Requirements = ne
  * constructed descriptors for the same pair address the same invoked child.
  *
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const child: <const Id extends string, M extends Machine.Any>(id: Id, machine: M) => ChildMachine<Id, M>;
 /**
@@ -3715,7 +3859,7 @@ export declare const child: <const Id extends string, M extends Machine.Any>(id:
  * the address with `spawn`, `invoke`, or `sendTo`.
  *
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const childAddress: <Event = never>(id: string) => ChildAddress<Event>;
 /**
@@ -3735,7 +3879,7 @@ export declare const childAddress: <Event = never>(id: string) => ChildAddress<E
  * @see {@link invoke} for children that start and stop with a state.
  * @see {@link sendTo} for sending events to named children.
  * @category runtime
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const spawn: {
     <ChildState, ChildEvent, ChildError, ChildRequirements, ChildOutput, ChildInitialError = never>(logic: Logic<ChildState, ChildEvent, ChildError, ChildRequirements, ChildOutput, ChildInitialError>): SpawnResult<ChildState, ChildEvent, ChildError, ChildRequirements, ChildOutput, never, ChildInitialError>;
@@ -3745,7 +3889,7 @@ export declare const spawn: {
  * Sends an event to a named child process of the running machine.
  *
  * @category runtime
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const sendTo: {
     <Child extends ChildMachine.Any>(child: Child, event: ChildMachine.Event<Child>): Effect.Effect<void, StoppedError, MachineRuntimeRequirement>;
@@ -3755,7 +3899,7 @@ export declare const sendTo: {
  * Stops a named child process of the running machine.
  *
  * @category runtime
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const stopChild: {
     <Event>(child: ChildAddress<Event>): Effect.Effect<void, never, MachineRuntimeRequirement>;
@@ -3765,7 +3909,7 @@ export declare const stopChild: {
  * Returns a stream of terminal lifecycle outcomes for a running machine.
  *
  * @category combinators
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const watch: <State, Event, Error = never, Output = never>(ref: MachineRef<State, Event, Error, Output>) => Stream.Stream<RuntimeOutcome<State, Error, Output>>;
 /**
@@ -3790,10 +3934,30 @@ export declare const watch: <State, Event, Error = never, Output = never>(ref: M
  * rather than being returned by `send`. Sending after the machine reaches any
  * terminal state fails immediately with `StoppedError`.
  *
+ * **Example**
+ *
+ * ```ts
+ * import { Effect, Schema } from "effect"
+ * import { Machine } from "@typeonce/effect-machine"
+ *
+ * class Idle extends Schema.TaggedClass<Idle>("Idle")("Idle", {}) {}
+ * const States = Machine.defineStates({ Idle })
+ * const machine = Machine.make({
+ *   states: States.states,
+ *   events: [],
+ *   initial: () => States.initial.Idle.from()
+ * }).handle({ Idle: {} })
+ *
+ * const state = Effect.gen(function*() {
+ *   const ref = yield* Machine.start(machine)
+ *   return yield* ref.state
+ * })
+ * ```
+ *
  * @see {@link plan} for inspecting the same transition plan without executing it.
  * @see {@link watch} for classified terminal outcomes.
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const start: <const States extends Machine.StateSchemas, const Events extends ReadonlyArray<Machine.TaggedSchema>, const Emits extends ReadonlyArray<Machine.TaggedSchema> = readonly [], const Input extends Schema.Top = typeof Schema.Void, UnhandledStates extends Machine.StateIdentifier<States> = Machine.StateIdentifier<States>, E = never, R = never, InitialE = never, InitialR = never, FinalStates extends Machine.StateIdentifier<States> = never, Output = never, OutputStates extends Machine.StateIdentifier<States> = never, InputEvents extends ReadonlyArray<Machine.TaggedSchema> = Events>(machine: Machine<States, Events, Input, UnhandledStates, E, R, InitialE, InitialR, FinalStates, Output, Emits, OutputStates, InputEvents> & EnsureExecutable<States, UnhandledStates, OutputStates>, ...args: [...Machine.InputArgs<Input>]) => Effect.Effect<MachineRef<Machine.Snapshot<States>, Machine.EventOf<InputEvents>, E | ActionError<R> | InfiniteTransitionError | MachineSchemaDecodeError | StoppedError, Output>, InitialE | E | ActionError<InitialR | R> | InfiniteTransitionError | MachineSchemaDecodeError | StartupError | StoppedError, ExcludeCompatibleRuntime<ExecutionServices<InitialR | R>, Machine.EventOf<Events>, Machine.EmitOf<Emits>>>;
 /**
@@ -3820,10 +3984,32 @@ export declare const start: <const States extends Machine.StateSchemas, const Ev
  * evaluated merely because the runtime was resumed; only ordinary subsequent
  * transition planning can enter and stabilize states.
  *
+ * **Example**
+ *
+ * ```ts
+ * import { Effect, Schema } from "effect"
+ * import { Machine } from "@typeonce/effect-machine"
+ *
+ * class Idle extends Schema.TaggedClass<Idle>("Idle")("Idle", {}) {}
+ * const States = Machine.defineStates({ Idle })
+ * const machine = Machine.make({
+ *   states: States.states,
+ *   events: [],
+ *   initial: () => States.initial.Idle.from()
+ * }).handle({ Idle: {} })
+ *
+ * const resumed = Effect.gen(function*() {
+ *   const initial = yield* Machine.planInitial(machine)
+ *   const encoded = yield* Machine.encodeSnapshot(machine, initial.state)
+ *   const snapshot = yield* Machine.decodeSnapshot(machine, encoded)
+ *   return yield* Machine.resume(machine, snapshot)
+ * })
+ * ```
+ *
  * @see {@link decodeSnapshot} for the schema and transport boundary.
  * @see {@link start} for ordinary initial startup.
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const resume: <const States extends Machine.StateSchemas, const Events extends ReadonlyArray<Machine.TaggedSchema>, const Emits extends ReadonlyArray<Machine.TaggedSchema> = readonly [], const Input extends Schema.Top = typeof Schema.Void, UnhandledStates extends Machine.StateIdentifier<States> = Machine.StateIdentifier<States>, E = never, R = never, InitialE = never, InitialR = never, FinalStates extends Machine.StateIdentifier<States> = never, Output = never, OutputStates extends Machine.StateIdentifier<States> = never, InputEvents extends ReadonlyArray<Machine.TaggedSchema> = Events>(machine: Machine<States, Events, Input, UnhandledStates, E, R, InitialE, InitialR, FinalStates, Output, Emits, OutputStates, InputEvents> & EnsureExecutable<States, UnhandledStates, OutputStates>, snapshot: Machine.Snapshot<States>) => Effect.Effect<MachineRef<Machine.Snapshot<States>, Machine.EventOf<InputEvents>, E | ActionError<R> | InfiniteTransitionError | MachineSchemaDecodeError | StoppedError, Output>, MachineSchemaDecodeError, ExcludeCompatibleRuntime<ExecutionServices<R>, Machine.EventOf<Events>, Machine.EmitOf<Emits>>>;
 //# sourceMappingURL=Machine.d.ts.map