aifsmjs 0.5.9 → 0.6.0

package/dist/effects/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/effects/dispatcher.ts"],"names":[],"mappings":";;;;;AAKA,IAAI,YAAA;AACJ,SAAS,WAAA,GAA2B;AAClC,EAAA,IAAI,CAAC,YAAA,EAAc,YAAA,GAAe,IAAI,iBAAgB,CAAE,MAAA;AACxD,EAAA,OAAO,YAAA;AACT;AAgBO,SAAS,UAAA,CACd,OAAA,EACA,QAAA,EACA,IAAA,EAC0B;AAC1B,EAAA,IAAI,CAAC,QAAA,IAAY,OAAA,CAAQ,MAAA,KAAW,CAAA,SAAU,EAAC;AAC/C,EAAA,MAAM,MAAA,GAAS,IAAA,CAAK,MAAA,IAAU,WAAA,EAAY;AAC1C,EAAA,MAAM,WAAA,GAAc,EAAE,OAAA,EAAS,IAAA,CAAK,SAAS,KAAA,EAAO,IAAA,CAAK,OAAO,MAAA,EAAO;AACvE,EAAA,MAAM,WAA4B,EAAC;AACnC,EAAA,KAAA,MAAW,OAAO,OAAA,EAAS;AACzB,IAAA,MAAM,CAAA,GAAI,QAAA,CAAS,GAAA,CAAI,IAAI,CAAA;AAC3B,IAAA,IAAI,CAAC,CAAA,EAAG;AACR,IAAA,MAAM,CAAA,GAAI,CAAA,CAAE,GAAA,EAAK,WAAW,CAAA;AAI5B,IAAA,IAAI,UAAA,CAAW,CAAC,CAAA,EAAG,QAAA,CAAS,KAAK,OAAA,CAAQ,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,EACrD;AACA,EAAA,OAAO,QAAA;AACT","file":"index.js","sourcesContent":["import { isThenable } from \"../fsm/evaluator.js\";\nimport type { Effect, EffectHandler } from \"../fsm/types.js\";\n\n// Lazily-built never-aborting signal for callers who don't supply one. Reused\n// across runEffects() invocations to avoid allocating a controller per call.\nlet NEVER_SIGNAL: AbortSignal | undefined;\nfunction neverSignal(): AbortSignal {\n  if (!NEVER_SIGNAL) NEVER_SIGNAL = new AbortController().signal;\n  return NEVER_SIGNAL;\n}\n\n/**\n * Dispatch a batch of effects through the supplied handler map. Effects whose\n * `type` has no handler are silently skipped (the runtime treats unhandled\n * effects as informational).\n *\n * Returns the array of Promise results (if any handler is async) so callers\n * can `await Promise.all(...)` when they need flushing — the default runtime\n * is fire-and-forget and discards them.\n *\n * Each handler receives an `AbortSignal`. When called from `createRuntime`,\n * the signal is the runtime's own controller. Stand-alone callers may omit\n * `args.signal` (a never-aborting placeholder is supplied) or pass their own\n * (e.g. `AbortSignal.timeout(5000)`, `AbortSignal.any([...])`).\n */\nexport function runEffects<Ctx, Evt>(\n  effects: readonly Effect[],\n  handlers: Readonly<Record<string, EffectHandler<Ctx, Evt>>> | undefined,\n  args: { context: Ctx; event: Evt; signal?: AbortSignal },\n): readonly Promise<void>[] {\n  if (!handlers || effects.length === 0) return [];\n  const signal = args.signal ?? neverSignal();\n  const handlerArgs = { context: args.context, event: args.event, signal };\n  const promises: Promise<void>[] = [];\n  for (const eff of effects) {\n    const h = handlers[eff.type];\n    if (!h) continue;\n    const r = h(eff, handlerArgs);\n    // isThenable (not instanceof Promise) so cross-realm Promises and\n    // user-defined PromiseLike results are also awaitable by callers;\n    // Promise.resolve() normalises them to a real Promise (FSM-B-03).\n    if (isThenable(r)) promises.push(Promise.resolve(r));\n  }\n  return promises;\n}\n"]}
+{"version":3,"sources":["../../src/effects/dispatcher.ts"],"names":[],"mappings":";;;;AAKA,IAAI,YAAA;AACJ,SAAS,WAAA,GAA2B;AAClC,EAAA,IAAI,CAAC,YAAA,EAAc,YAAA,GAAe,IAAI,iBAAgB,CAAE,MAAA;AACxD,EAAA,OAAO,YAAA;AACT;AAgBO,SAAS,UAAA,CACd,OAAA,EACA,QAAA,EACA,IAAA,EAC0B;AAC1B,EAAA,IAAI,CAAC,QAAA,IAAY,OAAA,CAAQ,MAAA,KAAW,CAAA,SAAU,EAAC;AAC/C,EAAA,MAAM,MAAA,GAAS,IAAA,CAAK,MAAA,IAAU,WAAA,EAAY;AAC1C,EAAA,MAAM,WAAA,GAAc,EAAE,OAAA,EAAS,IAAA,CAAK,SAAS,KAAA,EAAO,IAAA,CAAK,OAAO,MAAA,EAAO;AACvE,EAAA,MAAM,WAA4B,EAAC;AACnC,EAAA,KAAA,MAAW,OAAO,OAAA,EAAS;AACzB,IAAA,MAAM,CAAA,GAAI,QAAA,CAAS,QAAA,EAAU,GAAA,CAAI,IAAI,CAAA;AACrC,IAAA,IAAI,CAAC,CAAA,EAAG;AACR,IAAA,MAAM,CAAA,GAAI,CAAA,CAAE,GAAA,EAAK,WAAW,CAAA;AAI5B,IAAA,IAAI,UAAA,CAAW,CAAC,CAAA,EAAG,QAAA,CAAS,KAAK,OAAA,CAAQ,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,EACrD;AACA,EAAA,OAAO,QAAA;AACT","file":"index.js","sourcesContent":["import { isThenable, ownValue } from \"../fsm/evaluator.js\";\nimport type { Effect, EffectHandler } from \"../fsm/types.js\";\n\n// Lazily-built never-aborting signal for callers who don't supply one. Reused\n// across runEffects() invocations to avoid allocating a controller per call.\nlet NEVER_SIGNAL: AbortSignal | undefined;\nfunction neverSignal(): AbortSignal {\n  if (!NEVER_SIGNAL) NEVER_SIGNAL = new AbortController().signal;\n  return NEVER_SIGNAL;\n}\n\n/**\n * Dispatch a batch of effects through the supplied handler map. Effects whose\n * `type` has no handler are silently skipped (the runtime treats unhandled\n * effects as informational).\n *\n * Returns the array of Promise results (if any handler is async) so callers\n * can `await Promise.all(...)` when they need flushing — the default runtime\n * is fire-and-forget and discards them.\n *\n * Each handler receives an `AbortSignal`. When called from `createRuntime`,\n * the signal is the runtime's own controller. Stand-alone callers may omit\n * `args.signal` (a never-aborting placeholder is supplied) or pass their own\n * (e.g. `AbortSignal.timeout(5000)`, `AbortSignal.any([...])`).\n */\nexport function runEffects<Ctx, Evt>(\n  effects: readonly Effect[],\n  handlers: Readonly<Record<string, EffectHandler<Ctx, Evt>>> | undefined,\n  args: { context: Ctx; event: Evt; signal?: AbortSignal },\n): readonly Promise<void>[] {\n  if (!handlers || effects.length === 0) return [];\n  const signal = args.signal ?? neverSignal();\n  const handlerArgs = { context: args.context, event: args.event, signal };\n  const promises: Promise<void>[] = [];\n  for (const eff of effects) {\n    const h = ownValue(handlers, eff.type);\n    if (!h) continue;\n    const r = h(eff, handlerArgs);\n    // isThenable (not instanceof Promise) so cross-realm Promises and\n    // user-defined PromiseLike results are also awaitable by callers;\n    // Promise.resolve() normalises them to a real Promise (FSM-B-03).\n    if (isThenable(r)) promises.push(Promise.resolve(r));\n  }\n  return promises;\n}\n"]}

package/dist/guards/index.cjs

@@ -1,15 +1,14 @@
 'use strict';
 
