{"id":"str-digit-count-negative-miscount","text":"`findNumbers` uses `len(str(n))` to count digits, which is correct for positive integers but would miscount negatives because the `-` character inflates the string length by 1.","truth_value":"IN","source":"entries/2026/06/06/find-numbers-with-even-number-of-digits-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"str-digit-count-negative-miscount","truth_value":"IN","reason":"premise"}]}}