# The Mysteries of Physics in QLF — Addressed, and Remaining

A survey of the canonical open questions of physics, and what the [Quantum Logical Framework (QLF)](README.md) says about each. The aim is honest triage, not a victory lap: where QLF gives a *machine-checked structural* account, where it derives the *value*, where it has a *principled boundary*, where it makes a *falsifiable prediction of absence*, and where the question is *genuinely still open*.

This doc is the physics-facing companion to [`Open_Problems.md`](Open_Problems.md) (the internal gap registry, organized by status) — it reorganizes the same picture around the mysteries a physicist would name.

**Status key** (aligned with `Open_Problems.md`): ✅ resolved / machine-checked structurally · 🟢 derived + benchmarked · 🔵 mechanism fixed, a *number* open · 🟣 holds in prose/numerics, a clean Lean anchor open · 🧱 a principled boundary — the point where the problem leaves the realizable substrate for the gratuitous continuum; the **finite reduction is the result**, not a way-station to a continuum proof · 🎯 a QLF *prediction of absence* (falsifiable null) · ⚪ out of current scope.

> **A framing note on "open."** Where a problem is genuinely *finite* (a value to compute, a Lean anchor to write), "open" means forward work QLF expects to do. Where a problem is about the **continuum** (an analytic statement, a PDE on `ℝⁿ`, a continuum-QFT existence claim), QLF does **not** treat it as homework awaiting a continuum proof — the continuum is [gratuitous](TheContinuum.md), and such statements need not, and arguably *cannot*, be settled on their own terms. QLF's claim there is the **reduction to a finite substrate problem**, where the core is verified; the bridge axiom marks the boundary, it is not a gap. See §7.

---

## 1. Quantum foundations

| Mystery | QLF's account | Status | Where |
|---|---|---|---|
| **The measurement problem** | ZFA closure *is* the measurement event — no separate collapse postulate, no observer magic; the "many worlds" are many local observers, each with its consistent relative record | ✅ | [`Philosophy.md`](Philosophy.md), `ZFAEventDynamics.lean` |
| **Why quantum mechanics? (the Born rule, complex amplitudes)** | Born probability = a ratio of integer closure-path counts; `i` is the σ-rotation; the state ring is the Gaussian integers `ℤ[i]` with `μ₄` phases, Hilbert space its completion | ✅ | [`Born_Rule.md`](Born_Rule.md), [`The_QLF_State_Space.md`](The_QLF_State_Space.md) |
| **The arrow of time** | Time is *synthesized* per event (`f = 1/t`); the laws are reversible (the dagger involution) but the forward closure is many-to-one — reversible *logic*, irreversible *process* | ✅ | [`Reversibility.md`](Reversibility.md), `QLF_Reversibility.lean` |
| **Wave–particle duality / the double slit** | Count vs phase are independent information; fringes are phase, which-path is count-definiteness — Shannon (count) is provably not sufficient | ✅ | [`Double_Slit.md`](Double_Slit.md), `QLF_PhaseInformation.lean` |
| **The uncertainty principle** | The `ħ/2` quantum is the half-width of mapping a continuum value onto its integer twist count; the product bound is the non-commuting Fourier-dual axes | ✅ | `QLF_Uncertainty.lean`, [`UncertaintyPrinciple.md`](UncertaintyPrinciple.md) |
| **Entanglement / nonlocality (ER=EPR)** | Entanglement is a shared **ZFA closure** (`SharedClosure A B := achieves_ZFA (A++B)` — two histories that *close together*); a wormhole is that shared closure between **spacelike** events (`Spacelike` = neither `reachable`, the substrate causal set). `er_equals_epr` — given spacelike separation, the bridge **is** the shared closure (an identity, not a duality); `no_ftl_in_epr` — spacelike ⟹ neither end reaches the other, so nothing is transmitted *through* the geometry; verified witness `primordial_wormhole` (the conjugate pair `[+,−]` closes and is spacelike). **Distance is perspectival** — zero closure-distance through the bridge, large through synthesized space — so non-locality dissolves (the two ends are one closure space is synthesized *around*) | ✅ **derived from the core, zero axioms** | [`Primordial_Entanglement.md`](Primordial_Entanglement.md), [`ER_EPR_QLF.md`](ER_EPR_QLF.md), `ER_EPR_QLF.lean` |
| **What space does QM live in** | A finite-rank `ℤ[i]` lattice (the stabilizer/Clifford = computable fragment), not Hilbert space; Hilbert space is the continuum completion | ✅ | [`The_QLF_State_Space.md`](The_QLF_State_Space.md) |