-var chunkCDK25FTD_cjs = require('../chunk-CDK25FTD.cjs');
-require('../chunk-Q7SFCCGT.cjs');
+var chunkQCTA2X4J_cjs = require('../chunk-QCTA2X4J.cjs');
 
 // src/guards/index.ts
 function resolveItem(item, args) {
-  const fn = typeof item === "function" ? item : args.guards?.[item];
-  if (!fn) throw new chunkCDK25FTD_cjs.UnknownGuardError(item);
+  const fn = typeof item === "function" ? item : chunkQCTA2X4J_cjs.ownValue(args.guards, item);
+  if (!fn) throw new chunkQCTA2X4J_cjs.UnknownGuardError(item);
   const result = fn(args);
-  if (chunkCDK25FTD_cjs.isThenable(result)) {
-    throw new chunkCDK25FTD_cjs.AsyncGuardError(typeof item === "string" ? item : fn.name || "<inline>");
+  if (chunkQCTA2X4J_cjs.isThenable(result)) {
+    throw new chunkQCTA2X4J_cjs.AsyncGuardError(typeof item === "string" ? item : fn.name || "<inline>");
   }
   return result;
 }

package/dist/guards/index.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/guards/index.ts"],"names":["UnknownGuardError","isThenable","AsyncGuardError"],"mappings":";;;;;;AAGA,SAAS,WAAA,CAAsB,MAA0B,IAAA,EAAoC;AAC3F,EAAA,MAAM,KAAK,OAAO,IAAA,KAAS,aAAa,IAAA,GAAO,IAAA,CAAK,SAAS,IAAI,CAAA;AACjE,EAAA,IAAI,CAAC,EAAA,EAAI,MAAM,IAAIA,oCAAkB,IAAc,CAAA;AACnD,EAAA,MAAM,MAAA,GAAS,GAAG,IAAI,CAAA;AAItB,EAAA,IAAIC,4BAAA,CAAW,MAAM,CAAA,EAAG;AAGtB,IAAA,MAAM,IAAIC,kCAAgB,OAAO,IAAA,KAAS,WAAW,IAAA,GAAO,EAAA,CAAG,QAAQ,UAAU,CAAA;AAAA,EACnF;AACA,EAAA,OAAO,MAAA;AACT;AAGO,SAAS,IAAc,KAAA,EAAuD;AACnF,EAAA,OAAO,CAAC,IAAA,KAAS;AACf,IAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,MAAA,IAAI,CAAC,WAAA,CAAY,IAAA,EAAM,IAAI,GAAG,OAAO,KAAA;AAAA,IACvC;AACA,IAAA,OAAO,IAAA;AAAA,EACT,CAAA;AACF;AAGO,SAAS,GAAa,KAAA,EAAuD;AAClF,EAAA,OAAO,CAAC,IAAA,KAAS;AACf,IAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,MAAA,IAAI,WAAA,CAAY,IAAA,EAAM,IAAI,CAAA,EAAG,OAAO,IAAA;AAAA,IACtC;AACA,IAAA,OAAO,KAAA;AAAA,EACT,CAAA;AACF;AAGO,SAAS,IAAc,IAAA,EAA2C;AACvE,EAAA,OAAO,CAAC,IAAA,KAAS,CAAC,WAAA,CAAY,MAAM,IAAI,CAAA;AAC1C;AAQO,SAAS,WAAqB,MAAA,EAA4C;AAC/E,EAAA,MAAM,GAAA,GAAM,IAAI,GAAA,CAAY,MAAM,CAAA;AAClC,EAAA,OAAO,CAAC,EAAE,KAAA,EAAM,KAAM,OAAO,KAAA,KAAU,QAAA,IAAY,GAAA,CAAI,GAAA,CAAI,KAAK,CAAA;AAClE","file":"index.cjs","sourcesContent":["import { AsyncGuardError, UnknownGuardError, isThenable } from \"../fsm/evaluator.js\";\nimport type { Guard, GuardArgs, GuardRef } from \"../fsm/types.js\";\n\nfunction resolveItem<Ctx, Evt>(item: GuardRef<Ctx, Evt>, args: GuardArgs<Ctx, Evt>): boolean {\n  const fn = typeof item === \"function\" ? item : args.guards?.[item];\n  if (!fn) throw new UnknownGuardError(item as string);\n  const result = fn(args);\n  // Mirror evalGuard's safety net: a guard that returns a thenable breaks\n  // determinism. Checked here too so a thenable nested inside and/or/not is\n  // rejected rather than coerced truthy by the combinator (FSM-S-01).\n  if (isThenable(result)) {\n    // Function.prototype.name is \"\" for anonymous arrows — fall back to\n    // \"<inline>\" so the message stays readable (matches evalGuard).\n    throw new AsyncGuardError(typeof item === \"string\" ? item : fn.name || \"<inline>\");\n  }\n  return result;\n}\n\n/** Logical AND over guards. Short-circuits on the first `false`. */\nexport function and<Ctx, Evt>(items: readonly GuardRef<Ctx, Evt>[]): Guard<Ctx, Evt> {\n  return (args) => {\n    for (const item of items) {\n      if (!resolveItem(item, args)) return false;\n    }\n    return true;\n  };\n}\n\n/** Logical OR over guards. Short-circuits on the first `true`. */\nexport function or<Ctx, Evt>(items: readonly GuardRef<Ctx, Evt>[]): Guard<Ctx, Evt> {\n  return (args) => {\n    for (const item of items) {\n      if (resolveItem(item, args)) return true;\n    }\n    return false;\n  };\n}\n\n/** Logical NOT. */\nexport function not<Ctx, Evt>(item: GuardRef<Ctx, Evt>): Guard<Ctx, Evt> {\n  return (args) => !resolveItem(item, args);\n}\n\n/**\n * Predicate that passes when the current state value is one of the listed\n * states. Reads `args.value`, which `evalGuard` threads from the live\n * snapshot. When called outside of `evalGuard` (e.g. unit tests), `value` is\n * `undefined` and the guard returns `false`.\n */\nexport function stateIn<Ctx, Evt>(...states: readonly string[]): Guard<Ctx, Evt> {\n  const set = new Set<string>(states);\n  return ({ value }) => typeof value === \"string\" && set.has(value);\n}\n"]}
+{"version":3,"sources":["../../src/guards/index.ts"],"names":["ownValue","UnknownGuardError","isThenable","AsyncGuardError"],"mappings":";;;;;AAGA,SAAS,WAAA,CAAsB,MAA0B,IAAA,EAAoC;AAC3F,EAAA,MAAM,EAAA,GAAK,OAAO,IAAA,KAAS,UAAA,GAAa,OAAOA,0BAAA,CAAS,IAAA,CAAK,QAAQ,IAAI,CAAA;AACzE,EAAA,IAAI,CAAC,EAAA,EAAI,MAAM,IAAIC,oCAAkB,IAAc,CAAA;AACnD,EAAA,MAAM,MAAA,GAAS,GAAG,IAAI,CAAA;AAItB,EAAA,IAAIC,4BAAA,CAAW,MAAM,CAAA,EAAG;AAGtB,IAAA,MAAM,IAAIC,kCAAgB,OAAO,IAAA,KAAS,WAAW,IAAA,GAAO,EAAA,CAAG,QAAQ,UAAU,CAAA;AAAA,EACnF;AACA,EAAA,OAAO,MAAA;AACT;AAGO,SAAS,IAAc,KAAA,EAAuD;AACnF,EAAA,OAAO,CAAC,IAAA,KAAS;AACf,IAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,MAAA,IAAI,CAAC,WAAA,CAAY,IAAA,EAAM,IAAI,GAAG,OAAO,KAAA;AAAA,IACvC;AACA,IAAA,OAAO,IAAA;AAAA,EACT,CAAA;AACF;AAGO,SAAS,GAAa,KAAA,EAAuD;AAClF,EAAA,OAAO,CAAC,IAAA,KAAS;AACf,IAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,MAAA,IAAI,WAAA,CAAY,IAAA,EAAM,IAAI,CAAA,EAAG,OAAO,IAAA;AAAA,IACtC;AACA,IAAA,OAAO,KAAA;AAAA,EACT,CAAA;AACF;AAGO,SAAS,IAAc,IAAA,EAA2C;AACvE,EAAA,OAAO,CAAC,IAAA,KAAS,CAAC,WAAA,CAAY,MAAM,IAAI,CAAA;AAC1C;AAQO,SAAS,WAAqB,MAAA,EAA4C;AAC/E,EAAA,MAAM,GAAA,GAAM,IAAI,GAAA,CAAY,MAAM,CAAA;AAClC,EAAA,OAAO,CAAC,EAAE,KAAA,EAAM,KAAM,OAAO,KAAA,KAAU,QAAA,IAAY,GAAA,CAAI,GAAA,CAAI,KAAK,CAAA;AAClE","file":"index.cjs","sourcesContent":["import { AsyncGuardError, UnknownGuardError, isThenable, ownValue } from \"../fsm/evaluator.js\";\nimport type { Guard, GuardArgs, GuardRef } from \"../fsm/types.js\";\n\nfunction resolveItem<Ctx, Evt>(item: GuardRef<Ctx, Evt>, args: GuardArgs<Ctx, Evt>): boolean {\n  const fn = typeof item === \"function\" ? item : ownValue(args.guards, item);\n  if (!fn) throw new UnknownGuardError(item as string);\n  const result = fn(args);\n  // Mirror evalGuard's safety net: a guard that returns a thenable breaks\n  // determinism. Checked here too so a thenable nested inside and/or/not is\n  // rejected rather than coerced truthy by the combinator (FSM-S-01).\n  if (isThenable(result)) {\n    // Function.prototype.name is \"\" for anonymous arrows — fall back to\n    // \"<inline>\" so the message stays readable (matches evalGuard).\n    throw new AsyncGuardError(typeof item === \"string\" ? item : fn.name || \"<inline>\");\n  }\n  return result;\n}\n\n/** Logical AND over guards. Short-circuits on the first `false`. */\nexport function and<Ctx, Evt>(items: readonly GuardRef<Ctx, Evt>[]): Guard<Ctx, Evt> {\n  return (args) => {\n    for (const item of items) {\n      if (!resolveItem(item, args)) return false;\n    }\n    return true;\n  };\n}\n\n/** Logical OR over guards. Short-circuits on the first `true`. */\nexport function or<Ctx, Evt>(items: readonly GuardRef<Ctx, Evt>[]): Guard<Ctx, Evt> {\n  return (args) => {\n    for (const item of items) {\n      if (resolveItem(item, args)) return true;\n    }\n    return false;\n  };\n}\n\n/** Logical NOT. */\nexport function not<Ctx, Evt>(item: GuardRef<Ctx, Evt>): Guard<Ctx, Evt> {\n  return (args) => !resolveItem(item, args);\n}\n\n/**\n * Predicate that passes when the current state value is one of the listed\n * states. Reads `args.value`, which `evalGuard` threads from the live\n * snapshot. When called outside of `evalGuard` (e.g. unit tests), `value` is\n * `undefined` and the guard returns `false`.\n */\nexport function stateIn<Ctx, Evt>(...states: readonly string[]): Guard<Ctx, Evt> {\n  const set = new Set<string>(states);\n  return ({ value }) => typeof value === \"string\" && set.has(value);\n}\n"]}

package/dist/guards/index.d.cts

