Manuscript X-I-ST@1 · X-I-ST.tex · proposition · 9745fd40
Proposition: Order-level tree non-interference
Section C: diagnostics preserved in their exact scopes › The three-tree plateau is retained once · lines 1574–1587 · proof included or linked
X-I-ST@1#prop:trees
The additional vertex in (eq:newaction) cannot alter a coefficient through order two in any coupling-filtration-preserving calculation with the same lower-order data. Thus the retained three-tree plateau identity remains a valid comparison at its original order.
Proof. The new data begin at order three. Apply Lemma lem:orderprotection.