{"id":"zero-input-returns-false","text":"Passing `num=0` to `is_perfect_square` returns `False` (the loop body never executes because `lo=1 > hi=0`), even though 0 is technically a perfect square — a known edge-case gap.","truth_value":"OUT","source":"entries/2026/06/06/valid-perfect-square-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":["convergence-implies-individual-correctness","edge-case-inputs-crash-free","stdlib-construction-composable-correctness","within-domain-correctness-comprehensive"],"metadata":{"_retracted":true},"created_at":"","updated_at":"2026-06-17T15:31:30+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T15:31:30+00:00","explanation":{"steps":[{"node":"zero-input-returns-false","truth_value":"OUT","reason":"retracted premise"}]}}