Skip to main content

A registered result in its source context

Original ledger classification: Identity/Lie [I]/[L] + anchor identification

Recorded statement: Central-theorem RESIDUAL RESOLVED (honestly) as an anchor, not a gap [I-symbolic + L]. The Seeley-DeWitt coefficient for the carrier Dirac operator is a2 = (1/(4pi)^2)(1/6)(R d + 6E d) with E=-R/4 (Lichnerowicz) = -d/(192 pi^2) R,…

Statement, assumptions and sources

Paper context: Origin Theory

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

SEAM.AREACOEFF.02

Original ledger classification: Identity/Lie [I]/[L] + anchor identification

Original claim text

Central-theorem RESIDUAL RESOLVED (honestly) as an anchor, not a gap [I-symbolic + L]. The Seeley-DeWitt coefficient for the carrier Dirac operator is a2 = (1/(4pi)^2)(1/6)(R d + 6E d) with E=-R/4 (Lichnerowicz) = -d/(192 pi^2) R, d=carrier dof (16=dim S+ or 32=2^g_car). The induced Einstein-Hilbert coefficient is 1/(16 pi G)=f2 Lambda^2 d/(192 pi^2) - UV-SENSITIVE (depends on the seam cutoff Lambda and the cutoff moment f2). So 1/G is NOT a pure number (Sakharov 1967 / Connes spectral-action induced gravity); the residual k=c3/2 (v67) is the seam normalization P1 carried through the heat kernel, NOT a free-standing derivation, and the physical identification 'seam scale=observed Planck scale' is the ONE irreducible dimensionful anchor (v_geo; no metre from pure math, units argument). What IS cutoff-independent and derived: the R^2 coefficient (Starobinsky, v36/G2 a4|R2=R2/72), the scalaron mass M_scal=c3^(7/2) Mbar~3.06e13 GeV, v_GW=c (v8). CONCLUSION: the central theorem is 'maximally closed' - structure proven (v67), predictive gravitational content derived, residual = the single anchor every theory carries, not a missing computation

Original classification detail

Identity/Lie [I]/[L] + anchor identification

Dependencies as recorded

SEAM.AREACOEFF.01; v36; v67

Open the original ledger source, row 121

Location 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.

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.

All 24 linked sections

Registered verification modules

  • v68_seeley_dewitt_residual.pyRegistered verification module · frontier
    Read the description recorded in the module registry

    Seeley–DeWitt: absolute 1/G is the one dimensionful anchor

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.