Expand description
Point-lookup sum proof verification — sum analog of count’s
verify_point_lookup_count_proof. Returns one SumEntry per
verified branch (Equal-only fully-covered: one entry with empty
key; In-bearing: one entry per present In value with key = serialized_in_value). Absent branches are silently omitted
because today’s path query does not request absence proofs.