This market will resolve to "Yes" if the next Claude Sonnet 5 model added to the Arena.AI Leaderboard (https://arena.ai/leaderboard/text/overall-no-style-control) has at least the specified score at 12:00 PM ET on the calendar date following the date on which it first appears on the leaderboard. Otherwise, this market will resolve to "No". Any Claude model newly added to the leaderboard and labeled as "Sonnet 5" may qualify (e.g., claude-sonnet-5, claude-sonnet-5.0-thinking, claude-sonnet-5.1-preview, or similar). Claude models labeled only as Opus, Haiku, or another non-Sonnet 5 variant will