@cssints/apg-specs 0.5.2 → 0.6.1

package/dist/apg/listbox-multi.bridge.mjs

@@ -1,6 +1,6 @@
 import { Unsupported } from "../scenario.mjs";
 import { bit, indicesMask, indicesOf, jsonRecord, keyModifiers, listboxConfig, maskOf, optionIndexOf, partOf, requestedIndices, specEvent } from "./listbox-shared.mjs";
-//#region src/apg/listbox-multi.bridge.ts
+// src/apg/listbox-multi.bridge.ts
 /** Scenario `config` -> mount config; only the multi-select model is modelled. */
 const listboxMultiConfig = (config) => {
 	const mount = listboxConfig(config, "multiple");
@@ -257,5 +257,4 @@ const listboxMultiProbe = {
 	],
 	events: ["onValueChange"]
 };
-//#endregion
 export { listboxMultiBridge, listboxMultiConfig, listboxMultiProbe, listboxMultiSteps };

package/dist/apg/listbox-rearrangeable.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/listbox-rearrangeable.bridge.d.ts
 /**
  * Rearrangeable listbox vocabulary <-> `specs/apg/listbox-rearrangeable.qnt`.
  * Two lists (`listA`, `listB`) share four options; parts are `listA`/`listB`
@@ -16,5 +15,4 @@ export declare const listboxRearrangeableConfig: (config: ScenarioConfig) => Rea
 export declare const listboxRearrangeableBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const listboxRearrangeableSteps: ReadonlyArray<ActionStep>;
-export declare const listboxRearrangeableProbe: Probe;
-//#endregion
+export declare const listboxRearrangeableProbe: Probe;

package/dist/apg/listbox-rearrangeable.bridge.mjs

@@ -1,6 +1,6 @@
 import { Unsupported } from "../scenario.mjs";
 import { bit, indicesMask, indicesOf, jsonRecord, requestedIndices, specEvent } from "./listbox-shared.mjs";
-//#region src/apg/listbox-rearrangeable.bridge.ts
+// src/apg/listbox-rearrangeable.bridge.ts
 const ITEM_COUNT = 4;
 const NO_ITEM = 4;
 const listboxRearrangeableConfig = (config) => {
@@ -233,5 +233,4 @@ const listboxRearrangeableProbe = {
 	],
 	events: ["onValueChange"]
 };
-//#endregion
 export { listboxRearrangeableBridge, listboxRearrangeableConfig, listboxRearrangeableProbe, listboxRearrangeableSteps };

package/dist/apg/listbox-shared.d.mts

@@ -1,7 +1,6 @@
 import { ScenarioConfig } from "../scenario.mjs";
 import { QuintEvent, QuintModelValue } from "@quint-machine/core";
 import { Schema } from "effect";
-//#region src/apg/listbox-shared.d.ts
 export declare const specEvent: (tag: string, params?: Record<string, bigint | string | boolean>) => QuintEvent;
 export type ListboxSelectionMode = "single" | "multiple" | "none";
 export type ListboxAutoFocus = boolean | number | "first";
@@ -54,5 +53,4 @@ export declare const indicesMask: (indices: ReadonlyArray<number>) => number;
 /** Parse a `prop setValue`/`value`/`selected` payload into option indices. */
 export declare const indicesOf: (value: Schema.Json | undefined) => ReadonlyArray<number>;
 /** The last request's intent, as option indices (reads the `requested` mask). */
-export declare const requestedIndices: (state: QuintModelValue, count: number) => ReadonlyArray<number>;
-//#endregion
+export declare const requestedIndices: (state: QuintModelValue, count: number) => ReadonlyArray<number>;

package/dist/apg/listbox-shared.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/listbox-shared.ts
+// src/apg/listbox-shared.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -167,5 +167,4 @@ const requestedIndices = (state, count) => {
 	const value = state["requested"];
 	return selectedIndices(typeof value === "bigint" ? value : 0n, count);
 };
