Function verify_composite_documents_tenderdash_proof 

pub fn verify_composite_documents_tenderdash_proof(
    query: &DriveDocumentQuery<'_>,
    proof: &Proof,
    mtd: &ResponseMetadata,
    platform_version: &PlatformVersion,
    provider: &dyn ContextProvider,
) -> Result<(RootHash, CompositeDocuments), Error>

Verify a composite query’s single merged proof and bind its root hash to the quorum signature.

The merk-level composition (bootstrap subset pass on the page, re-derivation of every sub-query, authoritative full verification, routing with the completeness checks) lives in rs-drive’s [DriveDocumentQuery::verify_composite_documents_proof]; this wrapper adds the [verify_tenderdash_proof] binding — the root hash the proof commits to is only an attested fact once it is tied to the quorum-signed app hash, and this function exists so the composition can never be skipped by accident.