Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare readOnly, idempotent, non-destructive, closed-world behavior. The description adds two useful behavioral facts beyond that: verification is deterministic (repeatable, rule-based rather than judgement-based) and unsupported claims are rejected. It does not say how mixed claim sets are reported, which is left to the output schema.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.