The invariant survives the projection. All non-linear noise is bounded by the lattice; the root is already verified.