early-exit-correctness

Status: IN

The `if j > min_sum: break` in `findRestaurant` is correct because all index map values are non-negative, guaranteeing `idx_sum >= j`; once `j` exceeds the current best sum, no future candidate can improve the answer.

Source: entries/2026/06/06/minimum-index-sum-of-two-lists-solution.md

JSON