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

Download original file

This is the original source text. Reading it does not run or verify the program.

Read the typeset paper

1 Paper IX publication entry points, 10 October 2026
2 
3 The three final PDFs are in publication/pdfs. Identical copies are in output/pdf.
4 RELEASE.json is the current document/page/hash register. Previous metadata is
5 retained in verification/2026-10-10/predecessor_files.
6 
7 Use python rebuild_pdfs.py from the root for an isolated copied-source rebuild.
8 It requires installed TeX and fonts, downloads nothing, and does not run Lean.
9 The low-level build_publication.py starts each selected generated-output directory
10 from scratch, reports build failures through its exit status, and must not be
11 confused with a theorem compiler.
12 
13 For deliberate manuscript edits, build main and visual, run
14 python tools/refresh_navigation.py, then build the Lean guide. This changes the
15 reading edition and invalidates its old manifest; it is not an automatic renewal
16 of the mathematical or formal audits. See the root README and final review.

Back to source controls

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