Beyond counting

Swap the free table for a (sum, count) pair and the tight walk returns the total digit sum of a range, the count of numbers containing a digit, or any per-position aggregation. Digit sum exactly K adds a budget dimension: the state is (position, remaining budget, tight), and each digit consumes budget. Leading zeros are the classic trap — decide whether they count and compensate once.