{"id":"leaderboard-negated-score-ordering","text":"Scores are stored negated in `_entries` so that `SortedList`'s ascending order yields descending-score ranking; the tiebreaker is timestamp-ascending (earlier timestamp = higher rank)","truth_value":"IN","source":"entries/2026/06/05/realtime-gaming-leaderboard-leaderboard.md","source_url":"","source_hash":"","justifications":[],"dependents":["heap-sign-negation-repurposes-min-heap"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"leaderboard-negated-score-ordering","truth_value":"IN","reason":"premise"}]}}