∴Reference
Indexes.
Cross-document jump-tables. Every entry is auto-generated at build time from the underlying notes, so it stays in sync with the source.
- 336 equations
Equation index
Every `<Equation>` JSX block plus every `$$ ... $$` display math span across the site, grouped by source document.
- 72 IDs
Theorem index
T-… IDs (theorems, lemmas, propositions, corollaries) extracted from raw MDX, sorted alphanumerically with the document each one first appears in.
- 102 claim IDs
Claim ID index
C-… and ULR-… identifiers extracted from the public corpus. The index preserves active, historical, and retracted IDs while linked ledgers retain status authority.
- 28 open problems
Open problems
OP-XXXX IDs surfaced across the notes — registered, partially resolved, retracted — each linking back to where the problem is most fully discussed.
- 26 entries
Glossary
Plain-language definitions for D-XXXX / S-XXXX / A-XXXX formal IDs. Term hover-cards across the site pull from this entry.
- 4 versions
SCC historical changelog
The frozen SCC canonical-version timeline, scoped to the historical perception track. ULR Canon 2–24 is documented separately in the ULR hub.
- graph
SCC historical dependency DAG
SCC-scoped proof map built from Part 0 and perception-track theorem notes. It does not mix in ULR or ONN claims.