A registered result in its source context
Original ledger classification: Open (research contract)
Recorded statement: Research Contract 2 (G_metric): lemma chain G0-G8 + Theorem G; priority 2 (deep analytic programme). Certified: G5 gap-dominance 2||V||=0.785<Delta=2.433, Delta_eff>1.647
Statement, assumptions and sources
Paper context: Research contracts
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
CONTRACT.G.01
Original ledger classification: Open (research contract)
Original claim text
Research Contract 2 (G_metric): lemma chain G0-G8 + Theorem G; priority 2 (deep analytic programme). Certified: G5 gap-dominance 2||V||=0.785<Delta=2.433, Delta_eff>1.647
Original classification detail
Open (research contract)
Dependencies as recorded
GATE.METRIC.01; GRAV.FR.01
Open the original ledger source, row 33Location 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.
- Research contracts
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
- Front matter / supportResearch contracts
- 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
- Research Contract 1 — [formula in source]tfpt research contracts
- Schwarzschild thermodynamics in four [formula in source] -linesHorizon readouts
All 18 linked sections
- Front matter / support
- Referee Exit Snapshot — Version 2.8
- 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 1 — [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
- v29_research_contract_certs.pyRegistered verification module · frontier
Read the description recorded in the module registry
contract certs: wall enumeration; G5 gap-dominance
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.