Status: IN
`sort_names_by_height` correctness depends on all heights being distinct; duplicate heights cause tuple comparison to fall through to lexicographic name ordering, producing potentially wrong results.
Source: entries/2026/06/06/sort-the-people-solution.md