Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

Read this chapter with formatted equations

1 A clean cumulative run compiled all \textbf{79 modules}, matched all \textbf{1,000 axiom reports}, verified all \textbf{nine dependency revisions}, and correctly rejected all \textbf{37 invalid-proof controls}. The statement-contract file separately checked the external parameter disjunction, integrality, positive threshold, and exact degree displacement. Warnings were treated as errors.
2 
3 The capstone depends only on \code{propext}, \code{Classical.choice}, and \code{Quot.sound}. The 25 extension-infrastructure tests passed. Exact-rational checks passed 6,500 higher-difference cases in each dyadic normalization, 588 dyadic periods and 1,690 divisor-branch periods. These finite checks are not the universal proof. A fresh-extraction replay, when recorded in the separate release audit, is additional evidence beyond the source build.

Back to source controls

Back to Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation