{"id":"leaderboard-update-by-remove-reinsert","text":"`update_score` removes the old entry from the sorted list and inserts a new one rather than mutating in place, which is the correct approach since in-place mutation would violate sort order","truth_value":"IN","source":"entries/2026/06/05/realtime-gaming-leaderboard-leaderboard.md","source_url":"","source_hash":"","justifications":[],"dependents":["eager-rebuild-trades-write-cost-for-derived-consistency","immutable-values-prevent-aliasing-bugs"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"leaderboard-update-by-remove-reinsert","truth_value":"IN","reason":"premise"}]}}