A finite Ward-contact consistency certificate

This is the finite residual interface of Oai282-A, reproved here Cheung282A. It certifies the named family, including the multiplied tests $X^{\nu }F$ and ${\sigma }_{X}F$.

A conserved Wightman current distribution does not acquire time-ordered contact terms merely by calling its divergence a Ward identity. Conversely, derivatives of time-ordered products need not equal time ordering of field derivatives. The contact prescription must resolve that distinction HollandsWald.

No stress-current realization of a source categorical functor is deduced by (eq:ward). No bounded-score measurement bridge for these unbounded field insertions is constructed.