@cssints/apg-specs 0.6.0 → 0.7.0

package/README.md

@@ -32,7 +32,7 @@ Run in `packages/apg-specs`:
 - `bun run generate:all [specs/apg/tabs.qnt ...]` — regenerate artifacts (`node scripts/generate-all.ts`). Each generated file carries the sha256 of its spec; edit a spec, then regenerate. The formatter skips the generated files (`.prettierignore`).
 - `bun run typecheck:quint` — Quint's own typechecker over every spec (~90 s).
 - `bun run test` — spec-only verification (`vp test run`). The exhaustive explorations (player, camera) take a minute each and can time out on a loaded machine; run them alone before calling a failure real.
-- `bun run typecheck` — `tsc-rs` over `src`, `test` and `scripts`.
+- `bun run typecheck` — `effect-tsrs` over `src`, `test` and `scripts`.
 - `bun run check` — all of the above, in order.
 - `bun run build` — `vp pack`: `dist/` (the runner and the bridges as ESM with `.d.mts`, the generated models as `.json`).
 

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

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/accordion.bridge.d.ts
 export interface AccordionConfig {
   readonly items: number;
   /** `defaultValue` when uncontrolled, the initial `value` prop when controlled. */
@@ -31,5 +30,4 @@ export declare const accordionConfig: (config: ScenarioConfig) => AccordionConfi
 export declare const accordionBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const accordionSteps: ReadonlyArray<ActionStep>;
-export declare const accordionProbe: Probe;
-//#endregion
+export declare const accordionProbe: Probe;

package/dist/apg/accordion.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/accordion.bridge.ts
+// src/apg/accordion.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -322,5 +322,4 @@ const accordionProbe = {
 	],
 	events: ["onExpandedChange"]
 };
-//#endregion
 export { accordionBridge, accordionConfig, accordionProbe, accordionSteps };

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

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/alert.bridge.d.ts
 /**
  * Scenario `config` -> what both targets are mounted with. `titleId` /
  * `descriptionId` are static label associations the alert carries.
@@ -18,5 +17,4 @@ export declare const alertConfig: (config: ScenarioConfig) => AlertConfig;
 export declare const alertBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const alertSteps: ReadonlyArray<ActionStep>;
-export declare const alertProbe: Probe;
-//#endregion
+export declare const alertProbe: Probe;

package/dist/apg/alert.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/alert.bridge.ts
+// src/apg/alert.bridge.ts
 const specEvent = (tag) => ({ _tag: tag });
 const asString = (key, value) => {
 	if (typeof value === "string") return value;
@@ -82,5 +82,4 @@ const alertProbe = {
 	],
 	events: []
 };
-//#endregion
 export { alertBridge, alertConfig, alertProbe, alertSteps };

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

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/alertdialog.bridge.d.ts
 export interface AlertDialogConfig {
   readonly open: boolean;
   readonly role: "alertdialog";
@@ -17,5 +16,4 @@ export declare const alertdialogConfig: (config: ScenarioConfig) => AlertDialogC
 export declare const alertdialogBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const alertdialogSteps: ReadonlyArray<ActionStep>;
-export declare const alertdialogProbe: Probe;
-//#endregion
+export declare const alertdialogProbe: Probe;

package/dist/apg/alertdialog.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/alertdialog.bridge.ts
+// src/apg/alertdialog.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -217,5 +217,4 @@ const alertdialogProbe = {
 	],
 	events: ["onOpenChange"]
 };
-//#endregion
 export { alertdialogBridge, alertdialogConfig, alertdialogProbe, alertdialogSteps };

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

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/breadcrumb.bridge.d.ts
 /**
  * Scenario `config` -> what both targets are mounted with. `items` is the trail
  * length; `label`/`labelledby`/`describedby` name the navigation landmark.
@@ -22,5 +21,4 @@ export declare const breadcrumbConfig: (config: ScenarioConfig) => BreadcrumbCon
 export declare const breadcrumbBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const breadcrumbSteps: ReadonlyArray<ActionStep>;
-export declare const breadcrumbProbe: Probe;
-//#endregion
+export declare const breadcrumbProbe: Probe;

package/dist/apg/breadcrumb.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/breadcrumb.bridge.ts
+// src/apg/breadcrumb.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -116,5 +116,4 @@ const breadcrumbProbe = {
 	],
 	events: []
 };
-//#endregion
 export { breadcrumbBridge, breadcrumbConfig, breadcrumbProbe, breadcrumbSteps };

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

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/button.bridge.d.ts
 /**
  * Scenario `config` -> what both targets are mounted with. `toggle` (or a
  * `pressed`/`defaultPressed` value) makes it a toggle button; `disabled` uses
@@ -31,5 +30,4 @@ export declare const canonicalEvent: (name: string) => string;
 export declare const buttonBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const buttonSteps: ReadonlyArray<ActionStep>;
-export declare const buttonProbe: Probe;
-//#endregion
+export declare const buttonProbe: Probe;

package/dist/apg/button.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/button.bridge.ts
+// src/apg/button.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -204,5 +204,4 @@ const buttonProbe = {
 	],
 	events: ["onPressedChange"]
 };
-//#endregion
 export { buttonBridge, buttonConfig, buttonProbe, buttonSteps, canonicalEvent };

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

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/carousel.bridge.d.ts
 export interface CarouselConfig {
   /** DOM slide count (the generated model caps at three; the page may render more). */
   readonly items: number;
