The angular current is a smooth contraction, not singular lowering

This is an explicit presentation-compatibility calculation. It does not rely on checking finitely many null relations and then assuming coverage of all relations. The distinction between a distributional extension and a descending realization of several presentations is also emphasized in the supplied XV-B material CheungXVB.