Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
A specified flat realization and the solid-ball correction
A specified flat realization and the solid-ball correction · lines 2077–2083
The gap does not produce a two-way obstruction witness. The sphere–ball intersection in Theorem thm:bridge still excludes every observation pair in the commutator slab.
Nearby in this section
- section: A specified flat realization and the solid-ball correction
- proposition: Proposition: (TC) for the specified realization
- section: A specified flat realization and the solid-ball correction
- theorem: Theorem: Exact initial-surface support in the flat realization
- proposition: Proposition: Solid-ball lower support is false
- proposition: Proposition: Observation support is visible in the flat model
- corollary: Corollary: Full geometric exclusion in the flat model