Read the final detector response as a source-chain audit, not a new formula.
The toy audit cites 9 upstream fields from dead time, live fraction, coincidence
timing, accidentals, purity, and the verdict, and the accepted bit is 1 only
because those checks agree; real audits still carry calibration, timing,
background, efficiency, and uncertainty limits.
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.