@@ -40,5 +39,4 @@ export declare const carouselConfig: (config: ScenarioConfig) => CarouselConfig;
 export declare const carouselBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const carouselSteps: ReadonlyArray<ActionStep>;
-export declare const carouselProbe: Probe;
-//#endregion
+export declare const carouselProbe: Probe;

package/dist/apg/carousel.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/carousel.bridge.ts
+// src/apg/carousel.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -258,5 +258,4 @@ const carouselProbe = {
 	],
 	events: ["onIndexChange"]
 };
-//#endregion
 export { carouselBridge, carouselConfig, carouselProbe, carouselSteps };

package/dist/apg/checkbox-group.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/checkbox-group.bridge.d.ts
 /** Scenario `config` -> what both targets are mounted with. */
 export interface CheckboxGroupConfig {
   readonly parent: boolean;
@@ -21,5 +20,4 @@ export declare const checkboxGroupConfig: (config: ScenarioConfig) => CheckboxGr
 export declare const checkboxGroupBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const checkboxGroupSteps: ReadonlyArray<ActionStep>;
-export declare const checkboxGroupProbe: Probe;
-//#endregion
+export declare const checkboxGroupProbe: Probe;

package/dist/apg/checkbox-group.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/checkbox-group.bridge.ts
+// src/apg/checkbox-group.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -272,5 +272,4 @@ const checkboxGroupProbe = {
 	],
 	events: []
 };
-//#endregion
 export { checkboxGroupBridge, checkboxGroupConfig, checkboxGroupProbe, checkboxGroupSteps };

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

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/checkbox.bridge.d.ts
 /**
  * Scenario `config` -> what both targets are mounted with. `checked` (base-ui)
  * is the controlled value with a host that answers every request (a click
@@ -30,5 +29,4 @@ export declare const canonicalEvent: (name: string) => string;
 export declare const checkboxBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const checkboxSteps: ReadonlyArray<ActionStep>;
-export declare const checkboxProbe: Probe;
-//#endregion
+export declare const checkboxProbe: Probe;

package/dist/apg/checkbox.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/checkbox.bridge.ts
+// src/apg/checkbox.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -249,5 +249,4 @@ const checkboxProbe = {
 	],
 	events: ["onChange"]
 };
-//#endregion
 export { canonicalEvent, checkboxBridge, checkboxConfig, checkboxProbe, checkboxSteps };

package/dist/apg/combobox-autocomplete.bridge.d.mts

@@ -1,6 +1,5 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
 import { ComboboxSelectOnlyConfig } from "./combobox-select-only.bridge.mjs";
-//#region src/apg/combobox-autocomplete.bridge.d.ts
 /** The spec's fixed corpus (Alabama…Delaware), used when no items are supplied. */
 export declare const COMBOBOX_AUTOCOMPLETE_ITEMS: ReadonlyArray<string>;
 export interface ComboboxAutocompleteConfig extends ComboboxSelectOnlyConfig {
@@ -10,5 +9,4 @@ export interface ComboboxAutocompleteConfig extends ComboboxSelectOnlyConfig {
 export declare const comboboxAutocompleteConfig: (config: ScenarioConfig) => ComboboxAutocompleteConfig;
 export declare const comboboxAutocompleteBridge: SpecBridge;
 export declare const comboboxAutocompleteSteps: ReadonlyArray<ActionStep>;
-export declare const comboboxAutocompleteProbe: Probe;
-//#endregion
+export declare const comboboxAutocompleteProbe: Probe;

package/dist/apg/combobox-autocomplete.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/combobox-autocomplete.bridge.ts
+// src/apg/combobox-autocomplete.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -322,5 +322,4 @@ const comboboxAutocompleteProbe = {
 	],
 	events: ["onOpenChange"]
 };
