Documentation
Use these guides to find works, software, and project records. Each dated review or run applies to the source revision and scope stated in that record.
| Find | Guide |
|---|---|
| A starting point for your background or task | Reading routes and the public website |
| The central idea and current direction | Project overview |
| Future research priorities and site improvements | Future Developments |
| How the papers and books connect | Project map and documented dependencies |
| A complete path from calculation to code and evidence | Three demonstrations |
| Introductory terminology and notation | Glossary |
| Calculations with every step shown | Hand-worked examples |
| Examples connected to papers, proofs, Lean, and code | Topic map |
| A small program with expected output | First runs |
| Statement locations, formal modules and reading ZIPs | Claim links and downloads |
| Checked claims in the extended examples and K-COS certificates | Lean reader companions |
| Actual falling-factorial coordinates, Fourier projectors and packet products | Lean polynomial transport |
| Accessible formats and known limits | Accessibility |
| Direct PDFs, manuscript text, proofs, Lean, and code | Browse by work |
| A reading route through the mathematics | Start here |
| A component or source edition | Component index and source coverage |
| Completion stage, Lean coverage, and confidence | Status guide and evidence catalogue |
| Remaining work and completion criteria | Finalization queue |
| Commands, setup, and interpretation of checks | Run and verify |
| What each GitHub workflow runs or publishes | Workflow guide |
| Maintenance scripts, record updates, and cleanup history | Repository maintenance |
| Build or update the public website | Reader site maintenance |
| Software entry points | Libraries and packages |
| Current public availability and distribution | Publication status and distribution notice |
| Authorship and publication circumstances | Public project statement |
| Cite a work or the collection | Citation guidance |
| Report a problem or propose a correction | Contributing |
| Dated reviews, receipts, and retained history | Records guide |
| Entries awaiting sufficient implementation support | Incubator |
Component guides
- Streaming Polyphase Factor Decomposition / SKAT
- Gaussian Elimination in Komorebi
- The Possibility for a Machine-Native Mathematics
- Constructive Repair: package and verification guide
- Hilbert 12 ambient dual slice: reading note
- Resolution Semantics: checked Lean subset
Maintaining these pages
The maintenance instructions identify the source records and generation command. These indexes are regenerated with the status pages and checked by the collection workflow.