{"id":"string-over-arithmetic-for-digit-ops","text":"Digit extraction, digit checking, and popcount operations consistently use string conversion (str(), indexing, character iteration, bin().count()) rather than modular arithmetic across unrelated problems.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["str-conversion-digit-extraction-idiom","string-based-digit-check-idiom","digit-sum-via-str-conversion","bin-count-for-popcount"],"outlist":[],"label":"String conversion is the universal digit-decomposition idiom, chosen for readability over performance"}],"dependents":["exactness-over-performance-at-every-layer","python-stdlib-preferred-over-manual-algorithms"],"metadata":{"last_reviewed":"2026-06-07T22:02:22","review_result":"unnecessary"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"string-over-arithmetic-for-digit-ops","truth_value":"IN","reason":"SL justification valid","antecedents":["str-conversion-digit-extraction-idiom","string-based-digit-check-idiom","digit-sum-via-str-conversion","bin-count-for-popcount"],"label":"String conversion is the universal digit-decomposition idiom, chosen for readability over performance"},{"node":"str-conversion-digit-extraction-idiom","truth_value":"IN","reason":"premise"},{"node":"string-based-digit-check-idiom","truth_value":"IN","reason":"premise"},{"node":"digit-sum-via-str-conversion","truth_value":"IN","reason":"premise"},{"node":"bin-count-for-popcount","truth_value":"IN","reason":"premise"}]}}