Edition README
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
README.md
1 # Euler Congruences
2
3 **Completion, factorial strengthening, and sharp dyadic geometry**
4 Paper IX · Komorebi P.
5
6 | Read | Pages |
7 |---|---:|
8 | [Traditional manuscript](publication/pdfs/Paper_IX_Euler_Main_Final.pdf) | 232 |
9 | [Visual guide](publication/pdfs/Paper_IX_Euler_Visual_Guide_Final.pdf) | 25 |
10 | [Lean and evidence guide](publication/pdfs/Paper_IX_Euler_Lean_Guide_Final.pdf) | 139 |
11 | Total | 396 |
12
13 Open [START_HERE.html](START_HERE.html) for the reading index. This is one
14 complete frozen distribution of the accepted October 20 release 1.0.0. The
15 mathematical body remains the selected October 10 edition. All original sources,
16 readers, recovery material, evidence and licenses retain their accepted bytes.
17
18 ## Accepted scope and recovered history
19
20 The accepted closeout recovered all 22 historical bibliography identities, the
21 original historical source archive and TeX, the 52-page historical PDF and all 14
22 original vector figures. Bibliography identities were authenticated from their
23 recorded primary metadata with explicit access limits. That work does not
24 newly verify every cited theorem, application or historical mathematical claim.
25 Current corrected reconstructed figures remain explicitly distinct from the
26 recovered original artwork.
27
28 All 201 statement/environment bodies and 153 proof bodies across 108 current TeX
29 sources remain unchanged. The 2,405 source-preservation pins retain exact bytes: 2,334 files under
30 preserved/ and 71 under figures/. The latter include image and metadata files,
31 not 71 distinct drawings. One additional retained transfer fragment is an exact
32 34,340,864-byte prefix of the complete 89,660,710-byte historical archive. It is
33 preserved as packaging history, separate from scientific-source pins. These overlapping inventories do not measure independent
34 discoveries or enlarged formal coverage.
35
36 Inherited compiler evidence covers the external Nishibuchi capstone and the
37 individually identified arithmetic, dyadic and lifting results. The accepted
38 static reconciliation records 15 frontiers, 644 source hashes, 713 log hashes,
39 202 source links and 515 strictly parsed axiom records. These units are distinct.
40 The expanded factorial, mixed-step, all-rank and radius developments retain
41 their written proofs, internal audits and bounded examples. They are not newly
42 compiled Lean endpoints. No fresh Lean/Lake run occurs in this freeze.
43
44 The historical chapter retains the stated qualifications on Amice analytic
45 pullback/depleted branches, finite-field modal minimality and unrestricted
46 infinite polyphase interfaces. General ordinary Euler-tail simplicity, remaining
47 exact higher-difference classifications and broad Native13.2/13.3 programs remain
48 open. Existing hypotheses, quantifiers and scope restrictions are preserved.
49
50 - [Editable current reader sources](sources/)
51 - [Recovered original history and bibliography witnesses](recovered_history/)
52 - [Accepted closeout record](RELEASE_CLOSEOUT_v1.0.0.txt)
53 - [Failures and limitations](FAILURES_AND_LIMITATIONS.txt)
54 - [Freeze record](FREEZE_RECORD.json) and [progress ledger](PROGRESS_LEDGER.md)
55
56 ## Verify and reproduce
57
58 Extract this single ZIP, enter its root directory and run:
59
60 ```sh
61 python3 -B scripts/verify_integrity.py --strict
62 python3 -B verify_release.py --report /absolute/path/outside/release.json
63 ```
64
65 The unchanged portable standard-library strict checker verifies exact regular-
66 file membership, canonical safe paths, sizes and SHA-256. Its own accepted 21-
67 control receipt binds the exact current checker and harness. Those controls
68 are authenticated inherited tooling evidence and are not rerun by this freeze.
69 The strict manifest retains its existing schema. The additional checksum list
70 excludes itself and the root manifest, which additionally authenticates it.
71
72 The release checker also needs PyMuPDF. It authenticates current readers and
73 navigation, source identities, bibliography records, recorded finite manifests,
74 review/rebuild receipts and license hashes. It does not execute Lean, scientific
75 suites or PDF builders. Use a separate writable working copy and external
76 output paths for the other reproduction commands in the preserved original
77 README under verification/freeze_2026-10-21/before/. Some generators write in place.
78 Compiler/dependency caches, Python/TeX tools and declared fonts remain external.
79
80 The accepted October 20 closeout ran nine bounded gates under their individual
81 input/precision restrictions. Its dyadic 512 record uses 4096-bit modular precision
82 and difference order through 128, with separate exact rational checks. Those
83 overlapping gates are not rerun here and their totals are not theorem counts.
84 Failed stronger equality candidates remain failed recorded candidates.
85
86 ## Replay scope and dated documents
87
88 The six selected reading copies match exactly. Three same-basename PDFs under
89 publication/build/ are retained build artifacts with different bytes and are
90 not promoted to current readers or equated with the accepted replay outputs.
91
92 The accepted current PDF replay matches exact per-page extracted text and page
93 counts, and bytes after normalizing only generated trailer IDs. Raw byte
94 identity is false. Older frozen-reader reproduction mismatches and the corrected
95 bibliography-formatter failure remain dated separate events. This freeze
96 preserves the accepted PDF bytes and performs no PDF rebuild.
97
98 The current publication index refreshes only its README entry for this wrapper;
99 its 545 other member identities and all reader documents retain their accepted scope. The
100 original index is preserved under the dated before/publication/ path.
101
102 The October 20 FINAL_DOCUMENTATION_PINS.json authenticates the original README,
103 now retained under verification/freeze_2026-10-21/before/. The new baseline map
104 resolves that historical identity. The current root manifest authenticates
105 this README and every freeze addition. The old ledger and closeout's Paper X
106 technical-hold pointer is historical: X subsequently closed within its selected
107 production/publication scope. The current distribution freeze continues with X.
108
109 ## Open use
110
111 The original MIT grant for software/machine-readable material and CC BY 4.0 grant
112 for writing, figures and editable writing sources remain unchanged, with their
113 full terms, PDF sidecars and third-party exceptions. See [LICENSE.md](LICENSE.md),
114 [LICENSE_STATUS.json](LICENSE_STATUS.json) and [LICENSES/](LICENSES/). The freeze
115 adds authenticated font-notice supplements without changing fonts, PDF bytes or
116 existing grant files. Historical font-origin certification remains separately
117 bounded by the supplied audit. Five Type3 records retain name-only origin
118 evidence and are not promoted to exact font-program provenance matches.
119
120 Frozen 21 October 2026, America/Chicago. Actual checks retain UTC timestamps.
121 No new Lean compilation, finite/scientific experiment, control suite, TeX/PDF
122 build, external source-theorem audit or whole-paper proof audit is claimed.
123 No public website or repository was published by this task.