Try to prove this code wrong

When a review came back clean and you don't believe it.

Your job is to find a case where the code below misbehaves. Assume a bug exists.

Work through, in order:
- Empty input, single-element input, very large input
- null, undefined, NaN, empty string, zero
- Duplicate entries, unsorted entries, unexpected types
- Concurrent calls, interleaved execution, partial failure
- The boundary at every comparison: off-by-one on each `<`, `<=`, `>`, `>=`

For each candidate, state the exact input and the resulting wrong behaviour. If you genuinely cannot find one after working through all of the above, say so and list what you checked.

Code:

Reviewing a change. Passes you run over a diff before it merges: correctness, security, concurrency, migrations.