Dependencies and verification scope

The proofs use the explicit quadratic action, compact interior variation, ordinary smooth wave Cauchy theory, algebraic trace reversal, and graded central commutation relations. They do not use a graviton Hadamard matrix from another manuscript.

The supplied XI-A is used for its signed action and the Einstein-jet obstruction. The ramp coefficient is derived from the displayed divergence-form prescription. VII-C is used only to identify the separate hypotheses that are not constructed here.