λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a

Verification disclosure

Proof and verification audit › Verification disclosure · lines 2037–2054

Back to manuscript

The new proof calculations are the compact spatial-diagonal test for restricted sharp separation, degree-four slot isolation, the explicit advanced-trace witness, the microcausal zero-charge argument, and simultaneous algebraic gluing.

Graph construction, graph admission, the degree-two presentation theorem, and the analytical triangle calibration are inherited as explicitly stated. The complete companion manuscripts are not independently reverified here.

This source is intended for two-pass pdfLaTeX compilation. No successful compilation, page count, proof-assistant verification, or independent review is claimed.