## 2. Spacetime & gravity

| Mystery | QLF's account | Status | Where |
|---|---|---|---|
| **Quantum gravity / unifying GR + QM** | Spacetime is synthesized, not background; gravity is the thermodynamics of ZFA event rate + gauge-fold depth (Jacobson/Verlinde). The Einstein equations follow as the substrate's *equation of state* — coefficient `8πG = 2π/η`, `Λ = log 2` machine-checked | ✅ skeleton / 🔵 full tensor | [`Einstein_Equations.md`](Einstein_Equations.md), `QLF_EinsteinEquations.lean` |
| **The full Einstein field equations (curvature)** | The curvature side is the causal-set order→metric program (Sorkin/Benincasa–Dowker) on QLF's causal set, now in the **Millennium pattern — verified discrete core + one continuum bridge**: number↔volume (`intervalVolume`), the flat baseline (`bdCurvature_chain_zero`, `R=0` on a chain), the branching layer-growth (`layer_growth_from_branching`, `\|L_k\|: 1→2`), and the statistical-limit kernel (`poissonOccupation` + its recurrence) are Lean-anchored; the `ρ→∞` Benincasa–Dowker convergence to `−½R` is the explicit bridge axiom `benincasa_dowker_limit`, from which flat space reads `R=0` in the mean (`flat_curvature_zero_in_mean`) | ✅ discrete core + 🔵 continuum bridge | `QLF_CausalInterval.lean`, `QLF_CausalDimension.lean`, `QLF_CausalContinuum.lean`, [`Einstein_Equations.md`](Einstein_Equations.md) §6a |
| **The origin of Lorentz invariance** | A statistically uniform, stateless ether (Einstein's 1920 ether); `SL(2,ℂ)→SO⁺(1,3)` double cover machine-checked; the state *is* Minkowski space (det = interval) | ✅ | [`UniversalRelativity.md`](UniversalRelativity.md) §3a, `QLF_LorentzCover.lean`, `QLF_Minkowski.lean` |
| **The black-hole information paradox** | Holography is a topological necessity of ZFA closure; `full_zeno_prune` is the boundary decoder; every hadron is a Markov-blanket quantum black hole | ✅ structural | [`Hadron_BlackHoles.md`](Hadron_BlackHoles.md), `QLF_QuantumBlackHole.lean` |
| **Singularities (infinite curvature)** | Avoided by construction — event synthesis is discrete and finite; no actual infinity is instantiated | ✅ | [`TheContinuum.md`](TheContinuum.md), [`BLACK-HOLES.md`](BLACK-HOLES.md) |
| **The Planck scale / a minimum length** | The Planck *scale* is the closure floor *by construction* (the Compton–Schwarzschild self-dual point `μ²=1/2`); below it a blanket is inside its own horizon and cannot close | ✅ / 🧱 (SI value = unit convention) | `QLF_PlanckScale.lean`, [`Planck_Scale.md`](Planck_Scale.md) |
| **Horizon thermodynamics (Unruh/Hawking/de Sitter)** | All three are one Unruh master relation `T = ℏa/2πck_B` at the right acceleration; the `2π` is the loop phase | ✅ | `QLF_HorizonTemperature.lean` |
| **Gravitational waves** | Massless transverse ripple ⟹ speed `= c` (GW170817 to `10⁻¹⁵`); graviton = composite spin-2 (four half-spins), 2 polarizations | ✅ features / 🔵 dynamics | `QLF_GravitationalWaves.lean` |

## 3. Cosmology

| Mystery | QLF's account | Status | Where |
|---|---|---|---|
| **The cosmological constant problem (the 10¹²²)** | `Ω_Λ = log 2` (1.2%) — the vacuum energy is one bit per closure, not a continuum of zero-point modes; the 10¹²² catastrophe is the continuum's wrong answer | ✅ | `QLF_CosmologicalConstant.lean`, [`Cosmological_Constant.md`](Cosmological_Constant.md) |
| **The nature of dark matter** | Denser logic near masses, not a particle; the RAR `g_obs²=g_bar(g_obs+a₀)` is derived, `a₀ = cH₀/2π` (the `2π` = the ZFA closure-loop period), the interpolation `ν` *unique* — blind-tested on 147 SPARC galaxies, parameter-free, at the `0.133 dex` floor | 🟢 derived + benchmarked | [`DarkMatter.md`](DarkMatter.md), [`SPARC.md`](SPARC.md), `QLF_MondScale/MondNu/RarBalance.lean` |
| **The nature of dark energy** | The same `w=−1` event-synthesis field as inflation; each event creates energy, half lent to the future = dark energy; DM/DE = contract/expand on one Hubble horizon | ✅ structural | [`Curvature.md`](Curvature.md), `QLF_CosmicInflation.lean` |
| **The age & finiteness of the universe** | The cosmic age is the proper time of the cosmic Markov-blanket clock — a finite integer `n ≈ 10⁶⁰` of Planck events, not a continuum of instants | ✅ | `AgeOfUniverse.lean`, [`SpaceTime.md`](SpaceTime.md) |
| **Cosmic inflation / initial conditions** | Inflation and dark energy are one `w=−1` field at two scales — *no inflaton*; high-`V` early epoch inflates (`H∝√V`) | ✅ unification / ⚪ observables | `QLF_CosmicInflation.lean`, [`Curvature.md`](Curvature.md) §8 |
| **Matter–antimatter asymmetry (baryogenesis)** | All three Sakharov conditions are met (B-violation via winding + Majorana, C/CP via the chirality engine + strong-CP, out-of-equilibrium via expansion) ⟹ a matter excess is generic | 🔵 (magnitude `η_B` open) | `QLF_Baryogenesis.lean` |
| **Primordial nucleosynthesis (`Y_p`)** | Every surviving neutron → ⁴He ⟹ `Y_p = 2r/(1+r)`; freeze-out `r=1/7 ⟹ Y_p=1/4` (matches 0.247) | 🔵 (`r`, D/⁷Li open) | `QLF_Nucleosynthesis.lean` |
| **The Hubble tension** | The SPARC fit picks the *local* `H₀ = 72.9`; the residual is the Planck-vs-SH0ES tension itself, not predicted | 🔵 | [`DarkMatter.md`](DarkMatter.md) §5, [`Cosmological_Constant.md`](Cosmological_Constant.md) |

## 4. Particle physics & the Standard Model

| Mystery | QLF's account | Status | Where |
|---|---|---|---|
| **The fundamental constants (α = 1/137, m_p/m_e, …)** | Derived from substrate combinatorics with zero free parameters: `α(d)=1/(128+d²)` (only 3D gives 137), `m_p/m_e = 6π⁵`, the Koide `Q=2/3` ⟹ `m_τ` to 0.006% | ✅ structural / 🔵 residuals | [`Alpha.md`](Alpha.md), `QLF_FineStructureSubstrate/LenzMassRatio/Koide.lean` |
| **Why 3 spatial dimensions** | 3 = the minimal dimension in which any relational/causal graph renders faithfully (every finite graph embeds crossing-free in ℝ³; 2D fails) | ✅ | `QLF_Generations.lean`, [`SpaceTime.md`](SpaceTime.md) §3a |
| **Why 3 fermion generations** | = the 3 spatial axes — the same `3` behind Koide, colour SU(3), and `α (N=9=3²)` | ✅ | `QLF_Generations.lean` |
| **The origin of mass / the Higgs** | Mass is the gauge-fold delay `m = 1/R`, not a Yukawa coupling; the Higgs is the fold's resonance; custodial `ρ=1` | ✅ structural / 🔵 VEV | `QLF_HiggsMechanism.lean`, [`Higgs.md`](Higgs.md) |
| **Neutrino mass & nature** | The neutrino is **Majorana** (its own antiparticle; only the self-conjugate fermion can be); smallness = the seesaw | ✅ nature / 🔵 scale | `QLF_NeutrinoMass/Majorana.lean`, [`Beta_Decay_Neutrino_Nature.md`](Beta_Decay_Neutrino_Nature.md) |
| **Proton stability (why no proton decay)** | Baryon number = a conserved signed 3-axis winding invariant; a lone quark cannot close (confinement) | ✅ | `QLF_BaryonWinding.lean` |
| **The strong CP problem (`θ̄ ≈ 0`)** | Every CP-odd winding is zero on every ZFA closure ⟹ `θ̄ = 0` with **no axion** (ZFA closure does the Peccei–Quinn job) | ✅ mechanism / 🟣 field-theoretic | `QLF_StrongCP.lean`, [`CP-Violation-and-Chirality.md`](CP-Violation-and-Chirality.md) §4a |
| **Confinement & the Yang–Mills mass gap** | Lone colour can't close (singlet obstruction); the lightest non-vacuum gauge closure carries one `log 2` ⟹ a positive gap | ✅ substrate / 🧱 continuum | `QLF_MassGap/Confinement.lean`, [`YangMills_MassGap_QLF.md`](YangMills_MassGap_QLF.md) |
| **The weak mixing angle** | `sin²θ_W = 3/8` at unification = the SU(5) GUT normalization, from the same 6+2 split as α and `Ω_Λ` | ✅ unification value / 🔵 running to 0.231 | `QLF_WeinbergAngle.lean`, [`Weak_Force.md`](Weak_Force.md) §2 |
| **Flavor mixing (CKM/PMNS)** | Exactly 3 angles + 1 CP phase (KM needs ≥3 generations); unitarity = closure; PMNS carries 2 extra Majorana phases | 🔵 (angle *values* open) | `QLF_CKM/PMNS.lean` |
| **The hierarchy problem (why gravity is weak / the 10¹⁹)** | Dimensional transmutation: `ln R_p = 2π·b₀ = 14π ≈ 43.98` vs measured 44.01 (0.07%), from the single integer `b₀ = 7` (`N_c=3`, `n_f=6`) | 🔵 (the `α_s` posit + ~3% value) | `QLF_AlphaS/BetaFunction.lean`, [`Per_Qubit_Mass_Quantum.md`](Per_Qubit_Mass_Quantum.md) §3.3b |
| **The muon `g−2` anomaly** | Leading `a_μ = α/2π = a_e` (universal); the discrepancy is the hadronic-vacuum-polarization sector (QLF's open hadronic frontier) — and experimentally unsettled | 🔵 | `QLF_MuonG2.lean`, [`g_minus_2.md`](g_minus_2.md) §4a |
| **Unification of the forces** | One force, three projections — EM = the abelian limit, weak/strong = non-abelian projections; the gauge *force* = the holonomy of the closure connection | ✅ algebras + dynamics / 🔵 couplings | [`Forces_From_Three_Axes.md`](Forces_From_Three_Axes.md), `QLF_GaugeUnification/GaugeHolonomy.lean` |

## 5. Deep / meta-physical

| Mystery | QLF's account | Status | Where |
|---|---|---|---|
| **The unreasonable effectiveness of mathematics** | Dissolved: the *realizable* part of mathematics and physics are the same substrate; effectiveness tracks realizability — which also explains where mathematics *fails* (the continuum forced onto reality) | ✅ dissolution | [`Mathematics_From_QLF.md`](Mathematics_From_QLF.md) §4 |
| **The continuum & the infinities of physics** | The continuum is consistent but *gratuitous* (undetermined, conservative, unrealizable, unneeded) — a *rendering* of the finite computable substrate; the infinities are where it is forced onto reality | ✅ | [`TheContinuum.md`](TheContinuum.md) |
| **Fine-tuning / why these laws** | ZFA balance is the selection principle: physical reality is the self-selecting subset of possibility that closes; the constants are forced, not tuned | ✅ ontology | [`Philosophy.md`](Philosophy.md) |
| **Why is the universe comprehensible** | Because the observer is a Markov blanket doing active inference *inside* the same closure process it models — comprehension is a self-model | ✅ ontology | [`Active_Inference_Mathematics.md`](Active_Inference_Mathematics.md) |
| **Why something rather than nothing / the one premise** | The single premise is ZFA = 0 (a closed totality has no outside reservoir; existence and closure are the same predicate). QLF reduces physics to this one premise but does not derive the premise itself | 🧱 | [`Philosophy.md`](Philosophy.md) §4 |
| **The hard problem of consciousness** | **Functional architecture modeled + a proposed dissolution of qualia** ([`Consciousness.md`](Consciousness.md)): consciousness = the closure-frequency you are resonantly tuned to — conscious thought is the highest-frequency bound closure (`freq_bind_ge_left`), cosmic/meditative states the low-frequency external-joint receiver regime (`quieting_shifts_to_external`); the observer is a finite-capacity Markov-blanket horizon. **Qualia hypothesis (§6):** qualia = self-awareness (the subject) *coupled to* cosmic consciousness (the shared joint-closure ground) — neither alone (self-model-only = functional zombie; field-only = experiencer-less). A two-factor dual-aspect stance with falsifiable leanings, **not a proof** | 🟣 architecture ✅ / qualia = proposed dissolution | [`Consciousness.md`](Consciousness.md), [`lean/QLF_Consciousness.lean`](lean/QLF_Consciousness.lean), [`TheQuantumBrain.md`](TheQuantumBrain.md), [`Active_Inference_Mathematics.md`](Active_Inference_Mathematics.md) |

## 6. What QLF predicts is *absent* — falsifiable nulls

QLF's selection ontology makes several mysteries vanish by predicting there is **no entity** to find. These are falsifiable: discover one and the framework is wrong.

| Predicted absent | Why | Where |
|---|---|---|
| **Supersymmetric partners** (squarks/sleptons) | The supercharge is the half-spin shift; SUSY's boson↔fermion symmetry is the even/odd closure parity — realized with **no doubled spectrum** (predicts the LHC null) | `QLF_Supersymmetry.lean`, [`SUSY_QLF.md`](SUSY_QLF.md) |
| **The axion** | Strong CP is solved by ZFA closure; no Peccei–Quinn field needed | `QLF_StrongCP.lean` |
| **A fundamental dark-matter particle (WIMP, etc.)** | Dark matter is denser logic near masses, not a particle species | [`DarkMatter.md`](DarkMatter.md) |
| **Magnetic monopoles** | The EM sector is the abelian (Pauli-scalar, commuting) projection ⟹ `no_magnetic_monopoles` | `QLF_GaugeUnification.lean` |
| **Proton decay** | Baryon winding is exactly conserved | `QLF_BaryonWinding.lean` |
| **A light Dirac (sterile) right-handed neutrino** | One generation = 15 Weyl fermions (SU(5)'s `5̄⊕10`), **not** SO(10)'s 16 — no light `ν_R` | `QLF_SU5.lean` |
| **Cosmological drift of α** | `α(d)=1/(128+d²)` has no time argument — scale/time-invariance is structural | `QLF_FineStructureSubstrate.lean` |
| **GW speed ≠ c** | A massless gauge-fold-free ripple propagates at exactly `c` (GW170817 confirms to `10⁻¹⁵`) | `QLF_GravitationalWaves.lean` |

## 7. What remains genuinely open — the hard front

QLF's honest frontier is **values, not mechanisms**: for most Standard-Model and cosmological observables the *structure* is machine-checked and the *number* is the open piece. The live, maintained list is [`Open_Problems.md`](Open_Problems.md); the headline open items — all **finite forward work** (a value to compute, a Lean anchor to write):

- **The absolute mass scale.** The whole spectrum is one scale `m_p` × verified ratios, exponentially generated by dimensional transmutation — but the calibration (the `R_e ≈ 2.4×10²²` closure-multiplicity count, and `α_s` as a *derivation* rather than a running-consistent posit) is open.
- **The Yukawa sector.** The CKM/PMNS *counts* and unitarity are anchored; the *angle values* and CP phase are not derived (quark-small vs lepton-large is a structural reading, not a number).
- **The weak couplings & masses.** SU(2) is machine-verified; `g`, `G_F`, the W/Z masses (the Higgs VEV), and the RG running `sin²θ_W: 3/8 → 0.231` are open.
- **The β⁺ / weak rate `G_F`** — sets the solar fusion rate and the n/p ratio; open (as in the SM).
- **Magnitudes:** `η_B` (baryon asymmetry), the BBN `r` and D/⁷Li, the muon `g−2` hadronic residual — open, as in the SM.
- **The full Einstein tensor equations** — the curvature side now has the Millennium shape (verified discrete core: flat `R=0`, branching `|L_k|` growth, the Poisson statistical kernel; plus the one continuum bridge axiom `benincasa_dowker_limit`). The remaining substrate computation is assembling the full tensor `G_μν = 8πG T_μν` from the Benincasa–Dowker action and general `d ≥ 3`.
- **`H₀` / cosmic depth `n` from the substrate** — would close the last cosmological empirical input.
- **Condensed matter** — the BCS gap equation, the FQHE filling fractions / Laughlin wavefunction, topological bands (the QHE resistance and Cooper-pair-boson are anchored).

The pattern is consistent and is itself the claim: QLF reduces the open problems to a small set of *numbers*, with the *mechanisms* machine-checked — the inverse of the usual situation, where the numbers are measured and the mechanisms are mysterious.

### The continuum bridges are not QLF's homework

A separate category that this survey deliberately does **not** list among the "remaining open" work above: the **continuum reformulations** of the analytic Millennium problems — Riemann's statement about `ζ`'s zeros, the Yang–Mills *continuum-QFT* existence of the gap, Navier–Stokes *continuum-PDE* smoothness. These are statements *about the continuum*, and QLF holds the continuum to be [gratuitous](TheContinuum.md) (consistent but undetermined, conservative, and unrealizable). So QLF's stance is the **reverse** of "these await a continuum proof":

> Each problem **reduces to a finite problem on the substrate**, where the core is verified (`mass_gap_quantum_pos = log 2 > 0`; the ZFA-balanced critical line; no realized flow blows up). The continuum reformulation need **not** — and, on QLF's reading, likely **cannot** — be settled on its own terms. The bridge axiom (`spectral_hilbert_polya`, `yang_mills_continuum_gap`, `navier_stokes_continuum_limit`) marks exactly where the gratuitous continuum begins; it is the **boundary**, not a gap in QLF's account. To list it as "remaining to be solved" would concede the continuum's terms — the move QLF declines.

This is the whole point of the [continuum-is-gratuitous](TheContinuum.md) case: a problem is *solved* when it is reduced to the realizable finite substrate; demanding a continuum proof on top is demanding a proof in a frame QLF argues is superfluous. *(The genuinely **finitary** conjectures — Hodge, which is finite ℚ-linear algebra; P vs NP, a finitary separation — are a different category, not continuum issues at all: there the open piece is faithfulness / separation, and "the continuum is gratuitous" does not apply.)*

---

## See also

- [`Open_Problems.md`](Open_Problems.md) — the live gap registry (status-organized; updated as items close).
- [`README.md`](README.md) — the project overview and the convergence themes.
- [`Millennium.md`](Millennium.md) — the six Clay problems on the substrate.
- [`TheContinuum.md`](TheContinuum.md) — why the continuum (and its infinities) is a rendering.
- [`Mathematics_From_QLF.md`](Mathematics_From_QLF.md) — how mathematics emerges; Wigner dissolved.
- [`Philosophy.md`](Philosophy.md) — the possibilist ontology and the single ZFA premise.