Code review — correctness first

Review this diff. Focus on correctness before style.

For each issue, give me:
- the file and line
- what breaks, with a concrete failing input and the wrong output it produces
- the smallest fix that does not change unrelated behavior

Rank issues most severe first and stop at five. Skip anything a linter would catch. If the diff is fine, say so plainly instead of inventing nits.