The strict stability gate is visible at zero, one, and two correction. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Zero correction fails the strict lower gate
The strict gate is 0 less than c less than 2. Correction 0 fails because it does not move.
0<c<2,c=0⇒fail
One correction passes inside the gate
Correction 1 is inside the gate, so the model label is pass.
0<1<2⇒pass
Two correction fails the strict upper gate
Correction 2 reaches the upper boundary, so the strict gate fails.