Software guide
Read the software website · First runs and expected output · Hand-worked examples · Glossary
All Komorebi software is beta and work in progress. Version numbers and earlier release names identify revisions. The current public software status is beta.
| Library | Documentation | Current terms |
|---|---|---|
| Komorebi Math | User guide, worked examples, public API, and platform requirements | MIT for the current library. Retain third-party notices. |
| Polyphase Float | Documentation index, user guide, API index, build instructions, semantic reference, and testing | LGPL-3.0-or-later. Retain third-party notices. |
The package index covers software in this collection. The experimental laboratories and research programs contain further implementations and protocols.
The documentation links above follow each library's main branch. For a reproducible setup, use the exact commit and run links in the software qualification record. The tagged beta releases are earlier source snapshots and do not include every later fix.
Use the code and script finder for direct file links across the collection, or the browse hub to move between a work's manuscript, formal sources, and evidence.
The collection verification guide provides Git checkout instructions, a small standard-library example, and commands for source and navigation checks. For a concrete package record, see Constructive Repair: its qualified beta distribution completed the recorded Linux and Windows acceptance checks. The component guide separates that qualification from the earlier partial Windows run and from Lean proof evidence.
The corrected SRIC 0.3.3 source runtime has passed the recorded admission and CLI checks. It remains beta, with execution on a real model still pending.
Reproduce a result
- Select a source revision and read its supported platform and dependency requirements.
- Run the documented small example before a larger calculation.
- Run the component's documented checks and compare the results with the expected output and tested scope.
- Record the source revision, inputs, platform, dependencies, arithmetic settings, and output.
A passing test applies to the exercised behavior. A finite computation, numerical approximation, formal theorem, and software qualification record provide different kinds of evidence. Read each result with its assumptions.
Recorded publication and qualification status · Reading guide