Analytical and bibliographic inputs

The differential identities, obstructions, orbit section, closed-range test, and compact Ward construction are proved below. The analytical background is smooth wave and Klein–Gordon Cauchy theory with finite propagation BGP; we include the estimates needed for its use.

The Coulomb comparison concerns precisely the kernels of the cited version of Donnelly and Giddings DG. Cheung's companion manuscripts are cited as versioned unpublished source records Registry. Their comparison role is collected in Section sec:nontransfer. They are not hypotheses of the five principal theorems: Theorems thm:product, thm:Killing, thm:jet-descent, thm:reduced-Cauchy, and thm:compact-pair.