effect-machine 0.13.0 → 0.14.0

package/v3/dist/actor.js

@@ -12,7 +12,7 @@ import { Cause, Context, Deferred, Effect, Exit, Fiber, Layer, MutableHashMap, O
 * Combines:
 * - ActorRef interface (running actor handle)
 * - ActorSystem service (spawn/stop/get actors)
-* - Actor creation (delegates to runtime kernel)
+* - Actor creation and event loop
 */
 /**
 * ActorSystem service tag
@@ -163,23 +163,113 @@ const buildActorRefCore = (id, machine, stateRef, eventQueueRef, stoppedRef, lis
 		children: childrenMap
 	};
 };
+/** Build ProcessEventHooks from an inspector */
+const buildInspectionHooks = (actorId, inspector) => ({
+	onSpawnEffect: (state) => emitWithTimestamp(inspector, (timestamp) => ({
+		type: "@machine.effect",
+		actorId,
+		effectType: "spawn",
+		state,
+		timestamp
+	})),
+	onTransition: (from, to, ev) => emitWithTimestamp(inspector, (timestamp) => ({
+		type: "@machine.transition",
+		actorId,
+		fromState: from,
+		toState: to,
+		event: ev,
+		timestamp
+	})),
+	onError: (info) => emitWithTimestamp(inspector, (timestamp) => ({
+		type: "@machine.error",
+		actorId,
+		phase: info.phase,
+		state: info.state,
+		event: info.event,
+		error: Cause.pretty(info.cause),
+		timestamp
+	}))
+});
+/**
+* Load persisted state and run onRestore hook if present.
+* Returns the resolved initial state (loaded, restored, or fallback to machineInitial).
+* @internal
+*/
+const loadAndRestore = (persist, machineInitial) => Effect.gen(function* () {
+	const loaded = yield* persist.load();
+	if (Option.isNone(loaded)) return machineInitial;
+	if (persist.onRestore === void 0) return loaded.value;
+	const restored = yield* persist.onRestore(loaded.value, { initial: machineInitial });
+	return Option.getOrElse(restored, () => machineInitial);
+});
+/**
+* Resolve actor system from context, creating an implicit one if none exists.
+* @internal
+*/
+const resolveActorSystem = Effect.fn("effect-machine.resolveActorSystem")(function* () {
+	const existingSystem = yield* Effect.serviceOption(ActorSystem);
+	if (Option.isSome(existingSystem)) return {
+		system: existingSystem.value,
+		implicitSystemScope: void 0
+	};
+	const scope = yield* Scope.make();
+	return {
+		system: yield* make().pipe(Effect.provideService(Scope.Scope, scope)),
+		implicitSystemScope: scope
+	};
+});
+/**
+* Run the supervision loop for a supervised actor.
+* Observes exit deferred, applies restart policy, resets cell resources on restart.
+* @internal
+*/
+const runSupervisionLoop = (params) => Effect.gen(function* () {
+	const driver = yield* Schedule.driver(params.supervision.schedule);
+	let generation = 0;
+	while (true) {
+		const currentRuntime = params.runtimeRef.current;
+		if (currentRuntime === void 0) return;
+		const generationExit = yield* Deferred.await(currentRuntime.exitDeferred);
+		if (generationExit._tag !== "Defect") {
+			yield* Deferred.succeed(params.terminalExitDeferred, generationExit);
+			return;
+		}
+		if (params.supervision.shouldRestart !== void 0 && !params.supervision.shouldRestart(generationExit)) {
+			yield* Deferred.succeed(params.terminalExitDeferred, generationExit);
+			return;
+		}
+		if ((yield* driver.next(generationExit).pipe(Effect.exit))._tag === "Failure") {
+			yield* Deferred.succeed(params.terminalExitDeferred, generationExit);
+			return;
+		}
+		const restartState = params.persist !== void 0 ? yield* loadAndRestore(params.persist, params.machine.initial) : params.machine.initial;
+		yield* settlePendingReplies(params.pendingReplies, params.id);
+		const freshQueue = yield* Queue.unbounded();
+		yield* Ref.set(params.eventQueueRef, freshQueue);
+		yield* SubscriptionRef.set(params.stateRef, restartState);
+		yield* Ref.set(params.stoppedRef, false);
+		params.childrenMap.clear();
+		const machineForRestart = restartState !== params.machine.initial ? Object.create(params.machine, { initial: {
+			value: restartState,
+			enumerable: true
+		} }) : params.machine;
+		const newRuntime = yield* params.spawnGeneration(machineForRestart);
+		params.runtimeRef.current = newRuntime;
+		generation++;
+		if (params.onRestart !== void 0) yield* params.onRestart(generation, generationExit);
+		notifyListeners(params.listeners, restartState);
+	}
+});
 /**
 * Create and start an actor for a machine.
-* Uses the shared runtime kernel with lifecycle hooks for actor-specific concerns.
+* Delegates to the shared runtime kernel with actor-specific lifecycle hooks.
 */
 const createActor = Effect.fn("effect-machine.actor.spawn")(function* (id, machine, options) {
-	const initial = options?.initialState ?? machine.initial;
+	const persist = options?.persist;
+	const initial = options?.initialState ?? (persist !== void 0 ? yield* loadAndRestore(persist, machine.initial) : machine.initial);
 	yield* Effect.annotateCurrentSpan("effect_machine.actor.id", id);
 	yield* Effect.annotateCurrentSpan("effect_machine.actor.initial_state", initial._tag);
-	const existingSystem = yield* Effect.serviceOption(ActorSystem);
-	let system;
-	let implicitSystemScope;
-	if (Option.isSome(existingSystem)) system = existingSystem.value;
-	else {
-		const scope = yield* Scope.make();
-		system = yield* make().pipe(Effect.provideService(Scope.Scope, scope));
-		implicitSystemScope = scope;
-	}
+	const { system, implicitSystemScope } = yield* resolveActorSystem();
 	const inspectorValue = Option.getOrUndefined(yield* Effect.serviceOption(Inspector));
 	const childrenMap = /* @__PURE__ */ new Map();
 	const pendingReplies = /* @__PURE__ */ new Set();
@@ -191,32 +281,7 @@ const createActor = Effect.fn("effect-machine.actor.spawn")(function* (id, machi
 		initialState: initial,
 		timestamp
 	}));
-	const hooks = inspectorValue === void 0 ? void 0 : {
-		onSpawnEffect: (state) => emitWithTimestamp(inspectorValue, (timestamp) => ({
-			type: "@machine.effect",
-			actorId: id,
-			effectType: "spawn",
-			state,
-			timestamp
-		})),
-		onTransition: (from, to, ev) => emitWithTimestamp(inspectorValue, (timestamp) => ({
-			type: "@machine.transition",
-			actorId: id,
-			fromState: from,
-			toState: to,
-			event: ev,
-			timestamp
-		})),
-		onError: (info) => emitWithTimestamp(inspectorValue, (timestamp) => ({
-			type: "@machine.error",
-			actorId: id,
-			phase: info.phase,
-			state: info.state,
-			event: info.event,
-			error: Cause.pretty(info.cause),
-			timestamp
-		}))
-	};
+	const hooks = inspectorValue !== void 0 ? buildInspectionHooks(id, inspectorValue) : void 0;
 	const machineWithState = initial !== machine.initial ? Object.create(machine, { initial: {
 		value: initial,
 		enumerable: true
@@ -241,6 +306,9 @@ const createActor = Effect.fn("effect-machine.actor.spawn")(function* (id, machi
 			})) : void 0,
 			onStateChange: (result, _event) => Effect.gen(function* () {
 				notifyListeners(listeners, result.newState);
+				if (persist !== void 0 && result.transitioned) {
+					if (persist.shouldSave === void 0 || persist.shouldSave(result.newState, result.previousState)) yield* persist.save(result.newState);
+				}
 				yield* Effect.annotateCurrentSpan("effect_machine.transition.matched", true);
 				if (result.lifecycleRan) {
 					yield* Effect.annotateCurrentSpan("effect_machine.state.from", result.previousState._tag);
@@ -282,7 +350,7 @@ const createActor = Effect.fn("effect-machine.actor.spawn")(function* (id, machi
 			})) : void 0
 		};
 	};
-	/** Create a single runtime generation */
+	/** Create a single runtime generation. machineForGen is machineWithState for initial, machine for restarts. */
 	const spawnGeneration = (machineForGen) => Ref.get(eventQueueRef).pipe(Effect.flatMap((currentQueue) => createRuntime(machineForGen, system, {
 		actorId: id,
 		hooks,
@@ -306,42 +374,27 @@ const createActor = Effect.fn("effect-machine.actor.spawn")(function* (id, machi
 			}));
 		})
 	})));
-	const supervision = options?.supervision;
 	const runtime = yield* spawnGeneration(machineWithState);
 	runtimeRef.current = runtime;
+	const supervision = options?.supervision;
 	let supervisorFiber;
-	if (supervision !== void 0) supervisorFiber = yield* Effect.forkDaemon(Effect.gen(function* () {
-		const driver = yield* Schedule.driver(supervision.schedule);
-		let generation = 0;
-		while (true) {
-			const currentRuntime = runtimeRef.current;
-			if (currentRuntime === void 0) return;
-			const generationExit = yield* Deferred.await(currentRuntime.exitDeferred);
-			if (generationExit._tag !== "Defect") {
-				yield* Deferred.succeed(terminalExitDeferred, generationExit);
-				return;
-			}
-			if (supervision.shouldRestart !== void 0 && !supervision.shouldRestart(generationExit)) {
-				yield* Deferred.succeed(terminalExitDeferred, generationExit);
-				return;
-			}
-			if ((yield* driver.next(generationExit).pipe(Effect.exit))._tag === "Failure") {
-				yield* Deferred.succeed(terminalExitDeferred, generationExit);
-				return;
-			}
-			yield* settlePendingReplies(pendingReplies, id);
-			const freshQueue = yield* Queue.unbounded();
-			yield* Ref.set(eventQueueRef, freshQueue);
-			yield* SubscriptionRef.set(stateRef, machine.initial);
-			yield* Ref.set(stoppedRef, false);
-			childrenMap.clear();
-			runtimeRef.current = yield* spawnGeneration(machine);
-			generation++;
-			if (options?.onRestart !== void 0) yield* options.onRestart(generation, generationExit);
-			notifyListeners(listeners, machine.initial);
-		}
+	if (supervision !== void 0) supervisorFiber = yield* Effect.forkDaemon(runSupervisionLoop({
+		supervision,
+		machine,
+		id,
+		runtimeRef,
+		terminalExitDeferred,
+		pendingReplies,
+		eventQueueRef,
+		stateRef,
+		stoppedRef,
+		childrenMap,
+		listeners,
+		spawnGeneration,
+		persist,
+		onRestart: options?.onRestart
 	}));
-	else yield* Deferred.await(runtime.exitDeferred).pipe(Effect.tap((exit) => Deferred.succeed(terminalExitDeferred, exit)), Effect.catchAllCause(() => Effect.void), Effect.fork);
+	else yield* Effect.forkDaemon(Deferred.await(runtime.exitDeferred).pipe(Effect.tap((exit) => Deferred.succeed(terminalExitDeferred, exit))));
 	return buildActorRefCore(id, machine, stateRef, eventQueueRef, stoppedRef, listeners, Effect.gen(function* () {
 		if (supervisorFiber !== void 0) yield* Fiber.interrupt(supervisorFiber);
 		const currentRuntime = runtimeRef.current;
@@ -367,14 +420,15 @@ const make = Effect.fn("effect-machine.actorSystem.make")(function* () {
 	const withSpawnGate = (yield* Effect.makeSemaphore(1)).withPermits(1);
 	const eventPubSub = yield* PubSub.unbounded();
 	const eventListeners = /* @__PURE__ */ new Set();
-	const emitSystemEvent = (event) => Effect.sync(() => notifySystemListeners(eventListeners, event)).pipe(Effect.zipRight(PubSub.publish(eventPubSub, event)), Effect.catchAllCause(() => Effect.void), Effect.asVoid);
+	const emitSystemEvent = (event) => Effect.sync(() => notifySystemListeners(eventListeners, event)).pipe(Effect.andThen(PubSub.publish(eventPubSub, event)), Effect.catchAllCause(() => Effect.void), Effect.asVoid);
 	yield* Effect.addFinalizer(() => {
 		const stops = [];
 		MutableHashMap.forEach(actorsMap, (actor) => {
 			stops.push(actor.stop);
 		});
-		return Effect.all(stops, { concurrency: "unbounded" }).pipe(Effect.zipRight(PubSub.shutdown(eventPubSub)), Effect.asVoid);
+		return Effect.all(stops, { concurrency: "unbounded" }).pipe(Effect.andThen(PubSub.shutdown(eventPubSub)), Effect.asVoid);
 	});
+	/** Check for duplicate ID, register actor, attach scope cleanup if available */
 	const registerActor = Effect.fn("effect-machine.actorSystem.register")(function* (id, actor) {
 		if (MutableHashMap.has(actorsMap, id)) {
 			yield* actor.stop;
@@ -404,10 +458,11 @@ const make = Effect.fn("effect-machine.actorSystem.make")(function* () {
 	});
 	const spawnRegular = Effect.fn("effect-machine.actorSystem.spawnRegular")(function* (id, machine, spawnOptions) {
 		if (MutableHashMap.has(actorsMap, id)) return yield* new DuplicateActorError({ actorId: id });
-		const materialized = materializeMachine(machine, spawnOptions?.slots);
+		const materialized = spawnOptions?.slots !== void 0 ? materializeMachine(machine, spawnOptions.slots) : machine;
 		let actorRef;
 		const actor = yield* createActor(id, materialized, {
 			supervision: spawnOptions?.supervision,
+			persist: spawnOptions?.persist,
 			onRestart: spawnOptions?.supervision !== void 0 ? (generation, exit) => actorRef !== void 0 ? emitSystemEvent({
 				_tag: "ActorRestarted",
 				id,
@@ -465,6 +520,6 @@ const makeSystem = make;
 /**
 * Default ActorSystem layer
 */
-const Default = Layer.effect(ActorSystem, make());
+const Default = Layer.scoped(ActorSystem, make());
 //#endregion
 export { ActorSystem, Default, buildActorRefCore, createActor, makeSystem, notifyListeners, processEventCore, resolveTransition, runSpawnEffects, settlePendingReplies };

package/v3/dist/cluster/entity-machine.d.ts

@@ -68,7 +68,7 @@ declare const EntityMachine: {
     readonly _tag: string;
   }, E extends {
     readonly _tag: string;
-  }, R, EntityType extends string, Rpcs extends Rpc.Any>(entity: Entity.Entity<EntityType, Rpcs>, machine: Machine<S, E, R, any, any, any, any>, options?: EntityMachineOptions<S, E>) => Layer.Layer<never, never, R>;
+  }, R, EntityType extends string, Rpcs extends Rpc.Any>(entity: Entity.Entity<EntityType, Rpcs>, machine: Machine<S, E, R, any, any, any>, options?: EntityMachineOptions<S, E>) => Layer.Layer<never, never, R>;
 };
 //#endregion
 export { EntityMachine, EntityMachineOptions };

package/v3/dist/cluster/to-entity.d.ts

@@ -59,6 +59,6 @@ declare const toEntity: <S extends {
   readonly _tag: string;
 }, E extends {
   readonly _tag: string;
-}, R>(machine: Machine<S, E, R, any, any, any, any>, options: ToEntityOptions) => any;
+}, R>(machine: Machine<S, E, R, any, any, any>, options: ToEntityOptions) => any;
 //#endregion
 export { EntityRpcs, ToEntityOptions, toEntity };

package/v3/dist/errors.d.ts

@@ -33,7 +33,7 @@ declare const SlotProvisionError_base: Schema.TaggedErrorClass<SlotProvisionErro
   readonly _tag: Schema.tag<"SlotProvisionError">;
 } & {
   slotName: typeof Schema.String;
-  slotType: Schema.Literal<["guard", "effect"]>;
+  slotType: Schema.Literal<["slot"]>;
 }>;
 /** Slot handler not found at runtime (internal error) */
 declare class SlotProvisionError extends SlotProvisionError_base {}
@@ -43,7 +43,7 @@ declare const ProvisionValidationError_base: Schema.TaggedErrorClass<ProvisionVa
   missing: Schema.Array$<typeof Schema.String>;
   extra: Schema.Array$<typeof Schema.String>;
 }>;
-/** Machine.build() validation failed - missing or extra handlers */
+/** Slot provision validation failed — missing or extra handlers */
 declare class ProvisionValidationError extends ProvisionValidationError_base {}
 declare const AssertionError_base: Schema.TaggedErrorClass<AssertionError, "AssertionError", {
   readonly _tag: Schema.tag<"AssertionError">;
@@ -74,6 +74,15 @@ declare const PersistenceError_base: Schema.TaggedErrorClass<PersistenceError, "
 }>;
 /** Persistence adapter operation failed */
 declare class PersistenceError extends PersistenceError_base {}
+declare const SlotCodecError_base: Schema.TaggedErrorClass<SlotCodecError, "SlotCodecError", {
+  readonly _tag: Schema.tag<"SlotCodecError">;
+} & {
+  slotName: typeof Schema.String;
+  phase: Schema.Literal<["input", "output"]>;
+  message: typeof Schema.String;
+}>;
+/** Slot input/output schema validation failed */
+declare class SlotCodecError extends SlotCodecError_base {}
 declare const VersionConflictError_base: Schema.TaggedErrorClass<VersionConflictError, "VersionConflictError", {
   readonly _tag: Schema.tag<"VersionConflictError">;
 } & {
@@ -83,4 +92,4 @@ declare const VersionConflictError_base: Schema.TaggedErrorClass<VersionConflict
 /** Optimistic locking failure — stored version doesn't match expected */
 declare class VersionConflictError extends VersionConflictError_base {}
 //#endregion
-export { ActorStoppedError, AssertionError, DuplicateActorError, InvalidSchemaError, MissingMatchHandlerError, MissingSchemaError, NoReplyError, PersistenceError, ProvisionValidationError, SlotProvisionError, VersionConflictError };
+export { ActorStoppedError, AssertionError, DuplicateActorError, InvalidSchemaError, MissingMatchHandlerError, MissingSchemaError, NoReplyError, PersistenceError, ProvisionValidationError, SlotCodecError, SlotProvisionError, VersionConflictError };

package/v3/dist/errors.js

@@ -3,7 +3,7 @@ import { Schema } from "effect";
 /**
 * Typed error classes for effect-machine.
 *
-* All errors extend Schema.TaggedError for:
+* All errors extend Schema.TaggedErrorClass for:
 * - Type-safe catching via Effect.catchTag
 * - Serialization support
 * - Composable error handling
@@ -21,9 +21,9 @@ var MissingMatchHandlerError = class extends Schema.TaggedError()("MissingMatchH
 /** Slot handler not found at runtime (internal error) */
 var SlotProvisionError = class extends Schema.TaggedError()("SlotProvisionError", {
 	slotName: Schema.String,
-	slotType: Schema.Literal("guard", "effect")
+	slotType: Schema.Literal("slot")
 }) {};
-/** Machine.build() validation failed - missing or extra handlers */
+/** Slot provision validation failed — missing or extra handlers */
 var ProvisionValidationError = class extends Schema.TaggedError()("ProvisionValidationError", {
 	missing: Schema.Array(Schema.String),
 	extra: Schema.Array(Schema.String)
@@ -39,10 +39,16 @@ var NoReplyError = class extends Schema.TaggedError()("NoReplyError", {
 }) {};
 /** Persistence adapter operation failed */
 var PersistenceError = class extends Schema.TaggedError()("PersistenceError", { message: Schema.String }) {};
+/** Slot input/output schema validation failed */
+var SlotCodecError = class extends Schema.TaggedError()("SlotCodecError", {
+	slotName: Schema.String,
+	phase: Schema.Literal("input", "output"),
+	message: Schema.String
+}) {};
 /** Optimistic locking failure — stored version doesn't match expected */
 var VersionConflictError = class extends Schema.TaggedError()("VersionConflictError", {
 	expected: Schema.Number,
 	actual: Schema.Number
 }) {};
 //#endregion
-export { ActorStoppedError, AssertionError, DuplicateActorError, InvalidSchemaError, MissingMatchHandlerError, MissingSchemaError, NoReplyError, PersistenceError, ProvisionValidationError, SlotProvisionError, VersionConflictError };
+export { ActorStoppedError, AssertionError, DuplicateActorError, InvalidSchemaError, MissingMatchHandlerError, MissingSchemaError, NoReplyError, PersistenceError, ProvisionValidationError, SlotCodecError, SlotProvisionError, VersionConflictError };

package/v3/dist/index.d.ts

@@ -1,11 +1,11 @@
-import { ActorExit, CellPhase, DefectPhase, Supervision } from "./supervision.js";
-import { ReplyResult } from "./internal/utils.js";
+import { DeferReplyResult, ReplyResult } from "./internal/utils.js";
 import { Event, MachineEventSchema, MachineStateSchema, ReplyFields, State } from "./schema.js";
-import { ActorStoppedError, AssertionError, DuplicateActorError, InvalidSchemaError, MissingMatchHandlerError, MissingSchemaError, NoReplyError, PersistenceError, ProvisionValidationError, SlotProvisionError, VersionConflictError } from "./errors.js";
-import { EffectHandlers, EffectSlot, EffectSlots, EffectsDef, EffectsSchema, GuardHandlers, GuardSlot, GuardSlots, GuardsDef, GuardsSchema, MachineContext, Slot } from "./slot.js";
+import { ActorStoppedError, AssertionError, DuplicateActorError, InvalidSchemaError, MissingMatchHandlerError, MissingSchemaError, NoReplyError, PersistenceError, ProvisionValidationError, SlotCodecError, SlotProvisionError, VersionConflictError } from "./errors.js";
+import { HasSlotKeys, MachineContext, ProvideSlots, Slot, SlotCall, SlotCalls, SlotFnDef, SlotHandler, SlotInvocation, SlotRequest, SlotResult, SlotsDef, SlotsSchema } from "./slot.js";
+import { ActorExit, CellPhase, DefectPhase, Supervision } from "./supervision.js";
 import { ProcessEventResult } from "./internal/transition.js";
-import { BackgroundEffect, HandlerContext, Machine, MachineRef, MakeConfig, ProvideHandlers, SlotContext, SpawnEffect, StateHandlerContext, TaskOptions, TimeoutConfig, Transition, machine_d_exports } from "./machine.js";
+import { BackgroundEffect, HandlerContext, Machine, MachineRef, MakeConfig, SpawnEffect, StateHandlerContext, TaskOptions, TimeoutConfig, Transition, machine_d_exports } from "./machine.js";
 import { ActorRef, ActorRefSync, ActorSystem, Default, SystemEvent, SystemEventListener, TransitionInfo } from "./actor.js";
 import { SimulationResult, TestHarness, TestHarnessOptions, assertNeverReaches, assertPath, assertReaches, createTestHarness, simulate } from "./testing.js";
 import { AnyInspectionEvent, EffectEvent, ErrorEvent, EventReceivedEvent, InspectionEvent, Inspector, InspectorHandler, SpawnEvent, StopEvent, TaskEvent, TracingInspectorOptions, TransitionEvent, collectingInspector, combineInspectors, consoleInspector, makeInspector, makeInspectorEffect, tracingInspector } from "./inspection.js";
-export { ActorExit, type ActorRef, type ActorRefSync, ActorStoppedError, type ActorSystem, Default as ActorSystemDefault, ActorSystem as ActorSystemService, type AnyInspectionEvent, AssertionError, type BackgroundEffect, type CellPhase, type DefectPhase, DuplicateActorError, type EffectEvent, type EffectSlots, type EffectsDef, type EffectsSchema, type ErrorEvent, Event, type EventReceivedEvent, type GuardHandlers, type GuardSlot, type GuardSlots, type GuardsDef, type GuardsSchema, type HandlerContext, type InspectionEvent, type Inspector, type InspectorHandler, Inspector as InspectorService, InvalidSchemaError, machine_d_exports as Machine, type MachineContext, type MachineEventSchema, type MachineRef, type MachineStateSchema, type Machine as MachineType, type MakeConfig, MissingMatchHandlerError, MissingSchemaError, NoReplyError, PersistenceError, type ProcessEventResult, type ProvideHandlers, ProvisionValidationError, type ReplyFields, type ReplyResult, type SimulationResult, Slot, type SlotContext, type EffectHandlers as SlotEffectHandlers, type EffectSlot as SlotEffectSlot, SlotProvisionError, type SpawnEffect, type SpawnEvent, State, type StateHandlerContext, type StopEvent, Supervision, type SystemEvent, type SystemEventListener, type TaskEvent, type TaskOptions, type TestHarness, type TestHarnessOptions, type TimeoutConfig, type TracingInspectorOptions, type Transition, type TransitionEvent, type TransitionInfo, VersionConflictError, assertNeverReaches, assertPath, assertReaches, collectingInspector, combineInspectors, consoleInspector, createTestHarness, makeInspector, makeInspectorEffect, simulate, tracingInspector };
+export { ActorExit, type ActorRef, type ActorRefSync, ActorStoppedError, type ActorSystem, Default as ActorSystemDefault, ActorSystem as ActorSystemService, type AnyInspectionEvent, AssertionError, type BackgroundEffect, type CellPhase, type DefectPhase, type DeferReplyResult, DuplicateActorError, type EffectEvent, type ErrorEvent, Event, type EventReceivedEvent, type HandlerContext, type HasSlotKeys, type InspectionEvent, type Inspector, type InspectorHandler, Inspector as InspectorService, InvalidSchemaError, machine_d_exports as Machine, type MachineContext, type MachineEventSchema, type MachineRef, type MachineStateSchema, type Machine as MachineType, type MakeConfig, MissingMatchHandlerError, MissingSchemaError, NoReplyError, PersistenceError, type ProcessEventResult, type ProvideSlots, ProvisionValidationError, type ReplyFields, type ReplyResult, type SimulationResult, Slot, type SlotCall, type SlotCalls, SlotCodecError, type SlotFnDef, type SlotHandler, type SlotInvocation, SlotProvisionError, type SlotRequest, type SlotResult, type SlotsDef, type SlotsSchema, type SpawnEffect, type SpawnEvent, State, type StateHandlerContext, type StopEvent, Supervision, type SystemEvent, type SystemEventListener, type TaskEvent, type TaskOptions, type TestHarness, type TestHarnessOptions, type TimeoutConfig, type TracingInspectorOptions, type Transition, type TransitionEvent, type TransitionInfo, VersionConflictError, assertNeverReaches, assertPath, assertReaches, collectingInspector, combineInspectors, consoleInspector, createTestHarness, makeInspector, makeInspectorEffect, simulate, tracingInspector };

package/v3/dist/index.js

@@ -1,4 +1,4 @@
-import { ActorStoppedError, AssertionError, DuplicateActorError, InvalidSchemaError, MissingMatchHandlerError, MissingSchemaError, NoReplyError, PersistenceError, ProvisionValidationError, SlotProvisionError, VersionConflictError } from "./errors.js";
+import { ActorStoppedError, AssertionError, DuplicateActorError, InvalidSchemaError, MissingMatchHandlerError, MissingSchemaError, NoReplyError, PersistenceError, ProvisionValidationError, SlotCodecError, SlotProvisionError, VersionConflictError } from "./errors.js";
 import { Inspector, collectingInspector, combineInspectors, consoleInspector, makeInspector, makeInspectorEffect, tracingInspector } from "./inspection.js";
 import { Slot } from "./slot.js";
 import { machine_exports } from "./machine.js";
@@ -6,4 +6,4 @@ import { ActorExit, Supervision } from "./supervision.js";
 import { ActorSystem, Default } from "./actor.js";
 import { Event, State } from "./schema.js";
 import { assertNeverReaches, assertPath, assertReaches, createTestHarness, simulate } from "./testing.js";
-export { ActorExit, ActorStoppedError, Default as ActorSystemDefault, ActorSystem as ActorSystemService, AssertionError, DuplicateActorError, Event, Inspector as InspectorService, InvalidSchemaError, machine_exports as Machine, MissingMatchHandlerError, MissingSchemaError, NoReplyError, PersistenceError, ProvisionValidationError, Slot, SlotProvisionError, State, Supervision, VersionConflictError, assertNeverReaches, assertPath, assertReaches, collectingInspector, combineInspectors, consoleInspector, createTestHarness, makeInspector, makeInspectorEffect, simulate, tracingInspector };
+export { ActorExit, ActorStoppedError, Default as ActorSystemDefault, ActorSystem as ActorSystemService, AssertionError, DuplicateActorError, Event, Inspector as InspectorService, InvalidSchemaError, machine_exports as Machine, MissingMatchHandlerError, MissingSchemaError, NoReplyError, PersistenceError, ProvisionValidationError, Slot, SlotCodecError, SlotProvisionError, State, Supervision, VersionConflictError, assertNeverReaches, assertPath, assertReaches, collectingInspector, combineInspectors, consoleInspector, createTestHarness, makeInspector, makeInspectorEffect, simulate, tracingInspector };

package/v3/dist/inspection.d.ts

@@ -4,7 +4,7 @@ import { Context, Effect, Schema } from "effect";
 /**
  * Resolve a type param: if it's a Schema, extract `.Type`; otherwise use as-is.
  */
-type ResolveType<T> = T extends Schema.Schema<infer A, infer _I, infer _R> ? A : T;
+type ResolveType<T> = T extends Schema.Schema<infer A> ? A : T;
 /**
  * Event emitted when an actor is spawned
  */
@@ -45,9 +45,6 @@ interface EffectEvent<S> {
   readonly state: S;
   readonly timestamp: number;
 }
-/**
- * Event emitted when a task lifecycle phase occurs
- */
 interface TaskEvent<S> {
   readonly type: "@machine.task";
   readonly actorId: string;
@@ -93,13 +90,10 @@ type AnyInspectionEvent = InspectionEvent<{
 }, {
   readonly _tag: string;
 }>;
-/**
- * Inspector handler — sync callback or Effect-returning callback.
- */
-type InspectorHandler<S, E> = (event: InspectionEvent<S, E>) => void | Effect.Effect<void, never, never>;
 /**
  * Inspector interface for observing machine behavior
  */
+type InspectorHandler<S, E> = (event: InspectionEvent<S, E>) => void | Effect.Effect<void, never, never>;
 interface Inspector<S, E> {
   readonly onInspect: InspectorHandler<S, E>;
 }
@@ -109,7 +103,7 @@ interface Inspector<S, E> {
  */
 declare const Inspector: Context.Tag<Inspector<any, any>, Inspector<any, any>>;
 /**
- * Create an inspector from a sync callback function.
+ * Create an inspector from a callback function.
  *
  * Type params accept either raw tagged types or Schema constructors:
  * - `makeInspector(cb)` — defaults to `AnyInspectionEvent`
@@ -121,30 +115,17 @@ declare const makeInspector: <S = {
 }, E = {
   readonly _tag: string;
 }>(onInspect: InspectorHandler<ResolveType<S>, ResolveType<E>>) => Inspector<ResolveType<S>, ResolveType<E>>;
-/**
- * Create an inspector from an Effect-returning callback function.
- */
 declare const makeInspectorEffect: <S = {
   readonly _tag: string;
 }, E = {
   readonly _tag: string;
 }>(onInspect: (event: InspectionEvent<ResolveType<S>, ResolveType<E>>) => Effect.Effect<void, never, never>) => Inspector<ResolveType<S>, ResolveType<E>>;
-/**
- * Combine multiple inspectors into one. All run concurrently per event.
- * Individual inspector failures are swallowed.
- */
 declare const combineInspectors: <S, E>(...inspectors: ReadonlyArray<Inspector<S, E>>) => Inspector<S, E>;
-/**
- * Options for the tracing inspector.
- */
 interface TracingInspectorOptions<S, E> {
   readonly spanName?: string | ((event: InspectionEvent<S, E>) => string);
   readonly attributes?: (event: InspectionEvent<S, E>) => Readonly<Record<string, string | number | boolean>>;
   readonly eventName?: (event: InspectionEvent<S, E>) => string;
 }
-/**
- * Inspector that emits OpenTelemetry spans and events for each inspection event.
- */
 declare const tracingInspector: <S extends {
   readonly _tag: string;
 }, E extends {

package/v3/dist/inspection.js

@@ -6,7 +6,7 @@ import { Context, Effect, Option } from "effect";
 */
 const Inspector = Context.GenericTag("@effect/machine/Inspector");
 /**
-* Create an inspector from a sync callback function.
+* Create an inspector from a callback function.
 *
 * Type params accept either raw tagged types or Schema constructors:
 * - `makeInspector(cb)` — defaults to `AnyInspectionEvent`
@@ -14,22 +14,11 @@ const Inspector = Context.GenericTag("@effect/machine/Inspector");
 * - `makeInspector<typeof MyState, typeof MyEvent>(cb)` — schema constructors (auto-extracts `.Type`)
 */
 const makeInspector = (onInspect) => ({ onInspect });
-/**
-* Create an inspector from an Effect-returning callback function.
-*/
 const makeInspectorEffect = (onInspect) => ({ onInspect });
-/**
-* Run an inspector handler, handling both sync and Effect returns.
-* @internal
-*/
 const inspectionEffect = (inspector, event) => {
 	const result = inspector.onInspect(event);
 	return Effect.isEffect(result) ? result : Effect.void;
 };
-/**
-* Combine multiple inspectors into one. All run concurrently per event.
-* Individual inspector failures are swallowed.
-*/
 const combineInspectors = (...inspectors) => ({ onInspect: (event) => Effect.forEach(inspectors, (inspector) => inspectionEffect(inspector, event).pipe(Effect.catchAllCause(() => Effect.void)), {
 	concurrency: "unbounded",
 	discard: true
@@ -99,9 +88,6 @@ const inspectionAttributes = (event) => {
 		};
 	}
 };
-/**
-* Inspector that emits OpenTelemetry spans and events for each inspection event.
-*/
 const tracingInspector = (options) => ({ onInspect: (event) => {
 	const spanName = typeof options?.spanName === "function" ? options.spanName(event) : options?.spanName;
 	const traceName = options?.eventName?.(event) ?? inspectionTraceName(event);

package/v3/dist/internal/brands.d.ts

@@ -1,10 +1,8 @@
 import { Brand } from "effect";
 
 //#region src/internal/brands.d.ts
-declare const StateTypeId: unique symbol;
-declare const EventTypeId: unique symbol;
-type StateTypeId = typeof StateTypeId;
-type EventTypeId = typeof EventTypeId;
+type StateTypeId = "effect-machine/StateTypeId";
+type EventTypeId = "effect-machine/EventTypeId";
 interface StateBrand extends Brand.Brand<StateTypeId> {}
 interface EventBrand extends Brand.Brand<EventTypeId> {}
 type BrandedState = {
@@ -13,8 +11,7 @@ type BrandedState = {
 type BrandedEvent = {
   readonly _tag: string;
 } & EventBrand;
-declare const SchemaIdTypeId: unique symbol;
-type SchemaIdTypeId = typeof SchemaIdTypeId;
+type SchemaIdTypeId = "effect-machine/SchemaIdTypeId";
 /**
  * Brand that captures the schema definition type D.
  * Two schemas with identical definition shapes will have compatible brands.
@@ -33,8 +30,7 @@ type FullEventBrand<D extends Record<string, unknown>> = EventBrand & SchemaIdBr
  * Brand that carries the reply type for an event variant.
  * Present only on events defined with Event.reply().
  */
-declare const ReplyTypeId: unique symbol;
-type ReplyTypeId = typeof ReplyTypeId;
+type ReplyTypeId = "effect-machine/ReplyTypeId";
 interface ReplyTypeBrand<R> extends Brand.Brand<ReplyTypeId> {
   readonly _ReplyType: R;
 }

package/v3/dist/internal/inspection.js

@@ -14,7 +14,7 @@ const emitWithTimestamp = Effect.fn("effect-machine.emitWithTimestamp")(function
 			return;
 		}
 	});
-	if (result !== void 0 && Effect.isEffect(result)) yield* result.pipe(Effect.catchAllCause(() => Effect.void));
+	if (Effect.isEffect(result)) yield* result.pipe(Effect.catchAllCause(() => Effect.void));
 });
 //#endregion
 export { emitWithTimestamp };

package/v3/dist/internal/runtime.d.ts

@@ -1,6 +1,6 @@
-import { ActorExit } from "../supervision.js";
 import { NoReplyError } from "../errors.js";
-import { EffectsDef, GuardsDef, MachineContext } from "../slot.js";
+import { MachineContext, SlotsDef } from "../slot.js";
+import { ActorExit } from "../supervision.js";
 import { ProcessEventHooks, ProcessEventResult } from "./transition.js";
 import { Machine, MachineRef } from "../machine.js";
 import { ActorSystem } from "../actor.js";
@@ -14,7 +14,7 @@ type RuntimeQueuedEvent<E> = {
 } | {
   readonly _tag: "sendWait";
   readonly event: E;
-  readonly done: Deferred.Deferred<void>;
+  readonly done: Deferred.Deferred<void, unknown>;
 } | {
   readonly _tag: "call";
   readonly event: E;
@@ -43,13 +43,13 @@ interface RuntimeCellResources<S, E> {
 interface RuntimeHandle<S, E> {
   /** Enqueue a fire-and-forget event */
   readonly send: (event: E) => Effect.Effect<void>;
-  /** Enqueue event and wait for processing to complete (for RPC Send) */
-  readonly sendWait: (event: E) => Effect.Effect<void>;
+  /** Enqueue event and wait for processing to complete (for RPC Send). Fails on defect. */
+  readonly sendWait: (event: E) => Effect.Effect<void, unknown>;
   /** Enqueue an ask event, returns the reply value */
   readonly ask: (event: E) => Effect.Effect<unknown, NoReplyError>;
   /** Get current state */
   readonly getState: Effect.Effect<S>;
-  /** SubscriptionRef for state observation */
+  /** SubscriptionRef for state observation (WatchState streaming) */
   readonly stateRef: SubscriptionRef.SubscriptionRef<S>;
   /** Whether the runtime has stopped (final state reached) */
   readonly isStopped: Effect.Effect<boolean>;
@@ -123,7 +123,7 @@ interface ProcessQueuedResult<S> {
  * and querying state. The runtime owns:
  * - Event loop fiber
  * - Postpone buffer
- * - Background effects
+ * - Background effects (under actorScope)
  * - State scope (spawn effects)
  * - Final state detection
  * - Exit reason via exitDeferred
@@ -137,6 +137,6 @@ declare const createRuntime: <S extends {
   readonly _tag: string;
 }, E extends {
   readonly _tag: string;
-}, R, GD extends GuardsDef, EFD extends EffectsDef>(machine: Machine<S, E, R, any, any, GD, EFD>, system: ActorSystem, config: RuntimeConfig<S, E>) => Effect.Effect<RuntimeHandle<S, E>, never, Scope.Scope | Exclude<R, MachineContext<S, E, MachineRef<E>>> | Exclude<Exclude<R, MachineContext<S, E, MachineRef<E>>>, Scope.Scope>>;
+}, R, SD extends SlotsDef>(machine: Machine<S, E, R, any, any, SD>, system: ActorSystem, config: RuntimeConfig<S, E>) => Effect.Effect<RuntimeHandle<S, E>, never, Scope.Scope | Exclude<R, MachineContext<S, E, MachineRef<E>>> | Exclude<Exclude<R, MachineContext<S, E, MachineRef<E>>>, Scope.Scope>>;
 //#endregion
 export { ProcessQueuedResult, RuntimeCellResources, RuntimeConfig, RuntimeHandle, RuntimeLifecycleHooks, RuntimeQueuedEvent, createRuntime };