Edition README
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
README.md
1 # Tame and Wild Packet Geometry for Local Langlands
2
3 **Paper XI · Komorebi P. · Operation Komorebi**
4
5 Accepted publication and verification release **1.1.0, 18 October 2026**.
6 Distribution frozen **21 October 2026**, America/Chicago.
7
8 | Read | Pages |
9 |---|---:|
10 | [Main monograph](publication/pdfs/Paper_XI_Traditional_v1.1.0.pdf) | 111 |
11 | [Core visual guide](publication/pdfs/Paper_XI_Visual_Guide_v1.1.0.pdf) | 53 |
12 | [Lean and evidence guide](publication/pdfs/Paper_XI_Lean_Guide_v1.1.0.pdf) | 239 |
13 | [Conjecture 66 progress paper](publication/pdfs/Paper_XI_Conjecture66_Progress_v0.4.0.pdf) | 77 |
14 | [Conjecture atlas](publication/pdfs/Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf) | 36 |
15 | Total | 516 |
16
17 Open [START_HERE.html](START_HERE.html). Keep all five PDFs together with these
18 filenames for relative companion links. The research companion version labels
19 remain their mathematical versions, not a claim of a new unified source rebuild.
20
21 ## Proved paper and open program
22
23 The accepted publication contains finite packet theory, restricted arithmetic
24 constructions, fifteen construction appendices and conditional interfaces.
25 Conjecture 66 remains open. Four distinct obligations remain:
26
27 1. Actual general arithmetic realization for every admitted H1–H4 datum, with
28 the required common host, actions, supplied character values and transports.
29 2. Full characterizing H5 local-factor identities for that same realized candidate.
30 3. Corrected full-character occurrence in the fixed characteristic-zero rank-three
31 Continuation113 candidate, including its required noncompact extension.
32 4. Actual native lift-square bits, section products and honest phases where the
33 stronger prescribed native contract is required.
34
35 Dimensions, conductors, a scalar/self-twist test or one factor comparison do not
36 supply full H5 or corrected-character occurrence. The three fixed-center
37 noncompact extensions must be distinguished. The characteristic-p rank-nine
38 branch with two cubic stages remains separate. The stronger fixed-native task
39 does not erase the positive transported scalar-pushout marking construction.
40 No mathematical completion percentage replaces these task-level statuses.
41
42 ## Accepted formal evidence
43
44 | Population | Modules | Catalogue names | Audited owned logical declarations |
45 |---|---:|---:|---:|
46 | Selected publication source | 423 | 4,342 | 7,672 |
47 | Separately repaired terminal | 1 | 0 | 51 |
48 | Supplied-candidate comparison | 1 | 1 | 1 |
49
50 The accepted October 18 session compiled the selected sources and two separate
51 targets under Lean 4.34.0-rc2 and pinned Mathlib/dependency revisions. Authenticated
52 continuations reused successful objects from that same session, with no
53 historical Paper XI objects seeded. This was not a cold external-dependency
54 build. All three aggregate imports passed. Only `Classical.choice`, `Quot.sound`
55 and `propext` were allowed transitive axioms; the complete owning-module audit
56 includes private/generated logical declarations. Counts are different units,
57 not theorem-discovery totals or blanket prose-to-Lean equivalence.
58
59 The 7,672 selected logical declarations include 6,159 theorems, 1,447 definitions
60 and 22 each constructors, inductives and recursors. The terminal's 51 and the
61 comparison lemma's one declaration remain separate. The terminal is a restricted
62 tame Weil-side attachment. The comparison lemma assumes an admissible supplied
63 candidate/reference and equal profiles in a separating factor system; it does
64 not construct arithmetic existence or H5.
65
66 This compact release retains exact source, log, census, axiom and object-hash
67 records. It omits compiled .olean/.ilean objects, runtime binaries and dependency
68 caches. This freeze authenticates the recorded bindings and preserves their
69 bytes; it does not freshly compare unavailable object binaries or rerun Lean,
70 the axiom auditor or an independent kernel implementation.
71
72 ## Publication, bounded checks and history
73
74 The accepted revision has 68 main proof environments: 65 bodies unchanged from
75 1.0.0 and three revised. All 423 selected source files and forty inherited
76 teaching excerpts remain exact. Six bounded suites recorded 117 passed methods;
77 the separate historical seven-program arithmetic run is not part of that total.
78 Neither bounded testing nor compiler checking instantiates missing arithmetic data.
79
80 The selected Henniart–Lemaire full-text interface gap was closed in the accepted
81 release. All 29 active bibliography entries have named provenance and explicit
82 field-level access limits. This is not a new audit of every cited theorem or
83 application. Earlier mathematical corrections and execution failures remain in
84 [CHANGES_v1.1.0.md](CHANGES_v1.1.0.md) and
85 [FAILURES_AND_LIMITATIONS.md](FAILURES_AND_LIMITATIONS.md).
86
87 The three active readers were rebuilt from fingerprinted source in the accepted
88 release. Its 403 raw-versus-companion-assembled pages match pixels at 96 dpi;
89 that is assembly consistency, not a new isolated rebuild or a raw-byte equality
90 claim. Historical v1.0.0 exact-rebuild statements remain separately dated.
91 The two current research companions received only the documented cover paint
92 cleanup, retaining mathematical text, page/link structure and unrelated drawings.
93 Earlier no-fresh-Lean and inaccessible-HL11 statements in retained research
94 companions keep their historical meanings; the accepted October 18 evidence
95 supersedes them for current status. No PDF, TeX source, figure asset or scientific
96 file changed in this freeze.
97
98 The full recovered v1.0.0 source-and-evidence ZIP remains byte-exact, with its
99 3,966-entry manifest and searchable path index. The complete Block 02 editable
100 archive remains unrecovered. Its original 33-page reader component survives in
101 the cumulative research PDF; this is not a recovered unified source rebuild.
102 The original successful v0.45 terminal receipt remains absent. The accepted
103 repaired-terminal replay is separate evidence, not a recovered historical run.
104
105 ## Verify, preserve and continue
106
107 Extract this single ZIP and run the unchanged Paper XI verifier with an external
108 report path:
109
110 ```sh
111 python3 -B tools/verify_release.py --root . --output /absolute/new/report.json
112 ```
113
114 It checks complete `MANIFEST.json` membership, sizes/hashes, source/excerpt
115 bindings, source-build fingerprints, reader navigation and recorded review.
116 Its own accepted 23-outcome control receipt and original harness are preserved;
117 those controls are not rerun. The checksum list excludes itself and the root
118 manifest; the manifest additionally covers the list. These integrity and saved
119 record checks do not execute compiler, science suites or PDF builders.
120
121 Read [BUILD.md](BUILD.md) for scoped reproduction commands. Use a separate working
122 copy, external output paths and the declared pinned tools/dependencies. Root
123 README and manifest originals are retained under the dated before/ directory;
124 every other original file remains byte-identical at its original path.
125
126 - [Freeze record](FREEZE_RECORD.json)
127 - [Versioned freeze ledger](FREEZE_PROGRESS_LEDGER_v1.0.0.md)
128 - [Unchanged research ledger](PROGRESS_LEDGER.md) and [machine ledger](PROGRESS_LEDGER.json)
129 - [Exact continuation contracts](CONTINUE_HERE.md)
130 - [Accepted scope](RELEASE_SCOPE.md) and [reading concordance](READING_CONCORDANCE.md)
131
132 ## Open use
133
134 The author's open-license authorization is expressed with the series split:
135 original software, machine-readable data/evidence and code listings use MIT;
136 original writing, figures and editable writing sources use CC BY 4.0. Complete
137 terms, PDF sidecars and third-party/font notices accompany this frozen wrapper.
138 These original-project grants exclude third-party material and fonts, which
139 retain their own terms. Earlier unassigned-license status, where present in
140 retained historical files, is superseded for original project material.
141 See [LICENSE.md](LICENSE.md), [LICENSE_STATUS.json](LICENSE_STATUS.json) and
142 [LICENSES/](LICENSES/). Scientific sources and reader bytes are unchanged.
143
144 No new compiler, axiom-auditor, bounded scientific suite, control-suite, figure
145 regeneration, TeX/PDF build, external-source audit or whole-paper proof audit
146 occurred for this freeze. No public repository or website was published.
147 Next sequential distribution freeze: Paper XII.