What is transferred

The analytical source is N. Cheung's X-F, version 1, which replaces the flat interaction gauge of X-E by a background de Donder gauge and supplies the mixed and self trees in addition to the matter tree XF,XE. The supplied X-E-ST and X-D-ST are predecessor source records XEST,XDST. Their labels do not by themselves assert registration or independent verification.

This paper states the inherited definitions needed by the proof. It does not assume the parent all-tree theorem as a premise. The direct commutator, admission, and equation-ideal arguments are supplied below.

The supplied X-G correction distinguishes retarded solution maps from variational Møller maps XG. That distinction is incorporated explicitly. It does not change the three source expressions or the direct cancellation proved here.

The identifier X-F-ST denotes this proposed manuscript. No repository installation, external registration, submission, acceptance, or successful compilation is asserted.