jssm 5.159.2 → 5.161.0

package/jssm.fence.d.ts

@@ -1,15 +1,5 @@
 import { circular_buffer } from 'circular_buffer_js';
 
-/**
- *  The descriptor interpreter for the FSL Markdown fence convention: turns a
- *  parsed {@link FenceDescriptor} plus FSL source into static HTML, and walks
- *  a whole Markdown document replacing every `fsl`/`jssm` fence in place.
- *  This is the integration point for the five pieces built ahead of it — the
- *  fence-info parser, the viz pipeline, the rasterizer, the SVG fill
- *  extractor, and the editor-parity highlighter.
- *
- *  @see notes/superpowers/specs/2026-06-23-fsl-markdown-fence-convention-design.md
- */
 /** Options shared by the static fence renderers. */
 interface FenceRenderOptions {
     /** Inline state colors in code spans (default true).  @see highlight_fsl_html */
@@ -167,59 +157,59 @@ interface GifOptions {
  */
 declare function encode_gif(frames: GifFrame[], opts?: GifOptions): Uint8Array;
 
-declare type StateType$1 = string;
+type StateType$1 = string;
 /**
  *  A color value accepted by jssm-viz for state and arrow styling.  Currently
  *  any string, validated downstream by Graphviz / the named-colors list.
  *  Intended to be narrowed to `#RRGGBB` / `#RRGGBBAA` and CSS named colors
  *  in a future release.
  */
-declare type JssmColor = string;
+type JssmColor = string;
 /**
  *  Three-state policy flag: `'required'`, `'disallowed'`, or `'optional'`.
  *  Used by machine configuration where a default-permissive middle ground
  *  is meaningful (for example, the `actions` config key).
  */
-declare type JssmPermittedOpt = 'required' | 'disallowed' | 'optional';
+type JssmPermittedOpt = 'required' | 'disallowed' | 'optional';
 /**
  *  The set of ASCII arrow tokens recognized by the FSL grammar.  Each arrow
  *  encodes a direction (one-way left/right, or two-way) and a "kind" for
  *  each direction (`-` legal, `=` main path, `~` forced-only).  See the
  *  Language Reference docs for the full semantic table.
  */
-declare type JssmArrow = '->' | '<-' | '<->' | '<=->' | '<~->' | '=>' | '<=' | '<=>' | '<-=>' | '<~=>' | '~>' | '<~' | '<~>' | '<-~>' | '<=~>';
+type JssmArrow = '->' | '<-' | '<->' | '<=->' | '<~->' | '=>' | '<=' | '<=>' | '<-=>' | '<~=>' | '~>' | '<~' | '<~>' | '<-~>' | '<=~>';
 /**
  * A type teaching Typescript the various supported shapes for nodes, mostly inherited from GraphViz
  */
-declare type JssmShape = "box" | "polygon" | "ellipse" | "oval" | "circle" | "point" | "egg" | "triangle" | "plaintext" | "plain" | "diamond" | "trapezium" | "parallelogram" | "house" | "pentagon" | "hexagon" | "septagon" | "octagon" | "doublecircle" | "doubleoctagon" | "tripleoctagon" | "invtriangle" | "invtrapezium" | "invhouse" | "Mdiamond" | "Msquare" | "Mcircle" | "rect" | "rectangle" | "square" | "star" | "none" | "underline" | "cylinder" | "note" | "tab" | "folder" | "box3d" | "component" | "promoter" | "cds" | "terminator" | "utr" | "primersite" | "restrictionsite" | "fivepoverhang" | "threepoverhang" | "noverhang" | "assembly" | "signature" | "insulator" | "ribosite" | "rnastab" | "proteasesite" | "proteinstab" | "rpromoter" | "rarrow" | "larrow" | "lpromoter" | "record";
+type JssmShape = "box" | "polygon" | "ellipse" | "oval" | "circle" | "point" | "egg" | "triangle" | "plaintext" | "plain" | "diamond" | "trapezium" | "parallelogram" | "house" | "pentagon" | "hexagon" | "septagon" | "octagon" | "doublecircle" | "doubleoctagon" | "tripleoctagon" | "invtriangle" | "invtrapezium" | "invhouse" | "Mdiamond" | "Msquare" | "Mcircle" | "rect" | "rectangle" | "square" | "star" | "none" | "underline" | "cylinder" | "note" | "tab" | "folder" | "box3d" | "component" | "promoter" | "cds" | "terminator" | "utr" | "primersite" | "restrictionsite" | "fivepoverhang" | "threepoverhang" | "noverhang" | "assembly" | "signature" | "insulator" | "ribosite" | "rnastab" | "proteasesite" | "proteinstab" | "rpromoter" | "rarrow" | "larrow" | "lpromoter" | "record";
 /**
  *  Semantic category of an arrow's transition.  `'legal'` is a normal
  *  transition, `'main'` is part of the machine's primary path, `'forced'`
  *  may only be taken via {@link Machine.force_transition}, and `'none'`
  *  means no transition exists in that direction.
  */
-declare type JssmArrowKind = 'none' | 'legal' | 'main' | 'forced';
+type JssmArrowKind = 'none' | 'legal' | 'main' | 'forced';
 /**
  *  Graphviz layout engine selector.  Controls how jssm-viz lays out the
  *  rendered diagram; `'dot'` is the default and most useful for state
  *  machines.  See the Graphviz documentation for the differences.
  */
-declare type JssmLayout = 'dot' | 'circo' | 'twopi' | 'fdp' | 'neato';
-declare type JssmCorner = 'regular' | 'rounded' | 'lined';
-declare type JssmLineStyle = 'solid' | 'dashed' | 'dotted';
+type JssmLayout = 'dot' | 'circo' | 'twopi' | 'fdp' | 'neato';
+type JssmCorner = 'regular' | 'rounded' | 'lined';
+type JssmLineStyle = 'solid' | 'dashed' | 'dotted';
 /**
  *  Tristate flag for whether a property may be overridden at runtime.
  *  `true` permits overrides, `false` forbids them, and `undefined` defers
  *  the decision to the surrounding configuration's default.
  */
-declare type JssmAllowsOverride = true | false | undefined;
+type JssmAllowsOverride = true | false | undefined;
 /**
  *  Controls whether the state graph may contain disconnected components
  *  (islands).  `true` permits islands (default), `false` requires a single
  *  connected component, and `'with_start'` permits islands only when every
  *  component contains at least one start state.
  */
-declare type JssmAllowIslands = true | false | 'with_start';
+type JssmAllowIslands = true | false | 'with_start';
 /**
  *  Structured render-size hint for a machine visualization, set by the FSL
  *  `default_size` directive.  All three forms are optional in the sense that
@@ -233,7 +223,7 @@ declare type JssmAllowIslands = true | false | 'with_start';
  *
  *  @see Machine.default_size
  */
-declare type JssmDefaultSize = {
+type JssmDefaultSize = {
     width?: number;
     height?: number;
 };
@@ -247,7 +237,7 @@ declare const FslDirections: readonly ["up", "right", "down", "left"];
  *  String literal type of the four supported FSL flow directions.  This is
  *  the type of the `flow` config key on a machine.
  */
-declare type FslDirection = typeof FslDirections[number];
+type FslDirection = typeof FslDirections[number];
 /**
  *  Runtime-iterable list of the built-in theme names that ship with jssm-viz.
  *  Use this when you need to enumerate themes; for the type itself see
@@ -259,7 +249,7 @@ declare const FslThemes: readonly ["default", "ocean", "modern", "plain", "bold"
  *  type of the `theme` config key (which accepts an array so that themes
  *  can be layered).
  */
-declare type FslTheme = typeof FslThemes[number];
+type FslTheme = typeof FslThemes[number];
 /**
  *  Persistable snapshot of a Machine produced by {@link Machine.serialize}
  *  and consumed by {@link deserialize}.  Carries the current state, the
@@ -268,7 +258,7 @@ declare type FslTheme = typeof FslThemes[number];
  *
  *  @typeParam DataType - The type of the user-supplied data payload (`mDT`).
  */
-declare type JssmSerialization<DataType> = {
+type JssmSerialization<DataType> = {
     jssm_version: string;
     timestamp: number;
     comment?: string | undefined;
@@ -296,7 +286,7 @@ declare type JssmSerialization<DataType> = {
  *  @see JssmGroupRef
  *  @see JssmGroupRegistry
  */
-declare type JssmGroupMemberRef = {
+type JssmGroupMemberRef = {
     kind: 'state';
     name: string;
 } | {
@@ -322,7 +312,7 @@ declare type JssmGroupMemberRef = {
  *
  *  @see JssmGroupMemberRef
  */
-declare type JssmGroupRegistry = Map<string, JssmGroupMemberRef[]>;
+type JssmGroupRegistry = Map<string, JssmGroupMemberRef[]>;
 /**
  *  The compiled boundary-hook surface for a single subject (a group or a
  *  state): the action to run on entry (`onEnter`) and/or on exit (`onExit`).
@@ -332,7 +322,7 @@ declare type JssmGroupRegistry = Map<string, JssmGroupMemberRef[]>;
  *
  *  @see JssmHookDeclaration
  */
-declare type JssmBoundaryHooks = {
+type JssmBoundaryHooks = {
     onEnter?: string;
     onExit?: string;
 };
@@ -343,7 +333,7 @@ declare type JssmBoundaryHooks = {
  *
  *  @see JssmHookDeclaration
  */
-declare type JssmGroupHooks = Map<string, JssmBoundaryHooks>;
+type JssmGroupHooks = Map<string, JssmBoundaryHooks>;
 /**
  *  Maps each plain state name that has at least one boundary hook to its
  *  merged {@link JssmBoundaryHooks}.  The state-subject analogue of
@@ -351,7 +341,7 @@ declare type JssmGroupHooks = Map<string, JssmBoundaryHooks>;
  *
  *  @see JssmHookDeclaration
  */
-declare type JssmStateHooks = Map<string, JssmBoundaryHooks>;
+type JssmStateHooks = Map<string, JssmBoundaryHooks>;
 /**
  *  Declaration of a named property that a machine's states may carry.
  *  Set `required: true` to force every state to define the property, or
@@ -364,15 +354,15 @@ declare type JssmStateHooks = Map<string, JssmBoundaryHooks>;
  *  may carry only the serialized `name`, and global property definitions
  *  never set them.
  */
-declare type JssmPropertyDefinition = {
+type JssmPropertyDefinition = {
     name: string;
     default_value?: any;
     required?: boolean;
     property?: string;
     state?: string;
 };
-declare type JssmTransitionPermitter<DataType> = (OldState: StateType$1, NewState: StateType$1, OldData: DataType, NewData: DataType) => boolean;
-declare type JssmTransitionPermitterMaybeArray<DataType> = JssmTransitionPermitter<DataType> | Array<JssmTransitionPermitter<DataType>>;
+type JssmTransitionPermitter<DataType> = (OldState: StateType$1, NewState: StateType$1, OldData: DataType, NewData: DataType) => boolean;
+type JssmTransitionPermitterMaybeArray<DataType> = JssmTransitionPermitter<DataType> | Array<JssmTransitionPermitter<DataType>>;
 /**
  *  A single directed transition (edge) within a state machine.  Captures
  *  both the topology (`from` / `to`), the FSL semantics (`kind`,
@@ -384,7 +374,7 @@ declare type JssmTransitionPermitterMaybeArray<DataType> = JssmTransitionPermitt
  *  @typeParam StateType - The state-name type (usually `string`).
  *  @typeParam DataType  - The machine's data payload type (`mDT`).
  */
-declare type JssmTransition<StateType, DataType> = {
+type JssmTransition<StateType, DataType> = {
     from: StateType;
     to: StateType;
     after_time?: number;
@@ -398,12 +388,12 @@ declare type JssmTransition<StateType, DataType> = {
     main_path: boolean;
 };
 /** A list of {@link JssmTransition}s — the edge set of a machine. */
-declare type JssmTransitions<StateType, DataType> = JssmTransition<StateType, DataType>[];
+type JssmTransitions<StateType, DataType> = JssmTransition<StateType, DataType>[];
 /**
  *  The set of states that can immediately precede or follow a given state.
  *  Returned by jssm helpers that report a state's connectivity in the graph.
  */
-declare type JssmTransitionList = {
+type JssmTransitionList = {
     entrances: Array<StateType$1>;
     exits: Array<StateType$1>;
 };
@@ -412,7 +402,7 @@ declare type JssmTransitionList = {
  *  states it can be reached from, the set of states it can transition to,
  *  and whether reaching it constitutes "completing" the machine.
  */
-declare type JssmGenericState = {
+type JssmGenericState = {
     from: Array<StateType$1>;
     name: StateType$1;
     to: Array<StateType$1>;
@@ -425,7 +415,7 @@ declare type JssmGenericState = {
  *  `internal_state_impl_version` field exists so that consumers can detect
  *  shape changes if this representation evolves.
  */
-declare type JssmMachineInternalState<DataType> = {
+type JssmMachineInternalState<DataType> = {
     internal_state_impl_version: 1;
     state: StateType$1;
     states: Map<StateType$1, JssmGenericState>;
@@ -435,8 +425,8 @@ declare type JssmMachineInternalState<DataType> = {
     reverse_actions: Map<StateType$1, Map<StateType$1, number>>;
     edges: Array<JssmTransition<StateType$1, DataType>>;
 };
-declare type JssmStatePermitter<DataType> = (OldState: StateType$1, NewState: StateType$1, OldData: DataType, NewData: DataType) => boolean;
-declare type JssmStatePermitterMaybeArray<DataType> = JssmStatePermitter<DataType> | Array<JssmStatePermitter<DataType>>;
+type JssmStatePermitter<DataType> = (OldState: StateType$1, NewState: StateType$1, OldData: DataType, NewData: DataType) => boolean;
+type JssmStatePermitterMaybeArray<DataType> = JssmStatePermitter<DataType> | Array<JssmStatePermitter<DataType>>;
 /**
  *  A source span produced by the FSL parser when `parse(input, { locations:
  *  true })` is used.  Mirrors PEG.js's native `location()` shape: byte
@@ -448,12 +438,12 @@ declare type JssmStatePermitterMaybeArray<DataType> = JssmStatePermitter<DataTyp
  *  //             end:   { offset: 7, line: 1, column: 8 } }
  *  ```
  */
-declare type FslSourcePoint = {
+type FslSourcePoint = {
     offset: number;
     line: number;
     column: number;
 };
-declare type FslSourceLocation = {
+type FslSourceLocation = {
     start: FslSourcePoint;
     end: FslSourcePoint;
 };
@@ -462,7 +452,7 @@ declare type FslSourceLocation = {
  *  raw form produced by the parser before being condensed into a
  *  {@link JssmStateDeclaration}.
  */
-declare type JssmStateDeclarationRule = {
+type JssmStateDeclarationRule = {
     key: string;
     value: any;
     name?: string;
@@ -474,7 +464,7 @@ declare type JssmStateDeclarationRule = {
  *  rule list (`declarations`) and the well-known styling fields jssm-viz
  *  understands.  Returned by {@link Machine.state_declaration}.
  */
-declare type JssmStateDeclaration = {
+type JssmStateDeclaration = {
     declarations: Array<JssmStateDeclarationRule>;
     shape?: JssmShape;
     color?: JssmColor;
@@ -497,44 +487,44 @@ declare type JssmStateDeclaration = {
  *  optional.  Used as the value type for theme entries and for default
  *  state configuration where most fields will be inherited or merged.
  */
-declare type JssmStateConfig = Partial<JssmStateDeclaration>;
-declare type JssmStateStyleShape = {
+type JssmStateConfig = Partial<JssmStateDeclaration>;
+type JssmStateStyleShape = {
     key: 'shape';
     value: JssmShape;
 };
-declare type JssmStateStyleColor = {
+type JssmStateStyleColor = {
     key: 'color';
     value: JssmColor;
 };
-declare type JssmStateStyleTextColor = {
+type JssmStateStyleTextColor = {
     key: 'text-color';
     value: JssmColor;
 };
-declare type JssmStateStyleCorners = {
+type JssmStateStyleCorners = {
     key: 'corners';
     value: JssmCorner;
 };
-declare type JssmStateStyleLineStyle = {
+type JssmStateStyleLineStyle = {
     key: 'line-style';
     value: JssmLineStyle;
 };
-declare type JssmStateStyleStateLabel = {
+type JssmStateStyleStateLabel = {
     key: 'state-label';
     value: string;
 };
-declare type JssmStateStyleBackgroundColor = {
+type JssmStateStyleBackgroundColor = {
     key: 'background-color';
     value: JssmColor;
 };
-declare type JssmStateStyleBorderColor = {
+type JssmStateStyleBorderColor = {
     key: 'border-color';
     value: JssmColor;
 };
-declare type JssmStateStyleImage = {
+type JssmStateStyleImage = {
     key: 'image';
     value: string;
 };
-declare type JssmStateStyleUrl = {
+type JssmStateStyleUrl = {
     key: 'url';
     value: string;
 };
@@ -543,13 +533,13 @@ declare type JssmStateStyleUrl = {
  *  a state's style configuration.  The `key` discriminator selects which
  *  member, and the `value` is typed accordingly.
  */
-declare type JssmStateStyleKey = JssmStateStyleShape | JssmStateStyleColor | JssmStateStyleTextColor | JssmStateStyleCorners | JssmStateStyleLineStyle | JssmStateStyleBackgroundColor | JssmStateStyleStateLabel | JssmStateStyleBorderColor | JssmStateStyleImage | JssmStateStyleUrl;
+type JssmStateStyleKey = JssmStateStyleShape | JssmStateStyleColor | JssmStateStyleTextColor | JssmStateStyleCorners | JssmStateStyleLineStyle | JssmStateStyleBackgroundColor | JssmStateStyleStateLabel | JssmStateStyleBorderColor | JssmStateStyleImage | JssmStateStyleUrl;
 /**
  *  An ordered list of {@link JssmStateStyleKey} entries.  Used by the
  *  `default_*_state_config` machine config options to provide a fallback
  *  style stack.
  */
-declare type JssmStateStyleKeyList = JssmStateStyleKey[];
+type JssmStateStyleKeyList = JssmStateStyleKey[];
 /**
  *  The graph-wide default edge colour style item, produced by the
  *  `edge-color`/`edge_color` line inside a `transition: {}` (or `graph: {}`)
@@ -557,7 +547,7 @@ declare type JssmStateStyleKeyList = JssmStateStyleKey[];
  *  applies to edges rather than nodes, and because it carries the legacy
  *  `graph_default_edge_color` key the grammar emits.
  */
-declare type JssmGraphDefaultEdgeColor = {
+type JssmGraphDefaultEdgeColor = {
     key: 'graph_default_edge_color';
     value: JssmColor;
 };
@@ -569,7 +559,7 @@ declare type JssmGraphDefaultEdgeColor = {
  *
  *  @see JssmTransitionConfig
  */
-declare type JssmTransitionStyleKey = JssmStateStyleKey | JssmGraphDefaultEdgeColor;
+type JssmTransitionStyleKey = JssmStateStyleKey | JssmGraphDefaultEdgeColor;
 /**
  *  The compiled value of a `transition: {}` config block: an ordered list of
  *  edge-default style items.  V1 mirrors the state-style shape used by
@@ -584,7 +574,7 @@ declare type JssmTransitionStyleKey = JssmStateStyleKey | JssmGraphDefaultEdgeCo
  *
  *  @see JssmGraphConfig
  */
-declare type JssmTransitionConfig = JssmTransitionStyleKey[];
+type JssmTransitionConfig = JssmTransitionStyleKey[];
 /**
  *  Graph-scope default-config style items folded from the deprecated
  *  top-level graph keywords (`graph_layout`, `graph_bg_color`,
@@ -592,7 +582,7 @@ declare type JssmTransitionConfig = JssmTransitionStyleKey[];
  *  default) into the consolidated `graph: {}` config.  Each carries the
  *  legacy parse key so downstream consumers can disambiguate.
  */
-declare type JssmGraphAliasKey = {
+type JssmGraphAliasKey = {
     key: 'graph_layout';
     value: JssmLayout;
 } | {
@@ -616,7 +606,7 @@ declare type JssmGraphAliasKey = {
  *
  *  @see JssmGraphConfig
  */
-declare type JssmGraphStyleKey = JssmStateStyleKey | JssmGraphAliasKey;
+type JssmGraphStyleKey = JssmStateStyleKey | JssmGraphAliasKey;
 /**
  *  The compiled value of a `graph: {}` config block: an ordered list of
  *  graph-default style items.  The compiler folds the deprecated top-level
@@ -633,7 +623,7 @@ declare type JssmGraphStyleKey = JssmStateStyleKey | JssmGraphAliasKey;
  *
  *  @see JssmTransitionConfig
  */
-declare type JssmGraphConfig = JssmGraphStyleKey[];
+type JssmGraphConfig = JssmGraphStyleKey[];
 /**
  *  Complete shape of a jssm-viz theme.  A theme provides a style block for
  *  each kind of state (`state`, `hooked`, `start`, `end`, `terminal`) as
@@ -645,7 +635,7 @@ declare type JssmGraphConfig = JssmGraphStyleKey[];
  *  Most user-defined themes should be typed as {@link JssmTheme} (the
  *  `Partial` of this) so that omitted fields fall back to the base theme.
  */
-declare type JssmBaseTheme = {
+type JssmBaseTheme = {
     name: string;
     state: JssmStateConfig;
     hooked: JssmStateConfig;
@@ -682,28 +672,28 @@ declare type JssmBaseTheme = {
  *  (fsl#1334), read by the all-widgets web control: a stochastic run-count
  *  and the panels the machine requests under `request` panel mode.
  */
-declare type JssmEditorConfig = {
+type JssmEditorConfig = {
     stochastic_run_count?: number;
     panels?: Array<string>;
 };
 /** Which stochastic view a run batch produces. */
-declare type JssmStochasticMode = 'montecarlo' | 'steady_state';
+type JssmStochasticMode = 'montecarlo' | 'steady_state';
 /** Options for {@link Machine.stochastic_summary} / {@link Machine.stochastic_runs}. */
-declare type JssmStochasticOptions = {
+type JssmStochasticOptions = {
     mode?: JssmStochasticMode;
     runs?: number;
     max_steps?: number;
     seed?: number;
 };
 /** One walk's result, yielded by {@link Machine.stochastic_runs}. */
-declare type JssmStochasticRun = {
+type JssmStochasticRun = {
     states: Array<string>;
     edges: Array<string>;
     length: number;
     terminated: boolean;
 };
 /** Aggregate statistics over a stochastic run batch. */
-declare type JssmStochasticSummary = {
+type JssmStochasticSummary = {
     mode: JssmStochasticMode;
     runs: number;
     seed: number;
@@ -714,7 +704,7 @@ declare type JssmStochasticSummary = {
     terminal_reached?: number;
     capped?: number;
 };
-declare type JssmGenericConfig<StateType, DataType> = {
+type JssmGenericConfig<StateType, DataType> = {
     graph_layout?: JssmLayout;
     complete?: Array<StateType>;
     transitions: JssmTransitions<StateType, DataType>;
@@ -822,7 +812,7 @@ declare type JssmGenericConfig<StateType, DataType> = {
  *
  *  @internal
  */
-declare type JssmCompileSe<StateType, mDT> = {
+type JssmCompileSe<StateType, mDT> = {
     to: StateType;
     se?: JssmCompileSe<StateType, mDT>;
     kind: JssmArrow;
@@ -837,120 +827,120 @@ declare type JssmCompileSe<StateType, mDT> = {
     l_action_loc?: FslSourceLocation;
     r_action_loc?: FslSourceLocation;
 };
-declare type BasicHookDescription<mDT> = {
+type BasicHookDescription<mDT> = {
     kind: 'hook';
     from: string;
     to: string;
     handler: HookHandler<mDT>;
 };
-declare type HookDescriptionWithAction<mDT> = {
+type HookDescriptionWithAction<mDT> = {
     kind: 'named';
     from: string;
     to: string;
     action: string;
     handler: HookHandler<mDT>;
 };
-declare type StandardTransitionHook<mDT> = {
+type StandardTransitionHook<mDT> = {
     kind: 'standard transition';
     handler: HookHandler<mDT>;
 };
-declare type MainTransitionHook<mDT> = {
+type MainTransitionHook<mDT> = {
     kind: 'main transition';
     handler: HookHandler<mDT>;
 };
-declare type ForcedTransitionHook<mDT> = {
+type ForcedTransitionHook<mDT> = {
     kind: 'forced transition';
     handler: HookHandler<mDT>;
 };
-declare type AnyTransitionHook<mDT> = {
+type AnyTransitionHook<mDT> = {
     kind: 'any transition';
     handler: HookHandler<mDT>;
 };
-declare type GlobalActionHook<mDT> = {
+type GlobalActionHook<mDT> = {
     kind: 'global action';
     action: string;
     handler: HookHandler<mDT>;
 };
-declare type AnyActionHook<mDT> = {
+type AnyActionHook<mDT> = {
     kind: 'any action';
     handler: HookHandler<mDT>;
 };
-declare type EntryHook<mDT> = {
+type EntryHook<mDT> = {
     kind: 'entry';
     to: string;
     handler: HookHandler<mDT>;
 };
-declare type ExitHook<mDT> = {
+type ExitHook<mDT> = {
     kind: 'exit';
     from: string;
     handler: HookHandler<mDT>;
 };
-declare type AfterHook<mDT> = {
+type AfterHook<mDT> = {
     kind: 'after';
     from: string;
     handler: HookHandler<mDT>;
 };
-declare type PostBasicHookDescription<mDT> = {
+type PostBasicHookDescription<mDT> = {
     kind: 'post hook';
     from: string;
     to: string;
     handler: PostHookHandler<mDT>;
 };
-declare type PostHookDescriptionWithAction<mDT> = {
+type PostHookDescriptionWithAction<mDT> = {
     kind: 'post named';
     from: string;
     to: string;
     action: string;
     handler: PostHookHandler<mDT>;
 };
-declare type PostStandardTransitionHook<mDT> = {
+type PostStandardTransitionHook<mDT> = {
     kind: 'post standard transition';
     handler: PostHookHandler<mDT>;
 };
-declare type PostMainTransitionHook<mDT> = {
+type PostMainTransitionHook<mDT> = {
     kind: 'post main transition';
     handler: PostHookHandler<mDT>;
 };
-declare type PostForcedTransitionHook<mDT> = {
+type PostForcedTransitionHook<mDT> = {
     kind: 'post forced transition';
     handler: PostHookHandler<mDT>;
 };
-declare type PostAnyTransitionHook<mDT> = {
+type PostAnyTransitionHook<mDT> = {
     kind: 'post any transition';
     handler: PostHookHandler<mDT>;
 };
-declare type PostGlobalActionHook<mDT> = {
+type PostGlobalActionHook<mDT> = {
     kind: 'post global action';
     action: string;
     handler: PostHookHandler<mDT>;
 };
-declare type PostAnyActionHook<mDT> = {
+type PostAnyActionHook<mDT> = {
     kind: 'post any action';
     handler: PostHookHandler<mDT>;
 };
-declare type PostEntryHook<mDT> = {
+type PostEntryHook<mDT> = {
     kind: 'post entry';
     to: string;
     handler: PostHookHandler<mDT>;
 };
-declare type PostExitHook<mDT> = {
+type PostExitHook<mDT> = {
     kind: 'post exit';
     from: string;
     handler: PostHookHandler<mDT>;
 };
-declare type PreEverythingHook<mDT> = {
+type PreEverythingHook<mDT> = {
     kind: 'pre everything';
     handler: EverythingHookHandler<mDT>;
 };
-declare type EverythingHook<mDT> = {
+type EverythingHook<mDT> = {
     kind: 'everything';
     handler: EverythingHookHandler<mDT>;
 };
-declare type PrePostEverythingHook<mDT> = {
+type PrePostEverythingHook<mDT> = {
     kind: 'pre post everything';
     handler: PostEverythingHookHandler<mDT>;
 };
-declare type PostEverythingHook<mDT> = {
+type PostEverythingHook<mDT> = {
     kind: 'post everything';
     handler: PostEverythingHookHandler<mDT>;
 };
@@ -968,13 +958,13 @@ declare type PostEverythingHook<mDT> = {
  *  variants (`'post *'`) cannot veto and are invoked only after a
  *  successful transition.
  */
-declare type HookDescription<mDT> = BasicHookDescription<mDT> | HookDescriptionWithAction<mDT> | GlobalActionHook<mDT> | AnyActionHook<mDT> | StandardTransitionHook<mDT> | MainTransitionHook<mDT> | ForcedTransitionHook<mDT> | AnyTransitionHook<mDT> | EntryHook<mDT> | ExitHook<mDT> | AfterHook<mDT> | PostBasicHookDescription<mDT> | PostHookDescriptionWithAction<mDT> | PostGlobalActionHook<mDT> | PostAnyActionHook<mDT> | PostStandardTransitionHook<mDT> | PostMainTransitionHook<mDT> | PostForcedTransitionHook<mDT> | PostAnyTransitionHook<mDT> | PostEntryHook<mDT> | PostExitHook<mDT> | PreEverythingHook<mDT> | EverythingHook<mDT> | PrePostEverythingHook<mDT> | PostEverythingHook<mDT>;
+type HookDescription<mDT> = BasicHookDescription<mDT> | HookDescriptionWithAction<mDT> | GlobalActionHook<mDT> | AnyActionHook<mDT> | StandardTransitionHook<mDT> | MainTransitionHook<mDT> | ForcedTransitionHook<mDT> | AnyTransitionHook<mDT> | EntryHook<mDT> | ExitHook<mDT> | AfterHook<mDT> | PostBasicHookDescription<mDT> | PostHookDescriptionWithAction<mDT> | PostGlobalActionHook<mDT> | PostAnyActionHook<mDT> | PostStandardTransitionHook<mDT> | PostMainTransitionHook<mDT> | PostForcedTransitionHook<mDT> | PostAnyTransitionHook<mDT> | PostEntryHook<mDT> | PostExitHook<mDT> | PreEverythingHook<mDT> | EverythingHook<mDT> | PrePostEverythingHook<mDT> | PostEverythingHook<mDT>;
 /**
  *  Whether an observational hook runs in the pre-transition phase (where it
  *  may veto/mutate the transition) or the post-transition phase (a pure
  *  observer that runs only after a successful transition commits).
  */
-declare type HookPhase = 'pre' | 'post';
+type HookPhase = 'pre' | 'post';
 /**
  *  Normalized description of the target a registry entry is bound to.  Exactly
  *  one scope variant applies; the present fields depend on the scope:
@@ -985,7 +975,7 @@ declare type HookPhase = 'pre' | 'post';
  *  - `'global'` carries no further keys (it matches everything),
  *  - `'group'`  carries `group` (a named state group with a boundary hook).
  */
-declare type HookTarget = {
+type HookTarget = {
     scope: 'edge';
     from: StateType$1;
     to: StateType$1;
@@ -1009,7 +999,7 @@ declare type HookTarget = {
  *  covers only the programmatically-registered observational hooks), so the
  *  registry widens its `kind` field with them.
  */
-declare type HookBoundaryKind = 'group enter' | 'group exit' | 'state enter' | 'state exit';
+type HookBoundaryKind = 'group enter' | 'group exit' | 'state enter' | 'state exit';
 /**
  *  One row of the generated uniform observational-hook registry.  `kind` is
  *  either an original {@link HookDescription} discriminator (e.g. `'entry'`,
@@ -1018,7 +1008,7 @@ declare type HookBoundaryKind = 'group enter' | 'group exit' | 'state enter' | '
  *  normalized {@link HookTarget} it is bound to.  The triple
  *  `(kind, target, phase)` is the registry key the spec calls for.
  */
-declare type HookRegistryEntry = {
+type HookRegistryEntry = {
     kind: HookDescription<unknown>['kind'] | HookBoundaryKind;
     phase: HookPhase;
     target: HookTarget;
@@ -1031,7 +1021,7 @@ declare type HookRegistryEntry = {
  *  mirrors the spec's `hooks_on(state)` / `hooks_on(from→to)` /
  *  `hooks_on(action)` / `hooks_on(&group)` set with one parameter shape.
  */
-declare type HookQuery = StateType$1 | {
+type HookQuery = StateType$1 | {
     from: StateType$1;
     to: StateType$1;
     action?: string;
@@ -1048,7 +1038,7 @@ declare type HookQuery = StateType$1 | {
  *  `data` overrides the data observed by other hooks in the same chain,
  *  and `next_data` overrides the data committed after the transition.
  */
-declare type HookComplexResult<mDT> = {
+type HookComplexResult<mDT> = {
     pass: boolean;
     state?: StateType$1;
     data?: mDT;
@@ -1060,7 +1050,7 @@ declare type HookComplexResult<mDT> = {
  *  a {@link HookComplexResult} that additionally rewrites the next state
  *  and/or the next data payload.
  */
-declare type HookResult<mDT> = true | false | undefined | void | HookComplexResult<mDT>;
+type HookResult<mDT> = true | false | undefined | void | HookComplexResult<mDT>;
 /**
  *  Context object passed to every {@link HookHandler}.  `data` is the
  *  data payload as it stands before the transition, and `next_data` is
@@ -1068,7 +1058,7 @@ declare type HookResult<mDT> = true | false | undefined | void | HookComplexResu
  *  handlers may inspect or mutate the latter via a
  *  {@link HookComplexResult} return value.
  */
-declare type HookContext<mDT> = {
+type HookContext<mDT> = {
     data: mDT;
     next_data: mDT;
 };
@@ -1078,7 +1068,7 @@ declare type HookContext<mDT> = {
  *  {@link HookContext} with `hook_name`, which identifies which specific
  *  hook fired so a single handler can route on it.
  */
-declare type EverythingHookContext<mDT> = HookContext<mDT> & {
+type EverythingHookContext<mDT> = HookContext<mDT> & {
     hook_name: string;
 };
 /**
@@ -1088,38 +1078,38 @@ declare type EverythingHookContext<mDT> = HookContext<mDT> & {
  *  result allows it, and a {@link HookComplexResult} can additionally
  *  rewrite the next state or next data.
  */
-declare type HookHandler<mDT> = (hook_context: HookContext<mDT>) => HookResult<mDT>;
+type HookHandler<mDT> = (hook_context: HookContext<mDT>) => HookResult<mDT>;
 /**
  *  Signature of a post-transition hook handler.  Invoked after a successful
  *  transition has been committed; the return value is ignored (the
  *  transition cannot be undone).
  */
-declare type PostHookHandler<mDT> = (hook_context: HookContext<mDT>) => void;
+type PostHookHandler<mDT> = (hook_context: HookContext<mDT>) => void;
 /**
  *  Signature of an "everything" pre-transition hook handler.  Like
  *  {@link HookHandler} but receives an {@link EverythingHookContext} so the
  *  handler can dispatch on `hook_name`.
  */
-declare type EverythingHookHandler<mDT> = (hook_context: EverythingHookContext<mDT>) => HookResult<mDT>;
+type EverythingHookHandler<mDT> = (hook_context: EverythingHookContext<mDT>) => HookResult<mDT>;
 /**
  *  Signature of an "everything" post-transition hook handler.  Like
  *  {@link PostHookHandler} but receives an {@link EverythingHookContext}.
  *  The return value is ignored.
  */
-declare type PostEverythingHookHandler<mDT> = (hook_context: EverythingHookContext<mDT>) => void;
+type PostEverythingHookHandler<mDT> = (hook_context: EverythingHookContext<mDT>) => void;
 /**
  *  Bounded history of recently-visited states paired with the data payload
  *  observed in each.  Backed by `circular_buffer_js`, so the oldest entry
  *  is dropped silently once the configured capacity is exceeded.
  */
-declare type JssmHistory<mDT> = circular_buffer<[StateType$1, mDT]>;
+type JssmHistory<mDT> = circular_buffer<[StateType$1, mDT]>;
 /**
  *  Pluggable random-number-generator function shape.  Must return a value
  *  in `[0, 1)` exactly as `Math.random` does.  Supplied via the
  *  `rng_seed`-aware machine configuration so that stochastic models can be
  *  made reproducible.
  */
-declare type JssmRng = () => number;
+type JssmRng = () => number;
 /**
  *  All event names that {@link Machine.on} accepts.  These are observation
  *  events fired by the machine in addition to (not in place of) the hook
@@ -1127,14 +1117,14 @@ declare type JssmRng = () => number;
  *
  *  @see Machine.on
  */
-declare type JssmEventName = 'transition' | 'rejection' | 'action' | 'entry' | 'exit' | 'terminal' | 'complete' | 'error' | 'data-change' | 'override' | 'timeout' | 'hook-registration' | 'hook-removal';
+type JssmEventName = 'transition' | 'rejection' | 'action' | 'entry' | 'exit' | 'terminal' | 'complete' | 'error' | 'data-change' | 'override' | 'timeout' | 'hook-registration' | 'hook-removal';
 /**
  *  Detail payload fired with a `transition` event.  Carries the resolved
  *  source and target, the action name (if the transition was driven by an
  *  action), the data observed before and after the change, the edge kind,
  *  and whether the call was a forced transition.
  */
-declare type JssmTransitionEventDetail<mDT> = {
+type JssmTransitionEventDetail<mDT> = {
     from: StateType$1;
     to: StateType$1;
     action?: StateType$1;
@@ -1149,7 +1139,7 @@ declare type JssmTransitionEventDetail<mDT> = {
  *  and why.  `reason` is `'invalid'` when no edge existed, `'hook'` when
  *  a hook handler vetoed; `hook_name` is set when `reason` is `'hook'`.
  */
-declare type JssmRejectionEventDetail<mDT> = {
+type JssmRejectionEventDetail<mDT> = {
     from: StateType$1;
     to: StateType$1;
     action?: StateType$1;
@@ -1163,7 +1153,7 @@ declare type JssmRejectionEventDetail<mDT> = {
  *  Detail payload fired with an `action` event.  Fires when an action is
  *  attempted, before transition validation runs.
  */
-declare type JssmActionEventDetail<mDT> = {
+type JssmActionEventDetail<mDT> = {
     action: StateType$1;
     from: StateType$1;
     to?: StateType$1;
@@ -1175,7 +1165,7 @@ declare type JssmActionEventDetail<mDT> = {
  *  state.  `from` is the predecessor state, if any.  `action` is the
  *  action that drove the entry, if any.
  */
-declare type JssmEntryEventDetail<mDT> = {
+type JssmEntryEventDetail<mDT> = {
     state: StateType$1;
     from?: StateType$1;
     action?: StateType$1;
@@ -1186,7 +1176,7 @@ declare type JssmEntryEventDetail<mDT> = {
  *  state.  `to` is the next state, if any.  `action` is the action that
  *  drove the exit, if any.
  */
-declare type JssmExitEventDetail<mDT> = {
+type JssmExitEventDetail<mDT> = {
     state: StateType$1;
     to?: StateType$1;
     action?: StateType$1;
@@ -1196,7 +1186,7 @@ declare type JssmExitEventDetail<mDT> = {
  *  Detail payload fired with a `terminal` event.  Indicates that the
  *  machine has reached a state with no outgoing edges.
  */
-declare type JssmTerminalEventDetail<mDT> = {
+type JssmTerminalEventDetail<mDT> = {
     state: StateType$1;
     data: mDT;
 };
@@ -1204,7 +1194,7 @@ declare type JssmTerminalEventDetail<mDT> = {
  *  Detail payload fired with a `complete` event.  Indicates that the
  *  machine has reached a FSL `complete` state.
  */
-declare type JssmCompleteEventDetail<mDT> = {
+type JssmCompleteEventDetail<mDT> = {
     state: StateType$1;
     data: mDT;
 };
@@ -1214,7 +1204,7 @@ declare type JssmCompleteEventDetail<mDT> = {
  *  identify the event whose handler threw, and `handler` is the offending
  *  function so consumers can correlate / blame.
  */
-declare type JssmErrorEventDetail = {
+type JssmErrorEventDetail = {
     error: unknown;
     source_event: JssmEventName;
     source_detail: unknown;
@@ -1225,7 +1215,7 @@ declare type JssmErrorEventDetail = {
  *  machine's data payload is replaced.  `old_data` is the value before the
  *  change; `new_data` is the value after.
  */
-declare type JssmDataChangeEventDetail<mDT> = {
+type JssmDataChangeEventDetail<mDT> = {
     from?: StateType$1;
     to?: StateType$1;
     action?: StateType$1;
@@ -1237,7 +1227,7 @@ declare type JssmDataChangeEventDetail<mDT> = {
  *  Detail payload fired with an `override` event.  Distinguishes a forced
  *  state replacement from a normal transition.
  */
-declare type JssmOverrideEventDetail<mDT> = {
+type JssmOverrideEventDetail<mDT> = {
     from: StateType$1;
     to: StateType$1;
     old_data: mDT;
@@ -1247,7 +1237,7 @@ declare type JssmOverrideEventDetail<mDT> = {
  *  Detail payload fired with a `timeout` event.  Fires when a configured
  *  `after` clause causes an automatic transition.
  */
-declare type JssmTimeoutEventDetail = {
+type JssmTimeoutEventDetail = {
     from: StateType$1;
     to: StateType$1;
     after_time: number;
@@ -1257,7 +1247,7 @@ declare type JssmTimeoutEventDetail = {
  *  Mirrors the {@link HookDescription} so inspector tools can mirror the
  *  current hook set.
  */
-declare type JssmHookLifecycleEventDetail<mDT> = {
+type JssmHookLifecycleEventDetail<mDT> = {
     description: HookDescription<mDT>;
 };
 /**
@@ -1265,7 +1255,7 @@ declare type JssmHookLifecycleEventDetail<mDT> = {
  *  payload.  Drives the discriminated-union typing of {@link Machine.on},
  *  so `e.action` and friends only exist where they're meaningful.
  */
-declare type JssmEventDetailMap<mDT> = {
+type JssmEventDetailMap<mDT> = {
     'transition': JssmTransitionEventDetail<mDT>;
     'rejection': JssmRejectionEventDetail<mDT>;
     'action': JssmActionEventDetail<mDT>;
@@ -1286,7 +1276,7 @@ declare type JssmEventDetailMap<mDT> = {
  *  filter entry fire the handler.  Events that don't list a filter key in
  *  v1 take no filter properties.
  */
-declare type JssmEventFilterMap<mDT> = {
+type JssmEventFilterMap<mDT> = {
     'transition': {
         from?: StateType$1;
         to?: StateType$1;
@@ -1314,19 +1304,19 @@ declare type JssmEventFilterMap<mDT> = {
  *  @typeparam mDT The type of the machine data member.
  *  @typeparam Ev  The event name.
  */
-declare type JssmEventFilter<mDT, Ev extends JssmEventName> = JssmEventFilterMap<mDT>[Ev];
+type JssmEventFilter<mDT, Ev extends JssmEventName> = JssmEventFilterMap<mDT>[Ev];
 /**
  *  Per-event handler signature.  Receives a detail object typed by event
  *  name, so `e.action` (etc.) only exist where they're meaningful.
  *  @typeparam mDT The type of the machine data member.
  *  @typeparam Ev  The event name.
  */
-declare type JssmEventHandler<mDT, Ev extends JssmEventName> = (detail: JssmEventDetailMap<mDT>[Ev]) => void;
+type JssmEventHandler<mDT, Ev extends JssmEventName> = (detail: JssmEventDetailMap<mDT>[Ev]) => void;
 /**
  *  Function returned by {@link Machine.on} and {@link Machine.once} that
  *  removes the subscription.  Calling it more than once is a no-op.
  */
-declare type JssmUnsubscribe = () => void;
+type JssmUnsubscribe = () => void;
 
 /**
  * String interning support for the jssm machine internals.
@@ -1395,7 +1385,7 @@ declare class Interner {
     get size(): number;
 }
 
-declare type StateType = string;
+type StateType = string;
 
 /**
  *  Internal record holding a single registered event subscription: the
@@ -1404,7 +1394,7 @@ declare type StateType = string;
  *
  *  @internal
  */
-declare type JssmEventEntry<mDT, Ev extends JssmEventName> = {
+type JssmEventEntry<mDT, Ev extends JssmEventName> = {
     handler: JssmEventHandler<mDT, Ev>;
     filter?: JssmEventFilter<mDT, Ev>;
     once: boolean;