@real-router/fsm 0.2.0 → 0.2.1

package/dist/cjs/index.d.ts

@@ -23,8 +23,13 @@ interface TransitionInfo<TStates extends string, TEvents extends string, TPayloa
 declare class FSM<TStates extends string, TEvents extends string, TContext, TPayloadMap extends Partial<Record<TEvents, unknown>> = Record<never, never>> {
     #private;
     constructor(config: FSMConfig<TStates, TEvents, TContext>);
-    send<E extends TEvents>(event: E, ...args: E extends keyof TPayloadMap ? [payload: TPayloadMap[E]] : [payload?: never]): TStates;
+    send(event: TEvents, payload?: TPayloadMap[TEvents]): TStates;
     canSend(event: TEvents): boolean;
+    /**
+     * Directly sets FSM state without triggering actions or listeners.
+     * Use for hot-path optimizations where the caller handles side effects.
+     */
+    forceState(state: TStates): void;
     getState(): TStates;
     getContext(): TContext;
     on<E extends TEvents>(from: TStates, event: E, action: E extends keyof TPayloadMap ? (payload: TPayloadMap[E]) => void : () => void): () => void;

package/dist/cjs/index.js

@@ -1 +1 @@
-exports.FSM=class{#t;#s;#n=0;#i=null;#e;#r;#o=[];constructor(t){this.#t=t.initial,this.#e=t.context,this.#r=t.transitions,this.#s=t.transitions[t.initial]}send(t,...s){const n=this.#s[t];if(void 0===n)return this.#t;const i=this.#t;if(this.#t=n,this.#s=this.#r[n],null!==this.#i){const n=this.#i.get(`${i}\0${t}`);void 0!==n&&n(s[0])}if(this.#n>0){const e={from:i,to:n,event:t,payload:s[0]};for(const t of this.#o)null!==t&&t(e)}return this.#t}canSend(t){return void 0!==this.#s[t]}getState(){return this.#t}getContext(){return this.#e}on(t,s,n){this.#i??=new Map;const i=`${t}\0${s}`;return this.#i.set(i,n),()=>{this.#i?.delete(i)}}onTransition(t){const s=this.#o.indexOf(null);let n;-1===s?(n=this.#o.length,this.#o.push(t)):(this.#o[s]=t,n=s),this.#n++;let i=!0;return()=>{i&&(i=!1,this.#o[n]=null,this.#n--)}}};//# sourceMappingURL=index.js.map
+exports.FSM=class{#t;#s;#n=0;#i=null;#e;#r;#o=[];constructor(t){this.#t=t.initial,this.#e=t.context,this.#r=t.transitions,this.#s=t.transitions[t.initial]}send(t,s){const n=this.#s[t];if(void 0===n)return this.#t;const i=this.#t;if(this.#t=n,this.#s=this.#r[n],null!==this.#i){const n=this.#i.get(i)?.get(t);void 0!==n&&n(s)}if(this.#n>0){const e={from:i,to:n,event:t,payload:s};for(const t of this.#o)null!==t&&t(e)}return this.#t}canSend(t){return void 0!==this.#s[t]}forceState(t){this.#t=t,this.#s=this.#r[t]}getState(){return this.#t}getContext(){return this.#e}on(t,s,n){this.#i??=new Map;let i=this.#i.get(t);return i||(i=new Map,this.#i.set(t,i)),i.set(s,n),()=>{this.#i?.get(t)?.delete(s)}}onTransition(t){const s=this.#o.indexOf(null);let n;-1===s?(n=this.#o.length,this.#o.push(t)):(this.#o[s]=t,n=s),this.#n++;let i=!0;return()=>{i&&(i=!1,this.#o[n]=null,this.#n--)}}};//# sourceMappingURL=index.js.map

package/dist/cjs/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/fsm.ts"],"names":[],"mappings":";AAYO,IAAM,MAAN,MAKL;AAAA,EACA,MAAA;AAAA,EACA,mBAAA;AAAA,EACA,cAAA,GAAiB,CAAA;AAAA,EACjB,QAAA,GAA2D,IAAA;AAAA,EAClD,QAAA;AAAA,EACA,YAAA;AAAA,EACA,aAIK,EAAC;AAAA,EAEf,YAAY,MAAA,EAA+C;AACzD,IAAA,IAAA,CAAK,SAAS,MAAA,CAAO,OAAA;AACrB,IAAA,IAAA,CAAK,WAAW,MAAA,CAAO,OAAA;AACvB,IAAA,IAAA,CAAK,eAAe,MAAA,CAAO,WAAA;AAC3B,IAAA,IAAA,CAAK,mBAAA,GAAsB,MAAA,CAAO,WAAA,CAAY,MAAA,CAAO,OAAO,CAAA;AAAA,EAC9D;AAAA,EAEA,IAAA,CACE,UACG,IAAA,EAGM;AACT,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,mBAAA,CAAoB,KAAK,CAAA;AAEhD,IAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,MAAA,OAAO,IAAA,CAAK,MAAA;AAAA,IACd;AAEA,IAAA,MAAM,OAAO,IAAA,CAAK,MAAA;AAElB,IAAA,IAAA,CAAK,MAAA,GAAS,SAAA;AACd,IAAA,IAAA,CAAK,mBAAA,GAAsB,IAAA,CAAK,YAAA,CAAa,SAAS,CAAA;AAEtD,IAAA,IAAI,IAAA,CAAK,aAAa,IAAA,EAAM;AAC1B,MAAA,MAAM,MAAA,GAAS,KAAK,QAAA,CAAS,GAAA,CAAI,GAAG,IAAI,CAAA,EAAA,EAAK,KAAK,CAAA,CAAE,CAAA;AAEpD,MAAA,IAAI,WAAW,MAAA,EAAW;AACxB,QAAA,MAAA,CAAO,IAAA,CAAK,CAAC,CAAC,CAAA;AAAA,MAChB;AAAA,IACF;AAEA,IAAA,IAAI,IAAA,CAAK,iBAAiB,CAAA,EAAG;AAC3B,MAAA,MAAM,IAAA,GAAsD;AAAA,QAC1D,IAAA;AAAA,QACA,EAAA,EAAI,SAAA;AAAA,QACJ,KAAA;AAAA,QACA,OAAA,EAAS,KAAK,CAAC;AAAA,OACjB;AAEA,MAAA,KAAA,MAAW,QAAA,IAAY,KAAK,UAAA,EAAY;AACtC,QAAA,IAAI,aAAa,IAAA,EAAM;AACrB,UAAA,QAAA,CAAS,IAAI,CAAA;AAAA,QACf;AAAA,MACF;AAAA,IACF;AAEA,IAAA,OAAO,IAAA,CAAK,MAAA;AAAA,EACd;AAAA,EAEA,QAAQ,KAAA,EAAyB;AAC/B,IAAA,OAAO,IAAA,CAAK,mBAAA,CAAoB,KAAK,CAAA,KAAM,MAAA;AAAA,EAC7C;AAAA,EAEA,QAAA,GAAoB;AAClB,IAAA,OAAO,IAAA,CAAK,MAAA;AAAA,EACd;AAAA,EAEA,UAAA,GAAuB;AACrB,IAAA,OAAO,IAAA,CAAK,QAAA;AAAA,EACd;AAAA,EAEA,EAAA,CACE,IAAA,EACA,KAAA,EACA,MAAA,EAGY;AACZ,IAAA,IAAA,CAAK,QAAA,yBAAiB,GAAA,EAAI;AAC1B,IAAA,MAAM,GAAA,GAAM,CAAA,EAAG,IAAI,CAAA,EAAA,EAAK,KAAK,CAAA,CAAA;AAE7B,IAAA,IAAA,CAAK,QAAA,CAAS,GAAA,CAAI,GAAA,EAAK,MAAoC,CAAA;AAE3D,IAAA,OAAO,MAAM;AACX,MAAA,IAAA,CAAK,QAAA,EAAU,OAAO,GAAG,CAAA;AAAA,IAC3B,CAAA;AAAA,EACF;AAAA,EAEA,aACE,QAAA,EACY;AACZ,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,UAAA,CAAW,OAAA,CAAQ,IAAI,CAAA;AAC9C,IAAA,IAAI,KAAA;AAEJ,IAAA,IAAI,cAAc,EAAA,EAAI;AACpB,MAAA,KAAA,GAAQ,KAAK,UAAA,CAAW,MAAA;AACxB,MAAA,IAAA,CAAK,UAAA,CAAW,KAAK,QAAQ,CAAA;AAAA,IAC/B,CAAA,MAAO;AACL,MAAA,IAAA,CAAK,UAAA,CAAW,SAAS,CAAA,GAAI,QAAA;AAC7B,MAAA,KAAA,GAAQ,SAAA;AAAA,IACV;AAEA,IAAA,IAAA,CAAK,cAAA,EAAA;AACL,IAAA,IAAI,UAAA,GAAa,IAAA;AAEjB,IAAA,OAAO,MAAM;AACX,MAAA,IAAI,CAAC,UAAA,EAAY;AACf,QAAA;AAAA,MACF;AAEA,MAAA,UAAA,GAAa,KAAA;AACb,MAAA,IAAA,CAAK,UAAA,CAAW,KAAK,CAAA,GAAI,IAAA;AACzB,MAAA,IAAA,CAAK,cAAA,EAAA;AAAA,IACP,CAAA;AAAA,EACF;AACF","file":"index.js","sourcesContent":["import type { FSMConfig, TransitionInfo, TransitionListener } from \"./types\";\n\n/**\n * Synchronous finite state machine engine.\n *\n * Reentrancy: `send()` inside `onTransition` listener is allowed but unbounded —\n * callers are responsible for preventing infinite loops.\n *\n * Exceptions: if a listener throws, the exception propagates to the caller.\n * State is already updated before listeners fire, so `getState()` reflects the\n * new state even if the exception escapes `send()`.\n */\nexport class FSM<\n  TStates extends string,\n  TEvents extends string,\n  TContext,\n  TPayloadMap extends Partial<Record<TEvents, unknown>> = Record<never, never>,\n> {\n  #state: TStates;\n  #currentTransitions: Partial<Record<TEvents, TStates>>;\n  #listenerCount = 0;\n  #actions: Map<string, (payload: unknown) => void> | null = null;\n  readonly #context: TContext;\n  readonly #transitions: Record<TStates, Partial<Record<TEvents, TStates>>>;\n  readonly #listeners: (TransitionListener<\n    TStates,\n    TEvents,\n    TPayloadMap\n  > | null)[] = [];\n\n  constructor(config: FSMConfig<TStates, TEvents, TContext>) {\n    this.#state = config.initial;\n    this.#context = config.context;\n    this.#transitions = config.transitions;\n    this.#currentTransitions = config.transitions[config.initial];\n  }\n\n  send<E extends TEvents>(\n    event: E,\n    ...args: E extends keyof TPayloadMap\n      ? [payload: TPayloadMap[E]]\n      : [payload?: never]\n  ): TStates {\n    const nextState = this.#currentTransitions[event];\n\n    if (nextState === undefined) {\n      return this.#state;\n    }\n\n    const from = this.#state;\n\n    this.#state = nextState;\n    this.#currentTransitions = this.#transitions[nextState];\n\n    if (this.#actions !== null) {\n      const action = this.#actions.get(`${from}\\0${event}`);\n\n      if (action !== undefined) {\n        action(args[0]);\n      }\n    }\n\n    if (this.#listenerCount > 0) {\n      const info: TransitionInfo<TStates, TEvents, TPayloadMap> = {\n        from,\n        to: nextState,\n        event,\n        payload: args[0] as TPayloadMap[TEvents] | undefined,\n      };\n\n      for (const listener of this.#listeners) {\n        if (listener !== null) {\n          listener(info);\n        }\n      }\n    }\n\n    return this.#state;\n  }\n\n  canSend(event: TEvents): boolean {\n    return this.#currentTransitions[event] !== undefined;\n  }\n\n  getState(): TStates {\n    return this.#state;\n  }\n\n  getContext(): TContext {\n    return this.#context;\n  }\n\n  on<E extends TEvents>(\n    from: TStates,\n    event: E,\n    action: E extends keyof TPayloadMap\n      ? (payload: TPayloadMap[E]) => void\n      : () => void,\n  ): () => void {\n    this.#actions ??= new Map();\n    const key = `${from}\\0${event}`;\n\n    this.#actions.set(key, action as (payload: unknown) => void);\n\n    return () => {\n      this.#actions?.delete(key);\n    };\n  }\n\n  onTransition(\n    listener: (info: TransitionInfo<TStates, TEvents, TPayloadMap>) => void,\n  ): () => void {\n    const nullIndex = this.#listeners.indexOf(null);\n    let index: number;\n\n    if (nullIndex === -1) {\n      index = this.#listeners.length;\n      this.#listeners.push(listener);\n    } else {\n      this.#listeners[nullIndex] = listener;\n      index = nullIndex;\n    }\n\n    this.#listenerCount++;\n    let subscribed = true;\n\n    return () => {\n      if (!subscribed) {\n        return;\n      }\n\n      subscribed = false;\n      this.#listeners[index] = null;\n      this.#listenerCount--;\n    };\n  }\n}\n"]}
+{"version":3,"sources":["../../src/fsm.ts"],"names":[],"mappings":";AAYO,IAAM,MAAN,MAKL;AAAA,EACA,MAAA;AAAA,EACA,mBAAA;AAAA,EACA,cAAA,GAAiB,CAAA;AAAA,EACjB,QAAA,GACE,IAAA;AAAA,EACO,QAAA;AAAA,EACA,YAAA;AAAA,EACA,aAIK,EAAC;AAAA,EAEf,YAAY,MAAA,EAA+C;AACzD,IAAA,IAAA,CAAK,SAAS,MAAA,CAAO,OAAA;AACrB,IAAA,IAAA,CAAK,WAAW,MAAA,CAAO,OAAA;AACvB,IAAA,IAAA,CAAK,eAAe,MAAA,CAAO,WAAA;AAC3B,IAAA,IAAA,CAAK,mBAAA,GAAsB,MAAA,CAAO,WAAA,CAAY,MAAA,CAAO,OAAO,CAAA;AAAA,EAC9D;AAAA,EAEA,IAAA,CAAK,OAAgB,OAAA,EAAyC;AAC5D,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,mBAAA,CAAoB,KAAK,CAAA;AAEhD,IAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,MAAA,OAAO,IAAA,CAAK,MAAA;AAAA,IACd;AAEA,IAAA,MAAM,OAAO,IAAA,CAAK,MAAA;AAElB,IAAA,IAAA,CAAK,MAAA,GAAS,SAAA;AACd,IAAA,IAAA,CAAK,mBAAA,GAAsB,IAAA,CAAK,YAAA,CAAa,SAAS,CAAA;AAEtD,IAAA,IAAI,IAAA,CAAK,aAAa,IAAA,EAAM;AAC1B,MAAA,MAAM,SAAS,IAAA,CAAK,QAAA,CAAS,IAAI,IAAI,CAAA,EAAG,IAAI,KAAK,CAAA;AAEjD,MAAA,IAAI,WAAW,MAAA,EAAW;AACxB,QAAA,MAAA,CAAO,OAAO,CAAA;AAAA,MAChB;AAAA,IACF;AAEA,IAAA,IAAI,IAAA,CAAK,iBAAiB,CAAA,EAAG;AAC3B,MAAA,MAAM,IAAA,GAAsD;AAAA,QAC1D,IAAA;AAAA,QACA,EAAA,EAAI,SAAA;AAAA,QACJ,KAAA;AAAA,QACA;AAAA,OACF;AAEA,MAAA,KAAA,MAAW,QAAA,IAAY,KAAK,UAAA,EAAY;AACtC,QAAA,IAAI,aAAa,IAAA,EAAM;AACrB,UAAA,QAAA,CAAS,IAAI,CAAA;AAAA,QACf;AAAA,MACF;AAAA,IACF;AAEA,IAAA,OAAO,IAAA,CAAK,MAAA;AAAA,EACd;AAAA,EAEA,QAAQ,KAAA,EAAyB;AAC/B,IAAA,OAAO,IAAA,CAAK,mBAAA,CAAoB,KAAK,CAAA,KAAM,MAAA;AAAA,EAC7C;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,WAAW,KAAA,EAAsB;AAC/B,IAAA,IAAA,CAAK,MAAA,GAAS,KAAA;AACd,IAAA,IAAA,CAAK,mBAAA,GAAsB,IAAA,CAAK,YAAA,CAAa,KAAK,CAAA;AAAA,EACpD;AAAA,EAEA,QAAA,GAAoB;AAClB,IAAA,OAAO,IAAA,CAAK,MAAA;AAAA,EACd;AAAA,EAEA,UAAA,GAAuB;AACrB,IAAA,OAAO,IAAA,CAAK,QAAA;AAAA,EACd;AAAA,EAEA,EAAA,CACE,IAAA,EACA,KAAA,EACA,MAAA,EAGY;AACZ,IAAA,IAAA,CAAK,QAAA,yBAAiB,GAAA,EAAI;AAE1B,IAAA,IAAI,YAAA,GAAe,IAAA,CAAK,QAAA,CAAS,GAAA,CAAI,IAAI,CAAA;AAEzC,IAAA,IAAI,CAAC,YAAA,EAAc;AACjB,MAAA,YAAA,uBAAmB,GAAA,EAAI;AACvB,MAAA,IAAA,CAAK,QAAA,CAAS,GAAA,CAAI,IAAA,EAAM,YAAY,CAAA;AAAA,IACtC;AAEA,IAAA,YAAA,CAAa,GAAA,CAAI,OAAO,MAAoC,CAAA;AAE5D,IAAA,OAAO,MAAM;AACX,MAAA,IAAA,CAAK,QAAA,EAAU,GAAA,CAAI,IAAI,CAAA,EAAG,OAAO,KAAK,CAAA;AAAA,IACxC,CAAA;AAAA,EACF;AAAA,EAEA,aACE,QAAA,EACY;AACZ,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,UAAA,CAAW,OAAA,CAAQ,IAAI,CAAA;AAC9C,IAAA,IAAI,KAAA;AAEJ,IAAA,IAAI,cAAc,EAAA,EAAI;AACpB,MAAA,KAAA,GAAQ,KAAK,UAAA,CAAW,MAAA;AACxB,MAAA,IAAA,CAAK,UAAA,CAAW,KAAK,QAAQ,CAAA;AAAA,IAC/B,CAAA,MAAO;AACL,MAAA,IAAA,CAAK,UAAA,CAAW,SAAS,CAAA,GAAI,QAAA;AAC7B,MAAA,KAAA,GAAQ,SAAA;AAAA,IACV;AAEA,IAAA,IAAA,CAAK,cAAA,EAAA;AACL,IAAA,IAAI,UAAA,GAAa,IAAA;AAEjB,IAAA,OAAO,MAAM;AACX,MAAA,IAAI,CAAC,UAAA,EAAY;AACf,QAAA;AAAA,MACF;AAEA,MAAA,UAAA,GAAa,KAAA;AACb,MAAA,IAAA,CAAK,UAAA,CAAW,KAAK,CAAA,GAAI,IAAA;AACzB,MAAA,IAAA,CAAK,cAAA,EAAA;AAAA,IACP,CAAA;AAAA,EACF;AACF","file":"index.js","sourcesContent":["import type { FSMConfig, TransitionInfo, TransitionListener } from \"./types\";\n\n/**\n * Synchronous finite state machine engine.\n *\n * Reentrancy: `send()` inside `onTransition` listener is allowed but unbounded —\n * callers are responsible for preventing infinite loops.\n *\n * Exceptions: if a listener throws, the exception propagates to the caller.\n * State is already updated before listeners fire, so `getState()` reflects the\n * new state even if the exception escapes `send()`.\n */\nexport class FSM<\n  TStates extends string,\n  TEvents extends string,\n  TContext,\n  TPayloadMap extends Partial<Record<TEvents, unknown>> = Record<never, never>,\n> {\n  #state: TStates;\n  #currentTransitions: Partial<Record<TEvents, TStates>>;\n  #listenerCount = 0;\n  #actions: Map<TStates, Map<TEvents, (payload: unknown) => void>> | null =\n    null;\n  readonly #context: TContext;\n  readonly #transitions: Record<TStates, Partial<Record<TEvents, TStates>>>;\n  readonly #listeners: (TransitionListener<\n    TStates,\n    TEvents,\n    TPayloadMap\n  > | null)[] = [];\n\n  constructor(config: FSMConfig<TStates, TEvents, TContext>) {\n    this.#state = config.initial;\n    this.#context = config.context;\n    this.#transitions = config.transitions;\n    this.#currentTransitions = config.transitions[config.initial];\n  }\n\n  send(event: TEvents, payload?: TPayloadMap[TEvents]): TStates {\n    const nextState = this.#currentTransitions[event];\n\n    if (nextState === undefined) {\n      return this.#state;\n    }\n\n    const from = this.#state;\n\n    this.#state = nextState;\n    this.#currentTransitions = this.#transitions[nextState];\n\n    if (this.#actions !== null) {\n      const action = this.#actions.get(from)?.get(event);\n\n      if (action !== undefined) {\n        action(payload);\n      }\n    }\n\n    if (this.#listenerCount > 0) {\n      const info: TransitionInfo<TStates, TEvents, TPayloadMap> = {\n        from,\n        to: nextState,\n        event,\n        payload: payload,\n      };\n\n      for (const listener of this.#listeners) {\n        if (listener !== null) {\n          listener(info);\n        }\n      }\n    }\n\n    return this.#state;\n  }\n\n  canSend(event: TEvents): boolean {\n    return this.#currentTransitions[event] !== undefined;\n  }\n\n  /**\n   * Directly sets FSM state without triggering actions or listeners.\n   * Use for hot-path optimizations where the caller handles side effects.\n   */\n  forceState(state: TStates): void {\n    this.#state = state;\n    this.#currentTransitions = this.#transitions[state];\n  }\n\n  getState(): TStates {\n    return this.#state;\n  }\n\n  getContext(): TContext {\n    return this.#context;\n  }\n\n  on<E extends TEvents>(\n    from: TStates,\n    event: E,\n    action: E extends keyof TPayloadMap\n      ? (payload: TPayloadMap[E]) => void\n      : () => void,\n  ): () => void {\n    this.#actions ??= new Map();\n\n    let stateActions = this.#actions.get(from);\n\n    if (!stateActions) {\n      stateActions = new Map();\n      this.#actions.set(from, stateActions);\n    }\n\n    stateActions.set(event, action as (payload: unknown) => void);\n\n    return () => {\n      this.#actions?.get(from)?.delete(event);\n    };\n  }\n\n  onTransition(\n    listener: (info: TransitionInfo<TStates, TEvents, TPayloadMap>) => void,\n  ): () => void {\n    const nullIndex = this.#listeners.indexOf(null);\n    let index: number;\n\n    if (nullIndex === -1) {\n      index = this.#listeners.length;\n      this.#listeners.push(listener);\n    } else {\n      this.#listeners[nullIndex] = listener;\n      index = nullIndex;\n    }\n\n    this.#listenerCount++;\n    let subscribed = true;\n\n    return () => {\n      if (!subscribed) {\n        return;\n      }\n\n      subscribed = false;\n      this.#listeners[index] = null;\n      this.#listenerCount--;\n    };\n  }\n}\n"]}

package/dist/cjs/metafile-cjs.json

@@ -1 +1 @@
-{"inputs":{"../../node_modules/.pnpm/tsup@8.5.1_jiti@2.6.1_postcss@8.5.6_typescript@5.9.3/node_modules/tsup/assets/cjs_shims.js":{"bytes":569,"imports":[],"format":"esm"},"src/fsm.ts":{"bytes":3449,"imports":[{"path":"/home/runner/work/real-router/real-router/node_modules/.pnpm/tsup@8.5.1_jiti@2.6.1_postcss@8.5.6_typescript@5.9.3/node_modules/tsup/assets/cjs_shims.js","kind":"import-statement","external":true}],"format":"esm"},"src/index.ts":{"bytes":88,"imports":[{"path":"src/fsm.ts","kind":"import-statement","original":"./fsm"},{"path":"/home/runner/work/real-router/real-router/node_modules/.pnpm/tsup@8.5.1_jiti@2.6.1_postcss@8.5.6_typescript@5.9.3/node_modules/tsup/assets/cjs_shims.js","kind":"import-statement","external":true}],"format":"esm"}},"outputs":{"dist/cjs/index.js.map":{"imports":[],"exports":[],"inputs":{},"bytes":5190},"dist/cjs/index.js":{"imports":[],"exports":["FSM"],"entryPoint":"src/index.ts","inputs":{"src/fsm.ts":{"bytesInOutput":1976},"src/index.ts":{"bytesInOutput":0}},"bytes":2008}}}
+{"inputs":{"../../node_modules/.pnpm/tsup@8.5.1_jiti@2.6.1_postcss@8.5.8_typescript@5.9.3_yaml@2.8.2/node_modules/tsup/assets/cjs_shims.js":{"bytes":569,"imports":[],"format":"esm"},"src/fsm.ts":{"bytes":3754,"imports":[{"path":"/home/runner/work/real-router/real-router/node_modules/.pnpm/tsup@8.5.1_jiti@2.6.1_postcss@8.5.8_typescript@5.9.3_yaml@2.8.2/node_modules/tsup/assets/cjs_shims.js","kind":"import-statement","external":true}],"format":"esm"},"src/index.ts":{"bytes":88,"imports":[{"path":"src/fsm.ts","kind":"import-statement","original":"./fsm"},{"path":"/home/runner/work/real-router/real-router/node_modules/.pnpm/tsup@8.5.1_jiti@2.6.1_postcss@8.5.8_typescript@5.9.3_yaml@2.8.2/node_modules/tsup/assets/cjs_shims.js","kind":"import-statement","external":true}],"format":"esm"}},"outputs":{"dist/cjs/index.js.map":{"imports":[],"exports":[],"inputs":{},"bytes":5670},"dist/cjs/index.js":{"imports":[],"exports":["FSM"],"entryPoint":"src/index.ts","inputs":{"src/fsm.ts":{"bytesInOutput":2378},"src/index.ts":{"bytesInOutput":0}},"bytes":2410}}}

package/dist/esm/index.d.mts

@@ -23,8 +23,13 @@ interface TransitionInfo<TStates extends string, TEvents extends string, TPayloa
 declare class FSM<TStates extends string, TEvents extends string, TContext, TPayloadMap extends Partial<Record<TEvents, unknown>> = Record<never, never>> {
     #private;
     constructor(config: FSMConfig<TStates, TEvents, TContext>);
-    send<E extends TEvents>(event: E, ...args: E extends keyof TPayloadMap ? [payload: TPayloadMap[E]] : [payload?: never]): TStates;
+    send(event: TEvents, payload?: TPayloadMap[TEvents]): TStates;
     canSend(event: TEvents): boolean;
+    /**
+     * Directly sets FSM state without triggering actions or listeners.
+     * Use for hot-path optimizations where the caller handles side effects.
+     */
+    forceState(state: TStates): void;
     getState(): TStates;
     getContext(): TContext;
     on<E extends TEvents>(from: TStates, event: E, action: E extends keyof TPayloadMap ? (payload: TPayloadMap[E]) => void : () => void): () => void;

package/dist/esm/index.mjs

@@ -1 +1 @@
-var t=class{#t;#s;#n=0;#i=null;#e;#r;#o=[];constructor(t){this.#t=t.initial,this.#e=t.context,this.#r=t.transitions,this.#s=t.transitions[t.initial]}send(t,...s){const n=this.#s[t];if(void 0===n)return this.#t;const i=this.#t;if(this.#t=n,this.#s=this.#r[n],null!==this.#i){const n=this.#i.get(`${i}\0${t}`);void 0!==n&&n(s[0])}if(this.#n>0){const e={from:i,to:n,event:t,payload:s[0]};for(const t of this.#o)null!==t&&t(e)}return this.#t}canSend(t){return void 0!==this.#s[t]}getState(){return this.#t}getContext(){return this.#e}on(t,s,n){this.#i??=new Map;const i=`${t}\0${s}`;return this.#i.set(i,n),()=>{this.#i?.delete(i)}}onTransition(t){const s=this.#o.indexOf(null);let n;-1===s?(n=this.#o.length,this.#o.push(t)):(this.#o[s]=t,n=s),this.#n++;let i=!0;return()=>{i&&(i=!1,this.#o[n]=null,this.#n--)}}};export{t as FSM};//# sourceMappingURL=index.mjs.map
+var t=class{#t;#s;#n=0;#i=null;#e;#r;#o=[];constructor(t){this.#t=t.initial,this.#e=t.context,this.#r=t.transitions,this.#s=t.transitions[t.initial]}send(t,s){const n=this.#s[t];if(void 0===n)return this.#t;const i=this.#t;if(this.#t=n,this.#s=this.#r[n],null!==this.#i){const n=this.#i.get(i)?.get(t);void 0!==n&&n(s)}if(this.#n>0){const e={from:i,to:n,event:t,payload:s};for(const t of this.#o)null!==t&&t(e)}return this.#t}canSend(t){return void 0!==this.#s[t]}forceState(t){this.#t=t,this.#s=this.#r[t]}getState(){return this.#t}getContext(){return this.#e}on(t,s,n){this.#i??=new Map;let i=this.#i.get(t);return i||(i=new Map,this.#i.set(t,i)),i.set(s,n),()=>{this.#i?.get(t)?.delete(s)}}onTransition(t){const s=this.#o.indexOf(null);let n;-1===s?(n=this.#o.length,this.#o.push(t)):(this.#o[s]=t,n=s),this.#n++;let i=!0;return()=>{i&&(i=!1,this.#o[n]=null,this.#n--)}}};export{t as FSM};//# sourceMappingURL=index.mjs.map

package/dist/esm/index.mjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/fsm.ts"],"names":[],"mappings":";AAYO,IAAM,MAAN,MAKL;AAAA,EACA,MAAA;AAAA,EACA,mBAAA;AAAA,EACA,cAAA,GAAiB,CAAA;AAAA,EACjB,QAAA,GAA2D,IAAA;AAAA,EAClD,QAAA;AAAA,EACA,YAAA;AAAA,EACA,aAIK,EAAC;AAAA,EAEf,YAAY,MAAA,EAA+C;AACzD,IAAA,IAAA,CAAK,SAAS,MAAA,CAAO,OAAA;AACrB,IAAA,IAAA,CAAK,WAAW,MAAA,CAAO,OAAA;AACvB,IAAA,IAAA,CAAK,eAAe,MAAA,CAAO,WAAA;AAC3B,IAAA,IAAA,CAAK,mBAAA,GAAsB,MAAA,CAAO,WAAA,CAAY,MAAA,CAAO,OAAO,CAAA;AAAA,EAC9D;AAAA,EAEA,IAAA,CACE,UACG,IAAA,EAGM;AACT,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,mBAAA,CAAoB,KAAK,CAAA;AAEhD,IAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,MAAA,OAAO,IAAA,CAAK,MAAA;AAAA,IACd;AAEA,IAAA,MAAM,OAAO,IAAA,CAAK,MAAA;AAElB,IAAA,IAAA,CAAK,MAAA,GAAS,SAAA;AACd,IAAA,IAAA,CAAK,mBAAA,GAAsB,IAAA,CAAK,YAAA,CAAa,SAAS,CAAA;AAEtD,IAAA,IAAI,IAAA,CAAK,aAAa,IAAA,EAAM;AAC1B,MAAA,MAAM,MAAA,GAAS,KAAK,QAAA,CAAS,GAAA,CAAI,GAAG,IAAI,CAAA,EAAA,EAAK,KAAK,CAAA,CAAE,CAAA;AAEpD,MAAA,IAAI,WAAW,MAAA,EAAW;AACxB,QAAA,MAAA,CAAO,IAAA,CAAK,CAAC,CAAC,CAAA;AAAA,MAChB;AAAA,IACF;AAEA,IAAA,IAAI,IAAA,CAAK,iBAAiB,CAAA,EAAG;AAC3B,MAAA,MAAM,IAAA,GAAsD;AAAA,QAC1D,IAAA;AAAA,QACA,EAAA,EAAI,SAAA;AAAA,QACJ,KAAA;AAAA,QACA,OAAA,EAAS,KAAK,CAAC;AAAA,OACjB;AAEA,MAAA,KAAA,MAAW,QAAA,IAAY,KAAK,UAAA,EAAY;AACtC,QAAA,IAAI,aAAa,IAAA,EAAM;AACrB,UAAA,QAAA,CAAS,IAAI,CAAA;AAAA,QACf;AAAA,MACF;AAAA,IACF;AAEA,IAAA,OAAO,IAAA,CAAK,MAAA;AAAA,EACd;AAAA,EAEA,QAAQ,KAAA,EAAyB;AAC/B,IAAA,OAAO,IAAA,CAAK,mBAAA,CAAoB,KAAK,CAAA,KAAM,MAAA;AAAA,EAC7C;AAAA,EAEA,QAAA,GAAoB;AAClB,IAAA,OAAO,IAAA,CAAK,MAAA;AAAA,EACd;AAAA,EAEA,UAAA,GAAuB;AACrB,IAAA,OAAO,IAAA,CAAK,QAAA;AAAA,EACd;AAAA,EAEA,EAAA,CACE,IAAA,EACA,KAAA,EACA,MAAA,EAGY;AACZ,IAAA,IAAA,CAAK,QAAA,yBAAiB,GAAA,EAAI;AAC1B,IAAA,MAAM,GAAA,GAAM,CAAA,EAAG,IAAI,CAAA,EAAA,EAAK,KAAK,CAAA,CAAA;AAE7B,IAAA,IAAA,CAAK,QAAA,CAAS,GAAA,CAAI,GAAA,EAAK,MAAoC,CAAA;AAE3D,IAAA,OAAO,MAAM;AACX,MAAA,IAAA,CAAK,QAAA,EAAU,OAAO,GAAG,CAAA;AAAA,IAC3B,CAAA;AAAA,EACF;AAAA,EAEA,aACE,QAAA,EACY;AACZ,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,UAAA,CAAW,OAAA,CAAQ,IAAI,CAAA;AAC9C,IAAA,IAAI,KAAA;AAEJ,IAAA,IAAI,cAAc,EAAA,EAAI;AACpB,MAAA,KAAA,GAAQ,KAAK,UAAA,CAAW,MAAA;AACxB,MAAA,IAAA,CAAK,UAAA,CAAW,KAAK,QAAQ,CAAA;AAAA,IAC/B,CAAA,MAAO;AACL,MAAA,IAAA,CAAK,UAAA,CAAW,SAAS,CAAA,GAAI,QAAA;AAC7B,MAAA,KAAA,GAAQ,SAAA;AAAA,IACV;AAEA,IAAA,IAAA,CAAK,cAAA,EAAA;AACL,IAAA,IAAI,UAAA,GAAa,IAAA;AAEjB,IAAA,OAAO,MAAM;AACX,MAAA,IAAI,CAAC,UAAA,EAAY;AACf,QAAA;AAAA,MACF;AAEA,MAAA,UAAA,GAAa,KAAA;AACb,MAAA,IAAA,CAAK,UAAA,CAAW,KAAK,CAAA,GAAI,IAAA;AACzB,MAAA,IAAA,CAAK,cAAA,EAAA;AAAA,IACP,CAAA;AAAA,EACF;AACF","file":"index.mjs","sourcesContent":["import type { FSMConfig, TransitionInfo, TransitionListener } from \"./types\";\n\n/**\n * Synchronous finite state machine engine.\n *\n * Reentrancy: `send()` inside `onTransition` listener is allowed but unbounded —\n * callers are responsible for preventing infinite loops.\n *\n * Exceptions: if a listener throws, the exception propagates to the caller.\n * State is already updated before listeners fire, so `getState()` reflects the\n * new state even if the exception escapes `send()`.\n */\nexport class FSM<\n  TStates extends string,\n  TEvents extends string,\n  TContext,\n  TPayloadMap extends Partial<Record<TEvents, unknown>> = Record<never, never>,\n> {\n  #state: TStates;\n  #currentTransitions: Partial<Record<TEvents, TStates>>;\n  #listenerCount = 0;\n  #actions: Map<string, (payload: unknown) => void> | null = null;\n  readonly #context: TContext;\n  readonly #transitions: Record<TStates, Partial<Record<TEvents, TStates>>>;\n  readonly #listeners: (TransitionListener<\n    TStates,\n    TEvents,\n    TPayloadMap\n  > | null)[] = [];\n\n  constructor(config: FSMConfig<TStates, TEvents, TContext>) {\n    this.#state = config.initial;\n    this.#context = config.context;\n    this.#transitions = config.transitions;\n    this.#currentTransitions = config.transitions[config.initial];\n  }\n\n  send<E extends TEvents>(\n    event: E,\n    ...args: E extends keyof TPayloadMap\n      ? [payload: TPayloadMap[E]]\n      : [payload?: never]\n  ): TStates {\n    const nextState = this.#currentTransitions[event];\n\n    if (nextState === undefined) {\n      return this.#state;\n    }\n\n    const from = this.#state;\n\n    this.#state = nextState;\n    this.#currentTransitions = this.#transitions[nextState];\n\n    if (this.#actions !== null) {\n      const action = this.#actions.get(`${from}\\0${event}`);\n\n      if (action !== undefined) {\n        action(args[0]);\n      }\n    }\n\n    if (this.#listenerCount > 0) {\n      const info: TransitionInfo<TStates, TEvents, TPayloadMap> = {\n        from,\n        to: nextState,\n        event,\n        payload: args[0] as TPayloadMap[TEvents] | undefined,\n      };\n\n      for (const listener of this.#listeners) {\n        if (listener !== null) {\n          listener(info);\n        }\n      }\n    }\n\n    return this.#state;\n  }\n\n  canSend(event: TEvents): boolean {\n    return this.#currentTransitions[event] !== undefined;\n  }\n\n  getState(): TStates {\n    return this.#state;\n  }\n\n  getContext(): TContext {\n    return this.#context;\n  }\n\n  on<E extends TEvents>(\n    from: TStates,\n    event: E,\n    action: E extends keyof TPayloadMap\n      ? (payload: TPayloadMap[E]) => void\n      : () => void,\n  ): () => void {\n    this.#actions ??= new Map();\n    const key = `${from}\\0${event}`;\n\n    this.#actions.set(key, action as (payload: unknown) => void);\n\n    return () => {\n      this.#actions?.delete(key);\n    };\n  }\n\n  onTransition(\n    listener: (info: TransitionInfo<TStates, TEvents, TPayloadMap>) => void,\n  ): () => void {\n    const nullIndex = this.#listeners.indexOf(null);\n    let index: number;\n\n    if (nullIndex === -1) {\n      index = this.#listeners.length;\n      this.#listeners.push(listener);\n    } else {\n      this.#listeners[nullIndex] = listener;\n      index = nullIndex;\n    }\n\n    this.#listenerCount++;\n    let subscribed = true;\n\n    return () => {\n      if (!subscribed) {\n        return;\n      }\n\n      subscribed = false;\n      this.#listeners[index] = null;\n      this.#listenerCount--;\n    };\n  }\n}\n"]}
+{"version":3,"sources":["../../src/fsm.ts"],"names":[],"mappings":";AAYO,IAAM,MAAN,MAKL;AAAA,EACA,MAAA;AAAA,EACA,mBAAA;AAAA,EACA,cAAA,GAAiB,CAAA;AAAA,EACjB,QAAA,GACE,IAAA;AAAA,EACO,QAAA;AAAA,EACA,YAAA;AAAA,EACA,aAIK,EAAC;AAAA,EAEf,YAAY,MAAA,EAA+C;AACzD,IAAA,IAAA,CAAK,SAAS,MAAA,CAAO,OAAA;AACrB,IAAA,IAAA,CAAK,WAAW,MAAA,CAAO,OAAA;AACvB,IAAA,IAAA,CAAK,eAAe,MAAA,CAAO,WAAA;AAC3B,IAAA,IAAA,CAAK,mBAAA,GAAsB,MAAA,CAAO,WAAA,CAAY,MAAA,CAAO,OAAO,CAAA;AAAA,EAC9D;AAAA,EAEA,IAAA,CAAK,OAAgB,OAAA,EAAyC;AAC5D,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,mBAAA,CAAoB,KAAK,CAAA;AAEhD,IAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,MAAA,OAAO,IAAA,CAAK,MAAA;AAAA,IACd;AAEA,IAAA,MAAM,OAAO,IAAA,CAAK,MAAA;AAElB,IAAA,IAAA,CAAK,MAAA,GAAS,SAAA;AACd,IAAA,IAAA,CAAK,mBAAA,GAAsB,IAAA,CAAK,YAAA,CAAa,SAAS,CAAA;AAEtD,IAAA,IAAI,IAAA,CAAK,aAAa,IAAA,EAAM;AAC1B,MAAA,MAAM,SAAS,IAAA,CAAK,QAAA,CAAS,IAAI,IAAI,CAAA,EAAG,IAAI,KAAK,CAAA;AAEjD,MAAA,IAAI,WAAW,MAAA,EAAW;AACxB,QAAA,MAAA,CAAO,OAAO,CAAA;AAAA,MAChB;AAAA,IACF;AAEA,IAAA,IAAI,IAAA,CAAK,iBAAiB,CAAA,EAAG;AAC3B,MAAA,MAAM,IAAA,GAAsD;AAAA,QAC1D,IAAA;AAAA,QACA,EAAA,EAAI,SAAA;AAAA,QACJ,KAAA;AAAA,QACA;AAAA,OACF;AAEA,MAAA,KAAA,MAAW,QAAA,IAAY,KAAK,UAAA,EAAY;AACtC,QAAA,IAAI,aAAa,IAAA,EAAM;AACrB,UAAA,QAAA,CAAS,IAAI,CAAA;AAAA,QACf;AAAA,MACF;AAAA,IACF;AAEA,IAAA,OAAO,IAAA,CAAK,MAAA;AAAA,EACd;AAAA,EAEA,QAAQ,KAAA,EAAyB;AAC/B,IAAA,OAAO,IAAA,CAAK,mBAAA,CAAoB,KAAK,CAAA,KAAM,MAAA;AAAA,EAC7C;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,WAAW,KAAA,EAAsB;AAC/B,IAAA,IAAA,CAAK,MAAA,GAAS,KAAA;AACd,IAAA,IAAA,CAAK,mBAAA,GAAsB,IAAA,CAAK,YAAA,CAAa,KAAK,CAAA;AAAA,EACpD;AAAA,EAEA,QAAA,GAAoB;AAClB,IAAA,OAAO,IAAA,CAAK,MAAA;AAAA,EACd;AAAA,EAEA,UAAA,GAAuB;AACrB,IAAA,OAAO,IAAA,CAAK,QAAA;AAAA,EACd;AAAA,EAEA,EAAA,CACE,IAAA,EACA,KAAA,EACA,MAAA,EAGY;AACZ,IAAA,IAAA,CAAK,QAAA,yBAAiB,GAAA,EAAI;AAE1B,IAAA,IAAI,YAAA,GAAe,IAAA,CAAK,QAAA,CAAS,GAAA,CAAI,IAAI,CAAA;AAEzC,IAAA,IAAI,CAAC,YAAA,EAAc;AACjB,MAAA,YAAA,uBAAmB,GAAA,EAAI;AACvB,MAAA,IAAA,CAAK,QAAA,CAAS,GAAA,CAAI,IAAA,EAAM,YAAY,CAAA;AAAA,IACtC;AAEA,IAAA,YAAA,CAAa,GAAA,CAAI,OAAO,MAAoC,CAAA;AAE5D,IAAA,OAAO,MAAM;AACX,MAAA,IAAA,CAAK,QAAA,EAAU,GAAA,CAAI,IAAI,CAAA,EAAG,OAAO,KAAK,CAAA;AAAA,IACxC,CAAA;AAAA,EACF;AAAA,EAEA,aACE,QAAA,EACY;AACZ,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,UAAA,CAAW,OAAA,CAAQ,IAAI,CAAA;AAC9C,IAAA,IAAI,KAAA;AAEJ,IAAA,IAAI,cAAc,EAAA,EAAI;AACpB,MAAA,KAAA,GAAQ,KAAK,UAAA,CAAW,MAAA;AACxB,MAAA,IAAA,CAAK,UAAA,CAAW,KAAK,QAAQ,CAAA;AAAA,IAC/B,CAAA,MAAO;AACL,MAAA,IAAA,CAAK,UAAA,CAAW,SAAS,CAAA,GAAI,QAAA;AAC7B,MAAA,KAAA,GAAQ,SAAA;AAAA,IACV;AAEA,IAAA,IAAA,CAAK,cAAA,EAAA;AACL,IAAA,IAAI,UAAA,GAAa,IAAA;AAEjB,IAAA,OAAO,MAAM;AACX,MAAA,IAAI,CAAC,UAAA,EAAY;AACf,QAAA;AAAA,MACF;AAEA,MAAA,UAAA,GAAa,KAAA;AACb,MAAA,IAAA,CAAK,UAAA,CAAW,KAAK,CAAA,GAAI,IAAA;AACzB,MAAA,IAAA,CAAK,cAAA,EAAA;AAAA,IACP,CAAA;AAAA,EACF;AACF","file":"index.mjs","sourcesContent":["import type { FSMConfig, TransitionInfo, TransitionListener } from \"./types\";\n\n/**\n * Synchronous finite state machine engine.\n *\n * Reentrancy: `send()` inside `onTransition` listener is allowed but unbounded —\n * callers are responsible for preventing infinite loops.\n *\n * Exceptions: if a listener throws, the exception propagates to the caller.\n * State is already updated before listeners fire, so `getState()` reflects the\n * new state even if the exception escapes `send()`.\n */\nexport class FSM<\n  TStates extends string,\n  TEvents extends string,\n  TContext,\n  TPayloadMap extends Partial<Record<TEvents, unknown>> = Record<never, never>,\n> {\n  #state: TStates;\n  #currentTransitions: Partial<Record<TEvents, TStates>>;\n  #listenerCount = 0;\n  #actions: Map<TStates, Map<TEvents, (payload: unknown) => void>> | null =\n    null;\n  readonly #context: TContext;\n  readonly #transitions: Record<TStates, Partial<Record<TEvents, TStates>>>;\n  readonly #listeners: (TransitionListener<\n    TStates,\n    TEvents,\n    TPayloadMap\n  > | null)[] = [];\n\n  constructor(config: FSMConfig<TStates, TEvents, TContext>) {\n    this.#state = config.initial;\n    this.#context = config.context;\n    this.#transitions = config.transitions;\n    this.#currentTransitions = config.transitions[config.initial];\n  }\n\n  send(event: TEvents, payload?: TPayloadMap[TEvents]): TStates {\n    const nextState = this.#currentTransitions[event];\n\n    if (nextState === undefined) {\n      return this.#state;\n    }\n\n    const from = this.#state;\n\n    this.#state = nextState;\n    this.#currentTransitions = this.#transitions[nextState];\n\n    if (this.#actions !== null) {\n      const action = this.#actions.get(from)?.get(event);\n\n      if (action !== undefined) {\n        action(payload);\n      }\n    }\n\n    if (this.#listenerCount > 0) {\n      const info: TransitionInfo<TStates, TEvents, TPayloadMap> = {\n        from,\n        to: nextState,\n        event,\n        payload: payload,\n      };\n\n      for (const listener of this.#listeners) {\n        if (listener !== null) {\n          listener(info);\n        }\n      }\n    }\n\n    return this.#state;\n  }\n\n  canSend(event: TEvents): boolean {\n    return this.#currentTransitions[event] !== undefined;\n  }\n\n  /**\n   * Directly sets FSM state without triggering actions or listeners.\n   * Use for hot-path optimizations where the caller handles side effects.\n   */\n  forceState(state: TStates): void {\n    this.#state = state;\n    this.#currentTransitions = this.#transitions[state];\n  }\n\n  getState(): TStates {\n    return this.#state;\n  }\n\n  getContext(): TContext {\n    return this.#context;\n  }\n\n  on<E extends TEvents>(\n    from: TStates,\n    event: E,\n    action: E extends keyof TPayloadMap\n      ? (payload: TPayloadMap[E]) => void\n      : () => void,\n  ): () => void {\n    this.#actions ??= new Map();\n\n    let stateActions = this.#actions.get(from);\n\n    if (!stateActions) {\n      stateActions = new Map();\n      this.#actions.set(from, stateActions);\n    }\n\n    stateActions.set(event, action as (payload: unknown) => void);\n\n    return () => {\n      this.#actions?.get(from)?.delete(event);\n    };\n  }\n\n  onTransition(\n    listener: (info: TransitionInfo<TStates, TEvents, TPayloadMap>) => void,\n  ): () => void {\n    const nullIndex = this.#listeners.indexOf(null);\n    let index: number;\n\n    if (nullIndex === -1) {\n      index = this.#listeners.length;\n      this.#listeners.push(listener);\n    } else {\n      this.#listeners[nullIndex] = listener;\n      index = nullIndex;\n    }\n\n    this.#listenerCount++;\n    let subscribed = true;\n\n    return () => {\n      if (!subscribed) {\n        return;\n      }\n\n      subscribed = false;\n      this.#listeners[index] = null;\n      this.#listenerCount--;\n    };\n  }\n}\n"]}

package/dist/esm/metafile-esm.json

@@ -1 +1 @@
-{"inputs":{"src/fsm.ts":{"bytes":3449,"imports":[],"format":"esm"},"src/index.ts":{"bytes":88,"imports":[{"path":"src/fsm.ts","kind":"import-statement","original":"./fsm"}],"format":"esm"}},"outputs":{"dist/esm/index.mjs.map":{"imports":[],"exports":[],"inputs":{},"bytes":5190},"dist/esm/index.mjs":{"imports":[],"exports":["FSM"],"entryPoint":"src/index.ts","inputs":{"src/fsm.ts":{"bytesInOutput":1976},"src/index.ts":{"bytesInOutput":0}},"bytes":2008}}}
+{"inputs":{"src/fsm.ts":{"bytes":3754,"imports":[],"format":"esm"},"src/index.ts":{"bytes":88,"imports":[{"path":"src/fsm.ts","kind":"import-statement","original":"./fsm"}],"format":"esm"}},"outputs":{"dist/esm/index.mjs.map":{"imports":[],"exports":[],"inputs":{},"bytes":5670},"dist/esm/index.mjs":{"imports":[],"exports":["FSM"],"entryPoint":"src/index.ts","inputs":{"src/fsm.ts":{"bytesInOutput":2378},"src/index.ts":{"bytesInOutput":0}},"bytes":2410}}}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@real-router/fsm",
-  "version": "0.2.0",
+  "version": "0.2.1",
   "type": "commonjs",
   "description": "Universal synchronous FSM engine for Real-Router",
   "main": "./dist/cjs/index.js",
@@ -8,6 +8,7 @@
   "types": "./dist/esm/index.d.mts",
   "exports": {
     ".": {
+      "development": "./src/index.ts",
       "types": {
         "import": "./dist/esm/index.d.mts",
         "require": "./dist/cjs/index.d.ts"
@@ -17,7 +18,8 @@
     }
   },
   "files": [
-    "dist"
+    "dist",
+    "src"
   ],
   "repository": {
     "type": "git",
@@ -40,11 +42,9 @@
   },
   "homepage": "https://github.com/greydragon888/real-router",
   "sideEffects": false,
-  "devDependencies": {
-    "mitata": "1.0.34"
-  },
   "scripts": {
     "test": "vitest",
+    "test:properties": "vitest --config vitest.config.properties.mts --run",
     "build": "tsup",
     "type-check": "tsc --noEmit",
     "lint": "eslint --cache --ext .ts src/ tests/ --fix --max-warnings 0",

package/src/fsm.ts

@@ -0,0 +1,148 @@
+import type { FSMConfig, TransitionInfo, TransitionListener } from "./types";
+
+/**
+ * Synchronous finite state machine engine.
+ *
+ * Reentrancy: `send()` inside `onTransition` listener is allowed but unbounded —
+ * callers are responsible for preventing infinite loops.
+ *
+ * Exceptions: if a listener throws, the exception propagates to the caller.
+ * State is already updated before listeners fire, so `getState()` reflects the
+ * new state even if the exception escapes `send()`.
+ */
+export class FSM<
+  TStates extends string,
+  TEvents extends string,
+  TContext,
+  TPayloadMap extends Partial<Record<TEvents, unknown>> = Record<never, never>,
+> {
+  #state: TStates;
+  #currentTransitions: Partial<Record<TEvents, TStates>>;
+  #listenerCount = 0;
+  #actions: Map<TStates, Map<TEvents, (payload: unknown) => void>> | null =
+    null;
+  readonly #context: TContext;
+  readonly #transitions: Record<TStates, Partial<Record<TEvents, TStates>>>;
+  readonly #listeners: (TransitionListener<
+    TStates,
+    TEvents,
+    TPayloadMap
+  > | null)[] = [];
+
+  constructor(config: FSMConfig<TStates, TEvents, TContext>) {
+    this.#state = config.initial;
+    this.#context = config.context;
+    this.#transitions = config.transitions;
+    this.#currentTransitions = config.transitions[config.initial];
+  }
+
+  send(event: TEvents, payload?: TPayloadMap[TEvents]): TStates {
+    const nextState = this.#currentTransitions[event];
+
+    if (nextState === undefined) {
+      return this.#state;
+    }
+
+    const from = this.#state;
+
+    this.#state = nextState;
+    this.#currentTransitions = this.#transitions[nextState];
+
+    if (this.#actions !== null) {
+      const action = this.#actions.get(from)?.get(event);
+
+      if (action !== undefined) {
+        action(payload);
+      }
+    }
+
+    if (this.#listenerCount > 0) {
+      const info: TransitionInfo<TStates, TEvents, TPayloadMap> = {
+        from,
+        to: nextState,
+        event,
+        payload: payload,
+      };
+
+      for (const listener of this.#listeners) {
+        if (listener !== null) {
+          listener(info);
+        }
+      }
+    }
+
+    return this.#state;
+  }
+
+  canSend(event: TEvents): boolean {
+    return this.#currentTransitions[event] !== undefined;
+  }
+
+  /**
+   * Directly sets FSM state without triggering actions or listeners.
+   * Use for hot-path optimizations where the caller handles side effects.
+   */
+  forceState(state: TStates): void {
+    this.#state = state;
+    this.#currentTransitions = this.#transitions[state];
+  }
+
+  getState(): TStates {
+    return this.#state;
+  }
+
+  getContext(): TContext {
+    return this.#context;
+  }
+
+  on<E extends TEvents>(
+    from: TStates,
+    event: E,
+    action: E extends keyof TPayloadMap
+      ? (payload: TPayloadMap[E]) => void
+      : () => void,
+  ): () => void {
+    this.#actions ??= new Map();
+
+    let stateActions = this.#actions.get(from);
+
+    if (!stateActions) {
+      stateActions = new Map();
+      this.#actions.set(from, stateActions);
+    }
+
+    stateActions.set(event, action as (payload: unknown) => void);
+
+    return () => {
+      this.#actions?.get(from)?.delete(event);
+    };
+  }
+
+  onTransition(
+    listener: (info: TransitionInfo<TStates, TEvents, TPayloadMap>) => void,
+  ): () => void {
+    const nullIndex = this.#listeners.indexOf(null);
+    let index: number;
+
+    if (nullIndex === -1) {
+      index = this.#listeners.length;
+      this.#listeners.push(listener);
+    } else {
+      this.#listeners[nullIndex] = listener;
+      index = nullIndex;
+    }
+
+    this.#listenerCount++;
+    let subscribed = true;
+
+    return () => {
+      if (!subscribed) {
+        return;
+      }
+
+      subscribed = false;
+      this.#listeners[index] = null;
+      this.#listenerCount--;
+    };
+  }
+}

package/src/index.ts

@@ -0,0 +1,3 @@
+export { FSM } from "./fsm";
+
+export type { FSMConfig, TransitionInfo } from "./types";

package/src/types.ts

@@ -0,0 +1,26 @@
+export interface FSMConfig<
+  TStates extends string,
+  TEvents extends string,
+  TContext,
+> {
+  initial: TStates;
+  context: TContext;
+  transitions: Record<TStates, Partial<Record<TEvents, TStates>>>;
+}
+
+export interface TransitionInfo<
+  TStates extends string,
+  TEvents extends string,
+  TPayloadMap extends Partial<Record<TEvents, unknown>>,
+> {
+  from: TStates;
+  to: TStates;
+  event: TEvents;
+  payload: TPayloadMap[TEvents] | undefined;
+}
+
+export type TransitionListener<
+  TStates extends string,
+  TEvents extends string,
+  TPayloadMap extends Partial<Record<TEvents, unknown>>,
+> = (info: TransitionInfo<TStates, TEvents, TPayloadMap>) => void;