@@ -1,4 +1,4 @@
-import { e as GuardRef, G as Guard } from '../types-DIM7QTtf.cjs';
+import { e as GuardRef, G as Guard } from '../types-CrDxFfBx.cjs';
 
 /** Logical AND over guards. Short-circuits on the first `false`. */
 declare function and<Ctx, Evt>(items: readonly GuardRef<Ctx, Evt>[]): Guard<Ctx, Evt>;

package/dist/guards/index.d.ts

@@ -1,4 +1,4 @@
-import { e as GuardRef, G as Guard } from '../types-DIM7QTtf.js';
+import { e as GuardRef, G as Guard } from '../types-CrDxFfBx.js';
 
 /** Logical AND over guards. Short-circuits on the first `false`. */
 declare function and<Ctx, Evt>(items: readonly GuardRef<Ctx, Evt>[]): Guard<Ctx, Evt>;

package/dist/guards/index.js

@@ -1,9 +1,8 @@
-import { UnknownGuardError, isThenable, AsyncGuardError } from '../chunk-A7U7QQL5.js';
-import '../chunk-PZ5AY32C.js';
+import { ownValue, UnknownGuardError, isThenable, AsyncGuardError } from '../chunk-SSNKGEVB.js';
 
 // src/guards/index.ts
 function resolveItem(item, args) {
-  const fn = typeof item === "function" ? item : args.guards?.[item];
+  const fn = typeof item === "function" ? item : ownValue(args.guards, item);
   if (!fn) throw new UnknownGuardError(item);
   const result = fn(args);
   if (isThenable(result)) {

package/dist/guards/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/guards/index.ts"],"names":[],"mappings":";;;;AAGA,SAAS,WAAA,CAAsB,MAA0B,IAAA,EAAoC;AAC3F,EAAA,MAAM,KAAK,OAAO,IAAA,KAAS,aAAa,IAAA,GAAO,IAAA,CAAK,SAAS,IAAI,CAAA;AACjE,EAAA,IAAI,CAAC,EAAA,EAAI,MAAM,IAAI,kBAAkB,IAAc,CAAA;AACnD,EAAA,MAAM,MAAA,GAAS,GAAG,IAAI,CAAA;AAItB,EAAA,IAAI,UAAA,CAAW,MAAM,CAAA,EAAG;AAGtB,IAAA,MAAM,IAAI,gBAAgB,OAAO,IAAA,KAAS,WAAW,IAAA,GAAO,EAAA,CAAG,QAAQ,UAAU,CAAA;AAAA,EACnF;AACA,EAAA,OAAO,MAAA;AACT;AAGO,SAAS,IAAc,KAAA,EAAuD;AACnF,EAAA,OAAO,CAAC,IAAA,KAAS;AACf,IAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,MAAA,IAAI,CAAC,WAAA,CAAY,IAAA,EAAM,IAAI,GAAG,OAAO,KAAA;AAAA,IACvC;AACA,IAAA,OAAO,IAAA;AAAA,EACT,CAAA;AACF;AAGO,SAAS,GAAa,KAAA,EAAuD;AAClF,EAAA,OAAO,CAAC,IAAA,KAAS;AACf,IAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,MAAA,IAAI,WAAA,CAAY,IAAA,EAAM,IAAI,CAAA,EAAG,OAAO,IAAA;AAAA,IACtC;AACA,IAAA,OAAO,KAAA;AAAA,EACT,CAAA;AACF;AAGO,SAAS,IAAc,IAAA,EAA2C;AACvE,EAAA,OAAO,CAAC,IAAA,KAAS,CAAC,WAAA,CAAY,MAAM,IAAI,CAAA;AAC1C;AAQO,SAAS,WAAqB,MAAA,EAA4C;AAC/E,EAAA,MAAM,GAAA,GAAM,IAAI,GAAA,CAAY,MAAM,CAAA;AAClC,EAAA,OAAO,CAAC,EAAE,KAAA,EAAM,KAAM,OAAO,KAAA,KAAU,QAAA,IAAY,GAAA,CAAI,GAAA,CAAI,KAAK,CAAA;AAClE","file":"index.js","sourcesContent":["import { AsyncGuardError, UnknownGuardError, isThenable } from \"../fsm/evaluator.js\";\nimport type { Guard, GuardArgs, GuardRef } from \"../fsm/types.js\";\n\nfunction resolveItem<Ctx, Evt>(item: GuardRef<Ctx, Evt>, args: GuardArgs<Ctx, Evt>): boolean {\n  const fn = typeof item === \"function\" ? item : args.guards?.[item];\n  if (!fn) throw new UnknownGuardError(item as string);\n  const result = fn(args);\n  // Mirror evalGuard's safety net: a guard that returns a thenable breaks\n  // determinism. Checked here too so a thenable nested inside and/or/not is\n  // rejected rather than coerced truthy by the combinator (FSM-S-01).\n  if (isThenable(result)) {\n    // Function.prototype.name is \"\" for anonymous arrows — fall back to\n    // \"<inline>\" so the message stays readable (matches evalGuard).\n    throw new AsyncGuardError(typeof item === \"string\" ? item : fn.name || \"<inline>\");\n  }\n  return result;\n}\n\n/** Logical AND over guards. Short-circuits on the first `false`. */\nexport function and<Ctx, Evt>(items: readonly GuardRef<Ctx, Evt>[]): Guard<Ctx, Evt> {\n  return (args) => {\n    for (const item of items) {\n      if (!resolveItem(item, args)) return false;\n    }\n    return true;\n  };\n}\n\n/** Logical OR over guards. Short-circuits on the first `true`. */\nexport function or<Ctx, Evt>(items: readonly GuardRef<Ctx, Evt>[]): Guard<Ctx, Evt> {\n  return (args) => {\n    for (const item of items) {\n      if (resolveItem(item, args)) return true;\n    }\n    return false;\n  };\n}\n\n/** Logical NOT. */\nexport function not<Ctx, Evt>(item: GuardRef<Ctx, Evt>): Guard<Ctx, Evt> {\n  return (args) => !resolveItem(item, args);\n}\n\n/**\n * Predicate that passes when the current state value is one of the listed\n * states. Reads `args.value`, which `evalGuard` threads from the live\n * snapshot. When called outside of `evalGuard` (e.g. unit tests), `value` is\n * `undefined` and the guard returns `false`.\n */\nexport function stateIn<Ctx, Evt>(...states: readonly string[]): Guard<Ctx, Evt> {\n  const set = new Set<string>(states);\n  return ({ value }) => typeof value === \"string\" && set.has(value);\n}\n"]}
+{"version":3,"sources":["../../src/guards/index.ts"],"names":[],"mappings":";;;AAGA,SAAS,WAAA,CAAsB,MAA0B,IAAA,EAAoC;AAC3F,EAAA,MAAM,EAAA,GAAK,OAAO,IAAA,KAAS,UAAA,GAAa,OAAO,QAAA,CAAS,IAAA,CAAK,QAAQ,IAAI,CAAA;AACzE,EAAA,IAAI,CAAC,EAAA,EAAI,MAAM,IAAI,kBAAkB,IAAc,CAAA;AACnD,EAAA,MAAM,MAAA,GAAS,GAAG,IAAI,CAAA;AAItB,EAAA,IAAI,UAAA,CAAW,MAAM,CAAA,EAAG;AAGtB,IAAA,MAAM,IAAI,gBAAgB,OAAO,IAAA,KAAS,WAAW,IAAA,GAAO,EAAA,CAAG,QAAQ,UAAU,CAAA;AAAA,EACnF;AACA,EAAA,OAAO,MAAA;AACT;AAGO,SAAS,IAAc,KAAA,EAAuD;AACnF,EAAA,OAAO,CAAC,IAAA,KAAS;AACf,IAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,MAAA,IAAI,CAAC,WAAA,CAAY,IAAA,EAAM,IAAI,GAAG,OAAO,KAAA;AAAA,IACvC;AACA,IAAA,OAAO,IAAA;AAAA,EACT,CAAA;AACF;AAGO,SAAS,GAAa,KAAA,EAAuD;AAClF,EAAA,OAAO,CAAC,IAAA,KAAS;AACf,IAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,MAAA,IAAI,WAAA,CAAY,IAAA,EAAM,IAAI,CAAA,EAAG,OAAO,IAAA;AAAA,IACtC;AACA,IAAA,OAAO,KAAA;AAAA,EACT,CAAA;AACF;AAGO,SAAS,IAAc,IAAA,EAA2C;AACvE,EAAA,OAAO,CAAC,IAAA,KAAS,CAAC,WAAA,CAAY,MAAM,IAAI,CAAA;AAC1C;AAQO,SAAS,WAAqB,MAAA,EAA4C;AAC/E,EAAA,MAAM,GAAA,GAAM,IAAI,GAAA,CAAY,MAAM,CAAA;AAClC,EAAA,OAAO,CAAC,EAAE,KAAA,EAAM,KAAM,OAAO,KAAA,KAAU,QAAA,IAAY,GAAA,CAAI,GAAA,CAAI,KAAK,CAAA;AAClE","file":"index.js","sourcesContent":["import { AsyncGuardError, UnknownGuardError, isThenable, ownValue } from \"../fsm/evaluator.js\";\nimport type { Guard, GuardArgs, GuardRef } from \"../fsm/types.js\";\n\nfunction resolveItem<Ctx, Evt>(item: GuardRef<Ctx, Evt>, args: GuardArgs<Ctx, Evt>): boolean {\n  const fn = typeof item === \"function\" ? item : ownValue(args.guards, item);\n  if (!fn) throw new UnknownGuardError(item as string);\n  const result = fn(args);\n  // Mirror evalGuard's safety net: a guard that returns a thenable breaks\n  // determinism. Checked here too so a thenable nested inside and/or/not is\n  // rejected rather than coerced truthy by the combinator (FSM-S-01).\n  if (isThenable(result)) {\n    // Function.prototype.name is \"\" for anonymous arrows — fall back to\n    // \"<inline>\" so the message stays readable (matches evalGuard).\n    throw new AsyncGuardError(typeof item === \"string\" ? item : fn.name || \"<inline>\");\n  }\n  return result;\n}\n\n/** Logical AND over guards. Short-circuits on the first `false`. */\nexport function and<Ctx, Evt>(items: readonly GuardRef<Ctx, Evt>[]): Guard<Ctx, Evt> {\n  return (args) => {\n    for (const item of items) {\n      if (!resolveItem(item, args)) return false;\n    }\n    return true;\n  };\n}\n\n/** Logical OR over guards. Short-circuits on the first `true`. */\nexport function or<Ctx, Evt>(items: readonly GuardRef<Ctx, Evt>[]): Guard<Ctx, Evt> {\n  return (args) => {\n    for (const item of items) {\n      if (resolveItem(item, args)) return true;\n    }\n    return false;\n  };\n}\n\n/** Logical NOT. */\nexport function not<Ctx, Evt>(item: GuardRef<Ctx, Evt>): Guard<Ctx, Evt> {\n  return (args) => !resolveItem(item, args);\n}\n\n/**\n * Predicate that passes when the current state value is one of the listed\n * states. Reads `args.value`, which `evalGuard` threads from the live\n * snapshot. When called outside of `evalGuard` (e.g. unit tests), `value` is\n * `undefined` and the guard returns `false`.\n */\nexport function stateIn<Ctx, Evt>(...states: readonly string[]): Guard<Ctx, Evt> {\n  const set = new Set<string>(states);\n  return ({ value }) => typeof value === \"string\" && set.has(value);\n}\n"]}

