jssm 5.143.23 → 5.143.24

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.23 at 6/12/2026, 1:50:43 PM
+* Generated for version 5.143.24 at 6/12/2026, 2:12:45 PM
 
 -->
-# jssm 5.143.23
+# jssm 5.143.24
 
 [**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.**  7,009 tests at 100.0% line coverage
+  library.**  7,012 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/>
 
-***7,009 tests***, run 81,853 times.
+***7,012 tests***, run 81,856 times.
 
-- 6,253 specs with 100.0% coverage
-- 756 fuzz tests with 83.6% coverage
-- 5,870 TypeScript lines - 1.2 tests per line, 13.9 generated tests per line
+- 6,256 specs with 100.0% coverage
+- 756 fuzz tests with 83.5% coverage
+- 5,876 TypeScript lines - 1.2 tests per line, 13.9 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

@@ -21804,7 +21804,9 @@ function compile(tree) {
                     throw new JssmError(undefined, `A state may only bind a property once (${sd.state} re-binds ${decl.name})`, { source_location: nth_matching_loc(tree, (n) => n.key === 'state_declaration' && n.name === sd.state, 1) });
                 }
                 else {
-                    result_cfg.state_property.push({ name: label, default_value: decl.value });
+                    // property/state carry the unserialized pair so the constructor can
+                    // validate bindings without JSON.parse-ing label back apart (#734)
+                    result_cfg.state_property.push({ name: label, default_value: decl.value, property: decl.name, state: sd.state });
                 }
             }
         });
@@ -22400,7 +22402,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.23";
+const version = "5.143.24";
 
 // whargarbl lots of these return arrays could/should be sets
 const { state_name_chars, state_name_first_chars, action_label_chars } = constants;
