Status: IN
The fixed-point pruning logic depends on `arr[j] - j` being strictly increasing; duplicate values break this monotonicity invariant and could cause the algorithm to miss valid fixed points.
Source: entries/2026/06/06/fixed-point-solution.md
JSON