Support restrictions that are actually stable

For any compact $A⋐U$, simultaneous compact support of all dynamic fields in $A$ is stable under (eq:nonlinear). In particular, restricting $\bar{c}$ requires the same support restriction on $b$, because $s\bar{c}=b$.

One may instead work with arbitrary smooth germs and compact smearing tests. That is the main local algebraic interpretation here. Compact configurations will be used only as an evaluation sector for finite reports.

A space with compact antighost but unrestricted auxiliary field is not used: $s$ need not be tangent to such a space.