Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already indicate this is a mutating, non-destructive, idempotent operation. The description adds useful behavior: errors if the run does not exist, and the stop is not necessarily instantaneous ('once the stop takes effect'), plus the post-condition observable through get_play_status. 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.