Full auxiliary and ghost blocks

In particular,

has the supplied sign. The indefinite tensor factor causes no problem for this algebraic construction; positivity is not a hypothesis.

For non-translation-invariant product data, the safe definitions are the actual slot derivatives in (eq:Haux). Replacing $D_y{H}_{\gamma \gamma }$ by ${\mathcal{R}}_x{h}_0$ without translation invariance is not valid.