B4: zero switch with the dressing intact

A nonzero coordinate coefficient alone would not prove this for an arbitrary chosen test. The witness proves an actual nonzero on-shell class.

At zero switch $P_g$ is empty, so the plateau Ward claim is vacuous. The specialization does not introduce a new gauge algebra. It verifies the functional identity with all dressing tests left intact.