Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare mutation (readOnlyHint=false), idempotency, and non-destructiveness. The description adds genuinely non-redundant behavior: the edit-survey right requirement, readback verification of the result, and the branching-ordering constraint. It does not, however, describe what happens on an invalid permutation, which would round this out.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.