Gaussian Elimination in Komorebi
Collected source pages · Komorebi P. · Compiled 7 October 2026
This reader collects original PDF pages from four works and two arithmetic notes reflowed from Markdown. It covers block reduction, exact reconstruction, nonlinear elimination, Lean formalization, and exact-arithmetic verification. The original page numbering and source context are retained.
Reading order
The collection's page 2 supplies this map. Collection positions below are PDF pages, not the printed numbers in the source excerpts.
| Collection PDF pages | Source | Original PDF pages / printed pages |
|---|---|---|
| 1–2 | Introduction, source map, and scope | New collection front matter |
| 3–4 | Projector-Resolved Quantum Spacetime | 9–10 / 9–10 |
| 5–32 | From Hidden Packets to Exact Memory | 4–31 / 4–31 |
| 33–36 | Paper VI: Lean Guide, final edition | 25–28 / 24–27 |
| 37–42 | Komorebi Math User Guide: Technical Manual, Block 36 | 731–736 / 661–666 |
| 43–45 | Exact-arithmetic source notes: rational elimination, Bareiss and modular rank checks | Reflowed Markdown |
The technical-manual excerpt identifies version 1.0.0b4. Its historical results and counts describe that source edition.
Readiness and evidence
Reader available, with editable sources still awaiting checks. The selected component contains the PDF. This cleanup checked its identity, 45-page count, extracted text, and rendered front matter (pages 1–2), including the source map. It did not rebuild the collection or review every proof and page.
The component does not provide an editable assembly source or a fresh collection-level build/replay receipt. The opening note explicitly says that source experiments and Lean builds were not rerun for the compilation. The excerpts' verification statements retain their source-specific scope. This assessment does not turn them into current whole-collection Lean evidence. Mathematical confidence remains Unassessed in the collection catalogue.
Eliminating a block requires that block to be invertible. A projected-inverse formula additionally requires the full matrix (or its Schur complement under the stated block hypothesis) to be invertible. Carry those assumptions from the source passages into any reuse.
Finalization gate
Recover the exact editable assembly and matching source editions, reproduce the collected PDF with a source-to-page map, check every rendered page, and reconcile the cited mathematical and formal records. The reader assessment record binds this inspection to the published PDF bytes. The source/rebuild portion of F07 remains open.