jssm 5.162.6 → 5.162.7

package/dist/fence/fence.js

@@ -21912,6 +21912,14 @@ function nth_matching_loc(tree, predicate, n) {
  *
  */
 function makeTransition(this_se, from, to, isRight, _wasList, _wasIndex) {
+    // the explicit quotation syntax lets `""` through the grammar; a nameless
+    // state can never be addressed, so reject at edge assembly (fsl#653)
+    if (from === '') {
+        throw new JssmError(undefined, 'A state name may not be the empty string (transition source)');
+    }
+    if (to === '') {
+        throw new JssmError(undefined, 'A state name may not be the empty string (transition target)');
+    }
     const kind = isRight
         ? arrow_right_kind(this_se.kind)
         : arrow_left_kind(this_se.kind), 
@@ -21951,6 +21959,11 @@ function makeTransition(this_se, from, to, isRight, _wasList, _wasIndex) {
     if (this_se[probability] != null) {
         edge.probability = this_se[probability];
     }
+    // same rejection for `''` action quotation — an action nobody can name
+    // can never be dispatched (fsl#653)
+    if (edge.action === '') {
+        throw new JssmError(undefined, 'An action name may not be the empty string');
+    }
     return edge;
 }
 /*********
@@ -23790,7 +23803,7 @@ function fslSemanticSpans(text) {
  *  Useful for runtime diagnostics and for embedding in serialized machine
  *  snapshots so that deserializers can detect version-skew.
  */
-const version = "5.162.6";
+const version = "5.162.7";
 
 /**
  *  The FSL Markdown fence convention parser — pure, host-agnostic logic that
@@ -26600,11 +26613,14 @@ class Machine {
         }
         for (const field of hook_spatial_fields) {
             const needed = required.includes(field);
-            const present = HookDesc[field] !== undefined;
-            if (needed && !present) {
-                throw new JssmError(this, `${HookDesc.kind} hook requires '${field}'`);
-            }
-            if (!needed && present) {
+            const value = HookDesc[field];
+            // a required spatial field must be a usable key: a non-empty string.
+            // presence alone isn't enough — `action: false` or `from: ''` would
+            // register a hook nothing can ever fire (fsl#653, fsl#659)
+            if (needed && ((typeof value !== 'string') || (value === ''))) {
+                throw new JssmError(this, `${HookDesc.kind} hook requires '${field}' to be a non-empty string`);
+            }
+            if (!needed && (value !== undefined)) {
                 throw new JssmError(this, `${HookDesc.kind} hook does not take '${field}'`);
             }
         }