Manuscript X-I-ST@1 · X-I-ST.tex · proposition · 9745fd40
Proposition: Retained positive reciprocity witness
Section C: diagnostics preserved in their exact scopes › Reciprocity is a separate classical obstruction · lines 1492–1537 · proof included or linked
X-I-ST@1#prop:reciprocity, X-I-ST@1#eq:reciprocity
For these data,
The additional scalar interaction contributes zero to this metric diagnostic. In particular, it supplies no repair of the X-G exact source-preserving variational-upgrade obstruction.
Proof. Since , equation (eq:typedcommutator) gives and likewise for . The Lie components are
Their components do not change the trace-reversed output used in the pairing. For such a tensor , . The spatial Laplacians integrate to zero, leaving
Two compact integrations by parts prove (eq:reciprocity).
The added potential is independent of , so its metric first and second derivatives vanish identically. It changes neither nor this pairing.
Displayed formulas in this passage
X-I-ST@1#eq:reciprocity · line 1495
unlabeled · line 1514
unlabeled · line 1525