Manuscript IX-Free@1 · IX-Free.tex · section · 33b20e96

Verification disclosure

Sign, order, and verification audit › Verification disclosure · lines 1876–1894

Back to manuscript

The new calculations are the identity , full support, compact primitive reduction, graph-specific leaf checks, quadratic admission decompositions, and the completed-block descent and continuity proofs.

The triangle ultraviolet estimate is an inherited premise. The full companion proofs are not independently certified. The degree-four descent and overlap tests are not claimed as verified.

The source is designed for two-pass pdfLaTeX compilation. No compilation has been executed in this interface. No successful build, page count, proof-assistant check, or independent review is claimed.