Update physical invariant check.