Status: IN
Unconditionally overwriting `last_seen[num] = i` after each check is correct because any future occurrence at index `m > i` will be closer to `i` than to any earlier index — older occurrences can never produce a shorter distance.
Source: entries/2026/06/06/contains-duplicate-ii-solution.md