{"id":"heap-sign-negation-repurposes-min-heap","text":"Both leaderboard (negated scores in SortedList) and URL frontier (sign-flipped sequence numbers in heapq) repurpose ascending-order data structures for alternative orderings by negating sort keys, rather than using custom comparators or different data structures.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["leaderboard-negated-score-ordering","url-frontier-strategy-via-sequence-sign"],"outlist":[],"label":"Key negation is a recurring trick for descending order in min-heap-only environments"}],"dependents":["adaptation-over-invention"],"metadata":{"last_reviewed":"2026-06-05T18:21:49","review_result":"invalid"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"heap-sign-negation-repurposes-min-heap","truth_value":"IN","reason":"SL justification valid","antecedents":["leaderboard-negated-score-ordering","url-frontier-strategy-via-sequence-sign"],"label":"Key negation is a recurring trick for descending order in min-heap-only environments"},{"node":"leaderboard-negated-score-ordering","truth_value":"IN","reason":"premise"},{"node":"url-frontier-strategy-via-sequence-sign","truth_value":"IN","reason":"premise"}]}}