-//#endregion
 export { bit, indicesMask, indicesOf, jsonRecord, keyModifiers, listboxConfig, maskOf, optionIndexOf, partOf, requestedIndices, selectedIndices, specEvent };

package/dist/apg/listbox-single.bridge.d.mts

@@ -1,10 +1,8 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
 import { ListboxMountConfig } from "./listbox-shared.mjs";
-//#region src/apg/listbox-single.bridge.d.ts
 /** Scenario `config` -> mount config; only the single-select model is modelled. */
 export declare const listboxSingleConfig: (config: ScenarioConfig) => ListboxMountConfig;
 export declare const listboxSingleBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const listboxSingleSteps: ReadonlyArray<ActionStep>;
-export declare const listboxSingleProbe: Probe;
-//#endregion
+export declare const listboxSingleProbe: Probe;

package/dist/apg/listbox-single.bridge.mjs

@@ -1,6 +1,6 @@
 import { Unsupported } from "../scenario.mjs";
 import { bit, indicesMask, indicesOf, jsonRecord, listboxConfig, maskOf, optionIndexOf, partOf, requestedIndices, specEvent } from "./listbox-shared.mjs";
-//#region src/apg/listbox-single.bridge.ts
+// src/apg/listbox-single.bridge.ts
 /** Scenario `config` -> mount config; only the single-select model is modelled. */
 const listboxSingleConfig = (config) => {
 	const mount = listboxConfig(config, "single");
@@ -192,5 +192,4 @@ const listboxSingleProbe = {
 	],
 	events: ["onValueChange"]
 };
-//#endregion
 export { listboxSingleBridge, listboxSingleConfig, listboxSingleProbe, listboxSingleSteps };

package/dist/apg/listbox-typeahead.bridge.d.mts

@@ -1,10 +1,8 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
 import { ListboxMountConfig } from "./listbox-shared.mjs";
-//#region src/apg/listbox-typeahead.bridge.d.ts
 /** Scenario `config` -> mount config for the type-ahead model. */
 export declare const listboxTypeaheadConfig: (config: ScenarioConfig) => ListboxMountConfig;
 export declare const listboxTypeaheadBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const listboxTypeaheadSteps: ReadonlyArray<ActionStep>;
-export declare const listboxTypeaheadProbe: Probe;
-//#endregion
+export declare const listboxTypeaheadProbe: Probe;

package/dist/apg/listbox-typeahead.bridge.mjs

@@ -1,6 +1,6 @@
 import { Unsupported } from "../scenario.mjs";
 import { jsonRecord, listboxConfig, partOf, specEvent } from "./listbox-shared.mjs";
