Public invariant update