Status: IN
The binary search is valid because `arr[i] - (i + 1)` (count of missing positives before index i) is monotonically non-decreasing for a strictly increasing array of positive integers.
Source: entries/2026/06/06/kth-missing-positive-number-solution.md