Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare readOnly, idempotent, non-destructive, closed-world. The description adds meaningful context beyond that: it discloses reuse behavior ('reuse a qualifying portable proof') and the specific condition under which a hosted link is produced. This goes past the safety profile the annotations cover.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.