Historical snapshot. This is the distribution page as recorded at commit 26ad56b00c0b, before the current/history split. Its earlier assembly statements describe their original checkpoint. Use the current distribution notice for current guidance. Relative links have been adjusted for this location and trailing blank lines removed; the original page bytes have SHA-256
d26975c3e49b2420fb5ec20485d7d100ce49ec1e2a2bdca8afed882c6b43c1e5.
Distribution status
Current publication notice
The current collection reuse notice grants MIT terms for original code and machine-readable work and CC BY 4.0 for original writing and figures, subject to existing component licenses and third-party notices. The older assembly statements below are retained as dated history and are superseded where they describe undecided or private-only terms for original Komorebi material.
As of 27 October 2026, all three canonical repositories are public and the Realization Calculus publication collection is published. The publication status records browsable source files, release assets, and verification scope. The publication record binds the current source-component index to its verified source revision.
The current Komorebi Math license is MIT. The current Polyphase Float license is LGPL-3.0-or-later. Both libraries are beta releases and works in progress.
Published archives retain their own licenses and notices. The historical table below describes earlier assembly decisions. In particular, its private-evaluation statement for the older Math checkpoint does not describe the current public library. Missing-import statements in that table belong to the earlier source checkpoint. The component index records current browsable sources. The current collection reuse notice specifies the applicable original-material grants.
Historical assembly record
The statements in this section belong to the earlier assembly checkpoint. References to current terms, missing imports, or future publication approval below describe that checkpoint; the current publication notice above records the subsequent public release.
This assembly preserves existing component terms. It does not apply a blanket license or change an inherited license.
| Component | Recorded terms or decision |
|---|---|
| Polyphase Float 0.18.0 | Existing LGPL-3.0-or-later source terms. |
| Komorebi Math R4 Block 21 | Existing proprietary/private-evaluation terms reserve redistribution rights. A replacement license is still required for an open-source release. |
| Research Preview 1 | Its rights record leaves project-specific distribution terms unresolved. |
| AM-SPD 1.0.0 | MIT is selected for the current component code imported at packages/komorebi-am-spd. The preserved historical research snapshot retains its recorded notices and terms. Other components and third-party material are not relicensed by this decision. |
| Proof Path Theory | The retained audit records no selected release license. Its source has not been imported here. |
| Other original code, Lean source, papers, and exposition | Path/component terms still require reconciliation with the selected files. The launch plan's MIT and CC BY 4.0 defaults remain proposals. |
| Third-party dependencies and reference material | Their existing notices and rights remain separate. Recovery of a reference does not itself authorize redistribution. |
Public attribution is Komorebi P. Source exports, document metadata, embedded paths, and retained evidence require identity review before publication. Private correspondence and raw research history are outside this public candidate.
Remote creation, private upload, public visibility, and releases are separate states. This repository currently records prepared contents and their actual import status. Public release approval will refer to the concrete reviewed file set and its component license map.