jssm 5.162.11 → 5.162.13

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
@@ -3076,6 +3136,12 @@ declare class Machine<mDT> {
      *  {@link Machine.transition}, so it fires no hooks, mutates no machine
      *  state, and touches no `data`.  A state with no probabilistic exits
      *  (a terminal, or a forced-only `~>` state) ends the walk.
+     *
+     *  Terminality is checked before the first transition and after every
+     *  transition.  A terminal start therefore completes with length zero even
+     *  when `max_steps` is zero, and a terminal reached on the final permitted
+     *  transition is completed rather than step-capped.
+     *
      *  @param start - State to begin the walk from.
      *  @param max_steps - Maximum transitions before the walk is step-capped.
      *  @param exit_memo - Per-run-set cache of {@link Machine.probable_exits_for}
@@ -3098,7 +3164,9 @@ declare class Machine<mDT> {
      *  current state, each ending at a terminal or after `max_steps`.  In
      *  `steady_state` mode yields exactly one walk of `max_steps` steps.  This
      *  is the lazy engine behind {@link Machine.stochastic_summary}; the
-     *  fsl-stochastic panel drives it across animation frames.
+     *  fsl-stochastic panel drives it across animation frames.  A walk already
+     *  at a terminal is reported as terminated with length zero, including when
+     *  `max_steps` is zero.
      *
      *  Passing `seed` reseeds the machine for reproducible runs.  Unlike
      *  {@link Machine.stochastic_summary}, the generator does NOT restore the
@@ -3121,6 +3189,10 @@ declare class Machine<mDT> {
      *  per-run `path_lengths`, `terminal_reached`, and `capped`; `steady_state`
      *  mode runs one long walk and omits those fields.
      *
+     *  Monte-Carlo runs count as `terminal_reached` when they start at a
+     *  terminal or reach one on the final permitted transition.  Terminal
+     *  starts contribute zero to `path_lengths`, even when `max_steps` is zero.
+     *
      *  Timing (`after`) decorations and data-guard conditions are not modeled
      *  by this sampler; it walks the probabilistic graph topology.
      *  @param opts - {@link JssmStochasticOptions}.  `runs` defaults to the
@@ -4725,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 };