Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare readOnlyHint, idempotentHint, and destructiveHint=false, so the description wisely avoids repeating those. It adds genuine behavioral detail: rows are hash-only, chained, citeable, and empty results are permitted. It also signals that self-lookup requires proof, which goes beyond the annotation layer. 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.