A nearby value is not treated as a physical response in this finite model. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Detuning misses the target

A detuned pulse of 5 does not equal the target gap 6.

565\neq6
Target offThe target comparison is false.lowhigh6lowhigh4target offneighbor off

It also misses the neighbor

The same pulse 5 does not equal the neighbor gap 4. No transition is inferred from a nearby value.

545\neq4
Both transitions offThe helper checks both responses as false.lowhigh6lowhigh4target offneighbor off