jssm 5.162.12 → 5.162.13

package/dist/wc/viz.js

@@ -1,7 +1,7 @@
 import { css, LitElement, html } from 'lit';
 import { property, state } from 'lit/decorators.js';
 import { unsafeHTML } from 'lit/directives/unsafe-html.js';
-import { machine_to_svg_string, fsl_to_svg_string } from 'jssm/viz';
+import { machine_to_svg_string, fsl_to_svg_string, slug_for } from 'jssm/viz';
 
 /**
  * Shared helpers for the dual-prefix (`fsl-` canonical, `jssm-` synonym)
@@ -137,6 +137,7 @@ function normalize_viz_error(e) {
  *      supplying it emits a `console.warn` for developer feedback.
  * @element fsl-viz
  * @cssproperty [--jssm-viz-min-height=100px] - Minimum height of the rendered SVG container.
+ * @cssproperty [--jssm-viz-max-height=none] - Maximum height of the control; the rendered SVG stays bounded (aspect preserved, letterboxed) within it. Equivalent to setting `max-height` on the host from outside, without shadow surgery.
  * @fires {CustomEvent<{ message: string; location?: unknown }>} viz-error - Fires when the FSL source fails to parse or render.
  */
 class FslViz extends LitElement {
@@ -377,15 +378,27 @@ class FslViz extends LitElement {
      * Programmatically highlights one execution trace (a path of state names)
      * through the rendered graph, optionally fading everything off the path.
      *
-     * Matches nodes by their Graphviz `<title>` (the state name) and edges by
-     * the `from->to` title Graphviz emits, applying inline style overrides so
-     * the highlight composes over — and is reversible against — the default
-     * rendering (see {@link clearHighlights}, which this calls first). No-ops
-     * when detached, before the first render, or given an empty trace.
+     * Matches nodes by their Graphviz `<title>` and edges by the `from->to`
+     * title Graphviz emits, applying inline style overrides so the highlight
+     * composes over — and is reversible against — the default rendering (see
+     * {@link clearHighlights}, which this calls first). No-ops when detached,
+     * before the first render, or given an empty trace.
+     *
+     * Because dot generation slugs state names into node identifiers (fsl#1935
+     * — `'Wrong Pin'` renders with `<title>wrong-pin</title>`), each trace name
+     * is matched in **both** its raw form and its slugged form, using the same
+     * `slug_for` the dot generator uses. Display names (`'Red'`, `'Wrong Pin'`,
+     * `'Röd'`) and already-slug-form names (`'red'`, `'wrong-pin'`) therefore
+     * both work. Names whose slug is empty (e.g. `'!!!'`, which renders under
+     * an indexed `node-N` title) are only matchable by passing that literal
+     * `node-N` title.
      *
      * ```typescript
      * // Highlight a -> b -> c in green, without dimming the rest:
      * viz.highlightTrace(['a', 'b', 'c'], { color: '#2e7d32', fadeOthers: false });
+     *
+     * // Display-form names match their slugged titles:
+     * viz.highlightTrace(['Wrong Pin', 'Alarm']);   // titles wrong-pin, alarm
      * ```
      * @param trace   Ordered state names describing the path (e.g.
      *                `['A', 'B', 'C']`). Consecutive pairs select the edges
@@ -408,10 +421,26 @@ class FslViz extends LitElement {
         const fadeOthers = options.fadeOthers !== false; // default: true — undefined must fade
         const targetNodes = new Set();
         const targetEdges = new Set();
-        for (let i = 0; i < trace.length; i++) {
-            targetNodes.add(trace[i]);
+        // fsl#1935: dot generation slugs state names for node identity (see
+        // slug_for in jssm_viz.ts), so rendered <title>s carry 'wrong-pin', not
+        // 'Wrong Pin'. Match each trace name in both raw and slugged forms; for
+        // names already in slug form the two coincide, preserving old behavior.
+        const title_forms_of = (name) => {
+            const slug = slug_for(name);
+            return (slug !== '' && slug !== name) ? [name, slug] : [name];
+        };
+        for (const [i, name] of trace.entries()) {
+            const from_forms = title_forms_of(name);
+            for (const form of from_forms) {
+                targetNodes.add(form);
+            }
             if (i < trace.length - 1) {
-                targetEdges.add(`${trace[i]}->${trace[i + 1]}`);
+                const to_forms = title_forms_of(trace[i + 1]);
+                for (const from_form of from_forms) {
+                    for (const to_form of to_forms) {
+                        targetEdges.add(`${from_form}->${to_form}`);
+                    }
+                }
             }
         }
         const allNodes = container.querySelectorAll('.node');
@@ -461,10 +490,18 @@ FslViz.styles = css `
     :host {
       display: block;
       min-height: var(--jssm-viz-min-height, 100px);
+      /* #1934: embedder sizing seam — cap the control via the custom property
+         (or plain external max-height on the host) without shadow surgery. */
+      max-height: var(--jssm-viz-max-height, none);
     }
     .container {
       width: 100%;
       height: 100%;
+      /* #1934: when the host's height is auto (content-driven under an
+         external max-height cap), the percentage heights below collapse to
+         auto and stop constraining anything. Inheriting the host's computed
+         max-height re-threads the cap down to the svg. */
+      max-height: inherit;
       display: flex;
       align-items: center;
       justify-content: center;
@@ -475,6 +512,14 @@ FslViz.styles = css `
          the 90% box centered in the flex container yields the 5% inset. */
       width: 90%;
       height: 90%;
+      /* #1934: with an auto-height host the 90% height collapses and the svg
+         falls back to ratio-derived (or intrinsic pt) sizing, which can run
+         far past an external max-height on the host. The inherited cap keeps
+         that fallback bounded; Graphviz SVGs carry viewBox + the default
+         preserveAspectRatio, so the capped viewport letterboxes cleanly
+         instead of distorting. */
+      max-width: 100%;
+      max-height: inherit;
     }
 
     /* Smoothly animate the inline style overrides applied by highlightTrace()

package/dist/wc/widgets.define.js

@@ -1,4 +1,4 @@
-import { FslToolbar, FslActions, FslFooter, FslHelp, FslHistory, FslDataInspector, FslHookLog, FslSimulation, FslExport, FslStochastic } from './widgets.js';
+import { FslToolbar, FslActions, FslFooter, FslHelp, FslHistory, FslDataInspector, FslHookLog, FslSimulation, FslExport, FslStochastic, FslInfoPanel } from './widgets.js';
 export * from './widgets.js';
 
 /**
@@ -45,7 +45,8 @@ function define_canonical(canonical_tag, CanonicalClass) {
 
 /**
  * Bundle entry: registers the entire light fsl-* widget suite (toolbar, actions,
- * footer, help, history, data-inspector, hook-log, simulation, export, stochastic) in one import.
+ * footer, help, history, data-inspector, hook-log, simulation, export, stochastic,
+ * info-panel) in one import.
  * Canonical `fsl-*` tags only — no deprecated `jssm-*` synonyms. Registration
  * is idempotent, so this composes safely with the per-widget `*.define` modules.
  */
@@ -59,3 +60,4 @@ define_canonical('fsl-hook-log', FslHookLog);
 define_canonical('fsl-simulation', FslSimulation);
 define_canonical('fsl-export', FslExport);
 define_canonical('fsl-stochastic', FslStochastic);
+define_canonical('fsl-info-panel', FslInfoPanel);

package/dist/wc/widgets.js

@@ -201,7 +201,7 @@ async function permalink_for(fsl, key = DEFAULT_PERMALINK_KEY, href = location.h
     return `${href.split('#', 1)[0]}#${fragment}`;
 }
 
-var __decorate$8 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
+var __decorate$9 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
     var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
     if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
     else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
@@ -535,23 +535,23 @@ FslToolbar.styles = css `
     .spacer { flex: 1; }
     ${fslTokens}
   `;
-__decorate$8([
+__decorate$9([
     state()
 ], FslToolbar.prototype, "_openMenu", void 0);
-__decorate$8([
+__decorate$9([
     state()
 ], FslToolbar.prototype, "_dest", void 0);
-__decorate$8([
+__decorate$9([
     property({ attribute: false })
 ], FslToolbar.prototype, "lastDirectory", void 0);
-__decorate$8([
+__decorate$9([
     property({ type: Boolean, attribute: 'no-validate' })
 ], FslToolbar.prototype, "noValidate", void 0);
-__decorate$8([
+__decorate$9([
     property({ type: Boolean, attribute: 'no-lint' })
 ], FslToolbar.prototype, "noLint", void 0);
 
-var __decorate$7 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
+var __decorate$8 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
     var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
     if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
     else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
@@ -704,20 +704,20 @@ FslActions.styles = css `
     .empty { color: var(--_fsl-muted); font-style: italic; }
     ${fslTokens}
   `;
-__decorate$7([
+__decorate$8([
     state()
 ], FslActions.prototype, "_actions", void 0);
-__decorate$7([
+__decorate$8([
     state()
 ], FslActions.prototype, "_main", void 0);
-__decorate$7([
+__decorate$8([
     state()
 ], FslActions.prototype, "_regular", void 0);
-__decorate$7([
+__decorate$8([
     state()
 ], FslActions.prototype, "_forced", void 0);
 
-var __decorate$6 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
+var __decorate$7 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
     var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
     if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
     else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
@@ -835,32 +835,32 @@ FslFooter.styles = css `
     .spacer { flex: 1; }
     ${fslTokens}
   `;
-__decorate$6([
+__decorate$7([
     state()
 ], FslFooter.prototype, "_state", void 0);
-__decorate$6([
+__decorate$7([
     state()
 ], FslFooter.prototype, "_actions", void 0);
-__decorate$6([
+__decorate$7([
     state()
 ], FslFooter.prototype, "_transitions", void 0);
-__decorate$6([
+__decorate$7([
     state()
 ], FslFooter.prototype, "_terminal", void 0);
-__decorate$6([
+__decorate$7([
     state()
 ], FslFooter.prototype, "_complete", void 0);
-__decorate$6([
+__decorate$7([
     state()
 ], FslFooter.prototype, "_gActions", void 0);
-__decorate$6([
+__decorate$7([
     state()
 ], FslFooter.prototype, "_gStarts", void 0);
-__decorate$6([
+__decorate$7([
     state()
 ], FslFooter.prototype, "_gTransitions", void 0);
 
-var __decorate$5 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
+var __decorate$6 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
     var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
     if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
     else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
@@ -929,14 +929,14 @@ FslHelp.styles = css `
     .body { overflow-y: auto; padding: 0.5rem 0.9rem; font-size: 0.86rem; line-height: 1.5; }
     ${fslTokens}
   `;
-__decorate$5([
+__decorate$6([
     property({ type: Boolean, reflect: true })
 ], FslHelp.prototype, "open", void 0);
-__decorate$5([
+__decorate$6([
     property({ type: String })
 ], FslHelp.prototype, "heading", void 0);
 
-var __decorate$4 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
+var __decorate$5 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
     var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
     if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
     else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
@@ -1009,11 +1009,11 @@ FslHistory.styles = css `
     .empty { color: var(--_fsl-muted); font-style: italic; padding: 0.5rem 0.7rem; }
     ${fslTokens}
   `;
-__decorate$4([
+__decorate$5([
     state()
 ], FslHistory.prototype, "_history", void 0);
 
-var __decorate$3 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
+var __decorate$4 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
     var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
     if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
     else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
@@ -1131,11 +1131,11 @@ FslDataInspector.styles = css `
     .tok-bool, .tok-null { color: var(--fsl-color-json-atom, #c2185b); }
     ${fslTokens}
   `;
-__decorate$3([
+__decorate$4([
     state()
 ], FslDataInspector.prototype, "_data", void 0);
 
-var __decorate$2 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
+var __decorate$3 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
     var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
     if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
     else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
@@ -1205,11 +1205,11 @@ FslHookLog.styles = css `
     .empty { color: var(--_fsl-muted); font-style: italic; }
     ${fslTokens}
   `;
-__decorate$2([
+__decorate$3([
     state()
 ], FslHookLog.prototype, "_log", void 0);
 
-var __decorate$1 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
+var __decorate$2 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
     var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
     if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
     else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
@@ -1303,13 +1303,13 @@ FslSimulation.styles = css `
     .count.idle { font-style: italic; }
     ${fslTokens}
   `;
-__decorate$1([
+__decorate$2([
     property({ type: Number })
 ], FslSimulation.prototype, "interval", void 0);
-__decorate$1([
+__decorate$2([
     state()
 ], FslSimulation.prototype, "_running", void 0);
-__decorate$1([
+__decorate$2([
     state()
 ], FslSimulation.prototype, "_steps", void 0);
 
@@ -1376,7 +1376,7 @@ FslExport.styles = css `
     ${fslTokens}
   `;
 
-var __decorate = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
+var __decorate$1 = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
     var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
     if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
     else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
@@ -1647,29 +1647,182 @@ FslStochastic.styles = css `
     .error { color: var(--_fsl-danger, #c0392b); padding: 0.4rem 0.6rem; }
     ${fslTokens}
   `;
-__decorate([
+__decorate$1([
     property({ type: Number })
 ], FslStochastic.prototype, "runs", void 0);
-__decorate([
+__decorate$1([
     property({ type: Number })
 ], FslStochastic.prototype, "maxSteps", void 0);
-__decorate([
+__decorate$1([
     property({ type: String })
 ], FslStochastic.prototype, "seed", void 0);
-__decorate([
+__decorate$1([
     property({ type: String })
 ], FslStochastic.prototype, "mode", void 0);
-__decorate([
+__decorate$1([
     state()
 ], FslStochastic.prototype, "_summary", void 0);
-__decorate([
+__decorate$1([
     state()
 ], FslStochastic.prototype, "_error", void 0);
-__decorate([
+__decorate$1([
     state()
 ], FslStochastic.prototype, "_host", void 0);
-__decorate([
+__decorate$1([
     state()
 ], FslStochastic.prototype, "_playing", void 0);
 
-export { FslActions, FslDataInspector, FslExport, FslFooter, FslHelp, FslHistory, FslHookLog, FslSimulation, FslStochastic, FslToolbar };
+var __decorate = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+/**
+ * Read-only state-inspector web component for a parent `<fsl-instance>`.
+ *
+ * Slotted into the host's `info-panel` slot (or nested anywhere inside it), it
+ * displays the machine's current state, the most recent transition
+ * (`from → to via action`), the currently-legal exit actions, and the
+ * terminal / complete flags. Every field refreshes on each `transition`
+ * event.
+ *
+ * Display-only: it never drives the machine. It binds by walking up to the
+ * host via {@link closest_wc} (which matches both the canonical `fsl-instance`
+ * and the deprecated `jssm-instance` host tags), so it works under either.
+ * @element fsl-info-panel
+ * @cssproperty [--fsl-info-panel-gap=0.25rem] - Vertical gap between rows.
+ */
+class FslInfoPanel extends LitElement {
+    constructor() {
+        super(...arguments);
+        /**
+         * Parent host reference, set in `connectedCallback` when one is found.
+         * Cleared on disconnect so a stale deferred subscription cannot fire.
+         */
+        this._host = null;
+        /** Unsubscribe callback from the host machine's `transition` subscription. */
+        this._sub = null;
+        /** Current state name; `null` until the panel has bound to a host machine. */
+        this._current = null;
+        /** Space-separated legal exit actions for the current state. */
+        this._actions = '';
+        /** Whether the current state has no exits. */
+        this._terminal = false;
+        /** Whether the current state is a `complete` state. */
+        this._complete = false;
+        /** Most recent transition, or `null` before the first one. */
+        this._last = null;
+    }
+    /**
+     * Web Components lifecycle hook. Finds the parent host via {@link closest_wc}
+     * and, once `<fsl-instance>` has upgraded, subscribes to its machine's
+     * `transition` events and paints the initial snapshot. With no host, it
+     * leaves `_current` null so {@link render} shows the placeholder.
+     */
+    connectedCallback() {
+        super.connectedCallback();
+        const host = closest_wc(this, 'instance');
+        if (host === null) {
+            return; // no host: render() shows the placeholder
+        }
+        this._host = host;
+        void customElements.whenDefined('fsl-instance').then(() => {
+            // Disconnection between scheduling and resolution is legal.
+            if (this._host !== host) {
+                return;
+            }
+            this._sub = host.machine.on('transition', (detail) => {
+                // The transition event detail carries `StateType = string` endpoints;
+                // `action` is undefined for pure transitions, rendered as 'undefined'
+                // by String() (longstanding display behavior, preserved).
+                const d = detail;
+                this._last = {
+                    from: d.from,
+                    to: d.to,
+                    // eslint-disable-next-line unicorn/no-useless-coercion -- action is `string | undefined`, not string: String() renders an actionless transition as 'undefined', the shipped display behavior
+                    action: String(d.action),
+                };
+                this._refresh(host);
+            });
+            this._refresh(host); // initial snapshot
+            return;
+        });
+    }
+    /**
+     * Web Components lifecycle hook. Releases the machine subscription and clears
+     * the host reference. The last-painted snapshot is intentionally retained so
+     * a detached panel keeps showing its final state rather than blanking.
+     */
+    disconnectedCallback() {
+        super.disconnectedCallback();
+        if (this._sub !== null) {
+            this._sub();
+            this._sub = null;
+        }
+        this._host = null;
+    }
+    /**
+     * Read the current machine snapshot into the reactive fields, triggering a
+     * re-render. Called once on bind and again on every transition. The bound
+     * host is passed in by the caller (which already holds a non-null reference),
+     * so no re-null-check is needed here.
+     * @param host - The bound parent host whose machine to snapshot.
+     */
+    _refresh(host) {
+        const m = host.machine;
+        this._current = m.state();
+        this._actions = m.list_exit_actions().map(String).join(' ');
+        this._terminal = m.is_terminal();
+        this._complete = m.is_complete();
+    }
+    /**
+     * Lit render method. Shows a placeholder until the panel has bound to a host
+     * machine; thereafter a labeled grid of the live snapshot.
+     * @returns A Lit `TemplateResult` for the panel.
+     */
+    render() {
+        if (this._current === null) {
+            return html `<div class="placeholder">no fsl-instance host</div>`;
+        }
+        const last = this._last;
+        return html `
+      <div class="info">
+        <div class="row"><span class="label">state</span><span class="state">${this._current}</span></div>
+        <div class="row"><span class="label">actions</span><span class="actions">${this._actions === '' ? 'none' : this._actions}</span></div>
+        <div class="row"><span class="label">last</span><span class="last">${last === null ? '—' : `${last.from} → ${last.to} via ${last.action}`}</span></div>
+        <div class="row"><span class="label">terminal</span><span class="terminal">${String(this._terminal)}</span></div>
+        <div class="row"><span class="label">complete</span><span class="complete">${String(this._complete)}</span></div>
+      </div>
+    `;
+    }
+}
+FslInfoPanel.styles = css `
+    :host { display: block; }
+    .info, .placeholder {
+      padding: 0.5rem 0.7rem; font: 0.8rem var(--_fsl-font-mono);
+      color: var(--_fsl-text); background: var(--_fsl-surface);
+    }
+    .info { display: grid; gap: var(--fsl-info-panel-gap, 0.25rem); }
+    .row { display: flex; gap: 0.5rem; }
+    .label { font-weight: 600; color: var(--_fsl-muted); }
+    .placeholder { color: var(--_fsl-muted); font-style: italic; }
+    ${fslTokens}
+  `;
+__decorate([
+    state()
+], FslInfoPanel.prototype, "_current", void 0);
+__decorate([
+    state()
+], FslInfoPanel.prototype, "_actions", void 0);
+__decorate([
+    state()
+], FslInfoPanel.prototype, "_terminal", void 0);
+__decorate([
+    state()
+], FslInfoPanel.prototype, "_complete", void 0);
+__decorate([
+    state()
+], FslInfoPanel.prototype, "_last", void 0);
+
+export { FslActions, FslDataInspector, FslExport, FslFooter, FslHelp, FslHistory, FslHookLog, FslInfoPanel, FslSimulation, FslStochastic, FslToolbar };

package/jssm.es5.d.cts

@@ -308,6 +308,32 @@ type FslSourceLocation = {
     start: FslSourcePoint;
     end: FslSourcePoint;
 };
+/**
+ *  Options accepted by the FSL parser and its {@link wrap_parse} wrapper
+ *  (exported from the package as `parse`).  Exists so the two-argument parse
+ *  call is typed against what the parser actually reads, instead of a bare
+ *  `object`.
+ *
+ *  - `locations` — when `true`, the grammar attaches a `loc` field of type
+ *    {@link FslSourceLocation} (plus curated `*_loc` token sub-spans) to every
+ *    AST node.  When absent or `false`, the tree is byte-for-byte identical to
+ *    the historical location-free output.
+ *
+ *  - `startRule` — honored by the generated PEG.js boilerplate, which throws
+ *    on any rule name it doesn't expose.  This grammar exposes only its
+ *    default rule, `Document`, so the field is only useful for explicitness.
+ *
+ *  ```typescript
+ *  const [t] = parse('a -> b;', { locations: true });
+ *  // t.loc === { start: { offset: 0, line: 1, column: 1 },
+ *  //             end:   { offset: 7, line: 1, column: 8 } }
+ *  ```
+ *  @see FslSourceLocation
+ */
+type JssmParseOptions = {
+    locations?: boolean;
+    startRule?: 'Document';
+};
 /**
  *  A single key/value pair from an FSL `state X: { ... };` block, in the
  *  raw form produced by the parser before being condensed into a
@@ -1357,13 +1383,25 @@ interface FenceDimension {
     value: number;
     unit: FenceDimensionUnit;
 }
-/** The fully-parsed, validated description of one FSL Markdown fence block. */
+/**
+ *  The fully-parsed, validated description of one FSL Markdown fence block.
+ *
+ *  Sizing semantics: `width`/`height` (from `width=`/`height=` tokens) are
+ *  *exact* dimensions — the host renders the block at that size.
+ *  `max_width`/`max_height` (from `max-width=`/`max-height=` tokens) are
+ *  *upper bounds* on natural sizing — the block renders at its natural size
+ *  but is capped on that axis.  When both an exact and a max token are given
+ *  for the same axis, the exact dimension wins and the cap is moot.  All four
+ *  are `null` when their token is absent.
+ */
 interface FenceDescriptor {
     parts: FencePart[];
     ide: boolean;
     format: FenceImageFormat;
     width: FenceDimension | null;
     height: FenceDimension | null;
+    max_width: FenceDimension | null;
+    max_height: FenceDimension | null;
     interactive: boolean;
     notes: string[];
 }
@@ -1381,13 +1419,18 @@ declare function fsl_fence_lang(info: string): 'fsl' | 'jssm' | null;
 /**
  *  Parse a fence info string into a {@link FenceDescriptor}.  The first token is
  *  the (already-validated) language and is ignored; remaining tokens are
- *  classified as parts, image formats, the `ide` macro, or `width`/`height`
- *  options.  Unrecognized or conflicting tokens are dropped and recorded in
+ *  classified as parts, image formats, the `ide` macro, or the dimension
+ *  options `width`/`height` (exact size) and `max-width`/`max-height`
+ *  (upper bounds on natural size — see {@link FenceDescriptor} for the
+ *  precedence rule when both appear on one axis).  All four dimension tokens
+ *  share one value syntax: a bare number (pixels), `<n>px`, or `<n>%`.
+ *  Unrecognized or conflicting tokens are dropped and recorded in
  *  `notes` rather than throwing, so a host can render forward-compatibly.
  *  @param info The full fence info string, e.g. `'fsl image code width=300'`.
  *  @returns The validated descriptor; `notes` lists anything ignored or overridden.
  *  @example parse_fence_info('fsl').parts // => ['image', 'code']
  *  @example parse_fence_info('fsl code image').parts // => ['code', 'image']
+ *  @example parse_fence_info('fsl image max-width=300 max-height=50%').max_width // => { value: 300, unit: 'px' }
  */
 declare function parse_fence_info(info: string): FenceDescriptor;
 
@@ -1523,14 +1566,31 @@ declare function arrow_right_kind(arrow: JssmArrow): JssmArrowKind;
  *  `wrap_parse` itself is an internal convenience method for alting out an
  *  object as the options call.  Not generally meant for external use.
  *
+ *  @typeParam StateType The type of state names in the resulting tree; the
+ *                       grammar itself always produces `string`s, so only
+ *                       override this when threading a caller's own state
+ *                       naming through to {@link compile}.
+ *  @typeParam mDT       The type of the machine data member; usually omitted.
+ *
  *  @param input The FSL code to be evaluated
  *
- *  @param options Things to control about the instance.  Pass
+ *  @param options Things to control about the parse.  Pass
  *                 `{ locations: true }` to enable opt-in source location
- *                 tracking on every AST node.
+ *                 tracking on every AST node.  When omitted, an empty options
+ *                 object is passed through to the parser.
+ *
+ *  @returns The machine's intermediate representation: a flat
+ *           {@link JssmParseTree} with one node per top-level FSL statement.
+ *
+ *  @throws {SyntaxError} The generated PEG.js parser's `SyntaxError` when
+ *                        `input` is not valid FSL.
+ *
+ *  @see {@link compile}
+ *  @see {@link make}
+ *  @see {@link JssmParseOptions}
  *
  */
-declare function wrap_parse(input: string, options?: object): any;
+declare function wrap_parse<StateType = string, mDT = unknown>(input: string, options?: JssmParseOptions): JssmParseTree<StateType, mDT>;
 /*********
  *
  *  Compile a machine's JSON intermediate representation to a config object.  If
@@ -4737,4 +4797,4 @@ declare function compareVersions(v1: string, v2: string): number;
 declare function deserialize<mDT>(machine_string: string, ser: JssmSerialization<mDT>): Machine<mDT>;
 
 export { FslDirections, Machine, STOCHASTIC_DEFAULT_MAX_STEPS, STOCHASTIC_DEFAULT_RUNS, abstract_everything_hook_step, abstract_hook_step, action_label_chars, arrow_direction, arrow_left_kind, arrow_right_kind, build_time, compareVersions, compile, jssm_constants_d as constants, deserialize, find_repeated, from, fslCompletions, fslDiagnostics, fslSemanticSpans, fsl_fence_lang, gen_splitmix32, gviz_shapes, histograph, is_hook_complex_result, is_hook_rejection, make, named_colors, wrap_parse as parse, parse_fence_info, seq, shapes, sleep, sm, state_name_chars, state_name_first_chars, state_style_condense, transfer_state_properties, unique, version, weighted_histo_key, weighted_rand_select, weighted_sample_select };
-export type { FenceDescriptor, FenceDimension, FenceDimensionUnit, FenceImageFormat, FencePart };
+export type { FenceDescriptor, FenceDimension, FenceDimensionUnit, FenceImageFormat, FencePart, JssmParseOptions };