The geometric bridge and the missed-ball branch

The missed region (eq:explicit-gap) therefore cannot carry a certified two-way counterexample in the open commutator slab. For any observation pair in that slab, a retained null-sphere point, possibly outside the missed solid-ball interior, lies in the causal past of $y$. This is the required ordering certificate against the proposed control. The control is nonzero, but at least one ordering fails.