Manuscript X-I-ST@1 · X-I-ST.tex · proposition · 9745fd40
Proposition: Unchanged free analytical tests
Section C: diagnostics preserved in their exact scopes › Free fish and wavefront conditionals · lines 1606–1622 · proof included or linked
X-I-ST@1#prop:freeWF
The free Hessian, propagators, causal brackets, and the specific free numerical distributions entering the X-G-ST fish and null-wavefront diagnostics are independent of . Every conditional statement about those unchanged objects retains its original hypotheses and conclusion.
Proof. The added vertex has no quadratic part at the zero configuration. The definitions of the free operators in Section sec:free are therefore unchanged. Applying the same operations to the same free distributions gives the same diagnostic objects.