Function verify_point_lookup_count_and_sum_proof 

pub fn verify_point_lookup_count_and_sum_proof(
    query: &DriveDocumentSumQuery<'_>,
    proof: &Proof,
    mtd: &ResponseMetadata,
    platform_version: &PlatformVersion,
    provider: &dyn ContextProvider,
) -> Result<Vec<AverageEntry>, Error>

Verified average result types. Average-side analog of DocumentSum / DocumentSplitSums; carry the (count, sum) pair the verifier recovers from grovedb PR 670’s AggregateCountAndSumOnRange primitive. Client computes avg = sum / count. Verify a grovedb point-lookup proof against a count-sum-bearing index terminator and return per-branch (count, sum) entries. AVG analog of super::document_sum::verify_point_lookup_sum_proof.

Thin tenderdash-composition wrapper over [DriveDocumentSumQuery::verify_point_lookup_count_and_sum_proof]. Used by the prove path’s Aggregate + Equal/In + no range shape when the chosen index declares BOTH summable: "<prop>" AND a countable terminator.