We present Relational Actualism (RA), a framework grounded in a single ontological commitment: that irreversible on-shell actualization events, writing permanent directed edges into a growing causal Directed Acyclic Graph, are the primitive physical reality. All other structure is derived. From the discrete causal graph and its Benincasa-Dowker-Glaser (BDG) action, we derive: spacetime kinematics (c = lP/tP; E = γ mc²; proper time exact as an integer count) ; general relativity, via BDG uniqueness (Benincasa-Dowker 2010) and confirmed by Lovelock's theorem given Lean-verified conservation and covariance; the complete Standard Model force structure from the four independent BDG degrees of freedom in 4D (one used by gravity, three generating U (1) × SU (2) × SU (3) ) ; electric charge quantisation in units of e/3; exact baryon number conservation; maximal parity violation as a theorem from DAG acyclicity; the Koide lepton mass formula from a generation-sector SU (3) symmetry; grand unification at the Planck scale; and the flat galactic rotation curves and Hubble tension as consequences of causal graph dimensional reduction in sparse regions. The same Erdős-Rényi percolation transition governs the biological origin of life, the quantum fault-tolerance threshold, and the transition from QCD confinement to asymptotic freedom. Quantum mechanics is exact at the discrete level; the Schr"odinger equation is its large-density macroscopic approximation, and the measurement problem dissolves. All results follow from the single fact that some interactions are irreversible. Four additional long-standing problems are dissolved: θQCD = 0 exactly (strong CP; no axion needed) ; the black hole information paradox (Causal Severance partition) ; the baryon asymmetry as a Causal Severance initial condition; and a structural conjecture for d = 4 spacetime uniqueness. Falsifiable predictions, Lean 4 verification status, and open derivation targets are tabulated. The programme comprises twelve papers; three are in peer review (Foundations of Physics --- awaiting editor assignment; Physical Review D; International Journal of Astrobiology). Core algebraic results are independently machine-verified: a Python notebook confirms 52/52 numerical checks at machine precision. Eight Lean 4 proof files establish 176 theorems with one intentional sorry (the LQI adapter) and no axioms beyond Mathlib. Key machine-checked results include: the Koide K = 2/3 identity; the SU (3) gen coherent state theorem; the BDG particle classification (five topology types mapping exactly to the Standard Model particle spectrum) ; colour confinement (L=3 gluon, L=4 quark) ; the BDG particle universe closure theorem (124 extension cases) ; structural qubit fragility (electrons and photons at minimum BDG score 1) ; the causal invariance of the quantum measure; Rindler stationarity (Unruh resolution) ; and the Pₐct conservation theorem with BDG locality lemma --- together proving G_μν = 8π G PₐctT_μν with Λ = 0 uniquely from the Local Ledger Condition. New results (April 2026): the wave-function actualization threshold Δ S^* = - Pₐcc (1) ≈ 0. 601 nats is derived from the BDG Poisson-CSG at μ = 1, completing the five-scale μ = 1 unification (QCD, galactic, fault-tolerance, Δ S^, Causal Firewall) ; a spin-bath worked model yields the parameter-free prediction t^ ≈ 0. 274/g; and a Lean theorem physics claim correspondence table (Table 2 of RAQM) maps seven Lean-verified results to their physical claims. RAQM is under review at Foundations of Physics (submitted 2026).
Joshua Sandeman (Thu,) studied this question.