If Claude is the #1 model on LM Code Arena Leaderboard on Aug 10, 2026 at 10:00am ET, then the market resolves to Yes.