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=0fail0<c<2,\quad c=0\Rightarrow \text{fail}
Margin gate scan rowThe fail label and no-move sequence are both checked.s0s1s2e0e1e2fail

One correction passes inside the gate

Correction 1 is inside the gate, so the model label is pass.

0<1<2pass0<1<2\Rightarrow \text{pass}
Margin gate scan rowThe pass label is tied to a one-step hit sequence.s0e1e2e0s1s2pass

Two correction fails the strict upper gate

Correction 2 reaches the upper boundary, so the strict gate fails.

0<c<2,c=2fail0<c<2,\quad c=2\Rightarrow \text{fail}
Margin gate scan rowThe fail label is tied to a bounce sequence.s0s2e0s1e1e2fail