Manuscript X-H-ST@1 · X-H-ST.tex · proposition · 943aa27e
Proposition: Compact relative ghosts do not solve this problem
The essential limitation: no automatic free-carrier descent · lines 1002–1016 · proof included or linked
X-H-ST@1#prop:compactghost
A smooth ghost coefficient compactly supported in spacetime and satisfying on the completion is zero. Consequently restricting ghosts to does not produce a nontrivial interacting action on the unrestricted free ghost carrier.
Proof. A Cauchy surface earlier than the compact support has zero position and velocity data. Wave uniqueness gives the zero solution.