Exact inputs and six controls

Every row specifies species, momenta, reference vectors, polarizations, replaced leg, and gauge vector. The central evaluation is rational; contact coefficients may still be arbitrary real constants.

The analytic controls are:

$C_1$

One-species Einstein longitudinal cancellation.

$C_2$

Associative two-species cancellation with the canonical reference quartic.

$C_3$

Rank-one species factorization with its canonical longitudinal law.

$C_4$

Simultaneous permutation of all external labels.

$C_5$

Channelwise equality of direct and Ward-reduced exchanges.

$C_6$

Zero target and zero response of every raw contact at the designated blind seed.

These are proved mathematical identities, not reports of executed regression tests. An analytic zero on a control domain is stronger than a finite list of sampled zeros. Conversely, an analytic identity does not certify an unrun software implementation.