A sample claim should state which physical ledgers closed. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
The capstone names each physical ledger
The source checks provide spacing 4 m, 4 phase rows, 12 captures, and 72 well-cycles.
d=4m,Nrows=4,Ncaptures=12
The genome-scale entries also close
The throughput ledger adds 12000 bases per day and 2 exact days to target.
Bday=12000,D=2
Ledger closure is necessary, not sufficient
The sample record closes six physical values: spacing, rows, captures, well-cycles, bases per day, and days. That is instrument honesty, not biological interpretation.