jssm 5.145.6 → 5.147.0

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.145.6 at 6/23/2026, 6:05:53 AM
+* Generated for version 5.147.0 at 6/23/2026, 6:50:50 AM
 
 -->
-# jssm 5.145.6
+# jssm 5.147.0
 
 [**Try the live editor**](https://stonecypher.github.io/jssm-viz-demo/graph_explorer.html) ·
 [Documentation](https://stonecypher.github.io/jssm/docs/) ·
@@ -312,7 +312,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,395 tests at 100.0% line coverage
+  library.**  7,443 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.
@@ -445,11 +445,11 @@ If your contribution is missing here, please open an issue.
 
 <br/>
 
-***7,395 tests***, run 82,437 times.
+***7,443 tests***, run 82,485 times.
 
-- 6,637 specs with 100.0% coverage
-- 758 fuzz tests with 73.6% coverage
-- 6,967 TypeScript lines - 1.1 tests per line, 11.8 generated tests per line
+- 6,685 specs with 100.0% coverage
+- 758 fuzz tests with 69.6% coverage
+- 7,276 TypeScript lines - 1.0 tests per line, 11.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/custom-elements.json

@@ -187,6 +187,92 @@
         }
       ]
     },
+    {
+      "kind": "javascript-module",
+      "path": "src/ts/wc/fsl_effective_properties_wc.ts",
+      "declarations": [
+        {
+          "kind": "class",
+          "description": "Read-only panel that displays the parent machine's **resolved FSL\nproperties** for the current state — the values produced by the full\noverride chain (machine `property … default …` → per-state\n`state X: { property … }`), as returned by `machine.props()`. Refreshes on\nevery transition, so consumers can watch a property's effective value change\nas the machine moves between states.\n\nBinds to the host via closest_wc (matching both `fsl-instance` and\nthe deprecated `jssm-instance`). Display-only; never drives the machine.\n\nv1 shows the FSL `property` bag (`machine.props()`). The render-time visual\nstyle resolution (shape/color used by `<fsl-viz>`) is a separate viz-pipeline\nconcern and is not surfaced here.",
+          "name": "FslEffectiveProperties",
+          "cssProperties": [
+            {
+              "description": "Gap between rows.",
+              "name": "--fsl-effective-properties-gap",
+              "default": "0.25rem"
+            }
+          ],
+          "members": [
+            {
+              "kind": "field",
+              "name": "_host",
+              "type": {
+                "text": "JssmInstanceHost | null"
+              },
+              "privacy": "private",
+              "default": "null",
+              "description": "Parent host reference; cleared on disconnect."
+            },
+            {
+              "kind": "field",
+              "name": "_sub",
+              "type": {
+                "text": "(() => void) | null"
+              },
+              "privacy": "private",
+              "default": "null",
+              "description": "Unsubscribe callback from the host machine's `transition` subscription."
+            },
+            {
+              "kind": "field",
+              "name": "_entries",
+              "type": {
+                "text": "Array<[string, string]> | null"
+              },
+              "privacy": "private",
+              "default": "null",
+              "description": "Resolved property entries (`[name, stringified value]`) for the current\nstate, or `null` before the panel has bound to a host machine."
+            },
+            {
+              "kind": "method",
+              "name": "_refresh",
+              "privacy": "private",
+              "return": {
+                "type": {
+                  "text": "void"
+                }
+              },
+              "parameters": [
+                {
+                  "name": "host",
+                  "type": {
+                    "text": "JssmInstanceHost"
+                  },
+                  "description": "The bound parent host whose machine to snapshot."
+                }
+              ],
+              "description": "Read the resolved property bag (`machine.props()`) into reactive entries,\ntriggering a re-render."
+            }
+          ],
+          "superclass": {
+            "name": "LitElement",
+            "package": "lit"
+          },
+          "tagName": "fsl-effective-properties",
+          "customElement": true
+        }
+      ],
+      "exports": [
+        {
+          "kind": "js",
+          "name": "FslEffectiveProperties",
+          "declaration": {
+            "name": "FslEffectiveProperties",
+            "module": "src/ts/wc/fsl_effective_properties_wc.ts"
+          }
+        }
+      ]
+    },
     {
       "kind": "javascript-module",
       "path": "src/ts/wc/fsl_hook_wc.ts",
@@ -435,6 +521,132 @@
         }
       ]
     },
