Function verify_chained_documents_tenderdash_proof 

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

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

The merk-level composition (bootstrap subset pass on the inner query, merged-query re-derivation, authoritative full verification, exact set equality against the PROVEN join values) lives in rs-drive’s [DriveDocumentQuery::verify_chained_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.

The query is the chained shape: the inner [DriveDocumentQuery] carrying its single by-id join in sub_queries (see DriveDocumentQuery::with_by_id_join).