Manuscript IX-D-ST@1 · IX-D-ST.tex · proposition · b1dc631a

Proposition: Conditional source-contact incompatibility

Conditional source contacts, subtraction, and order audit · lines 909–925 · proof included or linked

IX-D-ST@1#prop:contact

Under Assumption ass:source, the additional prescription $H^{TO}_{j h} = 0$ is inconsistent.

Proof. Compatibility forces $H^{TO}_{j h} = c_{F} δ$ . A nonzero real compact test $q$ gives

⟨ c_{F} δ, q \otimes q ⟩ = c_{F} \int q^{2} \neq = 0.

For a bundle-valued identity select a nonzero diagonal component and matching bundle tests.

Displayed formulas in this passage