+    {
+      "kind": "javascript-module",
+      "path": "src/ts/wc/fsl_info_panel_wc.ts",
+      "declarations": [
+        {
+          "kind": "class",
+          "description": "Read-only state-inspector web component for a parent `<fsl-instance>`.\n\nSlotted into the host's `info-panel` slot (or nested anywhere inside it), it\ndisplays the machine's current state, the most recent transition\n(`from → to via action`), the currently-legal exit actions, and the\nterminal / complete flags. Every field refreshes on each `transition`\nevent.\n\nDisplay-only: it never drives the machine. It binds by walking up to the\nhost via closest_wc (which matches both the canonical `fsl-instance`\nand the deprecated `jssm-instance` host tags), so it works under either.",
+          "name": "FslInfoPanel",
+          "cssProperties": [
+            {
+              "description": "Vertical gap between rows.",
+              "name": "--fsl-info-panel-gap",
+              "default": "0.25rem"
+            }
+          ],
+          "members": [
+            {
+              "kind": "field",
+              "name": "_host",
+              "type": {
+                "text": "JssmInstanceHost | null"
+              },
+              "privacy": "private",
+              "default": "null",
+              "description": "Parent host reference, set in `connectedCallback` when one is found.\nCleared on disconnect so a stale deferred subscription cannot fire."
+            },
+            {
+              "kind": "field",
+              "name": "_sub",
+              "type": {
+                "text": "(() => void) | null"
+              },
+              "privacy": "private",
+              "default": "null",
+              "description": "Unsubscribe callback from the host machine's `transition` subscription."
+            },
+            {
+              "kind": "field",
+              "name": "_current",
+              "type": {
+                "text": "string | null"
+              },
+              "privacy": "private",
+              "default": "null",
+              "description": "Current state name; `null` until the panel has bound to a host machine."
+            },
+            {
+              "kind": "field",
+              "name": "_actions",
+              "type": {
+                "text": "string"
+              },
+              "privacy": "private",
+              "default": "''",
+              "description": "Space-separated legal exit actions for the current state."
+            },
+            {
+              "kind": "field",
+              "name": "_terminal",
+              "type": {
+                "text": "boolean"
+              },
+              "privacy": "private",
+              "default": "false",
+              "description": "Whether the current state has no exits."
+            },
+            {
+              "kind": "field",
+              "name": "_complete",
+              "type": {
+                "text": "boolean"
+              },
+              "privacy": "private",
+              "default": "false",
+              "description": "Whether the current state is a `complete` state."
+            },
+            {
+              "kind": "field",
+              "name": "_last",
+              "type": {
+                "text": "LastTransition | null"
+              },
+              "privacy": "private",
+              "default": "null",
+              "description": "Most recent transition, or `null` before the first one."
+            },
+            {
+              "kind": "method",
+              "name": "_refresh",
+              "privacy": "private",
+              "return": {
+                "type": {
+                  "text": "void"
+                }
+              },
+              "parameters": [
+                {
+                  "name": "host",
+                  "type": {
+                    "text": "JssmInstanceHost"
+                  },
+                  "description": "The bound parent host whose machine to snapshot."
+                }
+              ],
+              "description": "Read the current machine snapshot into the reactive fields, triggering a\nre-render. Called once on bind and again on every transition. The bound\nhost is passed in by the caller (which already holds a non-null reference),\nso no re-null-check is needed here."
+            }
+          ],
+          "superclass": {
+            "name": "LitElement",
+            "package": "lit"
+          },
+          "tagName": "fsl-info-panel",
+          "customElement": true
+        }
+      ],
+      "exports": [
+        {
+          "kind": "js",
+          "name": "FslInfoPanel",
+          "declaration": {
+            "name": "FslInfoPanel",
+            "module": "src/ts/wc/fsl_info_panel_wc.ts"
+          }
+        }
+      ]
+    },
     {
       "kind": "javascript-module",
       "path": "src/ts/wc/fsl_instance_wc.ts",
@@ -564,7 +776,7 @@
               "name": "viz"
             },
             {
-              "description": "Editor surface slot.",
+              "description": "Editor surface slot (`<fsl-editor>`, #659).",
               "name": "editor"
             },
             {
@@ -572,13 +784,37 @@
               "name": "actions"
             },
             {
-              "description": "Slot for toolbar UI.",
+              "description": "Slot for toolbar UI (`<fsl-toolbar>`, #660).",
               "name": "toolbar"
             },
             {
-              "description": "Slot for an info / status panel.",
+              "description": "Slot for an info / status panel (`<fsl-info-panel>`, #661).",
               "name": "info-panel"
             },
