{"id":"max-remap-first-non-nine","text":"The max value in digit-remapping is always achieved by remapping the leftmost non-9 digit to 9, because that digit has the highest positional weight among improvable digits.","truth_value":"IN","source":"entries/2026/06/06/maximum-difference-by-remapping-a-digit-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":["digit-remapping-greedy-targets-positional-extremes"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"max-remap-first-non-nine","truth_value":"IN","reason":"premise"}]}}