visual_README.md
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
visual_README.md
1 # Final Euler visual companion
2
3 The guide is an article-format companion to the main paper and Lean guide. Its
4 17 pages consist of the title page, contents, and 15 focused mathematical
5 pages. The 12 figures are vector PDFs. PNG versions are supplied for layout QA.
6
7 From the release root, regenerate the exact illustration data and figures:
8
9 ```bash
10 python3 sources/generate_figures.py
11 ```
12
13 This executes 5,490 bounded exact assertions. Coefficients are formed by
14 factorial-series reciprocal convolution modulo `2^256` through row 255, with
15 independent rational ordinary-series inversion through row 12. Every plotted
16 residue is exact. The universal exponent curves and scale arrays come from the
17 separately proved theorems; their coordinates are theorem-derived integer
18 data, not a numerical proof.
19
20 The tested domains and all figure/data hashes appear in
21 `figures/figure_manifest.json`. Its schema-version-1 provenance limits are
22 explicit: it records the script hash but does not impose machine-readable
23 resource caps. No randomness is used. Matplotlib and NumPy are used only for
24 rendering, matrix storage, and page coordinates; the arithmetic assertions use
25 Python integers and `fractions.Fraction`.
26
27 Compile from the `sources` directory, repeating the second command until the
28 references and contents are stable:
29
30 ```bash
31 pdflatex -interaction=nonstopmode -halt-on-error \
32 -jobname=Paper_IX_Euler_Visual_Guide_Final visual.tex
33 pdflatex -interaction=nonstopmode -halt-on-error \
34 -jobname=Paper_IX_Euler_Visual_Guide_Final visual.tex
35 ```
36
37 The wrapper uses standard TeX Live packages and Latin Modern fonts. Figure
38 paths in the wrapper body are relative to the `sources` working directory.
39 The final PDF is delivered at
40 `output/pdf/Paper_IX_Euler_Visual_Guide_Final.pdf`.
41
42 The final layout review is recorded in `audits/VISUAL_GUIDE_QA.json`, with
43 rendered pages in `audits/visual_pages/` and the contact sheet in
44 `audits/visual_contact_sheet.png`. The clean final compilation has no
45 overfull/underfull boxes, duplicate anchors, or undefined references.
46
47 The guide explicitly separates inherited Lean coverage of the original
48 completion and rank-four ordinary-step/metric results from the new generic
49 prime-power transfer, mixed-step, factorial, and analytic extension. It does
50 not describe the latter as newly formalized in Lean.