@@ -22734,6 +22736,7 @@ class Machine {
         this._default_properties = new Map();
         this._state_properties = new Map();
         this._required_properties = new Set();
+        this._state_property_first_state = new Map();
         this._state_style = state_style_condense(default_state_config, this);
         this._active_state_style = state_style_condense(default_active_state_config, this);
         this._hooked_state_style = state_style_condense(default_hooked_state_config, this);
@@ -22921,6 +22924,19 @@ class Machine {
         if (Array.isArray(state_property)) {
             state_property.forEach(sp => {
                 this._state_properties.set(sp.name, sp.default_value);
+                // Record the unserialized (property, state) pair for post-build
+                // validation.  The compiler writes both fields; a hand-built config
+                // that carries only the serialized name pays one JSON.parse here,
+                // which is what every binding used to pay at validation time (#734).
+                let j_property = sp.property, j_state = sp.state;
+                if ((j_property === undefined) || (j_state === undefined)) {
+                    const inside = JSON.parse(sp.name);
+                    j_property = inside[0];
+                    j_state = inside[1];
+                }
+                if (!(this._state_property_first_state.has(j_property))) {
+                    this._state_property_first_state.set(j_property, j_state);
+                }
             });
         }
         // set initial state either from the specified or the start state list.  validate admission behavior.
@@ -22940,32 +22956,25 @@ class Machine {
         }
         // done building, do checks
         // assert all props are valid
-        // _state_properties keys are always JSON.stringify([string, string]),
-        // built by name_bind_prop_and_state which throws on non-strings — so the
-        // non-array / non-string else-arms below are unreachable, not untested.
-        this._state_properties.forEach((_value, key) => {
-            const inside = JSON.parse(key);
-            /* v8 ignore else */
-            if (Array.isArray(inside)) {
-                const j_property = inside[0];
-                /* v8 ignore else */
-                if (typeof j_property === 'string') {
-                    const j_state = inside[1];
-                    /* v8 ignore else */
-                    if (typeof j_state === 'string') {
-                        if (!(this.known_prop(j_property))) {
-                            throw new JssmError(this, `State "${j_state}" has property "${j_property}" which is not globally declared`);
-                        }
-                    }
-                }
+        // provenance pairs were recorded at insertion — first state per property,
+        // in first-binding order — replacing the old JSON.parse of every
+        // serialized key; the error fires for the same binding it always did,
+        // because the first property in first-binding order whose name is
+        // undeclared owns the earliest undeclared binding.
+        this._state_property_first_state.forEach((j_state, j_property) => {
+            if (!(this.known_prop(j_property))) {
+                throw new JssmError(this, `State "${j_state}" has property "${j_property}" which is not globally declared`);
             }
         });
         // assert all required properties are serviced
+        // states() allocates a fresh array per call, so take it once rather than
+        // once per required property
+        const all_states_for_props = this.states();
         this._required_properties.forEach(dp_key => {
             if (this._default_properties.has(dp_key)) {
                 throw new JssmError(this, `The property "${dp_key}" is required, but also has a default; these conflict`);
             }
-            this.states().forEach(s => {
+            all_states_for_props.forEach(s => {
                 const bound_name = name_bind_prop_and_state(dp_key, s);
                 if (!(this._state_properties.has(bound_name))) {
                     throw new JssmError(this, `State "${s}" is missing required property "${dp_key}"`);

package/dist/cdn/viz.js

@@ -21829,7 +21829,9 @@ function compile(tree) {
                     throw new JssmError(undefined, `A state may only bind a property once (${sd.state} re-binds ${decl.name})`, { source_location: nth_matching_loc(tree, (n) => n.key === 'state_declaration' && n.name === sd.state, 1) });
                 }
                 else {
-                    result_cfg.state_property.push({ name: label, default_value: decl.value });
+                    // property/state carry the unserialized pair so the constructor can
+                    // validate bindings without JSON.parse-ing label back apart (#734)
+                    result_cfg.state_property.push({ name: label, default_value: decl.value, property: decl.name, state: sd.state });
                 }
             }
         });
@@ -22425,7 +22427,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.23";
+const version = "5.143.24";
 
 // whargarbl lots of these return arrays could/should be sets
 const { state_name_chars, state_name_first_chars, action_label_chars } = constants;
@@ -22759,6 +22761,7 @@ class Machine {
         this._default_properties = new Map();
         this._state_properties = new Map();
         this._required_properties = new Set();
+        this._state_property_first_state = new Map();
         this._state_style = state_style_condense(default_state_config, this);
         this._active_state_style = state_style_condense(default_active_state_config, this);
         this._hooked_state_style = state_style_condense(default_hooked_state_config, this);
@@ -22946,6 +22949,19 @@ class Machine {
         if (Array.isArray(state_property)) {
             state_property.forEach(sp => {
                 this._state_properties.set(sp.name, sp.default_value);
+                // Record the unserialized (property, state) pair for post-build
+                // validation.  The compiler writes both fields; a hand-built config
+                // that carries only the serialized name pays one JSON.parse here,
+                // which is what every binding used to pay at validation time (#734).
+                let j_property = sp.property, j_state = sp.state;
+                if ((j_property === undefined) || (j_state === undefined)) {
+                    const inside = JSON.parse(sp.name);
+                    j_property = inside[0];
+                    j_state = inside[1];
+                }
+                if (!(this._state_property_first_state.has(j_property))) {
+                    this._state_property_first_state.set(j_property, j_state);
+                }
             });
         }
         // set initial state either from the specified or the start state list.  validate admission behavior.
@@ -22965,32 +22981,25 @@ class Machine {
         }
         // done building, do checks
         // assert all props are valid
-        // _state_properties keys are always JSON.stringify([string, string]),
-        // built by name_bind_prop_and_state which throws on non-strings — so the
-        // non-array / non-string else-arms below are unreachable, not untested.
-        this._state_properties.forEach((_value, key) => {
-            const inside = JSON.parse(key);
-            /* v8 ignore else */
-            if (Array.isArray(inside)) {
-                const j_property = inside[0];
-                /* v8 ignore else */
-                if (typeof j_property === 'string') {
-                    const j_state = inside[1];
-                    /* v8 ignore else */
-                    if (typeof j_state === 'string') {
-                        if (!(this.known_prop(j_property))) {
-                            throw new JssmError(this, `State "${j_state}" has property "${j_property}" which is not globally declared`);
-                        }
-                    }
-                }
+        // provenance pairs were recorded at insertion — first state per property,
+        // in first-binding order — replacing the old JSON.parse of every
+        // serialized key; the error fires for the same binding it always did,
+        // because the first property in first-binding order whose name is
+        // undeclared owns the earliest undeclared binding.
+        this._state_property_first_state.forEach((j_state, j_property) => {
+            if (!(this.known_prop(j_property))) {
+                throw new JssmError(this, `State "${j_state}" has property "${j_property}" which is not globally declared`);
             }
         });
         // assert all required properties are serviced
+        // states() allocates a fresh array per call, so take it once rather than
+        // once per required property
+        const all_states_for_props = this.states();
         this._required_properties.forEach(dp_key => {
             if (this._default_properties.has(dp_key)) {
                 throw new JssmError(this, `The property "${dp_key}" is required, but also has a default; these conflict`);
             }
-            this.states().forEach(s => {
+            all_states_for_props.forEach(s => {
                 const bound_name = name_bind_prop_and_state(dp_key, s);
                 if (!(this._state_properties.has(bound_name))) {
                     throw new JssmError(this, `State "${s}" is missing required property "${dp_key}"`);