{"id":"digit-sum-via-str-conversion","text":"`countBalls` computes digit sums by casting to string and summing character values (`sum(int(d) for d in str(i))`), not by arithmetic divmod.","truth_value":"IN","source":"entries/2026/06/06/maximum-number-of-balls-in-a-box-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":["string-over-arithmetic-for-digit-ops"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"digit-sum-via-str-conversion","truth_value":"IN","reason":"premise"}]}}