Status: IN
`reverse_bits` always iterates exactly 32 times regardless of input value — this is the key correctness invariant, since a `while n:` loop would silently drop leading zeros (e.g., `reverse_bits(1)` must return `2147483648`).
Source: entries/2026/06/06/reverse-bits-solution.md
JSON