Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets

Download original file

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

Read the typeset paper

1 {
2   "series": "Komorebi Papers I\u2013XII",
3   "edition_date": "2026-10-19",
4   "paper_count": 12,
5   "companions_per_paper": 3,
6   "planned_companion_documents": null,
7   "page_limit": null,
8   "papers": [
9     {
10       "paper": "I",
11       "title": "Typed Seeds, Operator Grammars, and Exact Reconstruction",
12       "traditional": "finalized",
13       "lean_guide": "finalized",
14       "machine_native": "finalized",
15       "source_branches": "Expanded canonical machine v1.0.1; corrected human v1.3.1; formal component v1.0.2",
16       "source_scope": "108 expanded stable records and 69 preserved written proof bodies. Separate 35-row scoped formal contract with 84 mapped targets; eight historical stable-ID mappings in the attached machine tranche. No fresh Lean compilation.",
17       "source_refresh_before_editing": false,
18       "notes": "First finalized three-companion set. Includes 10 figures and 22 integrated visual plates, two explicit hypothesis corrections and an ambient empty-case convention.",
19       "documents": [
20         {
21           "role": "traditional",
22           "title": "Traditional paper",
23           "path": "papers/Paper_I_Traditional_Final.pdf",
24           "pages": 93,
25           "sha256": "a5924862fa1a395f85cd2c1b716061458da3b60d1a11f076640eaf1dbe6c72b8",
26           "bytes": 1092426
27         },
28         {
29           "role": "lean_guide",
30           "title": "Lean guide",
31           "path": "papers/Paper_I_Lean_Guide_Final.pdf",
32           "pages": 37,
33           "sha256": "6eed1b5f7476e6888cfcacecfe7bb8df794c3b577629c57a56d6c1894236fc7e",
34           "bytes": 193163
35         },
36         {
37           "role": "machine_native",
38           "title": "Machine-native paper",
39           "path": "papers/Paper_I_Machine_Native_Final.pdf",
40           "pages": 94,
41           "sha256": "84545b429cb3056a2f729ed333486c95bbcea885e75a0a848ad9bb7258e0a011",
42           "bytes": 682082
43         }
44       ],
45       "total_pages": 224
46     },
47     {
48       "paper": "II",
49       "title": "Projector Resolved Seed Calculus II",
50       "traditional": "publication_ready",
51       "lean_guide": "publication_ready",
52       "machine_native": "not_requested",
53       "source_branches": "Complete canonical v1.2.1 (formal component v1.1.1), expanded manuscript, and exact visual models",
54       "source_scope": "53 of 53 proof-level source records have kernel checked, semantically accepted scope. No partial or pending proof records are listed in this correspondence. These are source-record counts under their stated hypotheses, not counts of independent discoveries. Historical 25-row and 160-target contracts remain separate.",
55       "source_refresh_before_editing": false,
56       "notes": "Current readers and source-bound navigation. Mathematical acceptance and final publication QA are distinct records.",
57       "visual_guide": "publication_ready",
58       "documents": [
59         {
60           "role": "traditional",
61           "title": "Projector Resolved Seed Calculus II",
62           "path": "papers/Paper_II_Traditional_Final.pdf",
63           "pages": 80,
64           "bytes": 616352,
65           "sha256": "460efdb92bbd39bb304fbd535ecbfe814d89f704de3dd4563e1e40af1abd6eee"
66         },
67         {
68           "role": "visual",
69           "title": "Projector Resolved Seed Calculus II",
70           "path": "papers/Paper_II_Visual_Guide_Final.pdf",
71           "pages": 26,
72           "bytes": 186727,
73           "sha256": "9ed63381f0c0a0c4c6f463064db128b28ad324f4942dd5a05829afdc6a2c4f90"
74         },
75         {
76           "role": "lean",
77           "title": "Projector Resolved Seed Calculus II",
78           "path": "papers/Paper_II_Lean_Guide_Final.pdf",
79           "pages": 51,
80           "bytes": 245396,
81           "sha256": "e3776d3648eacb5ce887d7a46ca0cf107f651a9ed154c1b54d64c19f06f8552e"
82         }
83       ],
84       "total_pages": 157,
85       "edition_kind": "Modern Monograph",
86       "edition_date": "2026-10-19",
87       "current_formal_evidence": {
88         "path": "formal/coverage/Paper_II_Current_Correspondence_2026-10-19.json",
89         "sha256": "c37ac1a5a4b95f5e9c9f89a43dc371b9bd1d2febb778b4e465b624cfdafa680f",
90         "status": "FINAL_SOURCE_BOUND_CORRESPONDENCE_53_OF_53",
91         "proof_counts": {
92           "kernel_checked_semantically_accepted_scope": 53
93         },
94         "release_gates": {
95           "exact_source_aggregate_compile": "PASS",
96           "owned_kernel_type_body_replay": "PASS",
97           "standard_axiom_and_runtime_helper_closure": "PASS",
98           "current_manuscript_semantic_acceptance": "53_COMPLETE_SCOPES_ACCEPTED"
99         }
100       },
101       "publication_state": "PUBLICATION_READY_FOR_RECORDED_SCOPE",
102       "page_qa": {
103         "path": "verification/publication_2026-10-19/page_qa/page_qa.json",
104         "sha256": "cef02997e53f2cc4ae37d788e7888de22b245abed8b79b02750aa74cc2ac65dd",
105         "total_pages": 157,
106         "visual_review": "PASS"
107       }
108     },
109     {
110       "paper": "III",
111       "title": "Typed Edge Operators, Connection Defects, and Obstruction Packets",
112       "traditional": "frozen_source_collected",
113       "lean_guide": "frozen_not_finalized",
114       "machine_native": "frozen_not_finalized",
115       "source_branches": "Finite edition v1.0.1",
116       "source_scope": "41 theorem-map rows in the finite algebraic contract.",
117       "source_refresh_before_editing": true,
118       "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
119     },
120     {
121       "paper": "IV",
122       "title": "Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data",
123       "traditional": "frozen_source_collected",
124       "lean_guide": "frozen_not_finalized",
125       "machine_native": "frozen_not_finalized",
126       "source_branches": "Formal v1.0.0 plus proofread manuscript",
127       "source_scope": "68 scoped manuscript results in the inherited formal record.",
128       "source_refresh_before_editing": true,
129       "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
130     },
131     {
132       "paper": "V",
133       "title": "Polyphase Signal Calculus: Exact Reconstruction, Edge Packets, Wavelets, and Smith Coordinates",
134       "traditional": "frozen_source_collected",
135       "lean_guide": "frozen_not_finalized",
136       "machine_native": "frozen_not_finalized",
137       "source_branches": "Formal v1.1.0 plus expanded manuscript",
138       "source_scope": "20 scoped formal results.",
139       "source_refresh_before_editing": true,
140       "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
141     },
142     {
143       "paper": "VI",
144       "title": "Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations",
145       "traditional": "frozen_source_collected",
146       "lean_guide": "frozen_not_finalized",
147       "machine_native": "frozen_not_finalized",
148       "source_branches": "Formal v0.5.0 plus expanded manuscripts",
149       "source_scope": "33 scoped formal results.",
150       "source_refresh_before_editing": true,
151       "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
152     },
153     {
154       "paper": "VII",
155       "title": "Quantum Seed Calculus: Symmetry Packets, Circuits, Effective Dynamics, and Quantum Spacetime",
156       "traditional": "frozen_source_collected",
157       "lean_guide": "frozen_not_finalized",
158       "machine_native": "frozen_not_finalized",
159       "source_branches": "Finite formal v0.6.0 plus expanded manuscript",
160       "source_scope": "19 finite-sector formal items.",
161       "source_refresh_before_editing": true,
162       "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
163     },
164     {
165       "paper": "VIII",
166       "title": "Packet Operator Algorithms, Exact Compilation, and GPU Realization",
167       "traditional": "frozen_source_collected",
168       "lean_guide": "frozen_not_finalized",
169       "machine_native": "frozen_not_finalized",
170       "source_branches": "Formal v0.6.0 plus scheduling branch",
171       "source_scope": "56 registered finite formal items.",
172       "source_refresh_before_editing": true,
173       "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
174     },
175     {
176       "paper": "IX",
177       "title": "Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation",
178       "traditional": "frozen_source_collected",
179       "lean_guide": "frozen_not_finalized",
180       "machine_native": "frozen_not_finalized",
181       "source_branches": "September consolidated edition; recovered July source",
182       "source_scope": "Consolidated manuscript, source declarations, arithmetic computations and inherited evidence collected.",
183       "source_refresh_before_editing": true,
184       "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
185     },
186     {
187       "paper": "X",
188       "title": "Universal Residual Seeds: Deformation Forests, Transport Categories, and System Completion",
189       "traditional": "frozen_source_collected",
190       "lean_guide": "frozen_not_finalized",
191       "machine_native": "frozen_not_finalized",
192       "source_branches": "September 25 conditional completion plus later attempt",
193       "source_scope": "20/20 at the amended conditional scope has saved checked source/build evidence.",
194       "source_refresh_before_editing": true,
195       "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
196     },
197     {
198       "paper": "XI",
199       "title": "Tame and Wild Packet Geometry for Local Langlands",
200       "traditional": "frozen_source_collected",
201       "lean_guide": "frozen_not_finalized",
202       "machine_native": "frozen_not_finalized",
203       "source_branches": "Full formal lineages plus continuations through Diagnosis163",
204       "source_scope": "Historical 65/66 retained. General separate-break arithmetic realization remains open.",
205       "source_refresh_before_editing": true,
206       "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
207     },
208     {
209       "paper": "XII",
210       "title": "Patching Support, Hecke Packets, and Conditional Automorphic Completion",
211       "traditional": "frozen_source_collected",
212       "lean_guide": "frozen_not_finalized",
213       "machine_native": "frozen_not_finalized",
214       "source_branches": "Manuscript v0.17.0; formal/replay v0.17.1",
215       "source_scope": "49/49 revised internal claims. Original wording: 41 complete, 7 partial, 1 unchecked.",
216       "source_refresh_before_editing": true,
217       "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
218     }
219   ],
220   "run_state": "Paper_II_publication_ready_for_recorded_scope",
221   "active_authoring_papers": [],
222   "freeze_instruction": "Current work is limited to Paper II. Other rows retain their historical series scope.",
223   "future_finalization_uncommitted": true,
224   "notice": "Only the Paper II row is current to 19 October 2026. Consult each other paper current release for its status."
225 }

Back to source controls

Back to Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets