Coverage contract

Area	Coverage	Evidence
§1 main statements and endgame interface	DECOMPOSED	Three leaves in the main-theorem chapter state the conjecture, the \(p\)-adic exclusion, and the almost-periodic consequence, with proofs linked to the endgame.
§2 sheaf categories and homotopy invariance	DECOMPOSED	Eight leaves in the sheaf-categories chapter cover the test categories, duality, pushforward, and the cylinder relation through homotopy invariance.
§3 localization and density bounds	DECOMPOSED	Seven leaves in the localization chapter cover cutoff, germs, Witt localization, and the exponent-two dense bounds.
§4 sphere lattice and action interface	DECOMPOSED	Eight leaves in the sphere-lattice chapter cover the point calculation, bounded comparison, the fixed lattice, degree, and contractible localization.
§5 local tests	DECOMPOSED	Eight leaves in the local-tests chapter cover the chart reduction, the averaged test, orbit cohomology, and moving a test into a prescribed region.
§6 character classes and contradiction	DECOMPOSED	Eight leaves in the character-classes chapter cover the character decomposition, class construction, naturality, equal parts, and the chart contradiction.
Appendix duality signs	DECOMPOSED	Two leaves in the sheaf-categories chapter (the sign conventions and the product shift sign) cover the appendix material used by the endpoint calculation.
External background results	DECOMPOSED	Fourteen leaves in the background chapter state every load-bearing external prerequisite, mapped in the background reference map.
Survey and antecedent material	OUT	The introduction's survey of regularity lines, dimension theory, symplectic methods, and antecedent formalisms is context only; no proof depends on it. Listed without articles in the background reference map.