A separation or detection run is accepted only after checked gates close. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Passing controls and replicates accept the run
Controls 9 and 11 sit inside target 10 plus or minus 1. Replicate half-range 2 is within limit 2.
control pass∧spread pass⇒accept
A failed control blocks the run
Control 8 is distance 2 from target 10, beyond tolerance 1. Replicates pass, but the run is blocked.
2>1⇒block
A failed replicate spread also blocks the run
The control passes, but replicate half-range 4 exceeds limit 2. The accepted flag stays false.