{"id":"zero-input-returns-wrong-result","text":"`subtract_product_and_sum(0)` returns 1 (loop never executes, product=1 minus sum=0) which is mathematically incorrect, but the problem guarantees `n >= 1`","truth_value":"OUT","source":"entries/2026/06/06/subtract-the-product-and-sum-of-digits-of-an-integer-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":["construction-correctness-universal-for-valid-inputs","within-domain-correctness-comprehensive"],"metadata":{"_retracted":true},"created_at":"","updated_at":"2026-06-17T15:31:05+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T15:31:05+00:00","explanation":{"steps":[{"node":"zero-input-returns-wrong-result","truth_value":"OUT","reason":"retracted premise"}]}}