-//#region src/apg/listbox-typeahead.bridge.ts
+// src/apg/listbox-typeahead.bridge.ts
 /** Scenario `config` -> mount config for the type-ahead model. */
 const listboxTypeaheadConfig = (config) => listboxConfig(config, "single");
 /**
@@ -149,5 +149,4 @@ const listboxTypeaheadProbe = {
 	attrs: [["listbox", "aria-activedescendant"]],
 	events: ["onActiveChange"]
 };
-//#endregion
 export { listboxTypeaheadBridge, listboxTypeaheadConfig, listboxTypeaheadProbe, listboxTypeaheadSteps };

package/dist/apg/menu-button.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/menu-button.bridge.d.ts
 /**
  * Menu button vocabulary <-> `specs/apg/menu-button.qnt`. The spec's fixture is
  * fixed: 4 items, item 3 (DOM index 2) aria-disabled, typeahead codes
@@ -25,5 +24,4 @@ export declare const menuButtonConfig: (config: ScenarioConfig) => MenuButtonCon
 export declare const menuButtonBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const menuButtonSteps: ReadonlyArray<ActionStep>;
-export declare const menuButtonProbe: Probe;
-//#endregion
+export declare const menuButtonProbe: Probe;

package/dist/apg/menu-button.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/menu-button.bridge.ts
+// src/apg/menu-button.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -255,5 +255,4 @@ const menuButtonProbe = {
 	],
 	events: []
 };
-//#endregion
 export { menuButtonBridge, menuButtonConfig, menuButtonProbe, menuButtonSteps };

package/dist/apg/menu-checkable.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/menu-checkable.bridge.d.ts
 export type MenuCheckableVariant = "checkbox-items" | "radio-items" | "mixed";
 export interface MenuCheckableConfig {
   readonly items: ReadonlyArray<string>;
@@ -21,5 +20,4 @@ export declare const menuCheckableConfig: (config: ScenarioConfig) => MenuChecka
 export declare const menuCheckableBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const menuCheckableSteps: ReadonlyArray<ActionStep>;
-export declare const menuCheckableProbe: Probe;
-//#endregion
+export declare const menuCheckableProbe: Probe;

package/dist/apg/menu-checkable.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/menu-checkable.bridge.ts
+// src/apg/menu-checkable.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -222,5 +222,4 @@ const menuCheckableProbe = {
 	],
 	events: []
 };
-//#endregion
 export { menuCheckableBridge, menuCheckableConfig, menuCheckableProbe, menuCheckableSteps };

package/dist/apg/menu-menubar.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/menu-menubar.bridge.d.ts
 /**
  * Menubar vocabulary <-> `specs/apg/menu-menubar.qnt`, shared by the spec
  * driver and the DOM driver. The spec's fixture is fixed:
@@ -23,5 +22,4 @@ export declare const menuMenubarConfig: (config: ScenarioConfig) => MenuMenubarC
 export declare const menuMenubarBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const menuMenubarSteps: ReadonlyArray<ActionStep>;
-export declare const menuMenubarProbe: Probe;
-//#endregion
+export declare const menuMenubarProbe: Probe;

package/dist/apg/menu-menubar.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/menu-menubar.bridge.ts
+// src/apg/menu-menubar.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -269,5 +269,4 @@ const menuMenubarProbe = {
 	],
 	events: []
 };
-//#endregion
 export { menuMenubarBridge, menuMenubarConfig, menuMenubarProbe, menuMenubarSteps };

package/dist/apg/meter.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/meter.bridge.d.ts
 /**
  * Scenario `config` -> what both targets are mounted with. The spec models a
  * fixed set of ranges (0..100, 10..50, 20..200); a config with another range
@@ -24,5 +23,4 @@ export declare const meterConfig: (config: ScenarioConfig) => MeterConfig;
 export declare const meterBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const meterSteps: ReadonlyArray<ActionStep>;
-export declare const meterProbe: Probe;
-//#endregion
+export declare const meterProbe: Probe;

package/dist/apg/meter.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/meter.bridge.ts
+// src/apg/meter.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -155,5 +155,4 @@ const meterProbe = {
 	],
 	events: []
 };
-//#endregion
 export { meterBridge, meterConfig, meterProbe, meterSteps };

package/dist/apg/player.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/player.bridge.d.ts
 /**
  * Player vocabulary <-> `specs/apg/player.qnt`, shared by the spec driver and
  * the DOM driver. `config.duration` seeds `loadedmetadata` so both start ready.
@@ -20,5 +19,4 @@ export declare const playerConfig: (config: ScenarioConfig) => PlayerConfig;
 export declare const playerBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const playerSteps: ReadonlyArray<ActionStep>;
-export declare const playerProbe: Probe;
-//#endregion
+export declare const playerProbe: Probe;

package/dist/apg/player.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/player.bridge.ts
+// src/apg/player.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -338,5 +338,4 @@ const playerProbe = {
 		"onFullscreenChange"
 	]
 };
-//#endregion
 export { playerBridge, playerConfig, playerProbe, playerSteps };

package/dist/apg/radio.bridge.d.mts

@@ -1,6 +1,5 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
 import { Schema } from "effect";
-//#region src/apg/radio.bridge.d.ts
 /** Scenario `config` -> what both targets are mounted with. */
 export interface RadioConfig {
   /** Radio count; the spec fixes it at four, so more is unsupported. */
@@ -31,5 +30,4 @@ export declare const canonicalEvent: (name: string) => string;
 export declare const radioBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const radioSteps: ReadonlyArray<ActionStep>;
-export declare const radioProbe: Probe;
-//#endregion
+export declare const radioProbe: Probe;

package/dist/apg/radio.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/radio.bridge.ts
+// src/apg/radio.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -367,5 +367,4 @@ const radioProbe = {
 	],
 	events: ["onChangeIndex"]
 };
