Use when a symmetry must be formulated, tested, or promoted into exact gauge, integrability, or global geometric structure.
