Relational Actualism

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 = l_P/t_P; E = γ mc^2; 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_act conservation theorem with BDG locality lemma --- together proving G_μν = 8π G P_act[T_μν] with Λ = 0 uniquely from the Local Ledger Condition. New results (April 2026): the wave-function actualization threshold Δ S^* = - P_acc(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).