Manuscript XI-F@2 · XI-F-v2.tex · section · f4899be0
Non-imports
Scope, the two gates, and the corrections › Non-imports · lines 370–381
X-E's normalization with dressing , and X-F's three-tree cancellation in that normalization, are not premises. Their mechanism, that a held-fixed split can be a truncation, is the same mechanism that appears in Section sec:F3; no factor, flat-gauge residual, or sum-zero lemma is copied. VII-C's word, reflected residue, and hypotheses (E1)–(E4) stay out. The empty fixed-input Einstein jet remains XI-A's result XIA.