Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description must carry the behavioral burden. It does disclose that verification is against a 'verified corpus' (implying read-only, no mutation) and explains the meaning of a negative result, but says nothing about latency, coverage limits, or what happens when jurisdiction is omitted.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.