Function verify_primary_key_count_tree_proof 

pub fn verify_primary_key_count_tree_proof(
    contract_id: [u8; 32],
    document_type_name: &str,
    proof: &Proof,
    mtd: &ResponseMetadata,
    platform_version: &PlatformVersion,
    provider: &dyn ContextProvider,
) -> Result<u64, Error>

Verify a grovedb proof of the document type’s primary-key CountTree element and return the unfiltered total count.

Thin tenderdash-composition wrapper over DriveDocumentCountQuery::verify_primary_key_count_tree_proof. Used by the prove path’s documents_countable: true fast path — when the where clauses are empty and the document type has documents_countable: true, the server proves the type-level CountTree element directly and the SDK extracts the count from the verified element.