Paper 8 — The Admissibility-Capacity Ledger
Interactive derivation DAG · 36 checks · APF v6.8
▶ Run All Checks
⟳ Reset View
Axiom / primitive
Theorem (T_·)
Lemma (L_·)
Red-team (RT_·)
Other