Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare non-read-only, non-destructive, and idempotent behavior. The description adds genuinely new context: the plan never claims execution or verification, an immutable receipt is stored, and one logical determination is metered. That is useful behavior beyond the annotations, though it doesn't disclose what the receipt contains or what gets returned.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.