-//#endregion
 export { COMBOBOX_AUTOCOMPLETE_ITEMS, comboboxAutocompleteBridge, comboboxAutocompleteConfig, comboboxAutocompleteProbe, comboboxAutocompleteSteps };

package/dist/apg/combobox-dialog.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/combobox-dialog.bridge.d.ts
 export interface ComboboxDialogConfig {
   /** A valid date in the spec's calendar, or `null`. */
   readonly value: number | null;
@@ -13,5 +12,4 @@ export interface ComboboxDialogConfig {
 export declare const comboboxDialogConfig: (config: ScenarioConfig) => ComboboxDialogConfig;
 export declare const comboboxDialogBridge: SpecBridge;
 export declare const comboboxDialogSteps: ReadonlyArray<ActionStep>;
-export declare const comboboxDialogProbe: Probe;
-//#endregion
+export declare const comboboxDialogProbe: Probe;

package/dist/apg/combobox-dialog.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/combobox-dialog.bridge.ts
+// src/apg/combobox-dialog.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -246,5 +246,4 @@ const comboboxDialogProbe = {
 	],
 	events: ["onOpenChange"]
 };
-//#endregion
 export { comboboxDialogBridge, comboboxDialogConfig, comboboxDialogProbe, comboboxDialogSteps };

package/dist/apg/combobox-grid.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/combobox-grid.bridge.d.ts
 /** cellValues: true = one suggestion per cell, false = one per row. */
 export interface ComboboxGridConfig {
   readonly cellValues: boolean;
@@ -13,5 +12,4 @@ export interface ComboboxGridConfig {
 export declare const comboboxGridConfig: (config: ScenarioConfig) => ComboboxGridConfig;
 export declare const comboboxGridBridge: SpecBridge;
 export declare const comboboxGridSteps: ReadonlyArray<ActionStep>;
-export declare const comboboxGridProbe: Probe;
-//#endregion
+export declare const comboboxGridProbe: Probe;

package/dist/apg/combobox-grid.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/combobox-grid.bridge.ts
+// src/apg/combobox-grid.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -223,5 +223,4 @@ const comboboxGridProbe = {
 	],
 	events: ["onOpenChange"]
 };
-//#endregion
 export { comboboxGridBridge, comboboxGridConfig, comboboxGridProbe, comboboxGridSteps };

package/dist/apg/combobox-select-only.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/combobox-select-only.bridge.d.ts
 /** The spec's fixed corpus; the differential walk mounts exactly these. */
 export declare const COMBOBOX_SELECT_ONLY_ITEMS: ReadonlyArray<string>;
 /** Scenario config -> what both targets are mounted with. */
@@ -20,5 +19,4 @@ export declare const comboboxSelectOnlyConfig: (config: ScenarioConfig) => Combo
 export declare const comboboxSelectOnlyBridge: SpecBridge;
 /** The user-level steps the differential walk draws from. */
 export declare const comboboxSelectOnlySteps: ReadonlyArray<ActionStep>;
-export declare const comboboxSelectOnlyProbe: Probe;
-//#endregion
+export declare const comboboxSelectOnlyProbe: Probe;

package/dist/apg/combobox-select-only.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/combobox-select-only.bridge.ts
+// src/apg/combobox-select-only.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -300,5 +300,4 @@ const comboboxSelectOnlyProbe = {
 	],
 	events: ["onOpenChange"]
 };
-//#endregion
 export { COMBOBOX_SELECT_ONLY_ITEMS, comboboxSelectOnlyBridge, comboboxSelectOnlyConfig, comboboxSelectOnlyProbe, comboboxSelectOnlySteps };

