An explicit affine superpotential

Compatible affiliation in causally commuting regional algebras, together with the required invariant-domain products, is one way to justify item three. The proposition does not infer it from weak field commutation alone.

If global affine charges are separately defined by suitable spatial limits and their collar terms vanish, the same argument gives equality of those charges. No unrestricted charge integral or boundary limit is constructed here.