Reuse of the Komorebi collection

Read side by side

The original Komorebi work in this repository is publicly available under the following terms, effective 27 October 2026.

Material	License
Original software, Lean formalizations, build and verification scripts, and original machine-readable research material	MIT, except where an existing component license specifies other open terms.
Original papers, books, expository writing, and figures	Creative Commons Attribution 4.0 International, except where the component already supplies an applicable open license.
Components already released under MIT, LGPL, or another open license	Their attached license continues to apply. This notice does not narrow an existing grant.
Third-party dependencies, reference works, quoted material, and externally sourced inputs	Their respective licenses and notices apply. This notice grants no rights in third-party material.

For the original work covered by this notice, older original-author notices that reserve all rights, restrict use to private evaluation, or leave licensing undecided are superseded by the applicable grant above. Such notices remain in historical source and evidence records to preserve their original bytes and dates. This supersession does not apply to another copyright holder's material.

Attribute the original work to Komorebi P. Retain applicable copyright and license notices. For papers and figures under CC BY 4.0, include the title, a link to the work and license, and an indication of any changes.

All executable research software is beta and work in progress. The license is a reuse grant; the claim statements, assumptions, validation records, and open obligations in each component describe its scientific scope.