λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript IX-D@3 · IX-D-v3.tex · section · 3ad4586e

Verification disclosure

Revision, domain, and verification audit › Verification disclosure · lines 1960–1976

Back to manuscript

The mathematical additions in this revision are the completed support table, the existing-word formulation of the scalar non-lift, the explicit free-coherence separation witness, the domain restriction for both free orderings, and the formal normalization audit.

The two-edge constructions, degree-four descent, charge separation, and free overlap gluing are inherited, not reconstructed.

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