Prescale readout and the source ledger close the chain. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
A prescale records every third accepted event
There are 12 accepted events and a prescale of 3.
Nrecorded=12/3
Four events are recorded
The exact recorded count is 4.
Nrecorded=4
The reconstruction ledger cites each source
The audit keeps 5 checked source roles: coverage, occupancy, centroid, trigger, and recorded events.