Status: IN
Every mutation in `Leaderboard` must update both `_entries` (SortedList) and `_players` (dict) atomically; a desync between them is a correctness bug that surfaces as `ValueError` on the next operation
Source: entries/2026/06/05/realtime-gaming-leaderboard-leaderboard.md