Frontier Items
η_B, m_p/m_e, Koide, dark matter and quantum gravity — honest status
The honest frontier: which physics has a genuine TFPT handle and which does not. For each of η_B, m_p/m_e, the Koide relation, dark matter and full quantum gravity, this note states the genuine structural handle, the precision it currently lands at, and — crucially — what is not a clean compiler power and is deliberately not forced onto the ladder. This document is the status authority for the frontier items.
- ›The closed branch of Documents 1–3 (compiler, SM packet, scale grammar).
- ›η_B = 6.1×10⁻¹⁰ as a downstream readout from the closed Ω_b h² (not a fundamental compiler power).
- ›The Koide relation computed exactly: Q = 0.664, 0.33% below the democratic target 2/3 = |ℤ₂|/N_fam.
- ›The axion dark-matter candidate fixed (θ_i = 170° closed), with f_a = M_scal/128 a conjecture; full QG R + R² heat-kernel grounded, ambient measure open.
- ›η_B as a fundamental compiler power, the absolute axion relic abundance, an exact Koide 2/3, and m_p/m_e as a compiler number are all explicitly not claimed.
- ›Hard rule: Koide, η_B, the axion relic scale and m_p/m_e are not compiler powers unless their missing QFT/cosmology transfer is supplied.
- ›Fails if a frontier item is silently asserted as a forced compiler power; m_p/m_e is explicitly left open [A] and only fails if mis-asserted.
Key formulas
- η_B (downstream)From closed Ω_b h² = 0.0222; not a compiler power. [P]
- KoideNear-miss, 0.33% below 2/3; not exact at source. [P]
- Axion DMCandidate fixed, θ_i = 170° closed; f_a conjectural. [P/A]
- QG gap-decouplingR + R² grounded (G2); ambient measure (G6) open. [F/A]
Baryon asymmetry η_B — downstream readout
From the closed baryon fraction Ω_b = (4π − 1)β_rad, the asymmetry follows as a cosmological readout. As a fundamental compiler power it is not closed — the leptogenesis Boltzmann solve is not carried out.
The Koide relation — near 2/3, computed exactly
The source-level Koide quotient from the lepton φ₀-ladder is 0.664, 0.33% below the democratic compiler target 2/3 = |ℤ₂|/N_fam. A source→pole transfer conjecture brings it onto 2/3, but is not a derivation.
Dark matter — candidate fixed, scale pending
The candidate is the determinant-line axion of the strong-CP sector; WIMPs are ruled out (no spare E₈ singlet). The misalignment angle is closed; the decay constant is a conjecture.
Full quantum gravity — induced from the seam
c₃ = 1/(8π) is the gravitational seam constant; the spectral action gives R + R² structurally (G2), and the closed admissible sector is gap-decoupled from the un-built ambient (G5, Decoupling Theorem). The ambient measure (G6) is holographically reduced to a finite seam-boundary measure — the strict-TOE completion target, no longer a bulk problem.