Positive transverse curvature on the null cone
Original ledger classification: Identity in declared free continuum target [E]; TFPT identification [O]
Recorded statement: On the null cone the linearized Riemann sandwich of the de Donder form equals a rank-two positive TT polarization factorization. The polynomial kernel defines a positive-energy Lorentz-covariant local free curvature Wightman field with…
Statement, assumptions and sources
Paper context: Frontier and open physical interfaces
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.FREE.CURVATURE.COVARIANT.01
Original ledger classification: Identity in declared free continuum target [E]; TFPT identification [O]
Original claim text
On the null cone the linearized Riemann sandwich of the de Donder form equals a rank-two positive TT polarization factorization. The polynomial kernel defines a positive-energy Lorentz-covariant local free curvature Wightman field with helicities +/-2 and the same global Fock space as the electric curvature target. Local-net equality and a finite-range lattice realization of every curvature component are not asserted. No common TFPT parent or nonlinear interaction.
Original classification detail
[E] free curvature theorem plus 34 exact checks; T7 and TOE [O]
Dependencies as recorded
GRAV.FREE.CURVATURE.FOCK.01; GRAV.SPIN2.EMERGENCE.01
Open the original ledger source, row 786Location 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.
- Frontier and open physical interfaces
- 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.
- Honest statusinput 4 origin theory
- Rounds 6 and 7: free quantum curvature, covariant extension, charged disorder, mirror parent, and first-order matter couplingtfpt research contracts; tfpt research contracts; Research contracts
- Round 7: a Lorentz-covariant free curvature field on the Round 6 Hilbert spacetfpt research contracts; tfpt research contracts; Research contracts
- Honest statusorigin theory
- Validation, provenance, and the remaining obligation.tfpt research contracts; tfpt research contracts; Research contracts
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- Honest statusOrigin Theory
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v1032_covariant_curvature.pyRegistered verification module · frontier
Read the description recorded in the module registry
Positive covariant local free curvature field with helicities plus/minus two; nonlinear gravity open
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.