Module table_input 

2026-10-04: Reads a spec-cost run’s record back into per-width step costs, the input of met benchmark spec-cost-table. The writer is cell::record; the key names are shared with it. Pure: no I/O.

The cost a table carries is the WALL time of a step (wall_ms, the window over the step count), split into its draft share (draft_ms, the timed propose phase) and the rest (verify_ms = wall_ms − draft_ms, which includes the scheduler loop between steps). That makes the step time agree with the energy, which is the whole window’s joules over the step count, and with k = 0, whose step time is wall time by construction.

Owner: bench, spec-cost. Invariants: a record is read only when every width it lists was measured with the rail sampled; a vacuous width, or one without joules, refuses the whole record.

Structs

MeasuredCell

2026-10-04: One width’s step cost at the record’s draft depth.

Functions

read

2026-10-04: The cells of one spec-cost record (frame.metrics of a run), ascending in width. Refused: no k, no width, a vacuous width, a width without joules (the rail was not sampled), or a draft share larger than the step.