-//#endregion
 export { canonicalEvent, radioBridge, radioConfig, radioProbe, radioSteps };

package/dist/apg/slider-multithumb.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/slider-multithumb.bridge.d.ts
 /**
  * Multi-thumb slider vocabulary <-> `specs/apg/slider-multithumb.qnt`, shared by
  * the spec driver and the DOM driver.
@@ -30,5 +29,4 @@ export declare const sliderMultithumbConfig: (config: ScenarioConfig) => SliderM
 export declare const sliderMultithumbBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const sliderMultithumbSteps: ReadonlyArray<ActionStep>;
-export declare const sliderMultithumbProbe: Probe;
-//#endregion
+export declare const sliderMultithumbProbe: Probe;

package/dist/apg/slider-multithumb.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/slider-multithumb.bridge.ts
+// src/apg/slider-multithumb.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -361,5 +361,4 @@ const sliderMultithumbProbe = {
 	],
 	events: ["onValueChange"]
 };
-//#endregion
 export { sliderMultithumbBridge, sliderMultithumbConfig, sliderMultithumbProbe, sliderMultithumbSteps };

package/dist/apg/slider.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/slider.bridge.d.ts
 /**
  * Slider vocabulary <-> `specs/apg/slider.qnt`, shared by the spec driver and
  * the DOM driver so both gate scenarios identically.
@@ -50,5 +49,4 @@ export declare const sliderConfig: (config: ScenarioConfig) => {
 export declare const sliderBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const sliderSteps: ReadonlyArray<ActionStep>;
-export declare const sliderProbe: Probe;
-//#endregion
+export declare const sliderProbe: Probe;

package/dist/apg/slider.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/slider.bridge.ts
+// src/apg/slider.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -355,5 +355,4 @@ const sliderProbe = {
 	],
 	events: ["onValueChange"]
 };
-//#endregion
 export { sliderBridge, sliderConfig, sliderProbe, sliderSteps };

package/dist/apg/spinbutton.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/spinbutton.bridge.d.ts
 /**
  * Spinbutton vocabulary <-> `specs/apg/spinbutton.qnt`, shared by the spec
  * driver and the DOM driver.
@@ -37,5 +36,4 @@ export declare const spinbuttonConfig: (config: ScenarioConfig) => SpinbuttonCon
 export declare const spinbuttonBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const spinbuttonSteps: ReadonlyArray<ActionStep>;
-export declare const spinbuttonProbe: Probe;
-//#endregion
+export declare const spinbuttonProbe: Probe;

package/dist/apg/spinbutton.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/spinbutton.bridge.ts
+// src/apg/spinbutton.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -323,5 +323,4 @@ const spinbuttonProbe = {
 	],
 	events: ["onValueChange"]
 };
-//#endregion
 export { spinbuttonBridge, spinbuttonConfig, spinbuttonProbe, spinbuttonSteps };

package/dist/apg/switch.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/switch.bridge.d.ts
 /** Scenario `config` -> what both targets are mounted with. */
 export interface SwitchConfig {
   readonly checked: boolean;
@@ -26,5 +25,4 @@ export declare const canonicalEvent: (name: string) => string;
 export declare const switchBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const switchSteps: ReadonlyArray<ActionStep>;
-export declare const switchProbe: Probe;
-//#endregion
+export declare const switchProbe: Probe;

package/dist/apg/switch.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/switch.bridge.ts
+// src/apg/switch.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -239,5 +239,4 @@ const switchProbe = {
 	],
 	events: ["onChange"]
 };
