Corollary: Full geometric exclusion in the flat model

For the specified realization, both actual orderings imply

In particular (SB) holds there unconditionally.

Proof. If $R<t-s$, then $y\in J^{-}(x)$, and Proposition prop:flatF makes $W_g\gtrsim B_f$ fail. If $t-s\le R\le t+s$, a lower-support initial sphere point lies in $J^{-}(y)$, making $B_f\gtrsim W_g$ fail. These exhaust $R\le t+s$.