jssm 5.141.3 → 5.141.4

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.141.3 at 6/2/2026, 9:10:12 AM
+* Generated for version 5.141.4 at 6/2/2026, 10:32:57 AM
 
 -->
-# jssm 5.141.3
+# jssm 5.141.4
 
 [**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,482 tests at 100.0% line coverage
+  library.**  6,484 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,482 tests***, run 57,269 times.
+***6,484 tests***, run 57,271 times.
 
-- 5,969 specs with 100.0% coverage
+- 5,971 specs with 100.0% coverage
 - 513 fuzz tests with 3.4% coverage
-- 5,566 TypeScript lines - 1.2 tests per line, 10.3 generated tests per line
+- 5,573 TypeScript lines - 1.2 tests per line, 10.3 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

@@ -21327,7 +21327,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.141.3";
+const version = "5.141.4";
 
 // whargarbl lots of these return arrays could/should be sets
 const { state_name_chars, state_name_first_chars, action_label_chars } = constants;
@@ -21643,6 +21643,11 @@ class Machine {
                 this._state_labels.set(key, labelled[0].value);
             }
         });
+        // O(1) duplicate-edge guard for the construction loop below: from -> Set<to>.
+        // Keyed by source state; mirrors each state's `to` array with constant-time
+        // membership so the dedup check is O(1) per edge rather than an O(out-degree)
+        // array scan (which made construction O(V*E) on dense graphs).  #673
+        const seen_edges = new Map();
         // walk the transitions
         transitions.map((tr) => {
             if (tr.from === undefined) {
@@ -21662,11 +21667,20 @@ class Machine {
             if (!(this._states.has(tr.to))) {
                 this._new_state(cursor_to);
             }
-            // guard against existing connections being re-added
-            if (cursor_from.to.includes(tr.to)) {
+            // guard against existing connections being re-added — O(1) via the
+            // from -> Set<to> index instead of an O(out-degree) `cursor_from.to`
+            // array scan.  Behaviour is identical: the same duplicate (from, to)
+            // pair throws the same JssmError.  #673
+            let seen_to = seen_edges.get(tr.from);
+            if (seen_to === undefined) {
+                seen_to = new Set();
+                seen_edges.set(tr.from, seen_to);
+            }
+            if (seen_to.has(tr.to)) {
                 throw new JssmError(this, `already has ${JSON.stringify(tr.from)} to ${JSON.stringify(tr.to)}`);
             }
             else {
+                seen_to.add(tr.to);
                 cursor_from.to.push(tr.to);
                 cursor_to.from.push(tr.from);
             }

package/dist/cdn/viz.js

@@ -21352,7 +21352,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.141.3";
+const version = "5.141.4";
 
 // whargarbl lots of these return arrays could/should be sets
 const { state_name_chars, state_name_first_chars, action_label_chars } = constants;
@@ -21668,6 +21668,11 @@ class Machine {
                 this._state_labels.set(key, labelled[0].value);
             }
         });
+        // O(1) duplicate-edge guard for the construction loop below: from -> Set<to>.
+        // Keyed by source state; mirrors each state's `to` array with constant-time
+        // membership so the dedup check is O(1) per edge rather than an O(out-degree)
+        // array scan (which made construction O(V*E) on dense graphs).  #673
+        const seen_edges = new Map();
         // walk the transitions
         transitions.map((tr) => {
             if (tr.from === undefined) {
@@ -21687,11 +21692,20 @@ class Machine {
             if (!(this._states.has(tr.to))) {
                 this._new_state(cursor_to);
             }
-            // guard against existing connections being re-added
-            if (cursor_from.to.includes(tr.to)) {
+            // guard against existing connections being re-added — O(1) via the
+            // from -> Set<to> index instead of an O(out-degree) `cursor_from.to`
+            // array scan.  Behaviour is identical: the same duplicate (from, to)
+            // pair throws the same JssmError.  #673
+            let seen_to = seen_edges.get(tr.from);
+            if (seen_to === undefined) {
+                seen_to = new Set();
+                seen_edges.set(tr.from, seen_to);
+            }
+            if (seen_to.has(tr.to)) {
                 throw new JssmError(this, `already has ${JSON.stringify(tr.from)} to ${JSON.stringify(tr.to)}`);
             }
             else {
+                seen_to.add(tr.to);
                 cursor_from.to.push(tr.to);
                 cursor_to.from.push(tr.from);
             }