A registered result in its source context
Original ledger classification: Numerical
Recorded statement: scalaron exponent 7; M_scal^2/Mbar^2 = c3^7 (3.06e13 GeV)
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
GRAV.SCAL.01
Original ledger classification: Numerical
Original claim text
scalaron exponent 7; M_scal^2/Mbar^2 = c3^7 (3.06e13 GeV)
Original classification detail
Numerical
Dependencies as recorded
AX.P1.01
Open the original ledger source, row 40Location 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
- Standard Model and flavor structure
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.