Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare readOnlyHint=true, idempotentHint=true, and destructiveHint=false. The description adds important non-obvious behavior: the return format (JSON passport with Lean 4 proof hash), legal compliance (EU AI Act Art. 14), and the £10 per-call cost. No contradiction exists.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.