DAGSCC
Theorem dependency graph
20 theorem-kind notes laid out by their explicit `related` edges (37 arrows). Click any node to open the underlying note.
On a small screen the graph shrinks to fit — pinch to zoom and drag to pan, or browse the full list below.
Layout is computed at build time by @dagrejs/dagre — top-to-bottom, no manual placement. Edges are derived from the related: frontmatter on each theorem note. To add a node, set kind: theoremon the note; to add an edge, list the target slug in the source note’s related: array.
All theorems · 20
- Main Theorems A–HChapter 9
- Part II · Main Theorems A–H (summary)Chapter 9
- T-L1-F — Hard-Bar / Active-Count Bridge under L1-J RegimeSCC Hero · T-L1-F
- T-PreObj-1 — Pre-Objective Multi-Peak Formation Mechanism (W4 Capstone)SCC Hero · T-PreObj-1
- T-V5b-T — Pre-Objective Goldstone on Translation-Invariant Graphs (W4-Extended Capstone)SCC Hero · T-V5b-T
- T1 — Existence of MinimizersSCC Hero · T1
- T11 — Sharp-Interface Γ-ConvergenceSCC Hero · T11
- T14 — Gradient Flow Convergence (Łojasiewicz)SCC Hero · T14
- T20 — Axiom Consistency (A1' resolves A1↔A3 incompatibility)SCC Hero · T20
- T6 — Closure Fixed Point (Banach Contraction)SCC Hero · T6
- T7-Enhanced — Non-Idempotent Metastability AdvantageSCC Hero · T7-Enhanced
- T8-Core — Phase Transition (Spectral Universality)SCC Hero · T8-Core
- Theorem A — Energy IsolationTheorem A
- Theorem B — Finiteness of DoorsTheorem B
- Theorem C — Self-InterpretationTheorem C
- Theorem D — MetastabilityTheorem D
- Theorem E — Curvature LocalisationTheorem E
- Theorem F — Spectral StabilityTheorem F
- Theorem G — Door StabilityTheorem G
- Theorem H — Flow StabilityTheorem H