package/dist/apg/combobox-tree.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/combobox-tree.bridge.d.ts
 export interface ComboboxTreeConfig {
   /** 0 all selectable, 1 labels + sticky selection, 2 labels + cleared selection. */
   readonly labelMode: 0 | 1 | 2;
@@ -13,5 +12,4 @@ export interface ComboboxTreeConfig {
 export declare const comboboxTreeConfig: (config: ScenarioConfig) => ComboboxTreeConfig;
 export declare const comboboxTreeBridge: SpecBridge;
 export declare const comboboxTreeSteps: ReadonlyArray<ActionStep>;
-export declare const comboboxTreeProbe: Probe;
-//#endregion
+export declare const comboboxTreeProbe: Probe;

package/dist/apg/combobox-tree.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/combobox-tree.bridge.ts
+// src/apg/combobox-tree.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -207,5 +207,4 @@ const comboboxTreeProbe = {
 	],
 	events: ["onOpenChange"]
 };
-//#endregion
 export { comboboxTreeBridge, comboboxTreeConfig, comboboxTreeProbe, comboboxTreeSteps };

package/dist/apg/dialog-modal.bridge.d.mts

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/dialog-modal.bridge.d.ts
 export interface DialogModalConfig {
   readonly modal: boolean;
   readonly role: "dialog" | "alertdialog";
@@ -31,5 +30,4 @@ export declare const dialogModalConfig: (config: ScenarioConfig) => DialogModalC
 export declare const dialogModalBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const dialogModalSteps: ReadonlyArray<ActionStep>;
-export declare const dialogModalProbe: Probe;
-//#endregion
+export declare const dialogModalProbe: Probe;

package/dist/apg/dialog-modal.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/dialog-modal.bridge.ts
+// src/apg/dialog-modal.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -182,5 +182,4 @@ const dialogModalProbe = {
 	attrs: [["dialog", "role"], ["dialog", "aria-modal"]],
 	events: ["onOpenChange"]
 };
-//#endregion
 export { dialogModalBridge, dialogModalConfig, dialogModalProbe, dialogModalSteps };

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

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/disclosure.bridge.d.ts
 export interface DisclosureConfig {
   /** `defaultValue` when uncontrolled, the initial `value` prop when controlled. */
   readonly expanded: boolean;
@@ -21,5 +20,4 @@ export declare const canonicalEvent: (name: string) => string;
 export declare const disclosureBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const disclosureSteps: ReadonlyArray<ActionStep>;
-export declare const disclosureProbe: Probe;
-//#endregion
+export declare const disclosureProbe: Probe;

package/dist/apg/disclosure.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/disclosure.bridge.ts
+// src/apg/disclosure.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -198,5 +198,4 @@ const disclosureProbe = {
 	],
 	events: ["onExpandedChange"]
 };
-//#endregion
 export { canonicalEvent, disclosureBridge, disclosureConfig, disclosureProbe, disclosureSteps };

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

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/feed.bridge.d.ts
 export interface FeedConfig {
   readonly loaded: number;
   readonly totalArticles: number | null;
@@ -27,5 +26,4 @@ export declare const feedConfig: (config: ScenarioConfig) => FeedConfig;
 export declare const feedBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const feedSteps: ReadonlyArray<ActionStep>;
-export declare const feedProbe: Probe;
-//#endregion
+export declare const feedProbe: Probe;

package/dist/apg/feed.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/feed.bridge.ts
+// src/apg/feed.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -242,5 +242,4 @@ const feedProbe = {
 	],
 	events: ["onLoadedChange"]
 };
-//#endregion
 export { feedBridge, feedConfig, feedProbe, feedSteps };

package/dist/apg/grid-selection.bridge.d.mts

@@ -1,6 +1,5 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
 import { GridConfig } from "./grid.bridge.mjs";