+            {
+              "description": "Slot for the visited-state timeline (`<fsl-history>`, #662).",
+              "name": "history"
+            },
+            {
+              "description": "Slot for the typed-data tree view (`<fsl-data-inspector>`, #663).",
+              "name": "data-inspector"
+            },
+            {
+              "description": "Slot for the hook-firing log (`<fsl-hook-log>`, #664).",
+              "name": "hook-log"
+            },
+            {
+              "description": "Slot for the resolved-properties panel (`<fsl-effective-properties>`, #665).",
+              "name": "effective-properties"
+            },
+            {
+              "description": "Slot for the random-walk simulation (`<fsl-simulation>`, #668).",
+              "name": "simulation"
+            },
+            {
+              "description": "Slot for the export menu (`<fsl-export>`, #667).",
+              "name": "export"
+            },
             {
               "description": "Footer slot.",
               "name": "footer"
@@ -626,6 +862,38 @@
               "default": "[]",
               "description": "Unsubscribe callbacks for every `machine.on(...)` / `machine.once(...)`\r\nsubscription installed from a `<jssm-on>` child during\r\n`connectedCallback`.  Walked in `disconnectedCallback`."
             },
+            {
+              "kind": "field",
+              "name": "REEMITTED_EVENTS",
+              "type": {
+                "text": "readonly string[]"
+              },
+              "privacy": "private",
+              "static": true,
+              "readonly": true,
+              "default": "[ 'transition', 'entry', 'exit', 'terminal', 'complete', 'action', 'rejection', 'override', 'data-change', 'timeout', 'error', ]",
+              "description": "Library event names this WC re-emits as DOM `CustomEvent`s, fulfilling\r\nmechanism 4 of #639.  Each library `machine.on(name, ...)` is bridged to\r\na `fsl-<name>` DOM event (`composed`, `bubbling`) so slotted content and\r\noutside consumers can observe machine activity declaratively.\r\n\r\n`fsl-` is the canonical prefix (matching the canonical `<fsl-*>` tag\r\nnames); the older `jssm-*` event prose in #639 predates that naming flip.\r\nEvents are NOT double-emitted under both prefixes — a symmetric listener\r\nwould otherwise run twice per machine event."
+            },
+            {
+              "kind": "field",
+              "name": "_reemit_unsubscribes",
+              "type": {
+                "text": "Array<() => void>"
+              },
+              "privacy": "private",
+              "default": "[]",
+              "description": "Unsubscribe callbacks for the host-level mechanism-4 re-emission\r\nsubscriptions installed in _install_event_reemission.  Distinct\r\nfrom _on_unsubscribes (which belongs to `<jssm-on>` children)."
+            },
+            {
+              "kind": "field",
+              "name": "_pending_dom_events",
+              "type": {
+                "text": "Array<{ name: string; detail: unknown }>"
+              },
+              "privacy": "private",
+              "default": "[]",
+              "description": "Library events captured during the current transition, awaiting DOM\r\nre-dispatch once Lit commits the next render.  Dispatching here (rather\r\nthan synchronously from the machine subscription) guarantees the #639\r\nordering: mechanism 1/3 reflection and mechanism 2 slot re-pick are all\r\nin place before a mechanism-4 listener runs."
+            },
             {
               "kind": "field",
               "name": "registry",
@@ -745,6 +1013,28 @@
               },
               "description": "Prefix used in synthetic `//# sourceURL=jssm-hook:<prefix><n>` annotations\r\nfor inline-body hooks compiled by this element."
             },
+            {
+              "kind": "method",
+              "name": "_install_event_reemission",
+              "privacy": "private",
+              "return": {
+                "type": {
+                  "text": "void"
+                }
+              },
+              "description": "Install the mechanism-4 (#639) re-emission subscriptions: one\r\n`machine.on(name, ...)` per entry in REEMITTED_EVENTS.  Each\r\ncaptured library event is queued and re-dispatched as a `fsl-<name>` DOM\r\nevent after the next render commit (see updated).\r\n\r\nSubscribing is also what *enables* the gated observation events: the\r\nlibrary suppresses `transition` / `entry` / `exit` / etc. while no\r\nlisteners exist (#670), so this host subscription is the bridge that\r\nturns them on.\r\n\r\nThe subscription handler paints state reflection eagerly so that a host\r\ndriven directly via `host.machine.action(...)` (bypassing do)\r\nstill updates its `current-state` attribute and `--current-state`\r\nproperty."
+            },
+            {
+              "kind": "method",
+              "name": "_flush_pending_dom_events",
+              "privacy": "private",
+              "return": {
+                "type": {
+                  "text": "void"
+                }
+              },
+              "description": "Dispatch and clear the queue of pending DOM events.  The queue is\r\nsnapshotted and reset *before* dispatching so that a listener which\r\nre-enters the machine (e.g. calls `host.machine.action(...)`\r\nsynchronously) enqueues into a fresh batch handled by the next update\r\ncycle, rather than mutating the array mid-iteration.  This is the\r\ndocumented re-entrancy behavior: re-entrant transitions are deferred,\r\nnot dropped."
+            },
             {
               "kind": "method",
               "name": "_discover_jssm_actions",
@@ -787,6 +1077,13 @@
               "description": "Reflect machine state onto host attributes and CSS custom properties.\r\nCalled after every transition and once during `connectedCallback`.\r\n\r\nMechanism 1 (#639): writes to host attributes.\r\nMechanism 3 (#639): writes to host inline-style custom properties."
             }
           ],
