A registered result in its source context
Original ledger classification: Identity/Physical (regime) + Open (full measure)
Recorded statement: R+R^2 covariant field equation CLOSED [I/P]: f(R)=R+R^2/(6M^2), M=c3^(7/2)Mbar=3.06e13 GeV=scalaron mass (m^2=1/(3 f_RR)=M^2); f(R) Einstein-side eq + 4D trace; N*=57 -> n_s=0.96491,r=0.00369,A_s=2.17e-9. Full metric measure OPEN [A]…
Statement, assumptions and sources
Paper context: Standard Model and flavor structure
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.FR.01
Original ledger classification: Identity/Physical (regime) + Open (full measure)
Original claim text
R+R^2 covariant field equation CLOSED [I/P]: f(R)=R+R^2/(6M^2), M=c3^(7/2)Mbar=3.06e13 GeV=scalaron mass (m^2=1/(3 f_RR)=M^2); f(R) Einstein-side eq + 4D trace; N*=57 -> n_s=0.96491,r=0.00369,A_s=2.17e-9. Full metric measure OPEN [A] (G_metric); rel bound 248 c3^2=0.393<6log(3/2)=2.433
Original classification detail
Identity/Physical (regime) + Open (full measure)
Dependencies as recorded
QG.AMB.01; scalaron c3^7
Open the original ledger source, row 34Location 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.
- Standard Model and flavor structure
- Frontier and open physical interfaces
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.
- Appendix: computational verificationFrontier and open physical interfaces
- Referee exit architecture (how TFPT closes open interfaces).tfpt-theory-fullv28
- The ambient closure: one spectral-action measure, IR-complete by decouplingtfpt 2 standard model
- Electroweak scale and lepton ladder (constant factory, v2.8)tfpt-theory-fullv28
- Verification Suite Summarytfpt-theory-fullv28
- Schwarzschild thermodynamics in four [formula in source] -linesHorizon readouts
- Front matter / supportResearch contracts
- Referee Exit Snapshot — Version 2.8tfpt-theory-fullv28
All 15 linked sections
- Research Contract 2 — [formula in source]
- The ambient closure: one spectral-action measure, IR-complete by decoupling
- Front matter / support
- 2026-06-23 (Direction 2, the disciplined result: the gap-induced GR correction is the known [formula in source] scalaron — already falsifiable via [formula in source] ; a new forced near-term deviation does NOT survive the discriminator and is declined: v360)
- 2026-06-15 (archive integration \#5: six dormant results revived from the old papers)
- Research Contract 2 — [formula in source]
- Research Contract 2 — [formula in source]
Registered verification modules
- v28_gravity_fR.pyRegistered verification module · gravity
Read the description recorded in the module registry
R + R² closed: f(R), scalaron c₃^(7/2)M̄; n_s, r, A_s
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.