The baryon density readout
Original ledger classification: Numerical
Recorded statement: Omega_b = (1-1/4pi) phi0 = 0.04894
Statement, assumptions and sources
Paper context: Architecture, E8 and the electromagnetic fixed point
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
COSMO.OMB.01
Original ledger classification: Numerical
Original claim text
Omega_b = (1-1/4pi) phi0 = 0.04894
Original classification detail
Numerical
Dependencies as recorded
AX.P1.01; phi0
Open the original ledger source, row 43Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Architecture, E8 and the electromagnetic fixed point
- E8 audit and bootstrap
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- Dependency Graphnote carrier rigidity lean4
- What This Note Is Aboutnote carrier rigidity lean4
- Appendix: computational verificationFrontier and open physical interfaces
- Inflation interfacetfpt 1 architecture e8
- Appendix: computational verificationtfpt 1 architecture e8
- Front matter / supportnote carrier rigidity lean4
- 2026-06-25 (No-Ambient-Dependency: no frozen readout is computed from QG.AMB.01: v423)Research changelog; TFPT — Introduction and reading guide
- Appendix: computational verificationStandard Model and flavor structure
All 24 linked sections
- Yukawa: Stage D resolves the v5 critique.
- Inflation interface
- Appendix: computational verification
- The [formula in source] orders of the cosmological constant
- Front matter / support
- v8 — Calderón structural + Higgs Stage B
- v7 — Signature lock, predicate rename, interface discipline
- The [formula in source] orders of the cosmological constant
- Appendix: computational verification
- Flavor budget split, row sums, scalaron deficit
- Inflation interface
- The [formula in source] orders of the cosmological constant
- Flavor budget split, row sums, scalaron deficit
- v6 — Yukawa Stage D and Calderón interface
- Appendix: computational verification
- Full quantum gravity — induced from the boundary kernel
Registered verification modules
- v7_gravity_cosmo.pyRegistered verification module · gravity
Read the description recorded in the module registry
scalaron c₃⁷, A_s, n_s, r, Ω_b, sin²θ₁₂
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.