+          "events": [
+            {
+              "type": {
+                "text": "CustomEvent"
+              }
+            }
+          ],
           "attributes": [
             {
               "name": "fsl",
@@ -1123,6 +1420,32 @@
             }
           ],
           "description": "Registers a canonical custom-element tag and its synonym tag.\r\n\r\n`customElements.define` requires a distinct constructor per tag name, so\r\ncallers pass the canonical class and a thin subclass for the synonym.\r\nThe function is idempotent: if either tag is already registered it skips\r\nthat `define` call rather than throwing."
+        },
+        {
+          "kind": "function",
+          "name": "define_canonical",
+          "return": {
+            "type": {
+              "text": "void"
+            }
+          },
+          "parameters": [
+            {
+              "name": "canonical_tag",
+              "type": {
+                "text": "string"
+              },
+              "description": "The `fsl-*` tag name (e.g. `\"fsl-info-panel\"`)."
+            },
+            {
+              "name": "CanonicalClass",
+              "type": {
+                "text": "CustomElementConstructor"
+              },
+              "description": "Constructor to register under `canonical_tag`."
+            }
+          ],
+          "description": "Registers a single canonical `fsl-*` custom-element tag, with no `jssm-*`\r\nsynonym.\r\n\r\nThis is the registration path for **new** web components.  The `jssm-*`\r\nprefix is a deprecated backward-compatibility alias retained only for the\r\ncomponents that shipped under that name (`<jssm-viz>`, `<jssm-instance>`,\r\n`<jssm-bind>`); new components are `fsl-*`-only for fsl.tools brand\r\nalignment, and the legacy synonyms are slated for removal in v6.  Use\r\ndefine_with_synonym only when maintaining one of those pre-existing\r\ndual-named components.\r\n\r\nIdempotent: skips the `define` call when the tag is already registered."
         }
       ],
       "exports": [
@@ -1165,6 +1488,22 @@
             "name": "SynonymClass",
             "module": "src/ts/wc/wc_tag_helpers.ts"
           }
+        },
+        {
+          "kind": "js",
+          "name": "define_canonical",
+          "declaration": {
+            "name": "define_canonical",
+            "module": "src/ts/wc/wc_tag_helpers.ts"
+          }
+        },
+        {
+          "kind": "custom-element-definition",
+          "name": "canonical_tag",
+          "declaration": {
+            "name": "CanonicalClass",
+            "module": "src/ts/wc/wc_tag_helpers.ts"
+          }
         }
       ]
     }

package/dist/cdn/instance.js

@@ -23512,7 +23512,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.145.6";
+const version = "5.147.0";
 
 // whargarbl lots of these return arrays could/should be sets
 const { state_name_chars, state_name_first_chars, action_label_chars } = constants;