package/dist/index.cjs

@@ -1,108 +1,111 @@
 'use strict';
 
-var chunkTPCDOVU4_cjs = require('./chunk-TPCDOVU4.cjs');
-var chunkI354FONA_cjs = require('./chunk-I354FONA.cjs');
+var chunkYK25NVFC_cjs = require('./chunk-YK25NVFC.cjs');
+var chunkVGLF5NQH_cjs = require('./chunk-VGLF5NQH.cjs');
 require('./chunk-3B2USJ3H.cjs');
-var chunkCDK25FTD_cjs = require('./chunk-CDK25FTD.cjs');
-require('./chunk-Q7SFCCGT.cjs');
+var chunkQCTA2X4J_cjs = require('./chunk-QCTA2X4J.cjs');
 
 
 
 Object.defineProperty(exports, "InvalidDefinitionError", {
   enumerable: true,
-  get: function () { return chunkTPCDOVU4_cjs.InvalidDefinitionError; }
+  get: function () { return chunkYK25NVFC_cjs.InvalidDefinitionError; }
 });
 Object.defineProperty(exports, "RESET_EVENT_TYPE", {
   enumerable: true,
-  get: function () { return chunkTPCDOVU4_cjs.RESET_EVENT_TYPE; }
+  get: function () { return chunkYK25NVFC_cjs.RESET_EVENT_TYPE; }
 });
 Object.defineProperty(exports, "RuntimeDisposedError", {
   enumerable: true,
-  get: function () { return chunkTPCDOVU4_cjs.RuntimeDisposedError; }
+  get: function () { return chunkYK25NVFC_cjs.RuntimeDisposedError; }
 });
 Object.defineProperty(exports, "SubMachineError", {
   enumerable: true,
-  get: function () { return chunkTPCDOVU4_cjs.SubMachineError; }
+  get: function () { return chunkYK25NVFC_cjs.SubMachineError; }
 });
 Object.defineProperty(exports, "createMachine", {
   enumerable: true,
-  get: function () { return chunkTPCDOVU4_cjs.createMachine; }
+  get: function () { return chunkYK25NVFC_cjs.createMachine; }
 });
 Object.defineProperty(exports, "createRuntime", {
   enumerable: true,
-  get: function () { return chunkTPCDOVU4_cjs.createRuntime; }
+  get: function () { return chunkYK25NVFC_cjs.createRuntime; }
 });
 Object.defineProperty(exports, "defineMachine", {
   enumerable: true,
-  get: function () { return chunkTPCDOVU4_cjs.defineMachine; }
+  get: function () { return chunkYK25NVFC_cjs.defineMachine; }
 });
 Object.defineProperty(exports, "initialSnapshot", {
   enumerable: true,
-  get: function () { return chunkTPCDOVU4_cjs.initialSnapshot; }
+  get: function () { return chunkYK25NVFC_cjs.initialSnapshot; }
 });
 Object.defineProperty(exports, "setup", {
   enumerable: true,
-  get: function () { return chunkTPCDOVU4_cjs.setup; }
+  get: function () { return chunkYK25NVFC_cjs.setup; }
+});
+Object.defineProperty(exports, "InvalidActionResultError", {
+  enumerable: true,
+  get: function () { return chunkVGLF5NQH_cjs.InvalidActionResultError; }
 });
 Object.defineProperty(exports, "UnknownActionError", {
   enumerable: true,
-  get: function () { return chunkI354FONA_cjs.UnknownActionError; }
+  get: function () { return chunkVGLF5NQH_cjs.UnknownActionError; }
 });
 Object.defineProperty(exports, "assign", {
   enumerable: true,
-  get: function () { return chunkI354FONA_cjs.assign; }
+  get: function () { return chunkVGLF5NQH_cjs.assign; }
 });
 Object.defineProperty(exports, "createSnapshot", {
   enumerable: true,
-  get: function () { return chunkI354FONA_cjs.createSnapshot; }
+  get: function () { return chunkVGLF5NQH_cjs.createSnapshot; }
 });
 Object.defineProperty(exports, "deepFreeze", {
   enumerable: true,
-  get: function () { return chunkI354FONA_cjs.deepFreeze; }
+  get: function () { return chunkVGLF5NQH_cjs.deepFreeze; }
 });
 Object.defineProperty(exports, "freezeSnapshot", {
   enumerable: true,
-  get: function () { return chunkI354FONA_cjs.freezeSnapshot; }
+  get: function () { return chunkVGLF5NQH_cjs.freezeSnapshot; }
 });
 Object.defineProperty(exports, "mergeContext", {
   enumerable: true,
-  get: function () { return chunkI354FONA_cjs.mergeContext; }
+  get: function () { return chunkVGLF5NQH_cjs.mergeContext; }
 });
 Object.defineProperty(exports, "normalizeTransition", {
   enumerable: true,
-  get: function () { return chunkI354FONA_cjs.normalizeTransition; }
+  get: function () { return chunkVGLF5NQH_cjs.normalizeTransition; }
 });
 Object.defineProperty(exports, "normalizeTransitions", {
   enumerable: true,
-  get: function () { return chunkI354FONA_cjs.normalizeTransitions; }
+  get: function () { return chunkVGLF5NQH_cjs.normalizeTransitions; }
 });
 Object.defineProperty(exports, "resolveTransitions", {
   enumerable: true,
-  get: function () { return chunkI354FONA_cjs.resolveTransitions; }
+  get: function () { return chunkVGLF5NQH_cjs.resolveTransitions; }
 });
 Object.defineProperty(exports, "step", {
   enumerable: true,
-  get: function () { return chunkI354FONA_cjs.step; }
+  get: function () { return chunkVGLF5NQH_cjs.step; }
 });
 Object.defineProperty(exports, "AsyncGuardError", {
   enumerable: true,
-  get: function () { return chunkCDK25FTD_cjs.AsyncGuardError; }
+  get: function () { return chunkQCTA2X4J_cjs.AsyncGuardError; }
 });
 Object.defineProperty(exports, "UnknownGuardError", {
   enumerable: true,
-  get: function () { return chunkCDK25FTD_cjs.UnknownGuardError; }
+  get: function () { return chunkQCTA2X4J_cjs.UnknownGuardError; }
 });
 Object.defineProperty(exports, "evalGuard", {
   enumerable: true,
-  get: function () { return chunkCDK25FTD_cjs.evalGuard; }
+  get: function () { return chunkQCTA2X4J_cjs.evalGuard; }
 });
 Object.defineProperty(exports, "isAsyncGuardFn", {
   enumerable: true,
-  get: function () { return chunkCDK25FTD_cjs.isAsyncGuardFn; }
+  get: function () { return chunkQCTA2X4J_cjs.isAsyncGuardFn; }
 });
 Object.defineProperty(exports, "resolveGuard", {
   enumerable: true,
-  get: function () { return chunkCDK25FTD_cjs.resolveGuard; }
+  get: function () { return chunkQCTA2X4J_cjs.resolveGuard; }
 });
 //# sourceMappingURL=index.cjs.map
 //# sourceMappingURL=index.cjs.map

package/dist/index.d.cts

@@ -1,6 +1,13 @@
-import { f as MachineDef, I as Implementations, m as RuntimeOptions, j as Runtime, M as MachineConfig, S as Snapshot, o as StateDef, p as StepResult, A as Action, e as GuardRef, G as Guard, T as TransitionConfig, r as TransitionDef } from './types-DIM7QTtf.cjs';
-export { a as ActionRef, E as Effect, b as EffectHandler, c as Enqueuer, d as GuardArgs, g as Middleware, h as MiddlewareContext, R as RESET_EVENT_TYPE, i as ResetEvent, k as RuntimeErrorEvent, l as RuntimeEventMap, n as RuntimeTransitionEvent, q as SubMachineDef } from './types-DIM7QTtf.cjs';
+import { f as MachineDef, I as Implementations, m as RuntimeOptions, j as Runtime, M as MachineConfig, S as Snapshot, o as StateDef, p as StepResult, A as Action, e as GuardRef, G as Guard, T as TransitionConfig, r as TransitionDef } from './types-CrDxFfBx.cjs';
+export { a as ActionRef, E as Effect, b as EffectHandler, c as Enqueuer, d as GuardArgs, g as Middleware, h as MiddlewareContext, R as RESET_EVENT_TYPE, i as ResetEvent, k as RuntimeErrorEvent, l as RuntimeEventMap, n as RuntimeTransitionEvent, q as SubMachineDef } from './types-CrDxFfBx.cjs';
 
