registry
Registry
The canonical machine-readable research graph — 4547 theorems, definitions, and conjectures across 7 books.
What this is
The public observability layer of the Panta Rhei research graph — every theorem, definition, and conjecture with its dependencies, scope, and formalization status.
Total objects
4547 registry entries across 7 books, with dependency edges, scope labels, and Lean formalization links.
How to use it
Browse by book, explore dependency chains, check formalization status, or jump to the canonical source in the manuscripts.
The Research Graph
The Registry is the canonical machine-readable substrate of the Panta Rhei research program. It tracks 4547 objects — theorems, definitions, propositions, lemmas, axioms, remarks, and conjectures — across all seven books, with explicit dependency edges, scope labels, and formalization status.
Browse by Book
- Book I: Categorical Foundations — 254 objects · Dashboard
- Book II: Categorical Holomorphy — 230 objects · Dashboard
- Book III: Categorical Spectrum — 289 objects · Dashboard
- Book IV: Categorical Microcosm — 1864 objects · Dashboard
- Book V: Categorical Macrocosm — 1419 objects · Dashboard
- Book VI: Categorical Life — 217 objects · Dashboard
- Book VII: Categorical Metaphysics — 274 objects · Dashboard
What each object page shows
Every registry object has its own page showing:
- Identity: canonical ID, type, name, scope, formalization status
- Location: book, part, chapter
- Dependencies: what this object depends on and what depends on it
- Verification: Lean module and symbol (if formalized)
- Summary: what the object states or defines
Dashboards
Each book has a dashboard showing type distribution, formalization coverage, scope distribution, dependency depth, and the most central objects.