Correct support geometry

Thus two-way first-stage pairs can be specified without knowing exact functional supports. What remains unknown is the locked kernel difference on their observation supports.

For the inherited slab witness, the bounds

give $W_g\gtrsim B_f$: no later point can lie in the causal past of an earlier point. They do not alone decide the reverse ordering.