{"id":"digit-remapping-greedy-targets-positional-extremes","text":"Digit remapping achieves both its minimum and maximum through a single greedy digit substitution targeting the most positionally impactful digit — the leading digit maps to 0 for minimum (maximum positional weight), the leftmost non-9 digit maps to 9 for maximum (highest available gain) — sharing the same structural principle (leftmost-significant substitution) despite targeting opposite extremes.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["min-remap-always-leading-digit","max-remap-first-non-nine"],"outlist":[],"label":"Min and max remapping share the same greedy structure (single substitution at leftmost impactful position) applied to opposite targets"}],"dependents":[],"metadata":{"source_type":"derived","last_reviewed":"2026-06-07T22:02:22","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"digit-remapping-greedy-targets-positional-extremes","truth_value":"IN","reason":"SL justification valid","antecedents":["min-remap-always-leading-digit","max-remap-first-non-nine"],"label":"Min and max remapping share the same greedy structure (single substitution at leftmost impactful position) applied to opposite targets"},{"node":"min-remap-always-leading-digit","truth_value":"IN","reason":"premise"},{"node":"max-remap-first-non-nine","truth_value":"IN","reason":"premise"}]}}