@@ -29386,10 +29386,16 @@ function resolve_fsl_source(host, fsl_attr) {
  * @cssproperty [--current-state] - The machine's current state name as a CSS string token.
  * @slot title - Heading area for the instance.
  * @slot viz - Visualization slot; fallback is a placeholder string.
- * @slot editor - Editor surface slot.
+ * @slot editor - Editor surface slot (`<fsl-editor>`, #659).
  * @slot actions - Slot for action buttons / UI.
- * @slot toolbar - Slot for toolbar UI.
- * @slot info-panel - Slot for an info / status panel.
+ * @slot toolbar - Slot for toolbar UI (`<fsl-toolbar>`, #660).
+ * @slot info-panel - Slot for an info / status panel (`<fsl-info-panel>`, #661).
+ * @slot history - Slot for the visited-state timeline (`<fsl-history>`, #662).
+ * @slot data-inspector - Slot for the typed-data tree view (`<fsl-data-inspector>`, #663).
+ * @slot hook-log - Slot for the hook-firing log (`<fsl-hook-log>`, #664).
+ * @slot effective-properties - Slot for the resolved-properties panel (`<fsl-effective-properties>`, #665).
+ * @slot simulation - Slot for the random-walk simulation (`<fsl-simulation>`, #668).
+ * @slot export - Slot for the export menu (`<fsl-export>`, #667).
  * @slot footer - Footer slot.
  */
 class FslInstance extends i {
@@ -29423,6 +29429,20 @@ class FslInstance extends i {
          * `connectedCallback`.  Walked in `disconnectedCallback`.
          */
         this._on_unsubscribes = [];
+        /**
+         * Unsubscribe callbacks for the host-level mechanism-4 re-emission
+         * subscriptions installed in {@link _install_event_reemission}.  Distinct
+         * from {@link _on_unsubscribes} (which belongs to `<jssm-on>` children).
+         */
+        this._reemit_unsubscribes = [];
+        /**
+         * Library events captured during the current transition, awaiting DOM
+         * re-dispatch once Lit commits the next render.  Dispatching here (rather
+         * than synchronously from the machine subscription) guarantees the #639
+         * ordering: mechanism 1/3 reflection and mechanism 2 slot re-pick are all
+         * in place before a mechanism-4 listener runs.
+         */
+        this._pending_dom_events = [];
         /**
          * Per-instance registry of named hook handlers consulted before
          * `globalThis` when resolving `<fsl-hook handler="name">` /
@@ -29503,8 +29523,9 @@ class FslInstance extends i {
         // Step 4: shadow DOM render is automatic via Lit; requesting an update
         // here ensures the first paint sees the freshly painted attributes.
         this.requestUpdate();
-        // TODO #638: subscribe to machine.on('transition', ...) once available
-        //            and dispatch DOM CustomEvents from this element.
+        // #639 mechanism 4: subscribe to library events and re-emit them as
+        // DOM CustomEvents from this host (#638 supplies the event API).
+        this._install_event_reemission();
         // #641: <jssm-hook> declarative discovery.
         this._install_declarative_hooks();
         // #643: <jssm-on> declarative event observation.
@@ -29583,14 +29604,87 @@ class FslInstance extends i {
         const host_id = this.getAttribute('id');
         return host_id !== null && host_id.length > 0 ? `${host_id}-` : '';
     }
+    /**
+     * Install the mechanism-4 (#639) re-emission subscriptions: one
+     * `machine.on(name, ...)` per entry in {@link REEMITTED_EVENTS}.  Each
+     * captured library event is queued and re-dispatched as a `fsl-<name>` DOM
+     * event after the next render commit (see {@link updated}).
+     *
+     * Subscribing is also what *enables* the gated observation events: the
+     * library suppresses `transition` / `entry` / `exit` / etc. while no
+     * listeners exist (#670), so this host subscription is the bridge that
+     * turns them on.
+     *
+     * The subscription handler paints state reflection eagerly so that a host
+     * driven directly via `host.machine.action(...)` (bypassing {@link do})
+     * still updates its `current-state` attribute and `--current-state`
+     * property.
+     */
+    _install_event_reemission() {
+        const machine = this._machine;
+        for (const name of FslInstance.REEMITTED_EVENTS) {
+            // `as any` collapses the per-event detail typing — the WC is a
+            // schema-erased entry point; per-event payload typing belongs upstream.
+            const off = machine.on(name, (detail) => {
+                this._pending_dom_events.push({ name, detail });
+                this._paint_state_reflection();
+                this.requestUpdate();
+            });
+            this._reemit_unsubscribes.push(off);
+        }
+    }
+    /**
+     * Lit lifecycle.  After every committed render, flush any library events
+     * captured since the last commit as DOM `CustomEvent`s.  Deferring to this
+     * point is what gives mechanism-4 listeners the #639 ordering guarantee:
+     * host attributes (mechanism 1), CSS custom properties (mechanism 3), and
+     * the state-specific slot (mechanism 2) are all current by the time a
+     * `fsl-*` listener runs.
+     *
+     * @param changed - Lit's changed-property map (forwarded to super).
+     */
+    updated(changed) {
+        super.updated(changed);
+        this._flush_pending_dom_events();
+    }
+    /**
+     * Dispatch and clear the queue of pending DOM events.  The queue is
+     * snapshotted and reset *before* dispatching so that a listener which
+     * re-enters the machine (e.g. calls `host.machine.action(...)`
+     * synchronously) enqueues into a fresh batch handled by the next update
+     * cycle, rather than mutating the array mid-iteration.  This is the
+     * documented re-entrancy behavior: re-entrant transitions are deferred,
+     * not dropped.
+     */
+    _flush_pending_dom_events() {
+        if (this._pending_dom_events.length === 0) {
+            return;
+        }
+        const batch = this._pending_dom_events;
+        this._pending_dom_events = [];
+        for (const ev of batch) {
+            this.dispatchEvent(new CustomEvent(`fsl-${ev.name}`, {
+                detail: ev.detail,
+                bubbles: true,
+                composed: true,
+            }));
+        }
+    }
     /**
      * Lifecycle hook.  Cleans up everything the WC installed at connect: hook
      * registrations from `<jssm-hook>`, event subscriptions from `<jssm-on>`,
-     * and DOM listeners from `<jssm-action>` / `data-jssm-action`.
+     * mechanism-4 re-emission subscriptions, and DOM listeners from
+     * `<jssm-action>` / `data-jssm-action`.
      */
     disconnectedCallback() {
         super.disconnectedCallback();
-        // TODO #638: unsubscribe from any direct machine.on(...) handlers added by host.
+        // #639 mechanism 4: release host-level re-emission subscriptions and drop
+        // any events that were queued but not yet flushed.
+        for (const off of this._reemit_unsubscribes) {
+            off();
+        }
+        this._reemit_unsubscribes = [];
+        this._pending_dom_events = [];
         // #641: remove installed hooks.
         if (this._machine !== undefined) {
             const machine = this._machine;
@@ -29746,6 +29840,24 @@ class FslInstance extends i {
         <section class="info-panel">
           <slot name="info-panel"></slot>
         </section>
+        <section class="history">
+          <slot name="history"></slot>
+        </section>
+        <section class="data-inspector">
+          <slot name="data-inspector"></slot>
+        </section>
+        <section class="hook-log">
+          <slot name="hook-log"></slot>
+        </section>
+        <section class="effective-properties">
+          <slot name="effective-properties"></slot>
+        </section>
+        <section class="simulation">
+          <slot name="simulation"></slot>
+        </section>
+        <section class="export">
+          <slot name="export"></slot>
+        </section>
         <section class="state-section">
           <slot name=${state_slot_name}></slot>
         </section>
@@ -29769,6 +29881,21 @@ FslInstance.styles = i$3 `
       font-style: italic;
     }
   `;
+/**
+ * Library event names this WC re-emits as DOM `CustomEvent`s, fulfilling
+ * mechanism 4 of #639.  Each library `machine.on(name, ...)` is bridged to
+ * a `fsl-<name>` DOM event (`composed`, `bubbling`) so slotted content and
+ * outside consumers can observe machine activity declaratively.
+ *
+ * `fsl-` is the canonical prefix (matching the canonical `<fsl-*>` tag
+ * names); the older `jssm-*` event prose in #639 predates that naming flip.
+ * Events are NOT double-emitted under both prefixes — a symmetric listener
+ * would otherwise run twice per machine event.
+ */
+FslInstance.REEMITTED_EVENTS = [
+    'transition', 'entry', 'exit', 'terminal', 'complete',
+    'action', 'rejection', 'override', 'data-change', 'timeout', 'error',
+];
 /**
  * Lit reactive properties declaration.  We declare `fsl` here (rather
  * than via a decorator) so the attribute observation stays explicit and
@@ -29779,7 +29906,15 @@ FslInstance.properties = {
     fsl: { type: String, reflect: false },
 };
 
-/** Thin subclass so `<jssm-instance>` registers under a distinct constructor. */
+/**
+ * Thin subclass so `<jssm-instance>` registers under a distinct constructor.
+ *
+ * @deprecated The `jssm-*` tag and the `JssmInstance` class alias are
+ * deprecated since v5 in favor of the canonical `<fsl-instance>` /
+ * {@link FslInstance}, for fsl.tools brand alignment. They remain functional
+ * but are slated for removal in v6 (tracked in `v6_breaking_changes.json` on
+ * the `v6` branch). New components are `fsl-*`-only.
+ */
 class JssmInstance extends FslInstance {
 }
 define_with_synonym('fsl-instance', 'jssm-instance', FslInstance, JssmInstance);