T7: local constraints and zero-mode removal.
tfpt research contracts · Research contracts
GRAV.SPIN2.LOCAL.CONSTRAINT.01. v1029_ local_ tensor_ constraints.py implements a quadratic target, not a TFPT embedding. For six orthonormal symmetric tensor coordinates, let [formula in source] , [formula in source] , [formula in source] , [formula in source] . Set [formula in source] with constraints [formula in source] , [formula in source] . Direct polynomial algebra gives [formula in source] The four constraint
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
tex-artefacts/toe_round4_proofs.tex · lines 375 to 422
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v1029_local_tensor_constraints.py
literal source filename/path in TeX