Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description carries full burden. It discloses one important behavioral trait: the tool errors if the module's backing theorem is not gate-passed. However, it does not mention idempotency, side effects, or cost. The disclosure is minimal but provides a key constraint.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.