Definition: Complete residual family

For $S$ in Definition def:stressclass, let $\mathfrak{W}(S)$ be the family containing:

1. its trace field;

2. every conformal-current conservation residual;

3. every compact-slab implementation residual, for all conformal Killing fields, all Wick fields, all ordered products, all admissible collars, all compact joint kernels, and all matrix elements on ${\mathcal{D}}_E$;

4. the elementary and descendant contact residuals, using the polarization prescription of Section sec:contacts.

The comparison transformation in these residuals is the fixed free-scalar action already calculated. Thus $\mathfrak{W}(t)=0$.