{"id":"strict-inequality-guard","text":"The `nums[j] > min_val` check (not `>=`) means equal-valued pairs never contribute a difference, and a non-increasing array returns `-1`.","truth_value":"IN","source":"entries/2026/06/06/maximum-difference-between-increasing-elements-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"strict-inequality-guard","truth_value":"IN","reason":"premise"}]}}