The specified free curvature field target
Original ledger classification: Identity in declared zero-mean free target [E]; TFPT identification [O]
Recorded statement: Declared local tensor target after removal of the entire unstable global zero block: C=r^4 P_TT, positive pure quasi-free Weyl/Fock state with 2(V-1) real oscillators and thermodynamic then distributional continuum limit. Full written…
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.FOCK.01
Original ledger classification: Identity in declared zero-mean free target [E]; TFPT identification [O]
Original claim text
Declared local tensor target after removal of the entire unstable global zero block: C=r^4 P_TT, positive pure quasi-free Weyl/Fock state with 2(V-1) real oscillators and thermodynamic then distributional continuum limit. Full written analytic proof plus 53 exact and 16 floating checks; finite-dimensional exact CCR excluded. No microscopic TFPT derivation or nonlinear coupling.
Original classification detail
[E] free-target theorem only; T7 and TOE remain [O]
Dependencies as recorded
GRAV.SPIN2.LOCAL.CONSTRAINT.01; GRAV.SPIN2.EMERGENCE.01
Open the original ledger source, row 785Location 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
- Executable certificate, costs, and remaining limits.tfpt research contracts; tfpt research contracts; Research contracts
- Honest statusorigin theory
- 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
- Round 6 prerequisite: a free quantum curvature field on the staggered tensor targettfpt research contracts; tfpt research contracts; Research contracts
Registered verification modules
- v1031_quantum_tensor_curvature.pyRegistered verification module · frontier
Read the description recorded in the module registry
Free zero-mean curvature Weyl/Fock target and distribution limit; no TFPT parent
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.