Status: IN
The `arr[mid] > mid` and `arr[mid] == mid` cases share the same search direction (left), collapsed into a single `arr[mid] >= mid` branch that differs only in whether `result` is updated.
Source: entries/2026/06/06/fixed-point-solution.md
JSON