Module verify_distinct_sum_proof 

Per-distinct-key range-sum proof verification — sum analog of count’s verify_distinct_count_proof. Walks the verified terminator SumTree elements and extracts each sum_value_or_default() as a per-(in_key, key) entry. Used by the prove path’s RangeDistinctProof mode.