A compact descent criterion

If invariance is required against every compact gauge vector, the local identity is also necessary because compact tests separate smooth functions. For the smaller residual-wave test class, only sufficiency is asserted.