-//#endregion
 export { canonicalEvent, switchBridge, switchConfig, switchProbe, switchSteps };

package/dist/apg/tabs.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/tabs.bridge.d.ts
 export interface TabsConfig {
   readonly items: number;
   readonly orientation: "horizontal" | "vertical";
@@ -37,5 +36,4 @@ export declare const tabsEventName: (name: string) => string;
 export declare const tabsBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const tabsSteps: ReadonlyArray<ActionStep>;
-export declare const tabsProbe: Probe;
-//#endregion
+export declare const tabsProbe: Probe;

package/dist/apg/tabs.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/tabs.bridge.ts
+// src/apg/tabs.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -290,5 +290,4 @@ const tabsProbe = {
 	],
 	events: ["onSelectionChange"]
 };
-//#endregion
 export { tabsBridge, tabsConfig, tabsEventName, tabsProbe, tabsSteps };

package/dist/apg/timeline.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/timeline.bridge.d.ts
 /**
  * Scenario `config` -> what both targets are mounted with. `selected` is the
  * initial selection (uncontrolled, or the accepting host's starting value).
@@ -32,5 +31,4 @@ export declare const timelineConfig: (config: ScenarioConfig) => TimelineConfig;
 export declare const timelineBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const timelineSteps: ReadonlyArray<ActionStep>;
-export declare const timelineProbe: Probe;
-//#endregion
+export declare const timelineProbe: Probe;

package/dist/apg/timeline.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/timeline.bridge.ts
+// src/apg/timeline.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -261,5 +261,4 @@ const timelineProbe = {
 	],
 	events: ["onValueChange"]
 };
-//#endregion
 export { timelineBridge, timelineConfig, timelineProbe, timelineSteps };

package/dist/apg/toolbar.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/toolbar.bridge.d.ts
 export type ToolbarOrientation = "horizontal" | "vertical";
 export interface ToolbarConfig {
   readonly items: ReadonlyArray<string>;
@@ -21,5 +20,4 @@ export declare const toolbarConfig: (config: ScenarioConfig) => ToolbarConfig;
 export declare const toolbarBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const toolbarSteps: ReadonlyArray<ActionStep>;
-export declare const toolbarProbe: Probe;
-//#endregion
+export declare const toolbarProbe: Probe;

package/dist/apg/toolbar.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/toolbar.bridge.ts
+// src/apg/toolbar.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -303,5 +303,4 @@ const toolbarProbe = {
 	],
 	events: []
 };
-//#endregion
 export { toolbarBridge, toolbarConfig, toolbarProbe, toolbarSteps };

package/dist/apg/tooltip.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/tooltip.bridge.d.ts
 /**
  * Scenario `config` -> mount options. The spec models timers as events, so the
  * ported scenarios that `wait` for a real timer cannot be replayed (the shared
@@ -32,5 +31,4 @@ export declare const tooltipConfig: (config: ScenarioConfig) => TooltipConfig;
 export declare const tooltipBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const tooltipSteps: ReadonlyArray<ActionStep>;
-export declare const tooltipProbe: Probe;
-//#endregion
+export declare const tooltipProbe: Probe;

package/dist/apg/tooltip.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/tooltip.bridge.ts
+// src/apg/tooltip.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -204,5 +204,4 @@ const tooltipProbe = {
 	],
 	events: ["onOpenChange"]
 };
-//#endregion
 export { tooltipBridge, tooltipConfig, tooltipProbe, tooltipSteps };

package/dist/apg/treegrid.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/treegrid.bridge.d.ts
 export type TreegridNav = "rowsFirst" | "cellsFirst" | "cellsOnly";
 export type TreegridSelection = "single" | "multi";
 /** The spec fixes a 3-column, 7-row tree (`treegrid.qnt`). */
