Paper 1 — The Enforceability of Distinction: Quantum Structure from Finite Enforcement Capacity
Interactive derivation DAG · 18 checks · APF v6.8
▶ Run All Checks
⟳ Reset View
Axiom / primitive
Theorem (T_·)
Lemma (L_·)
Red-team (RT_·)
Other