DAGSCC · Historical archive
Frozen theorem dependency graph
10 SCC theorem notes laid out by their explicit `related` edges (13 arrows). This graph is SCC-scoped and preserved as a historical proof map.
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 · 10
- 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