Manuscript X-F-ST@1 · X-F-ST.tex · section · e71f03ef
The needed equation-ideal extension
F4: the graviton-slot ideal and direct cancellation › The needed equation-ideal extension · lines 1747–1754
This argument supplies the mixed graviton slot needed in the cancellation; a scalar-slot equation relation alone would be insufficient. It is not a general converse theorem identifying every free-shell vanishing functional with an equation image.