Complete contact freedom and zero-momentum calibration

Transversality is a normalization requirement of this extension class. An arbitrary unnormalized extension can contain additional nontransverse local terms. The theorem neither counts them as physical parameters nor claims that the Ward condition holds automatically for every such extension.