A control pulse is checked against both the target transition and a neighboring transition. 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 pulse must be compared with nearby gaps
The target gap is 3/4 and the neighboring gap is 5/4. A pulse value is useful only after both comparisons are checked.
Δtarget=43,Δneighbor=45
The first row selects the target only
A pulse of 3/4 matches the target and misses the neighbor. The diagram marks the target side as matched, not both sides.
p=43⇒target yes, neighbor no
Three pulse values expose the selectivity boundary
The middle pulse is between the two gaps and triggers neither transition. The last pulse proves that selecting the neighbor is a different physical claim.
p43145targetyesnononeighbornonoyes
Selectivity is a two-gap audit, not a label
The scan keeps the control knob honest: matching one gap is not permission to say every nearby transition was controlled.