jssm 5.143.12 → 5.143.15

package/README.md

@@ -18,10 +18,10 @@ Please edit the file it's derived from, instead: `./src/md/readme_base.md`
 
 
 
-* Generated for version 5.143.12 at 6/12/2026, 8:38:46 AM
+* Generated for version 5.143.15 at 6/12/2026, 9:37:20 AM
 
 -->
-# jssm 5.143.12
+# jssm 5.143.15
 
 [**Try the live editor**](https://stonecypher.github.io/jssm-viz-demo/graph_explorer.html) ·
 [Documentation](https://stonecypher.github.io/jssm/docs/) ·
@@ -281,7 +281,7 @@ That decision shows up everywhere downstream:
   or run `npm run benny` against your own machine.
 
 - **More thoroughly tested than any other JavaScript state-machine
-  library.**  6,952 tests at 100.0% line coverage
+  library.**  6,958 tests at 100.0% line coverage
   ([report](https://coveralls.io/github/StoneCypher/jssm)), plus
   fuzz testing via `fast-check`, with parser test data across ten natural
   languages and Emoji.
@@ -414,11 +414,11 @@ If your contribution is missing here, please open an issue.
 
 <br/>
 
-***6,952 tests***, run 78,925 times.
+***6,958 tests***, run 78,931 times.
 
-- 6,225 specs with 100.0% coverage
-- 727 fuzz tests with 73.1% coverage
-- 5,871 TypeScript lines - 1.2 tests per line, 13.4 generated tests per line
+- 6,231 specs with 100.0% coverage
+- 727 fuzz tests with 72.8% coverage
+- 5,865 TypeScript lines - 1.2 tests per line, 13.5 generated tests per line
 
 [![Actions Status](https://github.com/StoneCypher/jssm/workflows/Node%20CI/badge.svg)](https://github.com/StoneCypher/jssm/actions)
 [![NPM version](https://img.shields.io/npm/v/jssm.svg)](https://www.npmjs.com/package/jssm)

package/dist/cdn/instance.js

@@ -22788,7 +22788,7 @@ var constants = /*#__PURE__*/Object.freeze({
  *  Useful for runtime diagnostics and for embedding in serialized machine
  *  snapshots so that deserializers can detect version-skew.
  */
-const version = "5.143.12";
+const version = "5.143.15";
 
 // whargarbl lots of these return arrays could/should be sets
 const { state_name_chars, state_name_first_chars, action_label_chars } = constants;
@@ -24779,36 +24779,30 @@ class Machine {
     set_hook(HookDesc) {
         switch (HookDesc.kind) {
             case 'hook': {
-                // Nested by `from` then `to`; avoids JSON.stringify on every transition (#642).
-                let inner = this._hooks.get(HookDesc.from);
-                if (inner === undefined) {
-                    inner = new Map();
-                    this._hooks.set(HookDesc.from, inner);
-                }
-                inner.set(HookDesc.to, HookDesc.handler);
+                // Numeric pair key (#729).  intern() rather than id_of(): a hook may
+                // name a state the machine doesn't have — it gets an id no live state
+                // can match, so it registers silently and never fires, as before.
+                this._hooks.set(pair_key(this._state_interner.intern(HookDesc.from), this._state_interner.intern(HookDesc.to)), HookDesc.handler);
                 this._has_hooks = true;
                 this._has_basic_hooks = true;
                 break;
             }
             case 'named': {
-                // Nested by `from` then `to` then `action`; same rationale as 'hook' (#642).
-                let inner = this._named_hooks.get(HookDesc.from);
+                // Numeric pair key, then action id; the per-pair action map stays a
+                // map because the action interner may keep growing (#729).
+                const pk = pair_key(this._state_interner.intern(HookDesc.from), this._state_interner.intern(HookDesc.to));
+                let inner = this._named_hooks.get(pk);
                 if (inner === undefined) {
                     inner = new Map();
-                    this._named_hooks.set(HookDesc.from, inner);
-                }
-                let inner2 = inner.get(HookDesc.to);
-                if (inner2 === undefined) {
-                    inner2 = new Map();
-                    inner.set(HookDesc.to, inner2);
+                    this._named_hooks.set(pk, inner);
                 }
-                inner2.set(HookDesc.action, HookDesc.handler);
+                inner.set(this._action_interner.intern(HookDesc.action), HookDesc.handler);
                 this._has_hooks = true;
                 this._has_named_hooks = true;
                 break;
             }
             case 'global action':
-                this._global_action_hooks.set(HookDesc.action, HookDesc.handler);
+                this._global_action_hooks.set(this._action_interner.intern(HookDesc.action), HookDesc.handler);
                 this._has_hooks = true;
                 this._has_global_action_hooks = true;
                 break;
@@ -24836,12 +24830,12 @@ class Machine {
                 this._has_hooks = true;
                 break;
             case 'entry':
-                this._entry_hooks.set(HookDesc.to, HookDesc.handler);
+                this._entry_hooks.set(this._state_interner.intern(HookDesc.to), HookDesc.handler);
                 this._has_hooks = true;
                 this._has_entry_hooks = true;
                 break;
             case 'exit':
-                this._exit_hooks.set(HookDesc.from, HookDesc.handler);
+                this._exit_hooks.set(this._state_interner.intern(HookDesc.from), HookDesc.handler);
                 this._has_hooks = true;
                 this._has_exit_hooks = true;
                 break;
@@ -24851,36 +24845,27 @@ class Machine {
                 this._has_after_hooks = true;
                 break;
             case 'post hook': {
-                // Nested by `from` then `to`; same rationale as 'hook' (#642).
-                let inner = this._post_hooks.get(HookDesc.from);
-                if (inner === undefined) {
-                    inner = new Map();
-                    this._post_hooks.set(HookDesc.from, inner);
-                }
-                inner.set(HookDesc.to, HookDesc.handler);
+                // Numeric pair key; same rationale as 'hook' (#729).
+                this._post_hooks.set(pair_key(this._state_interner.intern(HookDesc.from), this._state_interner.intern(HookDesc.to)), HookDesc.handler);
                 this._has_post_hooks = true;
                 this._has_post_basic_hooks = true;
                 break;
             }
             case 'post named': {
-                // Nested by `from` then `to` then `action`; same rationale as 'hook' (#642).
-                let inner = this._post_named_hooks.get(HookDesc.from);
+                // Numeric pair key, then action id; same rationale as 'named' (#729).
+                const pk = pair_key(this._state_interner.intern(HookDesc.from), this._state_interner.intern(HookDesc.to));
+                let inner = this._post_named_hooks.get(pk);
                 if (inner === undefined) {
                     inner = new Map();
-                    this._post_named_hooks.set(HookDesc.from, inner);
-                }
-                let inner2 = inner.get(HookDesc.to);
-                if (inner2 === undefined) {
-                    inner2 = new Map();
-                    inner.set(HookDesc.to, inner2);
+                    this._post_named_hooks.set(pk, inner);
                 }
-                inner2.set(HookDesc.action, HookDesc.handler);
+                inner.set(this._action_interner.intern(HookDesc.action), HookDesc.handler);
                 this._has_post_hooks = true;
                 this._has_post_named_hooks = true;
                 break;
             }
             case 'post global action':
-                this._post_global_action_hooks.set(HookDesc.action, HookDesc.handler);
+                this._post_global_action_hooks.set(this._action_interner.intern(HookDesc.action), HookDesc.handler);
                 this._has_post_hooks = true;
                 this._has_post_global_action_hooks = true;
                 break;
@@ -24908,12 +24893,12 @@ class Machine {
                 this._has_post_hooks = true;
                 break;
             case 'post entry':
-                this._post_entry_hooks.set(HookDesc.to, HookDesc.handler);
+                this._post_entry_hooks.set(this._state_interner.intern(HookDesc.to), HookDesc.handler);
                 this._has_post_entry_hooks = true;
                 this._has_post_hooks = true;
                 break;
             case 'post exit':
-                this._post_exit_hooks.set(HookDesc.from, HookDesc.handler);
+                this._post_exit_hooks.set(this._state_interner.intern(HookDesc.from), HookDesc.handler);
                 this._has_post_exit_hooks = true;
                 this._has_post_hooks = true;
                 break;
@@ -24964,25 +24949,23 @@ class Machine {
         let removed = false;
         switch (HookDesc.kind) {
             case 'hook': {
-                const inner = this._hooks.get(HookDesc.from);
-                if (inner !== undefined && inner.has(HookDesc.to)) {
-                    inner.delete(HookDesc.to);
-                    removed = true;
-                }
+                // id_of, not intern: removal of an unknown name reports false and
+                // must not grow the interner tables (#729).
+                const fid = this._state_interner.id_of(HookDesc.from), tid = this._state_interner.id_of(HookDesc.to);
+                removed = (fid !== undefined) && (tid !== undefined) && this._hooks.delete(pair_key(fid, tid));
                 break;
             }
             case 'named': {
-                const inner = this._named_hooks.get(HookDesc.from);
-                const inner2 = inner === undefined ? undefined : inner.get(HookDesc.to);
-                if (inner2 !== undefined && inner2.has(HookDesc.action)) {
-                    inner2.delete(HookDesc.action);
-                    removed = true;
-                }
+                const fid = this._state_interner.id_of(HookDesc.from), tid = this._state_interner.id_of(HookDesc.to), aid = this._action_interner.id_of(HookDesc.action);
+                const inner = ((fid === undefined) || (tid === undefined)) ? undefined : this._named_hooks.get(pair_key(fid, tid));
+                removed = (inner !== undefined) && (aid !== undefined) && inner.delete(aid);
                 break;
             }
-            case 'global action':
-                removed = this._global_action_hooks.delete(HookDesc.action);
+            case 'global action': {
+                const aid = this._action_interner.id_of(HookDesc.action);
+                removed = (aid !== undefined) && this._global_action_hooks.delete(aid);
                 break;
+            }
             case 'any action':
                 if (this._any_action_hook !== undefined) {
                     this._any_action_hook = undefined;
@@ -25013,35 +24996,35 @@ class Machine {
                     removed = true;
                 }
                 break;
-            case 'entry':
-                removed = this._entry_hooks.delete(HookDesc.to);
+            case 'entry': {
+                const tid = this._state_interner.id_of(HookDesc.to);
+                removed = (tid !== undefined) && this._entry_hooks.delete(tid);
                 break;
-            case 'exit':
-                removed = this._exit_hooks.delete(HookDesc.from);
+            }
+            case 'exit': {
+                const fid = this._state_interner.id_of(HookDesc.from);
+                removed = (fid !== undefined) && this._exit_hooks.delete(fid);
                 break;
+            }
             case 'after':
                 removed = this._after_hooks.delete(HookDesc.from);
                 break;
             case 'post hook': {
-                const inner = this._post_hooks.get(HookDesc.from);
-                if (inner !== undefined && inner.has(HookDesc.to)) {
-                    inner.delete(HookDesc.to);
-                    removed = true;
-                }
+                const fid = this._state_interner.id_of(HookDesc.from), tid = this._state_interner.id_of(HookDesc.to);
+                removed = (fid !== undefined) && (tid !== undefined) && this._post_hooks.delete(pair_key(fid, tid));
                 break;
             }
             case 'post named': {
-                const inner = this._post_named_hooks.get(HookDesc.from);
-                const inner2 = inner === undefined ? undefined : inner.get(HookDesc.to);
-                if (inner2 !== undefined && inner2.has(HookDesc.action)) {
-                    inner2.delete(HookDesc.action);
-                    removed = true;
-                }
+                const fid = this._state_interner.id_of(HookDesc.from), tid = this._state_interner.id_of(HookDesc.to), aid = this._action_interner.id_of(HookDesc.action);
+                const inner = ((fid === undefined) || (tid === undefined)) ? undefined : this._post_named_hooks.get(pair_key(fid, tid));
+                removed = (inner !== undefined) && (aid !== undefined) && inner.delete(aid);
                 break;
             }
-            case 'post global action':
-                removed = this._post_global_action_hooks.delete(HookDesc.action);
+            case 'post global action': {
+                const aid = this._action_interner.id_of(HookDesc.action);
+                removed = (aid !== undefined) && this._post_global_action_hooks.delete(aid);
                 break;
+            }
             case 'post any action':
                 if (this._post_any_action_hook !== undefined) {
                     this._post_any_action_hook = undefined;
@@ -25072,12 +25055,16 @@ class Machine {
                     removed = true;
                 }
                 break;
-            case 'post entry':
-                removed = this._post_entry_hooks.delete(HookDesc.to);
+            case 'post entry': {
+                const tid = this._state_interner.id_of(HookDesc.to);
+                removed = (tid !== undefined) && this._post_entry_hooks.delete(tid);
                 break;
-            case 'post exit':
-                removed = this._post_exit_hooks.delete(HookDesc.from);
+            }
+            case 'post exit': {
+                const fid = this._state_interner.id_of(HookDesc.from);
+                removed = (fid !== undefined) && this._post_exit_hooks.delete(fid);
                 break;
+            }
             case 'pre everything':
                 if (this._pre_everything_hook !== undefined) {
                     this._pre_everything_hook = undefined;
@@ -25561,7 +25548,7 @@ class Machine {
      *
      */
     transition_impl(newStateOrAction, newData, wasForced, wasAction) {
-        let valid = false, trans_type, newState, newStateId = NaN, fromAction = undefined;
+        let valid = false, trans_type, newState, newStateId = NaN, actionId = NaN, fromAction = undefined;
         if (wasForced) {
             // numeric inline of valid_force_transition: any existing edge
             // qualifies, forced or not.  one string probe (the user's target name)
@@ -25577,15 +25564,18 @@ class Machine {
         }
         else if (wasAction) {
             // single numeric resolution: the old path looked the action up twice,
-            // once inside valid_action and again inside current_action_edge_for
-            const edgeId = this.current_action_for(newStateOrAction);
-            if ((edgeId !== undefined) && (edgeId !== null)) {
+            // once inside valid_action and again inside current_action_edge_for.
+            // aid is captured for the numeric hook probes below (#729).
+            const aid = this._action_interner.id_of(newStateOrAction);
+            const edgeId = (aid === undefined) ? undefined : this._edge_id_by_action_pair.get(pair_key(aid, this._state_id));
+            if (edgeId !== undefined) {
                 const edge = this._edges[edgeId];
                 valid = true;
                 trans_type = edge.kind;
                 newState = edge.to;
                 newStateId = this._edge_to_ids[edgeId];
                 fromAction = newStateOrAction;
+                actionId = aid;
             }
         }
         else {
@@ -25638,8 +25628,11 @@ class Machine {
             }
         }
         // Captured pre-transition source state so 'data-change' detail and similar
-        // events can name where we came from.
+        // events can name where we came from.  fromStateId mirrors it for the
+        // numeric post-hook probes: by the time they run, _state_id is already
+        // the destination (#729).
         const fromState = this._state;
+        const fromStateId = this._state_id;
         const oldData = this._data;
         if (valid) {
             // once validity is known, clear old 'after' timeout clause.  This must
@@ -25672,7 +25665,7 @@ class Machine {
                         data_changed = true;
                     }
                     // 1b. global specific action hook
-                    const outcome2 = abstract_hook_step(this._global_action_hooks.get(newStateOrAction), hook_args);
+                    const outcome2 = abstract_hook_step(this._global_action_hooks.get(actionId), hook_args);
                     if (outcome2.pass === false) {
                         this._fire_hook_rejection('global action', fromState, newState, fromAction, oldData, newData, wasForced);
                         return false;
@@ -25703,7 +25696,7 @@ class Machine {
                 }
                 // 4. exit hook
                 if (this._has_exit_hooks) {
-                    const outcome = abstract_hook_step(this._exit_hooks.get(this._state), hook_args);
+                    const outcome = abstract_hook_step(this._exit_hooks.get(this._state_id), hook_args);
                     if (outcome.pass === false) {
                         this._fire_hook_rejection('exit', fromState, newState, fromAction, oldData, newData, wasForced);
                         return false;
@@ -25715,11 +25708,9 @@ class Machine {
                 // 5. named transition / action hook
                 if (this._has_named_hooks) {
                     if (wasAction) {
-                        // Nested lookup: from -> to -> action.  Each step is a small Map keyed by
-                        // an already-interned state/action name; no per-call string allocation.
-                        const byTo = this._named_hooks.get(this._state);
-                        const byAct = byTo === undefined ? undefined : byTo.get(newState);
-                        const nh = byAct === undefined ? undefined : byAct.get(newStateOrAction);
+                        // Numeric pair probe, then the action id captured at dispatch (#729).
+                        const byPair = this._named_hooks.get(pair_key(this._state_id, newStateId));
+                        const nh = byPair === undefined ? undefined : byPair.get(actionId);
                         const outcome = abstract_hook_step(nh, hook_args);
                         if (outcome.pass === false) {
                             this._fire_hook_rejection('named', fromState, newState, fromAction, oldData, newData, wasForced);
@@ -25732,9 +25723,8 @@ class Machine {
                 }
                 // 6. regular hook
                 if (this._has_basic_hooks) {
-                    // Nested lookup: from -> to.  See note on _hooks declaration (#642).
-                    const byTo = this._hooks.get(this._state);
-                    const h = byTo === undefined ? undefined : byTo.get(newState);
+                    // Numeric pair probe (#729); one integer hash replaces two string maps.
+                    const h = this._hooks.get(pair_key(this._state_id, newStateId));
                     const outcome = abstract_hook_step(h, hook_args);
                     if (outcome.pass === false) {
                         this._fire_hook_rejection('hook', fromState, newState, fromAction, oldData, newData, wasForced);
@@ -25780,7 +25770,7 @@ class Machine {
                 }
                 // 8. entry hook
                 if (this._has_entry_hooks) {
-                    const outcome = abstract_hook_step(this._entry_hooks.get(newState), hook_args);
+                    const outcome = abstract_hook_step(this._entry_hooks.get(newStateId), hook_args);
                     if (outcome.pass === false) {
                         this._fire_hook_rejection('entry', fromState, newState, fromAction, oldData, newData, wasForced);
                         return false;
@@ -25861,7 +25851,7 @@ class Machine {
                     this._post_any_action_hook(hook_args);
                 }
                 // 2. global specific action hook
-                const pgah = this._post_global_action_hooks.get(hook_args.action);
+                const pgah = this._post_global_action_hooks.get(actionId);
                 if (pgah !== undefined) {
                     pgah(hook_args);
                 }
@@ -25872,7 +25862,7 @@ class Machine {
             }
             // 4. exit hook
             if (this._has_post_exit_hooks) {
-                const peh = this._post_exit_hooks.get(hook_args.from); // todo this is probably from instead
+                const peh = this._post_exit_hooks.get(fromStateId);
                 if (peh !== undefined) {
                     peh(hook_args);
                 }
@@ -25880,10 +25870,9 @@ class Machine {
             // 5. named transition / action hook
             if (this._has_post_named_hooks) {
                 if (wasAction) {
-                    // Nested lookup: from -> to -> action.  See note on _post_named_hooks (#642).
-                    const byTo = this._post_named_hooks.get(hook_args.from);
-                    const byAct = byTo === undefined ? undefined : byTo.get(hook_args.to);
-                    const pnh = byAct === undefined ? undefined : byAct.get(hook_args.action);
+                    // Numeric pair probe, then the action id captured at dispatch (#729).
+                    const byPair = this._post_named_hooks.get(pair_key(fromStateId, newStateId));
+                    const pnh = byPair === undefined ? undefined : byPair.get(actionId);
                     if (pnh !== undefined) {
                         pnh(hook_args);
                     }
@@ -25891,9 +25880,8 @@ class Machine {
             }
             // 6. regular hook
             if (this._has_post_basic_hooks) {
-                // Nested lookup: from -> to.  See note on _post_hooks (#642).
-                const byTo = this._post_hooks.get(hook_args.from);
-                const hook = byTo === undefined ? undefined : byTo.get(hook_args.to);
+                // Numeric pair probe (#729).
+                const hook = this._post_hooks.get(pair_key(fromStateId, newStateId));
                 if (hook !== undefined) {
                     hook(hook_args);
                 }
@@ -25919,7 +25907,7 @@ class Machine {
             }
             // 8. entry hook
             if (this._has_post_entry_hooks) {
-                const hook = this._post_entry_hooks.get(hook_args.to);
+                const hook = this._post_entry_hooks.get(newStateId);
                 if (hook !== undefined) {
                     hook(hook_args);
                 }