-//#region src/apg/grid-selection.bridge.d.ts
 /**
  * `grid-selection.qnt`: cell/row/column selection over the fixed 4x3 grid.
  * Mounts `createGrid` with `selectable: true`; reads `aria-selected` (present
@@ -9,5 +8,4 @@ import { GridConfig } from "./grid.bridge.mjs";
 export declare const gridSelectionConfig: (config: ScenarioConfig) => GridConfig;
 export declare const gridSelectionBridge: SpecBridge;
 export declare const gridSelectionSteps: ReadonlyArray<ActionStep>;
-export declare const gridSelectionProbe: Probe;
-//#endregion
+export declare const gridSelectionProbe: Probe;

package/dist/apg/grid-selection.bridge.mjs

@@ -1,6 +1,6 @@
 import { Unsupported } from "../scenario.mjs";
 import { isSelectionValue, normalizeGridConfig } from "./grid.bridge.mjs";
-//#region src/apg/grid-selection.bridge.ts
+// src/apg/grid-selection.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -156,5 +156,4 @@ const gridSelectionProbe = {
 	}).flat(),
 	events: ["onValueChange"]
 };
-//#endregion
 export { gridSelectionBridge, gridSelectionConfig, gridSelectionProbe, gridSelectionSteps };

package/dist/apg/grid-sort.bridge.d.mts

@@ -1,6 +1,5 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
 import { GridConfig } from "./grid.bridge.mjs";
-//#region src/apg/grid-sort.bridge.d.ts
 /**
  * `grid-sort.qnt`: the header row of a sortable data grid. Mounts `createGrid`
  * with `sortEnabled: true`; reads `aria-sort` and the header roving tabindex.
@@ -8,5 +7,4 @@ import { GridConfig } from "./grid.bridge.mjs";
 export declare const gridSortConfig: (config: ScenarioConfig) => GridConfig;
 export declare const gridSortBridge: SpecBridge;
 export declare const gridSortSteps: ReadonlyArray<ActionStep>;
-export declare const gridSortProbe: Probe;
-//#endregion
+export declare const gridSortProbe: Probe;

package/dist/apg/grid-sort.bridge.mjs

@@ -1,6 +1,6 @@
 import { Unsupported } from "../scenario.mjs";
 import { isSortValue, normalizeGridConfig } from "./grid.bridge.mjs";
-//#region src/apg/grid-sort.bridge.ts
+// src/apg/grid-sort.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -134,5 +134,4 @@ const gridSortProbe = {
 	}).flat(),
 	events: ["onValueChange"]
 };
-//#endregion
 export { gridSortBridge, gridSortConfig, gridSortProbe, gridSortSteps };

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

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/grid.bridge.d.ts
 /** The spec's fixed grid size (`specs/apg/grid.qnt`). */
 export declare const GRID_ROWS = 4;
 export declare const GRID_COLS = 3;
@@ -50,5 +49,4 @@ export declare const gridConfig: (config: ScenarioConfig) => GridConfig;
 export declare const gridBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const gridSteps: ReadonlyArray<ActionStep>;
-export declare const gridProbe: Probe;
-//#endregion
+export declare const gridProbe: Probe;

package/dist/apg/grid.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/grid.bridge.ts
+// src/apg/grid.bridge.ts
 const specEvent = (tag, params = {}) => ({
 	_tag: tag,
 	...params
@@ -437,5 +437,4 @@ const gridProbe = {
 	],
 	events: []
 };
-//#endregion
 export { GRID_COLS, GRID_ROWS, gridBridge, gridConfig, gridProbe, gridSteps, isSelectionValue, isSortValue, normalizeGridConfig };

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

@@ -1,5 +1,4 @@
 import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
-//#region src/apg/link.bridge.d.ts
 /**
  * Scenario `config` -> what both targets are mounted with. A config with `href`
  * (or `native: true`) renders a native anchor; `elementType` picks a custom
@@ -20,5 +19,4 @@ export declare const linkConfig: (config: ScenarioConfig) => LinkConfig;
 export declare const linkBridge: SpecBridge;
 /** The user-level steps a differential walk draws from. */
 export declare const linkSteps: ReadonlyArray<ActionStep>;
-export declare const linkProbe: Probe;
-//#endregion
+export declare const linkProbe: Probe;

package/dist/apg/link.bridge.mjs

@@ -1,5 +1,5 @@
 import { Unsupported } from "../scenario.mjs";
-//#region src/apg/link.bridge.ts
+// src/apg/link.bridge.ts
 const specEvent = (tag) => ({ _tag: tag });
 const PART_URLS = /* @__PURE__ */ new Set(["elementType", "render"]);
 const linkConfig = (config) => {
@@ -122,5 +122,4 @@ const linkProbe = {
 	attrs: [["link", "role"], ["link", "tabindex"]],
 	events: []
 };
-//#endregion
 export { linkBridge, linkConfig, linkProbe, linkSteps };

package/dist/apg/listbox-multi.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-multi.bridge.d.ts
 /** Scenario `config` -> mount config; only the multi-select model is modelled. */
 export declare const listboxMultiConfig: (config: ScenarioConfig) => ListboxMountConfig;
 export declare const listboxMultiBridge: SpecBridge;
 /** The user-level steps a differential walk draws from (recommended model). */
 export declare const listboxMultiSteps: ReadonlyArray<ActionStep>;
-export declare const listboxMultiProbe: Probe;
-//#endregion
+export declare const listboxMultiProbe: Probe;

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>;