Bots, abandonment handling, and steadier matchmaking

What changed

• Practice bots became available as opponents so a battle is always ready to start.
• Leaving a match now resolves cleanly: the opponent takes an immediate win and the player who left sees an honest defeat screen.
• Matchmaking was hardened against stuck queues and phantom matches so players stop being paired with someone who already left.