This is a one-page visual map of the Quantum Logical Framework (QLF) — a
formal proof system, machine-verified in Lean 4 across 89 modules with zero sorry,
that derives quantum mechanics and spacetime from a single selection principle: Zero Free Action
(ZFA) balance. Every chart below shows one domain; the boxes are clickable
(this is a PDF/HTML perk — GitHub disables Mermaid node links), and each Open
line lists the documents that derive that domain.
How to read it: one substrate → four families → ten domains → the individual results. Click a box to jump to its section or open its source document; use the table of contents to navigate. To save as PDF: open this file in a browser, then File → Print → Save as PDF (keep “Background graphics” on).
flowchart LR S["The QLF Substrate 8-twist alphabet - ZFA closure - synthesized spacetime"] S --> FND["Foundations"] S --> MAT["Matter and forces"] S --> GRV["Gravity and the cosmos"] S --> FRN["Frontiers"] FND -->|"renders"| D1["1 Space, time and the continuum"] FND -->|"fixes"| D2["2 The fundamental constants"] MAT -->|"projects"| D3["3 Forces"] MAT -->|"binds"| D4["4 Atoms and QED"] MAT -->|"structures"| D7["7 Particles and the Standard Model"] GRV -->|"weighs"| D5["5 Gravity and GR"] GRV -->|"expands"| D6["6 Cosmology and the dark sector"] FRN -->|"meets"| D8["8 Quantum-gravity / TOE pillars"] FRN -->|"resolves"| D9["9 The Millennium Prize program"] FRN -->|"predicts"| D10["10 Beyond the SM"] click D1 "#1-space-time-and-the-continuum" click D2 "#2-the-fundamental-constants" click D3 "#3-forces" click D4 "#4-atoms-and-qed" click D7 "#7-particles-and-the-standard-model" click D5 "#5-gravity-and-gr" click D6 "#6-cosmology-and-the-dark-sector" click D8 "#8-quantum-gravity--toe-pillars" click D9 "#9-the-millennium-prize-program" click D10 "#10-beyond-the-sm" click S "https://github.com/jimscarver/quantum-logical-framework/blob/main/README.md" _blank
Jump to: 1 Space, time and the continuum · 2 The fundamental constants · 3 Forces · 4 Atoms and QED · 5 Gravity and GR · 6 Cosmology and the dark sector · 7 Particles and the Standard Model · 8 Quantum-gravity / TOE pillars · 9 The Millennium Prize program · 10 Beyond the SM
The four families: Foundations (1-2) · Matter and forces (3, 4, 7) · Gravity and the cosmos (5-6) · Frontiers (8-10).
Open: README.md
Root reading: everything derives from the 8-twist substrate under Zero Free Action —
Philosophy.md (possibilist ontology), WHITE_PAPER.md.
flowchart TD S["8-twist substrate - ZFA"] S -->|"causal order"| R["Closure-reachability pre-geometric causal set"] R -->|"faithful 3-D render"| D["3 spatial dimensions"] S -->|"logical latency"| T["Time = per-event Planck tick"] D -->|"synthesize"| SP["Synthesized spacetime"] T -->|"synthesize"| SP S -->|"RCA_0 floor"| CN["No continuum / no Choice"] click S "https://github.com/jimscarver/quantum-logical-framework/blob/main/README.md" _blank click R "https://github.com/jimscarver/quantum-logical-framework/blob/main/SpaceTime.md" _blank click D "https://github.com/jimscarver/quantum-logical-framework/blob/main/SpaceTime.md" _blank click T "https://github.com/jimscarver/quantum-logical-framework/blob/main/SpaceTime.md" _blank click SP "https://github.com/jimscarver/quantum-logical-framework/blob/main/SpaceTime.md" _blank click CN "https://github.com/jimscarver/quantum-logical-framework/blob/main/TheContinuum.md" _blank
Open: README.md · SpaceTime.md · TheContinuum.md
3 is the minimal dimension that renders any relational structure faithfully — and it reappears
everywhere below (SpaceTime.md §3a).
flowchart TD SP["6+2 split -> 3 spatial axes"] SP -->|"N = 3^2"| AL["alpha = 1/137"] SP -->|"spatial 3/8"| WK["sin^2theta_W = 3/8"] SP -->|"gauge 2/8"| OL["Omega_Lambda = log 2"] SP -->|"surface ~ r^2"| NW["Newton 1/r^2"] SP -->|"l = 3"| MG["nuclear magic numbers"] S2["3-quark Borromean closure"] --> MP["m_p/m_e = 6pi^5"] AL -->|"2/alpha"| MPI["m_pi/m_e = 274"] click SP "https://github.com/jimscarver/quantum-logical-framework/blob/main/SpaceTime.md" _blank click AL "https://github.com/jimscarver/quantum-logical-framework/blob/main/Alpha.md" _blank click WK "https://github.com/jimscarver/quantum-logical-framework/blob/main/Weak_Force.md" _blank click OL "https://github.com/jimscarver/quantum-logical-framework/blob/main/Cosmological_Constant.md" _blank click NW "https://github.com/jimscarver/quantum-logical-framework/blob/main/Gravity_From_Delay.md" _blank click MG "https://github.com/jimscarver/quantum-logical-framework/blob/main/Magic_numbers.md" _blank click MP "https://github.com/jimscarver/quantum-logical-framework/blob/main/Proton_Resonance_R_e.md" _blank click MPI "https://github.com/jimscarver/quantum-logical-framework/blob/main/Pion_QLF.md" _blank click S2 "https://github.com/jimscarver/quantum-logical-framework/blob/main/Proton_Resonance_R_e.md" _blank
Open: SpaceTime.md · Alpha.md · Weak_Force.md · Cosmological_Constant.md · Gravity_From_Delay.md · Magic_numbers.md · Proton_Resonance_R_e.md · Pion_QLF.md
α's full story (derivation, IR/3-D scale, the running, the no-drift theorem, 4D/5D
over-determination): Alpha.md.
flowchart TD AX["3 spatial axes + 2 gauge"] AX -->|"abelian"| EM["U1 - electromagnetism"] AX -->|"non-abelian, chiral"| WK["SU2 - weak"] AX -->|"colour, confined"| ST["SU3 - strong"] AL["alpha derived"] --> CPL["dimensionless couplings"] EM -->|"projection"| UNI["one force, three projections"] WK -->|"projection"| UNI ST -->|"projection"| UNI click AX "https://github.com/jimscarver/quantum-logical-framework/blob/main/Forces_From_Three_Axes.md" _blank click EM "https://github.com/jimscarver/quantum-logical-framework/blob/main/Electricity.md" _blank click WK "https://github.com/jimscarver/quantum-logical-framework/blob/main/Weak_Force.md" _blank click ST "https://github.com/jimscarver/quantum-logical-framework/blob/main/Forces_From_Three_Axes.md" _blank click AL "https://github.com/jimscarver/quantum-logical-framework/blob/main/Alpha.md" _blank click CPL "https://github.com/jimscarver/quantum-logical-framework/blob/main/Forces_From_Alpha.md" _blank click UNI "https://github.com/jimscarver/quantum-logical-framework/blob/main/Forces_From_Three_Axes.md" _blank
Open: Forces_From_Three_Axes.md · Electricity.md · Weak_Force.md · Alpha.md · Forces_From_Alpha.md
flowchart TD AL["alpha = 1/137"] AL -->|"1/2alpha^2m_e c^2"| RY["Rydberg / Bohr"] AL -->|"~ alpha^2"| DI["Dirac fine structure"] AL -->|"loop alpha"| LA["Lamb shift"] AL -->|"alpha/2pi"| GM["g-2"] AL -->|"Z_0/2alpha"| VK["von Klitzing R_K"] AL -->|"~ alpha^4"| HF["hyperfine / 21 cm"] click AL "https://github.com/jimscarver/quantum-logical-framework/blob/main/Alpha.md" _blank click RY "https://github.com/jimscarver/quantum-logical-framework/blob/main/Hydrogen.md" _blank click DI "https://github.com/jimscarver/quantum-logical-framework/blob/main/Dirac_Correction.md" _blank click LA "https://github.com/jimscarver/quantum-logical-framework/blob/main/Lamb_Shift.md" _blank click GM "https://github.com/jimscarver/quantum-logical-framework/blob/main/g_minus_2.md" _blank click VK "https://github.com/jimscarver/quantum-logical-framework/blob/main/Electricity.md" _blank click HF "https://github.com/jimscarver/quantum-logical-framework/blob/main/Magnetism_Spatial_Dynamics.md" _blank
Open: Alpha.md · Hydrogen.md · Dirac_Correction.md · Lamb_Shift.md · g_minus_2.md · Electricity.md · Magnetism_Spatial_Dynamics.md
flowchart TD HO["Holographic event-counting + log 2"] HO -->|"G = L_P^2c^3/hbar"| NG["Newton's law + G"] NG -->|"43''/century"| ME["Mercury perihelion"] HO -->|"deltaQ = T deltaS"| EE["Einstein equations equation of state"] EE -->|"causal order -> metric"| CV["Curvature"] EE -->|"spin-2, v = c"| GW["Gravitational waves"] click HO "https://github.com/jimscarver/quantum-logical-framework/blob/main/Gravity_From_Delay.md" _blank click NG "https://github.com/jimscarver/quantum-logical-framework/blob/main/Gravity_From_Delay.md" _blank click ME "https://github.com/jimscarver/quantum-logical-framework/blob/main/Mercury_Perihelion.md" _blank click EE "https://github.com/jimscarver/quantum-logical-framework/blob/main/Einstein_Equations.md" _blank click CV "https://github.com/jimscarver/quantum-logical-framework/blob/main/Curvature.md" _blank click GW "https://github.com/jimscarver/quantum-logical-framework/blob/main/Einstein_Equations.md" _blank
Open: Gravity_From_Delay.md · Mercury_Perihelion.md · Einstein_Equations.md · Curvature.md
flowchart TD EV["ZFA event synthesis w = -1"] EV -->|"gauge 2/8"| OL["Omega_Lambda = log 2 closes the 10^122 catastrophe"] EV -->|"high-V epoch"| IN["Inflation same field"] EV -->|"denser logic"| DM["Dark matter no particle"] OL -->|"residual w = -1"| DE["Dark energy"] EV -->|"event rate"| AGE["Age ~ 13.8 Gyr"] EV -->|"freeze-out n/p"| NS["^4He fraction Y_p ~ 1/4"] click EV "https://github.com/jimscarver/quantum-logical-framework/blob/main/Cosmological_Constant.md" _blank click OL "https://github.com/jimscarver/quantum-logical-framework/blob/main/Cosmological_Constant.md" _blank click IN "https://github.com/jimscarver/quantum-logical-framework/blob/main/Curvature.md" _blank click DM "https://github.com/jimscarver/quantum-logical-framework/blob/main/DarkMatter.md" _blank click DE "https://github.com/jimscarver/quantum-logical-framework/blob/main/DarkMatter.md" _blank click AGE "https://github.com/jimscarver/quantum-logical-framework/blob/main/AgeOfUniverse.md" _blank click NS "https://github.com/jimscarver/quantum-logical-framework/blob/main/Fusion.md" _blank
Open: Cosmological_Constant.md · Curvature.md · DarkMatter.md · AgeOfUniverse.md · Fusion.md
flowchart TD TH["3 spatial axes the same 3"] TH -->|"axis count"| GEN["3 fermion generations"] GEN -->|"Q = 2/3"| KO["Koide -> m_tau"] GEN -->|"3 angles + CP"| MX["CKM / PMNS mixing"] TH -->|"self-conjugate"| NU["neutrino is Majorana"] NU -->|"DeltaL = 2"| BD["beta-decay / 0nubetabeta"] TH -->|"one scale x ratios"| MS["mass spectrum"] SP["spin = the twists"] --> HG["mass Higgs mechanism"] click TH "https://github.com/jimscarver/quantum-logical-framework/blob/main/Standard_Model.md" _blank click GEN "https://github.com/jimscarver/quantum-logical-framework/blob/main/Standard_Model.md" _blank click KO "https://github.com/jimscarver/quantum-logical-framework/blob/main/Standard_Model.md" _blank click MX "https://github.com/jimscarver/quantum-logical-framework/blob/main/Standard_Model.md" _blank click NU "https://github.com/jimscarver/quantum-logical-framework/blob/main/Beta_Decay_Neutrino_Nature.md" _blank click BD "https://github.com/jimscarver/quantum-logical-framework/blob/main/Beta_Decay_Neutrino_Nature.md" _blank click MS "https://github.com/jimscarver/quantum-logical-framework/blob/main/Per_Qubit_Mass_Quantum.md" _blank click SP "https://github.com/jimscarver/quantum-logical-framework/blob/main/Spin_QLF.md" _blank click HG "https://github.com/jimscarver/quantum-logical-framework/blob/main/Higgs.md" _blank
Open: Standard_Model.md · Beta_Decay_Neutrino_Nature.md · Per_Qubit_Mass_Quantum.md · Spin_QLF.md · Higgs.md
flowchart TD S["substrate"] S -->|"j = 1/2 spin network"| LQ["Loop Quantum Gravity"] S -->|"C(2n,n) modes"| ST["String theory"] S -->|"Q = half-spin shift"| SU["Supersymmetry"] S -->|"closure floor mu^2=1/2"| PL["Planck scale"] click S "https://github.com/jimscarver/quantum-logical-framework/blob/main/README.md" _blank click LQ "https://github.com/jimscarver/quantum-logical-framework/blob/main/LQG_QLF.md" _blank click ST "https://github.com/jimscarver/quantum-logical-framework/blob/main/StringTheory.md" _blank click SU "https://github.com/jimscarver/quantum-logical-framework/blob/main/SUSY_QLF.md" _blank click PL "https://github.com/jimscarver/quantum-logical-framework/blob/main/Planck_Scale.md" _blank
Open: README.md · LQG_QLF.md · StringTheory.md · SUSY_QLF.md · Planck_Scale.md
flowchart TD CC["Continuum = UV catastrophe RCA_0 core + boundary axiom"] CC -->|"critical line"| RH["Riemann hypothesis"] CC -->|"log 2 gap quantum"| YM["Yang-Mills mass gap"] CC -->|"rank = ord"| BS["Birch-Swinnerton-Dyer"] CC -->|"balanced => algebraic"| HOD["Hodge conjecture"] CC -->|"generate != verify"| PN["P vs NP"] CC -->|"no blow-up"| NV["Navier-Stokes"] click CC "https://github.com/jimscarver/quantum-logical-framework/blob/main/Continuum_Choice_Fallacy.md" _blank click RH "https://github.com/jimscarver/quantum-logical-framework/blob/main/Riemann-Conjecture-Proof.md" _blank click YM "https://github.com/jimscarver/quantum-logical-framework/blob/main/YangMills_MassGap_QLF.md" _blank click BS "https://github.com/jimscarver/quantum-logical-framework/blob/main/BSD_QLF.md" _blank click HOD "https://github.com/jimscarver/quantum-logical-framework/blob/main/Hodge_QLF.md" _blank click PN "https://github.com/jimscarver/quantum-logical-framework/blob/main/P_vs_NP_QLF.md" _blank click NV "https://github.com/jimscarver/quantum-logical-framework/blob/main/NavierStokes_QLF.md" _blank
Open: Continuum_Choice_Fallacy.md · Riemann-Conjecture-Proof.md · YangMills_MassGap_QLF.md · BSD_QLF.md · Hodge_QLF.md · P_vs_NP_QLF.md · NavierStokes_QLF.md
Overview: Millennium.md.
flowchart TD B["Beyond the Standard Model"] B -->|"not free"| D1["derived: alpha, Koide, theta-bar=0, Omega_Lambda"] B -->|"test now"| P1["Majorana neutrino -> 0nubetabeta"] B -->|"scale-free by construction"| P2["no cosmological drift of alpha0"] B -->|"soft"| P3["dark matter is not a particle"] click B "https://github.com/jimscarver/quantum-logical-framework/blob/main/Beyond_Standard_Model.md" _blank click D1 "https://github.com/jimscarver/quantum-logical-framework/blob/main/Beyond_Standard_Model.md" _blank click P1 "https://github.com/jimscarver/quantum-logical-framework/blob/main/Beta_Decay_Neutrino_Nature.md" _blank click P2 "https://github.com/jimscarver/quantum-logical-framework/blob/main/Alpha.md" _blank click P3 "https://github.com/jimscarver/quantum-logical-framework/blob/main/DarkMatter.md" _blank
Open: Beyond_Standard_Model.md · Beta_Decay_Neutrino_Nature.md · Alpha.md · DarkMatter.md
- README.md · lean/README.md — project overview + the 89-module Lean
table.
- Open_Problems.md — the honest gap registry (closed / principled-boundary / open).
- Beyond_Standard_Model.md — the derived / predicted / open scorecard.
- Alpha.md — one result mapped end to end, as a worked example.