Component index
Recorded 2026-10-30.
90 primary components and 71 supporting source collections are present with verified file receipts. The receipts cover 138,326 distinct source files. Older source imports remain separately available.
Browse by completion stage, Lean coverage and confidence · Cleanup and finalization queue. Status labels describe the scope of each linked record. File counts do not measure proof or completion.
For direct PDFs, manuscript text, Lean, and code, use the clickable browse hub. The inventory below retains all source and receipt details.
Core papers
Monographs and companion volumes
| Component | Completion | Lean | Confidence basis | Source files | Receipt |
|---|---|---|---|---|---|
| Realization Calculus | Reading edition complete | Inherited / related evidence | Historical formal evidence | 14,963 | file record |
| Proof Path Theory | Scoped release | Selected results recorded | Recorded formal evidence | 930 | file record |
| Komorebi Methodology | Reading edition complete | No Lean claim | Recorded written review | 55 | file record |
| Large Signal Model | Scoped release | Declared contract recorded | Recorded formal evidence | 3,785 | file record |
| Special Functions | Reading edition complete | Selected results recorded | Recorded formal evidence | 1,745 | file record |
| Machine Societies | Reading edition complete | No Lean claim | Recorded written review | 286 | file record |
| Komorebi Space | Scoped release | Declared contract recorded | Recorded formal evidence | 1,610 | file record |
| Realization Boundaries | Scoped release | Declared contract recorded | Recorded formal evidence | 2,634 | file record |
| Sufficient Resolution | Reading edition complete | Inherited / related evidence | Historical formal evidence | 5,509 | file record |
| Machine Native Reasoning | Scoped release | Declared contract recorded | Recorded formal evidence | 2,303 | file record |
| Quantum and Circuits | Reading edition complete | Selected results recorded | Recorded formal evidence | 2,022 | file record |
| Physics | Reading edition complete | Selected results recorded | Recorded formal evidence | 6,974 | file record |
| COS Method | Reading edition complete | Selected results recorded | Recorded formal evidence | 936 | file record |
| COS Method: formal continuation | Active development | Selected results recorded | Recorded formal evidence | 111 | file record |
| Self-Improving Intelligence | Reading edition complete | No Lean claim | Recorded written review | 326 | file record |
| Self-Improving Intelligence: visual guide | Reading edition complete | No Lean claim | Recorded written review | 70 | file record |
| Grounded Abstraction | Reading edition complete | No Lean claim | Recorded written review | 150 | file record |
| Machine Theory Compendium | Needs assessment | Not assessed | Unassessed | 159 | file record |
| Realization Calculus: twin edition | Needs assessment | Not assessed | Unassessed | 261 | file record |
Software packages
| Component | Completion | Lean | Confidence basis | Source files | Receipt |
|---|---|---|---|---|---|
| Certified Inference | Scoped release | Declared contract recorded | Recorded formal evidence | 939 | file record |
| Constructive Repair | Scoped release | Selected results recorded | Recorded formal evidence | 2,254 | file record |
| RRCT | Experiment / prototype | No Lean claim | Experimental evidence | 185 | file record |
| Universal Generative Deformation Calculus | Experiment / prototype | No Lean claim | Experimental evidence | 144 | file record |
| Large Signal Model software | Needs assessment | Not assessed | Unassessed | 443 | file record |
Experimental laboratories
| Component | Completion | Lean | Confidence basis | Source files | Receipt |
|---|---|---|---|---|---|
| Agent Dynamics | Experiment / prototype | No Lean claim | Experimental evidence | 65 | file record |
| Arithmetic J-Space Training Lab | Experiment / prototype | No Lean claim | Experimental evidence | 74 | file record |
| J-Space Causal Lab | Experiment / prototype | No Lean claim | Experimental evidence | 224 | file record |
| J-Space Collections | Experiment / prototype | No Lean claim | Experimental evidence | 53 | file record |
| Workspace Incubator | Experiment / prototype | No Lean claim | Experimental evidence | 689 | file record |
Research programs
Supporting and earlier scientific sources
These directories retain distinct manuscripts, formal projects, tools, and experimental branches. Their status and assumptions remain those of the individual work.
The machine-readable component index records every selected component and its actual availability. All software is beta and work in progress. File counts describe publication units and do not count theorems or completed research goals.