Edition README
Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
README.md
1 # Universal Residual Seeds
2
3 **Deformation forests, transport categories, and conditional system completion**
4 Paper X · Komorebi P.
5
6 | Read | Pages |
7 |---|---:|
8 | [Traditional manuscript](publication/pdfs/Paper_X_Traditional_Final.pdf) | 92 |
9 | [Visual guide](publication/pdfs/Paper_X_Visual_Guide_Final.pdf) | 33 |
10 | [Lean and evidence guide](publication/pdfs/Paper_X_Lean_Guide_Final.pdf) | 37 |
11 | Delivered total | 162 |
12
13 Open [START_HERE.html](START_HERE.html) for the reading index. Keep the three PDFs
14 together for their twenty relative companion links. Thirty atlas pages occur
15 intentionally in both the manuscript and visual guide; the total is not a count
16 of independent additions. The original historical paper has 41 pages separately.
17
18 This distribution freezes accepted release 1.0.0 of October 20, checkpoint
19 P10-REBASE-001. Every selected baseline file retains its exact bytes; original
20 root documentation and manifest are retained in the dated before/ directory.
21
22 ## Exact mathematical boundary
23
24 The amended 20/20 source contract is conditional. The terminal
25 `PaperX.ConditionalOccupiedSystemCompletion.conditional_occupied_system_completion`
26 has two independent existential outputs: a transported target family and a
27 recovered summand inside a supplied carrier. Identifying those outputs requires
28 another comparison. Actual source members, transport/profile closure, carrier
29 and constituent presentations, and local comparison data remain inputs.
30 The arithmetic separator is literally over `GQ`. Zero multiplicities are allowed;
31 nonzero occupancy requires a separate premise.
32
33 Classical Inputs 3.1 and 4.1 are outside the twenty-row reading concordance.
34 The later stronger 19/20 residual-system attempt remains unpromoted. Universal
35 occupancy, natural finite seed rank, unknown carriers, unrestricted compatible
36 systems and general arithmetic local attachment remain open or outside the
37 accepted contract. Name/type/axiom checking is not machine-certified equivalence
38 with every prose claim. The bounded critical-source review does not claim an
39 all-twenty proof audit.
40
41 ## Accepted production and evidence
42
43 The October 20 closeout records two fresh pinned builds of all 122 selected
44 production/support modules, including a relocated source replay. All 392 generated
45 artifacts match byte for byte and all 122 sources match preserved origins. No
46 inherited project proof objects seeded those builds. External Lean/Mathlib
47 objects were reused; dependencies were not rebuilt cold. The 97-module terminal
48 closure is a subset of the 122.
49
50 The complete owning-module audit records 2,846 constants: 2,127 theorems, 648
51 definitions, 25 constructors, 23 inductives and 23 recursors. It includes 444
52 private names; all 122 owners are nonempty. All 45 explicit name/kind/owner
53 contracts resolve and their complete elaborated types are retained. Transitive
54 axioms are exactly `Classical.choice`, `Quot.sound` and `propext`. Sources and all
55 392 artifacts were pinned before and after the accepted audit. These are
56 accepted compiler/audit records authenticated for this freeze, not new runs.
57
58 The 64 unit methods, 18 compiler fixtures, supplemental private/generated cases,
59 three live target rejections and four portability mutations are separate tooling
60 evidence, not production theorem counts. Earlier 4 GB auditor failures,
61 interrupted/partial records and tooling integration failures remain dated history.
62 The unchanged full 122-owner auditor succeeded serially at a 6 GB cap.
63
64 The selected recovered October 10 source archive has SHA-256
65 `29e504f3508d54e72bd891bdd77c8df8ded52448b9f5aa161c1ebae1716ce58d`.
66 The October 16–17 packages remain unrecovered; their reported 122-module/39-test
67 run is unauthenticated and is not substituted into this lineage.
68
69 ## Written, finite and historical evidence
70
71 All 16 main proof bodies, 20 numbered records and four complete printed production
72 modules (1,117 lines) remain unchanged. The source-integrity inventory covers
73 6,170 inherited evidence files across its four documented directories. Separately,
74 the compact store restores 3,079 unique exact leaf payloads at 13,730 occurrences;
75 it does not reconstruct original compressed nested ZIP streams.
76
77 The accepted current seven-gate science record includes 28 original pytest cases,
78 13 reader-regression methods including 3,123 canonical residue towers, 263 positive
79 visual assertions and 14 rejected false controls. All 179 numerical model fields
80 and the complete stored model JSON agree. Six additional exact suites—precision,
81 summands, families, logarithms, quadratic packets and local quadratic data—have
82 separate domains, bounds, seeds and exclusions. Their counts are not combined
83 into a theorem total. Sixteen figure pairs were regenerated without an independent
84 byte/pixel-equivalence claim. The 255 old source/object pairs are saved-hash checks,
85 separate from the two accepted compiler builds.
86
87 The current scientific manifest pins 6,188 consumed inputs. Older selected-
88 October-10 metadata bindings are historical and do not certify unchanged current
89 root documentation. They remain unchanged with their accepted scope.
90
91 The original 41-page historical PDF, editable source, 23-entry bibliography and
92 14 vector figures were recovered. Current references restore those 23 keys with
93 source-specific identity checks, the Kisin page correction to 511–528, and explicit
94 access limits. This does not authenticate every cited theorem or application.
95
96 ## Verify and reproduce
97
98 Extract this single ZIP, enter its root and run:
99
100 ```sh
101 python3 -B verify_release.py --strict
102 ```
103
104 The unchanged Python standard-library checker verifies exact regular-file
105 membership, safe canonical paths, sizes and SHA-256. Its accepted 21-control
106 receipt pins the exact checker/harness; those controls are not rerun here.
107 The checksum list excludes itself and the root manifest; the manifest additionally
108 authenticates that list. Integrity is not compiler, scientific or proof replay.
109
110 Read [BUILD_AND_VERIFY.md](BUILD_AND_VERIFY.md) and the preserved original README
111 for scoped reproduction commands. Use a separate working copy and external
112 outputs. Tools, TeX/fonts and the pinned 2.9 GB runtime/cache remain external.
113 Lean 4.34.0-rc2 and its executable adapter, Mathlib and nine dependency identities
114 remain precisely pinned in the production records.
115
116 The three current PDFs retain their accepted bytes. The accepted isolated clean
117 rebuild matched page counts, ordered page text, 86.4-dpi rendered pixels and bytes
118 after normalizing only generated trailer IDs. Raw PDF byte identity was false
119 for all three. That PDF rebuild is recorded acceptance evidence; no TeX/PDF build
120 was rerun for this freeze. The 392-artifact production identity is a different,
121 byte-exact comparison and must not be conflated with normalized PDF equality.
122
123 - [Accepted closeout](Paper_X_Release_Closeout_v1.0.0_2026-10-20.txt)
124 - [Production replay](production_replay/README.md)
125 - [Declaration audit](production_audit/README.md)
126 - [Freeze record](FREEZE_RECORD.json) and [progress ledger](PROGRESS_LEDGER.md)
127 - [Dated freeze audits and baseline preservation map](verification/freeze_2026-10-21/)
128
129 ## Open use
130
131 Original software and machine-readable material retain MIT terms; original
132 writing, figures and editable writing sources retain CC BY 4.0. Code listings
133 also permit MIT. Full grants, PDF sidecars and third-party exceptions are retained.
134 See [LICENSE.md](LICENSE.md), [LICENSE_STATUS.json](LICENSE_STATUS.json) and
135 [LICENSES/](LICENSES/), including Apache 2.0 support terms and authenticated font
136 notice supplements. No PDF or font bytes were changed.
137
138 Frozen 21 October 2026, America/Chicago; checks retain actual UTC timestamps.
139 No new Lean, declaration-auditor, finite/scientific suite, controls, generator,
140 TeX/PDF build, external theorem audit or whole-paper proof audit is claimed.
141 Next sequential distribution freeze: Paper XI.