Module runs 

2026-09-30: The row table of a batched MTP verify (Mode::VerifyBatch) and the per-run launches a repeat = "per_run" rule selects. A batched verify checks n sequences together, sequence i with k_i rows, seq-major. The GatedDeltaNet layers launch once per run: a maximal group of adjacent sequences with equal k. Model-engine batched_conv_gdn_route forms the runs, and so does RowTable::from_seqs. Each run is contiguous when its sequences’ state slots are consecutive, which the batched kernels need. A table is carried when the verify runs the carried-state GDN kernels (gdn_carry_begin), which it does whenever the WY tables are staged.

Owner: metrale-circuit. Invariants:

• A row table has at least one run; every run has k >= 1 and n >= 1; adjacent runs differ in k (runs are maximal).
• A per-run rule applies to a table only when every run matches one of its selectors; the first matching selector, in file order, gives the run’s launches.

Structs

RowTable

2026-09-30: The runs of a batched verify, in batch order.

RunLaunches

2026-09-30: The launches one run of a per-run group makes.

RunSelect

2026-09-30: One [[rule.run]] selector: the runs it serves and what it launches for one.

VerifyRun

2026-09-30: One run of a batched verify.

Enums

RowTableError

2026-09-30: Why a row table was refused.

Times

2026-09-30: How often a per-run launch (or copy) happens within its run.

Functions

resolve_runs

2026-09-30: Each run of table resolved against selects: the first selector that serves it; None when some run has none.