Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already cover the safety profile (readOnly, idempotent, non-destructive), lowering the burden. The description adds the qualifier that the source is 'verified', implying behavior for unverified contracts but without stating it. No contradiction exists, but there is little extra behavioral context beyond the schema and annotations.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.