Manuscript X-J-ST@1 · X-J-ST.tex · proposition · 8f0d1a36
Proposition: No action or lower-order interference
Preserved diagnostics and explicit separations › The earlier trees are not counted again · lines 1976–1993 · proof included or linked
X-J-ST@1#prop:noninterference
X-J-ST modifies neither the classical action (eq:SI) nor its equations. The diagnostic insertions are not extra action vertices or extra trees.
Consequently the retained tree packet, free Hessian, free propagators, and predecessor free fish and null-wavefront conditionals are unchanged.
Proof. The only added constructions are coefficient extraction, specified comparison data, and finite report channels. None changes an action coefficient or a free numerical distribution.