The final detector claim cites every checked source. 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 detector audit cites every upstream timing claim
The audit cites 9 source fields from dead time, live fraction, coincidence timing, accidental rate, purity, and its verdict.
9typed source fields
The final verdict is checked
The accepted bit is 1 only because all cited checks agree.