Status: IN
The `n > 0` guard in `is_power_of_two` is necessary because `0 & (0 - 1)` equals `0`, which would incorrectly pass the single-set-bit test.
Source: entries/2026/06/06/power-of-two-solution.md
JSON