A registered result in its source context
Original ledger classification: Identity (quadratic target only; global zero-mode prescription required)
Recorded statement: Polynomial first-class constraints for a quadratic tensor target leave exactly two positive linear-dispersion modes at nonzero momentum. Staggered differences give a finite stencil and no extra zero corners. At k=0 all constraints vanish…
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
GRAV.SPIN2.LOCAL.CONSTRAINT.01
Original ledger classification: Identity (quadratic target only; global zero-mode prescription required)
Original claim text
Polynomial first-class constraints for a quadratic tensor target leave exactly two positive linear-dispersion modes at nonzero momentum. Staggered differences give a finite stencil and no extra zero corners. At k=0 all constraints vanish and the trace momentum gives H0=-3r^2/4; positivity requires removing the whole global canonical block. Fixed finite-site exact CCR are impossible; collective low-energy emergence is not excluded. No TFPT embedding or universal nonlinear coupling is proved.
Original classification detail
[C] radiative target after global zero-mode removal; T7 remains [O]
Dependencies as recorded
GRAV.SPIN2.EMERGENCE.01
Open the original ledger source, row 783Location 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
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.
- T7: local constraints and zero-mode removal.tfpt research contracts
- T7: local constraints and zero-mode removal.tfpt research contracts; 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.
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- 2026-09-05 (CLVIII): non-RH round 4 — uniform TEL-B norm and explicit T1–T8 boundariesResearch changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Full quantum gravity — induced from the boundary kernelFrontier and open physical interfaces
Registered verification modules
- v1029_local_tensor_constraints.pyRegistered verification module · frontier
Read the description recorded in the module registry
Local tensor constraints give two z=1 radiative modes after explicit global zero-mode removal; no TFPT embedding
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.