Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already signal read-only and idempotent behavior. The description adds value beyond those hints by specifying that the checks are deterministic, structural, and each state their own scope, while 'one call, one receipt' signals the expected response shape. No contradiction with annotations.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.