2026-06-19 (an infinite-derivative narrowing of the Stelle-ghost attack, the double-pushout figure, and the ``constancy of [formula in source] '' framing of SEAM.EQUIV.01: v304)
Research changelog · TFPT — Introduction and reading guide
v304_idg_nonlocal_ghost.py ( QGAMB.IDG.01, / ). A conditional, parameter-free narrowing of the red-team rt_F/ v278 Stelle-ghost attack on the perturbative gravity sector. \ the local [formula in source] Weyl [formula in source] four-derivative propagator [formula in source] carries a negative-residue massive spin-2 mode (the Stelle ghost) only as a truncation artefact; \ for an entire graviton form factor [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/017-source.tex · lines 92 to 115
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v281_holomorphy_modular_data.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v278_lsz_bridge_unitarity.py
literal short identifier uniquely resolves in local script registry
- cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v92_glue_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v277_seam_calderon_e8_match.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v234_seam_holomorphy_selection.py
literal short identifier uniquely resolves in local script registry
- cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v267_qgeo_rigidity_minimal_axiom.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.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 script identifier v259_modular_cutoff_kappa.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v1_e8_glue.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v304_idg_nonlocal_ghost.py
literal source filename/path in TeX
- cross reference join AxiomCheck.lean
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 script identifier v260_k3_kummer_unification.py
literal short identifier uniquely resolves in local script registry