@@ -24,5 +23,4 @@ export interface TreegridConfig {
 export declare const treegridConfig: (config: ScenarioConfig) => TreegridConfig;
 export declare const treegridBridge: SpecBridge;
 export declare const treegridSteps: ReadonlyArray<ActionStep>;
-export declare const treegridProbe: Probe;
-//#endregion
+export declare const treegridProbe: Probe;

package/dist/apg/treegrid.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/treegrid.bridge.ts
+// src/apg/treegrid.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -307,5 +307,4 @@ const treegridProbe = {
 	],
 	events: ["onSelectionChange"]
 };
-//#endregion
 export { TREEGRID_COLS, TREEGRID_ROWS, treegridBridge, treegridConfig, treegridProbe, treegridSteps };

package/dist/apg/treeview.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/treeview.bridge.d.ts
 /** The `data-part` target of a node id (e.g. `treeitem:0/0/1`). */
 export declare const nodeToPath: (node: number) => string;
 /** Resolve a scenario path (`treeitem:0/0/1`, `0/1`, ...) to a node id. */
@@ -22,5 +21,4 @@ export declare const treeviewConfig: (config: ScenarioConfig) => TreeviewConfig;
 export declare const treeviewBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const treeviewSteps: ReadonlyArray<ActionStep>;
-export declare const treeviewProbe: Probe;
-//#endregion
+export declare const treeviewProbe: Probe;

package/dist/apg/treeview.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/treeview.bridge.ts
+// src/apg/treeview.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -392,5 +392,4 @@ const treeviewProbe = {
 	})],
 	events: ["onExpandedChange", "onSelectionChange"]
 };
-//#endregion
 export { nodeToPath, pathToNode, treeviewBridge, treeviewConfig, treeviewProbe, treeviewSteps };

package/dist/apg/windowsplitter.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/windowsplitter.bridge.d.ts
 export type SplitterOrientation = "vertical" | "horizontal";
 /**
  * Scenario `config` -> what both targets are mounted with. The spec hard-codes
@@ -32,5 +31,4 @@ export declare const windowsplitterConfig: (config: ScenarioConfig) => Windowspl
 export declare const windowsplitterBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const windowsplitterSteps: ReadonlyArray<ActionStep>;
-export declare const windowsplitterProbe: Probe;
-//#endregion
+export declare const windowsplitterProbe: Probe;

package/dist/apg/windowsplitter.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/windowsplitter.bridge.ts
+// src/apg/windowsplitter.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -238,5 +238,4 @@ const windowsplitterProbe = {
 	],
 	events: ["onValueChange"]
 };
-//#endregion
 export { windowsplitterBridge, windowsplitterConfig, windowsplitterProbe, windowsplitterSteps };

package/dist/canvas/canvas.bridge.d.mts

@@ -1,7 +1,6 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
 import { QuintModelValue } from "@quint-machine/core";
 import { Schema } from "effect";
-//#region src/canvas/canvas.bridge.d.ts
 /**
  * Canvas vocabulary <-> `specs/canvas/camera.qnt` and `specs/canvas/pointer.qnt`.
  *
@@ -187,4 +186,4 @@ export declare const pointerProbe: Probe;
 /** The user-level steps a camera differential walk draws from. */
 export declare const cameraSteps: ReadonlyArray<ActionStep>;
 export declare const cameraProbe: Probe;
-//#endregion
+export {};

package/dist/canvas/canvas.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/canvas/canvas.bridge.ts
+// src/canvas/canvas.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -725,5 +725,4 @@ const cameraProbe = {
 	],
 	events: []
 };
-//#endregion
 export { ANCHORS, CENTRE_POINTS, HOST_POSITIONS, NODES, PALETTE, PAN_DELTAS, POINTER_VIEWPORT, VIEWPORTS, ZOOM_FACTORS, ZOOM_LEVELS, anchorPoint, cameraBridge, cameraConfig, cameraProbe, cameraSteps, cameraValue, formatValue, parseCameraOp, parsePointerOp, pointerBridge, pointerConfig, pointerProbe, pointerSteps, pointerValue, selectionText };