Manuscript X-A@1 · X-A.tex · section · dc7f5c0a
A sourced diagnostic
Two mandatory tests and the zero-switch check › A sourced diagnostic · lines 1936–1943
This diagnostic checks the sign bookkeeping of (eq:A1) on a sourced coefficient without adding an external source to the action. It is not a coupled existence theorem, the metric is not put on shell, and the vanishing in the second case is a property of the particular pair , not a general identity.