Source and contribution

The analytical source is N. Cheung's Landmark X-G: The normalized BRST multiplet and the one-loop background gate: proved compatibility conditions, an exact-upgrade obstruction, and the remaining nonlocal extension problem, version 1 XG. The supplied X-E-ST and X-F-ST are predecessor source records XEST,XFST. Their identifiers do not establish registration or independent verification.

The present proof does not use the parent obstruction or free-BRST theorem as a premise. Their required operators, signs, and arguments are stated explicitly. Conversely, the inherited scalar completion and three tree expressions are not reconstructed as additional response maps. Only the algebraic interface needed to explain their survival is checked.

The principal normalization, free differential, reciprocity argument, and positive witness are attributed to X-G. The supported transfer and the audits in this manuscript are not priority claims for those parent results.

The source is proposed as X-G-ST. No repository installation, external registration, submission, acceptance, or successful compilation is asserted.