+/**
+ * Thrown for an invalid machine definition and, since 0.6.0, for argument
+ * misuse at the definition/runtime boundary (`defineMachine`,
+ * `setup().defineMachine`, `createMachine`, `createRuntime`, and the
+ * `send` / `reset` / `subscribe` / `on` / `onTransition` runtime methods).
+ * Messages read `aifsmjs: <subject> must be <constraint>`.
+ */
 declare class InvalidDefinitionError extends Error {
     constructor(message: string);
 }
@@ -26,8 +33,9 @@ declare function defineMachine<Ctx = Record<string, never>, Evt extends {
 }, States extends string = string>(def: MachineConfig<Ctx, Evt, States>): MachineDef<Ctx, Evt, States>;
 /**
  * Curried builder so `States` can be inferred from `keyof states` without
- * `initial` collapsing it to a single literal. Pass `Ctx` and `Evt` as the
- * type arguments; pass the def to the returned `defineMachine`.
+ * `initial` or a transition `target` collapsing it to a single literal. Pass
+ * `Ctx` and `Evt` as the type arguments; pass the def to the returned
+ * `defineMachine`.
  *
  *   const machine = setup<MyCtx, MyEvt>().defineMachine({
  *     id: "m",
@@ -44,7 +52,9 @@ declare function setup<Ctx = Record<string, never>, Evt extends {
     defineMachine: <const States extends string>(def: Readonly<{
         id: string;
         initial: NoInfer<States>;
-        states: Readonly<Record<States, StateDef<Ctx, Evt, States>>>;
+        states: Readonly<{
+            [K in States]: StateDef<Ctx, Evt, NoInfer<States>>;
+        }>;
     }> & (Record<string, never> extends Ctx ? {
         readonly context?: Ctx;
     } : {
@@ -75,6 +85,21 @@ declare class UnknownActionError extends Error {
     readonly actionName: string;
     constructor(actionName: string);
 }
+/**
+ * Thrown (from `step()`, and so from `send()` before anything is committed)
+ * when an action returns a non-nullish primitive (`false`, `0`, `""`, ...) as
+ * the patch for an object context. An object context accepts only a
+ * plain-object patch or `undefined`/`null` (no change).
+ *
+ * `actionName` is the string ref, the inline function's name, or `"<inline>"`
+ * for an anonymous inline action (mirrors guard naming).
+ *
+ * @since 0.6.0
+ */
+declare class InvalidActionResultError extends Error {
+    readonly actionName: string;
+    constructor(actionName: string, patch: unknown);
+}
 /**
  * Compute the next snapshot and collected effects from a single event.
  *
@@ -87,6 +112,7 @@ declare class UnknownActionError extends Error {
  *   6. return { snapshot, effects, changed }
  *
  * The function is pure: it never dispatches effects and never mutates inputs.
+ * Each guard on the path is evaluated at most once.
  */
 declare function step<Ctx, Evt extends {
     type: string;
@@ -98,11 +124,15 @@ declare class RuntimeDisposedError extends Error {
 /**
  * Thrown by `send()` / `reset()` when a sub-machine init or dispose throws.
  *
- * Invariants:
- * - `phase: "init"` — child constructor threw. Parent snapshot was rolled
- *   back to `prev`; no middleware ran; no `'transition'` emitted; no effects.
- * - `phase: "dispose"` — previous child's `dispose()` threw during transition.
- *   Parent snapshot was rolled back to `prev`; child reference is cleared.
+ * Prepare-then-commit: the new child is constructed before the previous one
+ * is disposed. Invariants:
+ * - `phase: "init"` — the new child's constructor threw. The parent snapshot
+ *   is not committed and the previous child (if any) is untouched: still live
+ *   and still returned by `subRuntime()`. No middleware ran, no `'transition'`
+ *   was emitted, no effects were dispatched.
+ * - `phase: "dispose"` — the previous child's `dispose()` threw. The new
+ *   child (if any) was discarded, the parent snapshot is not committed, and
+ *   `subRuntime()` returns `undefined` until the sub state is re-entered.
  * - Never thrown from `runtime.dispose()` cascade (never-throws contract).
  *
  * @since 0.3.0
@@ -115,9 +145,18 @@ declare class SubMachineError extends Error {
 }
 /**
  * Build a thin stateful runtime around a machine. `send()` calls `step()`,
- * runs the read-only middleware pipeline, dispatches effects, and notifies
- * subscribers. The runtime owns an `AbortController`; `dispose()` aborts it
- * and clears all state.
+ * commits, runs the read-only middleware pipeline, dispatches effects, and
+ * notifies subscribers then `'transition'` listeners. `send()`/`reset()` are
+ * run-to-completion: a call made while the runtime is already dispatching
+ * (from middleware, an effect handler, a listener, or a child runtime) is
+ * queued FIFO and processed after the current event's last notification.
+ * The runtime owns an `AbortController`; `dispose()` aborts it and clears all
+ * state.
+ *
+ * Arguments are validated before anything is created: a non-object `def`,
+ * `def.states`, `impl` or `opts`, or a `middleware` option that is not an
+ * array of functions, throws `InvalidDefinitionError`. The rest of `def` is
+ * trusted (build it with `defineMachine` / `setup().defineMachine`).
  */
 declare function createRuntime<Ctx, Evt extends {
     type: string;
@@ -132,12 +171,21 @@ declare function assign<Ctx, Evt>(updater: (args: {
     event: Evt;
 }) => Partial<Ctx>): Action<Ctx, Evt>;
 /**
- * Merge a partial context update into the current context. Plain-object
- * contexts get a shallow merge; non-object contexts get replaced wholesale.
+ * Merge an action's result into the current context. The function never
+ * mutates either argument.
  *
- * The function never mutates either argument.
+ * - `undefined` / `null` patch: `current` is returned unchanged.
+ * - Object context (not an array or `ArrayBuffer` view) + plain-object patch:
+ *   shallow merge into a new object that keeps `current`'s prototype, so a
+ *   class-instance context keeps its methods and untouched fields. Only own
+ *   enumerable (string and symbol) properties are carried; `#private` and
+ *   non-enumerable members are not, so prefer plain-object contexts.
+ * - Object context + non-nullish primitive patch (`false`, `0`, `""`, ...):
+ *   throws {@link InvalidActionResultError} (`actionName` names the action).
+ * - Anything else (a primitive or array context, or a non-plain-object patch
+ *   such as an array or class instance): the patch replaces `current`.
  */
-declare function mergeContext<Ctx>(current: Ctx, patch: Partial<Ctx> | void): Ctx;
+declare function mergeContext<Ctx>(current: Ctx, patch: Partial<Ctx> | void, actionName?: string): Ctx;
 
 declare class UnknownGuardError extends Error {
     readonly guardName: string;
@@ -220,4 +268,4 @@ declare function createSnapshot<C, S extends string>(args: {
     status?: "active" | "final";
 }): Snapshot<C, S>;
 
-export { Action, AsyncGuardError, Guard, GuardRef, Implementations, InvalidDefinitionError, MachineDef, Runtime, RuntimeDisposedError, RuntimeOptions, Snapshot, StateDef, StepResult, SubMachineError, TransitionConfig, TransitionDef, UnknownActionError, UnknownGuardError, assign, createMachine, createRuntime, createSnapshot, deepFreeze, defineMachine, evalGuard, freezeSnapshot, initialSnapshot, isAsyncGuardFn, mergeContext, normalizeTransition, normalizeTransitions, resolveGuard, resolveTransitions, setup, step };
+export { Action, AsyncGuardError, Guard, GuardRef, Implementations, InvalidActionResultError, InvalidDefinitionError, MachineConfig, MachineDef, Runtime, RuntimeDisposedError, RuntimeOptions, Snapshot, StateDef, StepResult, SubMachineError, TransitionConfig, TransitionDef, UnknownActionError, UnknownGuardError, assign, createMachine, createRuntime, createSnapshot, deepFreeze, defineMachine, evalGuard, freezeSnapshot, initialSnapshot, isAsyncGuardFn, mergeContext, normalizeTransition, normalizeTransitions, resolveGuard, resolveTransitions, setup, step };

package/dist/index.d.ts

@@ -1,6 +1,13 @@
-import { f as MachineDef, I as Implementations, m as RuntimeOptions, j as Runtime, M as MachineConfig, S as Snapshot, o as StateDef, p as StepResult, A as Action, e as GuardRef, G as Guard, T as TransitionConfig, r as TransitionDef } from './types-DIM7QTtf.js';
-export { a as ActionRef, E as Effect, b as EffectHandler, c as Enqueuer, d as GuardArgs, g as Middleware, h as MiddlewareContext, R as RESET_EVENT_TYPE, i as ResetEvent, k as RuntimeErrorEvent, l as RuntimeEventMap, n as RuntimeTransitionEvent, q as SubMachineDef } from './types-DIM7QTtf.js';
+import { f as MachineDef, I as Implementations, m as RuntimeOptions, j as Runtime, M as MachineConfig, S as Snapshot, o as StateDef, p as StepResult, A as Action, e as GuardRef, G as Guard, T as TransitionConfig, r as TransitionDef } from './types-CrDxFfBx.js';
+export { a as ActionRef, E as Effect, b as EffectHandler, c as Enqueuer, d as GuardArgs, g as Middleware, h as MiddlewareContext, R as RESET_EVENT_TYPE, i as ResetEvent, k as RuntimeErrorEvent, l as RuntimeEventMap, n as RuntimeTransitionEvent, q as SubMachineDef } from './types-CrDxFfBx.js';
 
+/**
+ * Thrown for an invalid machine definition and, since 0.6.0, for argument
+ * misuse at the definition/runtime boundary (`defineMachine`,
+ * `setup().defineMachine`, `createMachine`, `createRuntime`, and the
+ * `send` / `reset` / `subscribe` / `on` / `onTransition` runtime methods).
+ * Messages read `aifsmjs: <subject> must be <constraint>`.
+ */
 declare class InvalidDefinitionError extends Error {
     constructor(message: string);
 }
@@ -26,8 +33,9 @@ declare function defineMachine<Ctx = Record<string, never>, Evt extends {
 }, States extends string = string>(def: MachineConfig<Ctx, Evt, States>): MachineDef<Ctx, Evt, States>;
 /**
  * Curried builder so `States` can be inferred from `keyof states` without
- * `initial` collapsing it to a single literal. Pass `Ctx` and `Evt` as the
- * type arguments; pass the def to the returned `defineMachine`.
+ * `initial` or a transition `target` collapsing it to a single literal. Pass
+ * `Ctx` and `Evt` as the type arguments; pass the def to the returned
+ * `defineMachine`.
  *
  *   const machine = setup<MyCtx, MyEvt>().defineMachine({
  *     id: "m",
@@ -44,7 +52,9 @@ declare function setup<Ctx = Record<string, never>, Evt extends {
     defineMachine: <const States extends string>(def: Readonly<{
         id: string;
         initial: NoInfer<States>;
-        states: Readonly<Record<States, StateDef<Ctx, Evt, States>>>;
+        states: Readonly<{
+            [K in States]: StateDef<Ctx, Evt, NoInfer<States>>;
+        }>;
     }> & (Record<string, never> extends Ctx ? {
         readonly context?: Ctx;
     } : {
@@ -75,6 +85,21 @@ declare class UnknownActionError extends Error {
     readonly actionName: string;
     constructor(actionName: string);
 }
+/**
+ * Thrown (from `step()`, and so from `send()` before anything is committed)
+ * when an action returns a non-nullish primitive (`false`, `0`, `""`, ...) as
+ * the patch for an object context. An object context accepts only a
+ * plain-object patch or `undefined`/`null` (no change).
+ *
+ * `actionName` is the string ref, the inline function's name, or `"<inline>"`
+ * for an anonymous inline action (mirrors guard naming).
+ *
+ * @since 0.6.0
+ */
+declare class InvalidActionResultError extends Error {
+    readonly actionName: string;
+    constructor(actionName: string, patch: unknown);
+}
 /**
  * Compute the next snapshot and collected effects from a single event.
  *
@@ -87,6 +112,7 @@ declare class UnknownActionError extends Error {
  *   6. return { snapshot, effects, changed }
  *
  * The function is pure: it never dispatches effects and never mutates inputs.
+ * Each guard on the path is evaluated at most once.
  */
 declare function step<Ctx, Evt extends {
     type: string;
@@ -98,11 +124,15 @@ declare class RuntimeDisposedError extends Error {
 /**
  * Thrown by `send()` / `reset()` when a sub-machine init or dispose throws.
  *
- * Invariants:
- * - `phase: "init"` — child constructor threw. Parent snapshot was rolled
- *   back to `prev`; no middleware ran; no `'transition'` emitted; no effects.
- * - `phase: "dispose"` — previous child's `dispose()` threw during transition.
- *   Parent snapshot was rolled back to `prev`; child reference is cleared.
+ * Prepare-then-commit: the new child is constructed before the previous one
+ * is disposed. Invariants:
+ * - `phase: "init"` — the new child's constructor threw. The parent snapshot
+ *   is not committed and the previous child (if any) is untouched: still live
+ *   and still returned by `subRuntime()`. No middleware ran, no `'transition'`
+ *   was emitted, no effects were dispatched.
+ * - `phase: "dispose"` — the previous child's `dispose()` threw. The new
+ *   child (if any) was discarded, the parent snapshot is not committed, and
+ *   `subRuntime()` returns `undefined` until the sub state is re-entered.
  * - Never thrown from `runtime.dispose()` cascade (never-throws contract).
  *
  * @since 0.3.0
@@ -115,9 +145,18 @@ declare class SubMachineError extends Error {
 }
 /**
  * Build a thin stateful runtime around a machine. `send()` calls `step()`,
- * runs the read-only middleware pipeline, dispatches effects, and notifies
- * subscribers. The runtime owns an `AbortController`; `dispose()` aborts it
- * and clears all state.
+ * commits, runs the read-only middleware pipeline, dispatches effects, and
+ * notifies subscribers then `'transition'` listeners. `send()`/`reset()` are
+ * run-to-completion: a call made while the runtime is already dispatching
+ * (from middleware, an effect handler, a listener, or a child runtime) is
+ * queued FIFO and processed after the current event's last notification.
+ * The runtime owns an `AbortController`; `dispose()` aborts it and clears all
+ * state.
+ *
+ * Arguments are validated before anything is created: a non-object `def`,
+ * `def.states`, `impl` or `opts`, or a `middleware` option that is not an
+ * array of functions, throws `InvalidDefinitionError`. The rest of `def` is
+ * trusted (build it with `defineMachine` / `setup().defineMachine`).
  */
 declare function createRuntime<Ctx, Evt extends {
     type: string;
@@ -132,12 +171,21 @@ declare function assign<Ctx, Evt>(updater: (args: {
     event: Evt;
 }) => Partial<Ctx>): Action<Ctx, Evt>;
 /**
- * Merge a partial context update into the current context. Plain-object
- * contexts get a shallow merge; non-object contexts get replaced wholesale.
+ * Merge an action's result into the current context. The function never
+ * mutates either argument.
  *
- * The function never mutates either argument.
+ * - `undefined` / `null` patch: `current` is returned unchanged.
+ * - Object context (not an array or `ArrayBuffer` view) + plain-object patch:
+ *   shallow merge into a new object that keeps `current`'s prototype, so a
+ *   class-instance context keeps its methods and untouched fields. Only own
+ *   enumerable (string and symbol) properties are carried; `#private` and
+ *   non-enumerable members are not, so prefer plain-object contexts.
+ * - Object context + non-nullish primitive patch (`false`, `0`, `""`, ...):
+ *   throws {@link InvalidActionResultError} (`actionName` names the action).
+ * - Anything else (a primitive or array context, or a non-plain-object patch
+ *   such as an array or class instance): the patch replaces `current`.
  */
-declare function mergeContext<Ctx>(current: Ctx, patch: Partial<Ctx> | void): Ctx;
+declare function mergeContext<Ctx>(current: Ctx, patch: Partial<Ctx> | void, actionName?: string): Ctx;
 
 declare class UnknownGuardError extends Error {
     readonly guardName: string;
@@ -220,4 +268,4 @@ declare function createSnapshot<C, S extends string>(args: {
     status?: "active" | "final";
 }): Snapshot<C, S>;
 
-export { Action, AsyncGuardError, Guard, GuardRef, Implementations, InvalidDefinitionError, MachineDef, Runtime, RuntimeDisposedError, RuntimeOptions, Snapshot, StateDef, StepResult, SubMachineError, TransitionConfig, TransitionDef, UnknownActionError, UnknownGuardError, assign, createMachine, createRuntime, createSnapshot, deepFreeze, defineMachine, evalGuard, freezeSnapshot, initialSnapshot, isAsyncGuardFn, mergeContext, normalizeTransition, normalizeTransitions, resolveGuard, resolveTransitions, setup, step };
+export { Action, AsyncGuardError, Guard, GuardRef, Implementations, InvalidActionResultError, InvalidDefinitionError, MachineConfig, MachineDef, Runtime, RuntimeDisposedError, RuntimeOptions, Snapshot, StateDef, StepResult, SubMachineError, TransitionConfig, TransitionDef, UnknownActionError, UnknownGuardError, assign, createMachine, createRuntime, createSnapshot, deepFreeze, defineMachine, evalGuard, freezeSnapshot, initialSnapshot, isAsyncGuardFn, mergeContext, normalizeTransition, normalizeTransitions, resolveGuard, resolveTransitions, setup, step };

package/dist/index.js

@@ -1,7 +1,6 @@
-export { InvalidDefinitionError, RESET_EVENT_TYPE, RuntimeDisposedError, SubMachineError, createMachine, createRuntime, defineMachine, initialSnapshot, setup } from './chunk-LG2AH5X6.js';
-export { UnknownActionError, assign, createSnapshot, deepFreeze, freezeSnapshot, mergeContext, normalizeTransition, normalizeTransitions, resolveTransitions, step } from './chunk-ZLQ7HZCE.js';
+export { InvalidDefinitionError, RESET_EVENT_TYPE, RuntimeDisposedError, SubMachineError, createMachine, createRuntime, defineMachine, initialSnapshot, setup } from './chunk-XA24A7VP.js';
+export { InvalidActionResultError, UnknownActionError, assign, createSnapshot, deepFreeze, freezeSnapshot, mergeContext, normalizeTransition, normalizeTransitions, resolveTransitions, step } from './chunk-D6H64FSI.js';
 import './chunk-JKZAOPQC.js';
-export { AsyncGuardError, UnknownGuardError, evalGuard, isAsyncGuardFn, resolveGuard } from './chunk-A7U7QQL5.js';
-import './chunk-PZ5AY32C.js';
+export { AsyncGuardError, UnknownGuardError, evalGuard, isAsyncGuardFn, resolveGuard } from './chunk-SSNKGEVB.js';
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

package/dist/inspect/index.cjs

@@ -1,7 +1,5 @@
 'use strict';
 
-require('../chunk-Q7SFCCGT.cjs');
-
 // src/inspect/index.ts
 function logger(out = (l) => console.log(l)) {
   return (mw, next) => {

package/dist/inspect/index.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/inspect/index.ts"],"names":[],"mappings":";;;;;AAUO,SAAS,OACd,GAAA,GAAwE,CAAC,MAAM,OAAA,CAAQ,GAAA,CAAI,CAAC,CAAA,EAC9D;AAC9B,EAAA,OAAO,CAAC,IAAI,IAAA,KAAS;AACnB,IAAA,IAAA,EAAK;AACL,IAAA,IAAI,GAAG,OAAA,EAAS;AACd,MAAA,GAAA,CAAI,CAAA,CAAA,EAAI,EAAA,CAAG,KAAA,CAAM,IAAI,CAAA,EAAA,EAAK,EAAA,CAAG,IAAA,CAAK,KAAK,CAAA,QAAA,EAAM,EAAA,CAAG,IAAA,CAAK,KAAK,IAAI,EAAE,CAAA;AAAA,IAClE;AAAA,EACF,CAAA;AACF;AAaO,SAAS,QAAkE,IAAA,EAGjD;AAC/B,EAAA,OAAO,CAAC,IAAI,IAAA,KAAS;AACnB,IAAA,IAAA,EAAK;AACL,IAAA,IAAI,GAAG,OAAA,EAAS;AACd,MAAA,IAAA,CAAK,OAAA,CAAQ,QAAQ,IAAA,CAAK,GAAA,EAAK,KAAK,SAAA,CAAU,EAAA,CAAG,IAAI,CAAC,CAAA;AAAA,IACxD;AAAA,EACF,CAAA;AACF;AAcO,SAAS,SACd,IAAA,EAC8B;AAC9B,EAAA,OAAO,CAAC,IAAI,IAAA,KAAS;AACnB,IAAA,IAAA,EAAK;AACL,IAAA,IAAA,CAAK,IAAA,CAAK;AAAA,MACR,OAAO,EAAA,CAAG,KAAA;AAAA,MACV,MAAM,EAAA,CAAG,IAAA;AAAA,MACT,MAAM,EAAA,CAAG,IAAA;AAAA,MACT,SAAS,EAAA,CAAG;AAAA,KACb,CAAA;AAAA,EACH,CAAA;AACF","file":"index.cjs","sourcesContent":["import type { Middleware, MiddlewareContext } from \"../fsm/types.js\";\n\nexport type { Middleware, MiddlewareContext } from \"../fsm/types.js\";\n\n/**\n * Log every transition that changed the snapshot. Default formatter:\n *   \"[EVENT_TYPE] oldState → newState\"\n *\n * Pass a custom `out` callback to integrate with structured logging.\n */\nexport function logger<Ctx, Evt extends { type: string }, States extends string>(\n  out: (line: string, ctx: MiddlewareContext<Ctx, Evt, States>) => void = (l) => console.log(l),\n): Middleware<Ctx, Evt, States> {\n  return (mw, next) => {\n    next();\n    if (mw.changed) {\n      out(`[${mw.event.type}] ${mw.prev.value} → ${mw.next.value}`, mw);\n    }\n  };\n}\n\nexport type StorageLike = {\n  setItem(key: string, value: string): void;\n};\n\n/**\n * Persist the latest snapshot to a storage-like sink on every change. The\n * snapshot is JSON-serialised; non-serializable context fields will throw.\n *\n * For replay, pair this with `aifsmjs/replay` and an event log of your own\n * choosing — this middleware only persists the latest snapshot.\n */\nexport function persist<Ctx, Evt extends { type: string }, States extends string>(opts: {\n  key: string;\n  storage: StorageLike;\n}): Middleware<Ctx, Evt, States> {\n  return (mw, next) => {\n    next();\n    if (mw.changed) {\n      opts.storage.setItem(opts.key, JSON.stringify(mw.next));\n    }\n  };\n}\n\n/**\n * Collect every event-snapshot pair into the supplied array. Useful for\n * test assertions, time-travel debugging, or building event logs to feed\n * back into `replay()`.\n */\nexport type RecordedEntry<Ctx, Evt, States extends string> = Readonly<{\n  event: MiddlewareContext<Ctx, Evt, States>[\"event\"];\n  prev: MiddlewareContext<Ctx, Evt, States>[\"prev\"];\n  next: MiddlewareContext<Ctx, Evt, States>[\"next\"];\n  changed: boolean;\n}>;\n\nexport function recorder<Ctx, Evt extends { type: string }, States extends string>(\n  sink: RecordedEntry<Ctx, Evt, States>[],\n): Middleware<Ctx, Evt, States> {\n  return (mw, next) => {\n    next();\n    sink.push({\n      event: mw.event,\n      prev: mw.prev,\n      next: mw.next,\n      changed: mw.changed,\n    });\n  };\n}\n"]}
+{"version":3,"sources":["../../src/inspect/index.ts"],"names":[],"mappings":";;;AAUO,SAAS,OACd,GAAA,GAAwE,CAAC,MAAM,OAAA,CAAQ,GAAA,CAAI,CAAC,CAAA,EAC9D;AAC9B,EAAA,OAAO,CAAC,IAAI,IAAA,KAAS;AACnB,IAAA,IAAA,EAAK;AACL,IAAA,IAAI,GAAG,OAAA,EAAS;AACd,MAAA,GAAA,CAAI,CAAA,CAAA,EAAI,EAAA,CAAG,KAAA,CAAM,IAAI,CAAA,EAAA,EAAK,EAAA,CAAG,IAAA,CAAK,KAAK,CAAA,QAAA,EAAM,EAAA,CAAG,IAAA,CAAK,KAAK,IAAI,EAAE,CAAA;AAAA,IAClE;AAAA,EACF,CAAA;AACF;AAaO,SAAS,QAAkE,IAAA,EAGjD;AAC/B,EAAA,OAAO,CAAC,IAAI,IAAA,KAAS;AACnB,IAAA,IAAA,EAAK;AACL,IAAA,IAAI,GAAG,OAAA,EAAS;AACd,MAAA,IAAA,CAAK,OAAA,CAAQ,QAAQ,IAAA,CAAK,GAAA,EAAK,KAAK,SAAA,CAAU,EAAA,CAAG,IAAI,CAAC,CAAA;AAAA,IACxD;AAAA,EACF,CAAA;AACF;AAcO,SAAS,SACd,IAAA,EAC8B;AAC9B,EAAA,OAAO,CAAC,IAAI,IAAA,KAAS;AACnB,IAAA,IAAA,EAAK;AACL,IAAA,IAAA,CAAK,IAAA,CAAK;AAAA,MACR,OAAO,EAAA,CAAG,KAAA;AAAA,MACV,MAAM,EAAA,CAAG,IAAA;AAAA,MACT,MAAM,EAAA,CAAG,IAAA;AAAA,MACT,SAAS,EAAA,CAAG;AAAA,KACb,CAAA;AAAA,EACH,CAAA;AACF","file":"index.cjs","sourcesContent":["import type { Middleware, MiddlewareContext } from \"../fsm/types.js\";\n\nexport type { Middleware, MiddlewareContext } from \"../fsm/types.js\";\n\n/**\n * Log every transition that changed the snapshot. Default formatter:\n *   \"[EVENT_TYPE] oldState → newState\"\n *\n * Pass a custom `out` callback to integrate with structured logging.\n */\nexport function logger<Ctx, Evt extends { type: string }, States extends string>(\n  out: (line: string, ctx: MiddlewareContext<Ctx, Evt, States>) => void = (l) => console.log(l),\n): Middleware<Ctx, Evt, States> {\n  return (mw, next) => {\n    next();\n    if (mw.changed) {\n      out(`[${mw.event.type}] ${mw.prev.value} → ${mw.next.value}`, mw);\n    }\n  };\n}\n\nexport type StorageLike = {\n  setItem(key: string, value: string): void;\n};\n\n/**\n * Persist the latest snapshot to a storage-like sink on every change. The\n * snapshot is JSON-serialised; non-serializable context fields will throw.\n *\n * For replay, pair this with `aifsmjs/replay` and an event log of your own\n * choosing — this middleware only persists the latest snapshot.\n */\nexport function persist<Ctx, Evt extends { type: string }, States extends string>(opts: {\n  key: string;\n  storage: StorageLike;\n}): Middleware<Ctx, Evt, States> {\n  return (mw, next) => {\n    next();\n    if (mw.changed) {\n      opts.storage.setItem(opts.key, JSON.stringify(mw.next));\n    }\n  };\n}\n\n/**\n * Collect every event-snapshot pair into the supplied array. Useful for\n * test assertions, time-travel debugging, or building event logs to feed\n * back into `replay()`.\n */\nexport type RecordedEntry<Ctx, Evt, States extends string> = Readonly<{\n  event: MiddlewareContext<Ctx, Evt, States>[\"event\"];\n  prev: MiddlewareContext<Ctx, Evt, States>[\"prev\"];\n  next: MiddlewareContext<Ctx, Evt, States>[\"next\"];\n  changed: boolean;\n}>;\n\nexport function recorder<Ctx, Evt extends { type: string }, States extends string>(\n  sink: RecordedEntry<Ctx, Evt, States>[],\n): Middleware<Ctx, Evt, States> {\n  return (mw, next) => {\n    next();\n    sink.push({\n      event: mw.event,\n      prev: mw.prev,\n      next: mw.next,\n      changed: mw.changed,\n    });\n  };\n}\n"]}

package/dist/inspect/index.d.cts

@@ -1,4 +1,4 @@
-import { h as MiddlewareContext, g as Middleware } from '../types-DIM7QTtf.cjs';
+import { h as MiddlewareContext, g as Middleware } from '../types-CrDxFfBx.cjs';
 
 /**
  * Log every transition that changed the snapshot. Default formatter:

package/dist/inspect/index.d.ts

@@ -1,4 +1,4 @@
-import { h as MiddlewareContext, g as Middleware } from '../types-DIM7QTtf.js';
+import { h as MiddlewareContext, g as Middleware } from '../types-CrDxFfBx.js';
 
 /**
  * Log every transition that changed the snapshot. Default formatter:

package/dist/inspect/index.js

@@ -1,5 +1,3 @@
-import '../chunk-PZ5AY32C.js';
-
 // src/inspect/index.ts
 function logger(out = (l) => console.log(l)) {
   return (mw, next) => {

package/dist/inspect/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/inspect/index.ts"],"names":[],"mappings":";;;AAUO,SAAS,OACd,GAAA,GAAwE,CAAC,MAAM,OAAA,CAAQ,GAAA,CAAI,CAAC,CAAA,EAC9D;AAC9B,EAAA,OAAO,CAAC,IAAI,IAAA,KAAS;AACnB,IAAA,IAAA,EAAK;AACL,IAAA,IAAI,GAAG,OAAA,EAAS;AACd,MAAA,GAAA,CAAI,CAAA,CAAA,EAAI,EAAA,CAAG,KAAA,CAAM,IAAI,CAAA,EAAA,EAAK,EAAA,CAAG,IAAA,CAAK,KAAK,CAAA,QAAA,EAAM,EAAA,CAAG,IAAA,CAAK,KAAK,IAAI,EAAE,CAAA;AAAA,IAClE;AAAA,EACF,CAAA;AACF;AAaO,SAAS,QAAkE,IAAA,EAGjD;AAC/B,EAAA,OAAO,CAAC,IAAI,IAAA,KAAS;AACnB,IAAA,IAAA,EAAK;AACL,IAAA,IAAI,GAAG,OAAA,EAAS;AACd,MAAA,IAAA,CAAK,OAAA,CAAQ,QAAQ,IAAA,CAAK,GAAA,EAAK,KAAK,SAAA,CAAU,EAAA,CAAG,IAAI,CAAC,CAAA;AAAA,IACxD;AAAA,EACF,CAAA;AACF;AAcO,SAAS,SACd,IAAA,EAC8B;AAC9B,EAAA,OAAO,CAAC,IAAI,IAAA,KAAS;AACnB,IAAA,IAAA,EAAK;AACL,IAAA,IAAA,CAAK,IAAA,CAAK;AAAA,MACR,OAAO,EAAA,CAAG,KAAA;AAAA,MACV,MAAM,EAAA,CAAG,IAAA;AAAA,MACT,MAAM,EAAA,CAAG,IAAA;AAAA,MACT,SAAS,EAAA,CAAG;AAAA,KACb,CAAA;AAAA,EACH,CAAA;AACF","file":"index.js","sourcesContent":["import type { Middleware, MiddlewareContext } from \"../fsm/types.js\";\n\nexport type { Middleware, MiddlewareContext } from \"../fsm/types.js\";\n\n/**\n * Log every transition that changed the snapshot. Default formatter:\n *   \"[EVENT_TYPE] oldState → newState\"\n *\n * Pass a custom `out` callback to integrate with structured logging.\n */\nexport function logger<Ctx, Evt extends { type: string }, States extends string>(\n  out: (line: string, ctx: MiddlewareContext<Ctx, Evt, States>) => void = (l) => console.log(l),\n): Middleware<Ctx, Evt, States> {\n  return (mw, next) => {\n    next();\n    if (mw.changed) {\n      out(`[${mw.event.type}] ${mw.prev.value} → ${mw.next.value}`, mw);\n    }\n  };\n}\n\nexport type StorageLike = {\n  setItem(key: string, value: string): void;\n};\n\n/**\n * Persist the latest snapshot to a storage-like sink on every change. The\n * snapshot is JSON-serialised; non-serializable context fields will throw.\n *\n * For replay, pair this with `aifsmjs/replay` and an event log of your own\n * choosing — this middleware only persists the latest snapshot.\n */\nexport function persist<Ctx, Evt extends { type: string }, States extends string>(opts: {\n  key: string;\n  storage: StorageLike;\n}): Middleware<Ctx, Evt, States> {\n  return (mw, next) => {\n    next();\n    if (mw.changed) {\n      opts.storage.setItem(opts.key, JSON.stringify(mw.next));\n    }\n  };\n}\n\n/**\n * Collect every event-snapshot pair into the supplied array. Useful for\n * test assertions, time-travel debugging, or building event logs to feed\n * back into `replay()`.\n */\nexport type RecordedEntry<Ctx, Evt, States extends string> = Readonly<{\n  event: MiddlewareContext<Ctx, Evt, States>[\"event\"];\n  prev: MiddlewareContext<Ctx, Evt, States>[\"prev\"];\n  next: MiddlewareContext<Ctx, Evt, States>[\"next\"];\n  changed: boolean;\n}>;\n\nexport function recorder<Ctx, Evt extends { type: string }, States extends string>(\n  sink: RecordedEntry<Ctx, Evt, States>[],\n): Middleware<Ctx, Evt, States> {\n  return (mw, next) => {\n    next();\n    sink.push({\n      event: mw.event,\n      prev: mw.prev,\n      next: mw.next,\n      changed: mw.changed,\n    });\n  };\n}\n"]}
+{"version":3,"sources":["../../src/inspect/index.ts"],"names":[],"mappings":";AAUO,SAAS,OACd,GAAA,GAAwE,CAAC,MAAM,OAAA,CAAQ,GAAA,CAAI,CAAC,CAAA,EAC9D;AAC9B,EAAA,OAAO,CAAC,IAAI,IAAA,KAAS;AACnB,IAAA,IAAA,EAAK;AACL,IAAA,IAAI,GAAG,OAAA,EAAS;AACd,MAAA,GAAA,CAAI,CAAA,CAAA,EAAI,EAAA,CAAG,KAAA,CAAM,IAAI,CAAA,EAAA,EAAK,EAAA,CAAG,IAAA,CAAK,KAAK,CAAA,QAAA,EAAM,EAAA,CAAG,IAAA,CAAK,KAAK,IAAI,EAAE,CAAA;AAAA,IAClE;AAAA,EACF,CAAA;AACF;AAaO,SAAS,QAAkE,IAAA,EAGjD;AAC/B,EAAA,OAAO,CAAC,IAAI,IAAA,KAAS;AACnB,IAAA,IAAA,EAAK;AACL,IAAA,IAAI,GAAG,OAAA,EAAS;AACd,MAAA,IAAA,CAAK,OAAA,CAAQ,QAAQ,IAAA,CAAK,GAAA,EAAK,KAAK,SAAA,CAAU,EAAA,CAAG,IAAI,CAAC,CAAA;AAAA,IACxD;AAAA,EACF,CAAA;AACF;AAcO,SAAS,SACd,IAAA,EAC8B;AAC9B,EAAA,OAAO,CAAC,IAAI,IAAA,KAAS;AACnB,IAAA,IAAA,EAAK;AACL,IAAA,IAAA,CAAK,IAAA,CAAK;AAAA,MACR,OAAO,EAAA,CAAG,KAAA;AAAA,MACV,MAAM,EAAA,CAAG,IAAA;AAAA,MACT,MAAM,EAAA,CAAG,IAAA;AAAA,MACT,SAAS,EAAA,CAAG;AAAA,KACb,CAAA;AAAA,EACH,CAAA;AACF","file":"index.js","sourcesContent":["import type { Middleware, MiddlewareContext } from \"../fsm/types.js\";\n\nexport type { Middleware, MiddlewareContext } from \"../fsm/types.js\";\n\n/**\n * Log every transition that changed the snapshot. Default formatter:\n *   \"[EVENT_TYPE] oldState → newState\"\n *\n * Pass a custom `out` callback to integrate with structured logging.\n */\nexport function logger<Ctx, Evt extends { type: string }, States extends string>(\n  out: (line: string, ctx: MiddlewareContext<Ctx, Evt, States>) => void = (l) => console.log(l),\n): Middleware<Ctx, Evt, States> {\n  return (mw, next) => {\n    next();\n    if (mw.changed) {\n      out(`[${mw.event.type}] ${mw.prev.value} → ${mw.next.value}`, mw);\n    }\n  };\n}\n\nexport type StorageLike = {\n  setItem(key: string, value: string): void;\n};\n\n/**\n * Persist the latest snapshot to a storage-like sink on every change. The\n * snapshot is JSON-serialised; non-serializable context fields will throw.\n *\n * For replay, pair this with `aifsmjs/replay` and an event log of your own\n * choosing — this middleware only persists the latest snapshot.\n */\nexport function persist<Ctx, Evt extends { type: string }, States extends string>(opts: {\n  key: string;\n  storage: StorageLike;\n}): Middleware<Ctx, Evt, States> {\n  return (mw, next) => {\n    next();\n    if (mw.changed) {\n      opts.storage.setItem(opts.key, JSON.stringify(mw.next));\n    }\n  };\n}\n\n/**\n * Collect every event-snapshot pair into the supplied array. Useful for\n * test assertions, time-travel debugging, or building event logs to feed\n * back into `replay()`.\n */\nexport type RecordedEntry<Ctx, Evt, States extends string> = Readonly<{\n  event: MiddlewareContext<Ctx, Evt, States>[\"event\"];\n  prev: MiddlewareContext<Ctx, Evt, States>[\"prev\"];\n  next: MiddlewareContext<Ctx, Evt, States>[\"next\"];\n  changed: boolean;\n}>;\n\nexport function recorder<Ctx, Evt extends { type: string }, States extends string>(\n  sink: RecordedEntry<Ctx, Evt, States>[],\n): Middleware<Ctx, Evt, States> {\n  return (mw, next) => {\n    next();\n    sink.push({\n      event: mw.event,\n      prev: mw.prev,\n      next: mw.next,\n      changed: mw.changed,\n    });\n  };\n}\n"]}