{"id":"negative-input-causes-nontermination","text":"`hamming_weight` has no guard against negative inputs; on Python's arbitrary-precision integers, `n &= n - 1` on a negative value never reaches zero, causing an infinite loop","truth_value":"OUT","source":"entries/2026/06/06/number-of-1-bits-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":["streaming-fixed-point-of-solution-space","streaming-quality-divergence-requires-safety","streaming-safe-within-problem-domain"],"metadata":{"_retracted":true},"created_at":"","updated_at":"2026-06-17T15:29:48+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T15:29:48+00:00","explanation":{"steps":[{"node":"negative-input-causes-nontermination","truth_value":"OUT","reason":"retracted premise"}]}}