A registered result in its source context
Original ledger classification: Open (global measure only; local equation closed v359)
Recorded statement: RESIDUAL GATE (5.0 review, B6/C7) -- RESCOPED 2026-06-24: the LOCAL covariant metric-sector field equation is now CLOSED parameter-free (G_ab+Lambda g_ab=(1/c3)T_ab, both coefficients fixed, Einstein tensor via Lovelock;…
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
GATE.METRIC.01
Original ledger classification: Open (global measure only; local equation closed v359)
Original claim text
RESIDUAL GATE (5.0 review, B6/C7) -- RESCOPED 2026-06-24: the LOCAL covariant metric-sector field equation is now CLOSED parameter-free (G_ab+Lambda g_ab=(1/c3)T_ab, both coefficients fixed, Einstein tensor via Lovelock; GRAV.NONLINEAR.01/v359, extending v358); c3=1/8pi is the gravitational seam constant and R+R^2/scalaron (M=c3^{7/2}Mbar) is the heat-kernel-grounded IR shadow. What remains OPEN is ONLY the GLOBAL nonperturbative ambient metric-sector measure (QG.AMB.01), now a [C] redundancy gap-decoupled from every readout (Delta_eff~1.648>0, v369/v337). So this gate no longer reads 'full covariant field equation open' -- the local equation is closed; the open item is the global measure alone
Original classification detail
Open (global measure only; local equation closed v359)
Dependencies as recorded
QG.AMB.01; GRAV.NONLINEAR.01
Open the original ledger source, row 55Location 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
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- 2026-06-24 (The five TOE/QFT closure contracts v398– v402 + a ledger rescope)Research changelog; TFPT — Introduction and reading guide
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.
- Status summary and open audit pointsArchitecture, E8 and the electromagnetic fixed point
- Status summary and open audit pointstfpt 1 architecture e8
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Status summary and open audit pointstfpt 1 architecture e8
Registered verification modules
- v22_open_gates_audit.pyRegistered verification module · frontier
Read the description recorded in the module registry
residual-gates audit: forced part vs named residual
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.