Publication status
Recorded 2026-10-30.
Completion stages, Lean coverage and confidence · Cleanup and finalization queue. Public availability and scientific completion are separate statuses.
The three canonical repositories are public:
| Repository | Role |
|---|---|
| Operation-KOMOREBI | Realization Calculus, Komorebi Space, papers, companion volumes, formal developments, experiments, and additional software. |
| komorebi-math | Python library, beta / work in progress. |
| polyphase-float | C numerical library, beta / work in progress. |
Browsable source files
The current source-import receipts cover 90 primary components, 71 supporting source collections, and 138,326 distinct files. These are ordinary repository files. The component index links their directories and exact receipts. The source coverage crosswalk maps the 74 named inventory entries and records the remaining source-availability limits.
| Primary component category | Available components |
|---|---|
| Experimental laboratories | 5 |
| Monographs and companion volumes | 19 |
| Software packages | 5 |
| Core papers | 12 |
| Research programs | 49 |
Earlier Papers I–IV, the Quadratic-Form Engine / K-COS, Research Preview 1, and AM-SPD source editions remain available. A newer source directory does not rewrite an older edition's evidence.
Release assets
The Realization Calculus publication collection preserves the original frozen distributions and companion assets. The initial publication contained 21 assets. Availability as a release asset and availability as browsable source files are separate records.
The two independent libraries have public beta prereleases. These tagged source snapshots were checked on 28 October 2026. Neither has separate build artifacts attached.
| Library | Tagged release | Release source commit |
|---|---|---|
| Komorebi Math | Beta source snapshot | 5f33ded5a823 |
| Polyphase Float | Beta source snapshot | a7f6e8652b11 |
The newer checked source revisions include subsequent maintenance changes. Komorebi Math's CI repairs are in the newer source revision and are not included in its tagged beta snapshot. Use the checked commit when reproducing that passing run.
All current software is beta and work in progress, including implementations in the research collection. Historical version numbers and release labels remain preserved as history.
Scope and verification
Source publication verifies the declared archive identity, selected file bytes, and repository checks. It does not rerun every Lean project, numerical calculation, or experiment. Consult each component's exact formal statements, claim maps, build instructions, and dated verification records.
Paper XI retains Conjecture 66. Conditional arithmetic and automorphic statements retain their premises. Open programs such as ABC, Collatz, Riemann, Beal, Hodge, and Hilbert 12 retain their open endpoints. Their completed subresults and finite checks remain available within their stated scope.
Terms and history
Public attribution is Komorebi P. Read the collection reuse terms, current component licenses, and retained third-party notices. The current grant explains how to interpret historical licensing notices. The qualification and import record distinguishes current source availability from dated test results. The contribution ledger preserves historical results and current source bindings.