drive/query/composite_document_query/

mod.rs

//! Composite document queries: one page query plus sub-queries derived
//! from its proven results, answered as ONE merged grovedb proof.
//!
//! There is no separate composite query type: a composite query is a
//! [`DriveDocumentQuery`] — the page — whose
//! [`sub_queries`](DriveDocumentQuery::sub_queries) are non-empty. This
//! module holds the sub-query shapes ([`DriveSubQuery`] and friends) and
//! the composite behaviour of `DriveDocumentQuery`: shape validation,
//! derivation, the component path-query builders, proof merging, and the
//! server-side executors behind `Drive::query_composite_documents` /
//! `query_composite_documents_with_proof` (the verifier half lives in
//! `verify::composite_document`).
//!
//! A feed is a page of posts and then, for that page, the things a card
//! renders: the referenced (quoted) posts, the per-post engagement
//! counts, the authors' profiles, the viewer's own likes. Each of those
//! is a query whose INPUT is the page — its ids, its owners, a
//! property's values — and asking for them one round trip at a time
//! turns a single feed into a burst of dependent calls. A composite
//! query carries the page and its sub-queries in one request and proves
//! them together: the server materializes the page, derives every
//! sub-query's `IN` clause from it (or from an earlier sub-query's
//! documents), and [`DriveDocumentQuery::merged_path_query`] merges all
//! the component path queries into one proof over one state root.
//!
//! Soundness never rests on the server's derivation. The verifier
//! bootstraps the page (a subset pass against the merged proof), derives
//! every sub-query itself with the SAME builders the server ran, merges
//! the same way, and verifies the whole composition in one authoritative
//! pass; then it recomputes the derived values from the proven page and
//! refuses any divergence from the bootstrap, any result outside a
//! derived value set, and (for by-id joins on `refersTo:
//! permanentDocument` properties, which cannot dangle) any missing
//! referenced document. A by-id join on a `refersTo: moderatedDocument`
//! property proves the removal records of its derived ids beside their
//! documents (see [`moderated_join`](crate::query::moderated_join)), and
//! reports a derived id with no document by its record; one with neither
//! is refused. A by-id join on a `refersTo: deletableDocument`
//! property leaves a derived id with no document out instead: the
//! target may have been deleted since, and the absence is proven (every
//! derived id is a queried key grovedb must show present or absent). A
//! node that ignores the sub-queries serves a
//! page-only proof, which cannot satisfy the merged query whenever a
//! sub-query derived anything — the composition fails closed.
//!
//! Three sub-query shapes, one binding rule:
//!
//! - **Documents by id** (`bind.field == "$id"`): the classic join. The
//!   source property must declare `refersTo: permanentDocument`,
//!   `refersTo: moderatedDocument` or `refersTo: deletableDocument`
//!   targeting the sub-query's type — the result is the referenced
//!   documents in first-appearance order. For a `permanentDocument`
//!   source every derived id MUST resolve, so the result is set-equal to
//!   the derived ids; for a `moderatedDocument` source a derived id whose
//!   document a moderator removed is reported with its removal record;
//!   for a `deletableDocument` source a derived id whose document was
//!   deleted is left out.
//! - **Documents by an indexed property** (`bind.field` is `$ownerId` or
//!   an indexed property): a lookup, `WHERE <fixed clauses> AND <field>
//!   IN <derived values>`, with an explicit limit unless the values
//!   already bound it (a unique index, or an indexOnly terminal with
//!   every prefix fixed, yields at most one row per value). Absence is
//!   inherent in the range proof (a value with no document simply
//!   yields none), so profiles keyed by owner or reposts keyed by post
//!   work without absence proofs, and the target may live in another
//!   contract.
//! - **Count** by an indexed property: the grouped point-lookup count
//!   `COUNT(*) WHERE <fixed clauses> AND <field> IN <derived values>
//!   GROUP BY <field>` on a `countable` index — one entry per value that
//!   has a count tree (zero-count trees are not materialized).
//!
//! A sub-query without a binding is a **sibling**: an independent
//! documents query proven under the same root (counts must be bound —
//! the aggregate and range count shapes have their own proof
//! primitives and stay on the regular count surface).
//!
//! Derived values are identifiers only (v1): the page's `$id`, its
//! `$ownerId`, or an identifier-typed property. The page limit is
//! required and capped at [`MAX_BOUND_VALUES`] (an `IN` clause admits at
//! most that many values); the page takes no cursor and no offset —
//! paginate with a range clause, exactly as chained queries do. A by-ids
//! page is proven without its limit, which must therefore cover its ids
//! (a plain documents query would truncate instead). Every component
//! carries its limit as its root query's per-instance cap, the form the
//! merged proof budgets it in.
//!
//! Direction: grovedb merges only queries that agree on their walk
//! direction, so every component walks in the page's. Counts and by-id
//! joins are aligned freely — their selected sets do not depend on it —
//! while a documents lookup the caller left unordered on its bound field
//! inherits it (which decides WHICH rows a limited lookup returns under a
//! descending page), an explicit ordering that disagrees is refused, and
//! so is an unordered sibling under a descending page: order it, in the
//! page's direction.

use crate::drive::contract::moderation::types::ContractDocumentRemovalEntry;
use crate::drive::contract::paths::contract_document_type_removals_path_vec;
use crate::error::drive::DriveError;
use crate::error::proof::ProofError;
use crate::error::query::QuerySyntaxError;
use crate::error::Error;
use crate::query::drive_document_count_query::point_lookup_count_entries;
use crate::query::index_only_synthesis::synthesize_index_only_document;
#[cfg(feature = "server")]
use crate::query::is_absent_path;
#[cfg(feature = "server")]
use crate::query::moderated_join::fetch_removals;
use crate::query::moderated_join::{
    decode_removals, pair_missing_with_removals, removals_path_query,
};
use crate::query::{
    DriveDocumentCountQuery, DriveDocumentQuery, InternalClauses, OrderClause, SplitCountEntry,
    WhereClause, WhereOperator,
};
use dpp::data_contract::accessors::v0::DataContractV0Getters;
use dpp::data_contract::document_type::accessors::{DocumentTypeV0Getters, DocumentTypeV2Getters};
use dpp::data_contract::document_type::{
    DocumentPropertyReferenceTarget, DocumentPropertyType, DocumentReferenceDeclaration,
    DocumentReferenceKind, DocumentTypeRef, Index,
};
use dpp::data_contract::DataContract;
use dpp::document::serialization_traits::DocumentPlatformConversionMethodsV0;
use dpp::document::{Document, DocumentV0Getters};
use dpp::identifier::Identifier;
use dpp::platform_value::btreemap_extensions::BTreeValueMapPathHelper;
use dpp::platform_value::Value;
use dpp::version::PlatformVersion;
use grovedb::{Element, PathQuery};
use std::collections::{BTreeMap, BTreeSet};

/// The most sub-queries one composite request carries. Every sub-query
/// is another branch of one merged proof; ten covers a feed card's
/// whole enrichment (quotes, four counts, reposts, profiles, names,
/// the viewer's marks) with room to spare.
pub const MAX_SUB_QUERIES: usize = 10;

/// The most values one binding can derive: a derived `IN` clause admits
/// at most this many (`WhereClause::in_values`), so the page limit and
/// every sub-query limit that feeds a later binding are capped here.
pub const MAX_BOUND_VALUES: usize = 100;

/// Where a sub-query's derived values come from.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum BindingSource {
    /// The page's proven documents.
    Page,
    /// An earlier documents sub-query's proven documents (its index in
    /// [`DriveDocumentQuery::sub_queries`]).
    SubQuery(usize),
}

/// The derived clause of a sub-query: `<field> IN <values>`, where the
/// values are read off the source's proven documents.
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct SubQueryBinding {
    /// Whose documents supply the values.
    pub source: BindingSource,
    /// The source property read off each document: `$id`, `$ownerId`,
    /// or an identifier-typed property (dotted paths reach nested
    /// properties). Documents without the property contribute nothing.
    pub source_property: String,
    /// The sub-query field that receives the `IN` clause: `$id` for a
    /// by-id join, otherwise `$ownerId` or an indexed property.
    pub field: String,
}

/// What a sub-query returns.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum SubQueryKind {
    /// The matching documents.
    Documents,
    /// One count per derived value, from the countable index covering
    /// the fixed clauses plus the bound field.
    Count,
}

/// One sub-query of a composite request.
#[derive(Debug, Clone, PartialEq)]
pub struct DriveSubQuery<'a> {
    /// The contract the sub-query targets — the page's, or another one.
    pub contract: &'a DataContract,
    /// The document type queried.
    pub document_type: DocumentTypeRef<'a>,
    /// Documents or counts.
    pub kind: SubQueryKind,
    /// The fixed clauses (everything but the derived `IN`), typed.
    /// Must be empty for a by-id join, which resolves every derived id.
    pub where_clauses: Vec<WhereClause>,
    /// Ordering; documents only. Every component of the merged proof
    /// walks in the page's direction, so a documents sub-query must agree
    /// with it: a bound field the caller did not order by is appended in
    /// the page's direction (a minimal request never conflicts), and an
    /// explicit ordering that disagrees is refused, because changing it
    /// for the proof would change the rows its limit selects.
    pub order_by: Vec<OrderClause>,
    /// Required for a documents lookup on a non-unique index: it caps the
    /// rows the lookup returns in total, in walk order, exactly as the
    /// limit of an ordinary `IN` query does (at most `MAX_BOUND_VALUES`).
    /// Forbidden for a value-bounded lookup, a by-id join (completeness is
    /// set-based) and a count.
    pub limit: Option<u16>,
    /// The derived clause, or `None` for a sibling.
    pub binding: Option<SubQueryBinding>,
}

/// One sub-query's materialized result.
#[derive(Debug, Clone, PartialEq)]
pub enum SubQueryResult {
    /// Documents: for a by-id join, in first-appearance order of their
    /// ids among the source documents; otherwise in query order.
    Documents(Vec<Document>),
    /// Counts keyed by the bound value's index-key bytes (a 32-byte
    /// identifier), one entry per value with a materialized count.
    Counts(Vec<SplitCountEntry>),
}

impl SubQueryResult {
    /// The documents of a documents result, or an empty slice.
    pub fn documents(&self) -> &[Document] {
        match self {
            Self::Documents(documents) => documents,
            Self::Counts(_) => &[],
        }
    }

    /// The entries of a count result, or an empty slice.
    pub fn counts(&self) -> &[SplitCountEntry] {
        match self {
            Self::Counts(entries) => entries,
            Self::Documents(_) => &[],
        }
    }
}

/// The materialized result of a composite query.
#[derive(Debug, Default)]
pub struct CompositeDocumentsResult {
    /// The page, exactly as the page query alone would return it.
    pub page_documents: Vec<Document>,
    /// One result per sub-query, in request order.
    pub sub_results: Vec<SubQueryResult>,
    /// One list per sub-query, in request order: for a by-id join, the
    /// derived ids that have NO document, in first-appearance order;
    /// empty for every other sub-query. Only a join off a `refersTo:
    /// deletableDocument` property can report any (a referenced document
    /// deleted after the referring one was written); off a
    /// `permanentDocument` property a missing document is refused
    /// instead. On the proof path each reported id is a proven absence.
    pub sub_result_missing_ids: Vec<Vec<Identifier>>,
    /// One list per sub-query, in request order: for a by-id join off a
    /// `refersTo: moderatedDocument` property, the removal records of the
    /// derived ids whose document the contract's moderators removed, in
    /// first-appearance order; empty for every other sub-query. A derived
    /// id with neither a document nor a record is refused. On the proof
    /// path each is a proven absence of the document and a proven record.
    pub sub_result_removals: Vec<Vec<ContractDocumentRemovalEntry>>,
}

/// The values one binding derived, deduplicated to first appearance.
type DerivedValues = Vec<Identifier>;

/// A `(path, key, element)` triple as grovedb's verifier reports it —
/// the element absent for a queried key that is not there.
pub(crate) type ProvedTrio = (Vec<Vec<u8>>, Vec<u8>, Option<Element>);

/// A proved triple whose element is present.
pub(crate) type PresentTrio = (Vec<Vec<u8>>, Vec<u8>, Element);

/// The component path queries of a composite proof, as
/// [`DriveDocumentQuery::proof_path_queries`] builds them: the page, one entry per
/// sub-query (`None` for a bound one that derived nothing), and the removal records
/// components of the by-id joins off `moderatedDocument` properties.
pub type CompositeProofPathQueries = (PathQuery, Vec<Option<PathQuery>>, Vec<PathQuery>);

/// The proved removal records of a composite proof, keyed and valued as they were
/// proved, by the path of the records component that covers them.
type RemovalEntriesByPath = BTreeMap<Vec<Vec<u8>>, Vec<(Vec<u8>, Element)>>;

/// What the by-id joins report of the derived ids that have no document, one list per
/// sub-query: the missing ids, and the removal records.
type SubResultAbsences = (Vec<Vec<Identifier>>, Vec<Vec<ContractDocumentRemovalEntry>>);

/// A component of the merged proof: the page or one sub-query.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
enum Component {
    Page,
    Sub(usize),
}

fn unsupported(message: String) -> Error {
    Error::Query(QuerySyntaxError::Unsupported(message))
}

fn corrupted_proof(message: String) -> Error {
    Error::Proof(ProofError::CorruptedProof(message))
}

/// A merge refusal is a property of the request's shape (the same
/// components refuse identically on every node and every verifier), so it
/// is reported as one rather than as an internal grovedb failure.
fn merge_error_to_shape_error(error: grovedb::Error) -> Error {
    match error {
        grovedb::Error::NotSupported(message) => unsupported(format!(
            "the composite query's components cannot be merged into one proof: {}",
            message
        )),
        other => Error::from(other),
    }
}

/// The bound identifier a document carries for `field`, or `None` when
/// the property is absent.
fn document_bound_value(document: &Document, field: &str) -> Result<Option<Identifier>, Error> {
    use dpp::document::property_names::{ID, OWNER_ID};
    if field == ID {
        return Ok(Some(document.id()));
    }
    if field == OWNER_ID {
        return Ok(Some(document.owner_id()));
    }
    let Some(value) = document
        .properties()
        .get_optional_at_path(field)
        .ok()
        .flatten()
    else {
        return Ok(None);
    };
    value.to_identifier().map(Some).map_err(|_| {
        Error::Drive(DriveError::CorruptedCodeExecution(
            "a bound composite property must decode as an identifier: validate() only \
             admits identifier-typed properties",
        ))
    })
}

/// Canonical value order for a derived `IN` clause: byte-ascending, so
/// the built query — and therefore the proof — is byte-identical between
/// the server and a verifier that extracted the ids in any order.
fn sorted_values(values: &[Identifier]) -> Vec<Identifier> {
    let mut sorted = values.to_vec();
    sorted.sort();
    sorted
}

/// The document reference a property type declares, of either kind. Only
/// a scalar reference counts: a binding reads one identifier out of the
/// property, and a typed array whose elements are references holds many,
/// is no index property and so is never a join field.
fn document_reference_of(
    property_type: &DocumentPropertyType,
) -> Option<DocumentReferenceDeclaration<'_>> {
    match property_type {
        DocumentPropertyType::IdentifierWithReference(reference_target) => {
            reference_target.as_document_reference()
        }
        _ => None,
    }
}

impl<'a> DriveSubQuery<'a> {
    fn bound_field(&self) -> Option<&str> {
        self.binding.as_ref().map(|binding| binding.field.as_str())
    }

    fn is_by_id_join(&self) -> bool {
        self.bound_field() == Some(dpp::document::property_names::ID)
    }
}

impl<'a> DriveDocumentQuery<'a> {
    /// Validates the composite shape: this query as the page plus its
    /// [`sub_queries`](Self::sub_queries). Called by the server before
    /// executing and by the verifier before verifying, so an invalid
    /// request fails identically on both sides.
    ///
    /// Construction contract: every sub-query's `document_type` MUST be a
    /// document type of its own `contract`. This validates everything
    /// derivable from the shapes themselves.
    pub fn validate_composite(&self, platform_version: &PlatformVersion) -> Result<(), Error> {
        if self.sub_queries.is_empty() {
            return Err(unsupported(
                "a composite query needs at least one sub-query; a page alone is a plain \
                 documents query"
                    .to_string(),
            ));
        }
        if self.sub_queries.len() > MAX_SUB_QUERIES {
            return Err(unsupported(format!(
                "a composite query carries at most {} sub-queries, got {}",
                MAX_SUB_QUERIES,
                self.sub_queries.len(),
            )));
        }
        let page_limit = match self.limit {
            None => {
                return Err(unsupported(
                    "composite queries require an explicit limit on the page: the page size \
                     bounds every derived sub-query"
                        .to_string(),
                ));
            }
            Some(0) => {
                return Err(unsupported(
                    "a composite page limit must be at least 1".to_string(),
                ));
            }
            Some(limit) if limit as usize > MAX_BOUND_VALUES => {
                return Err(unsupported(format!(
                    "a composite page limit of {} exceeds {}: a derived `IN` clause admits at \
                     most that many values",
                    limit, MAX_BOUND_VALUES,
                )));
            }
            Some(limit) => limit,
        };
        if self.offset.is_some() {
            return Err(unsupported(
                "composite queries do not support a page offset; paginate with a range clause"
                    .to_string(),
            ));
        }
        if self.start_at.is_some() {
            return Err(unsupported(
                "composite queries do not support a page cursor (startAt/startAfter); \
                 paginate with a range clause on the page's ordering property"
                    .to_string(),
            ));
        }
        // A by-ids page is proven without its limit (see
        // `page_path_query`), so the limit must not be what bounds it.
        if self.page_is_by_ids() {
            let ids = self.page_ids()?.len();
            if (page_limit as usize) < ids {
                return Err(unsupported(format!(
                    "a by-ids composite page addresses {} ids but its limit is {}: the ids \
                     bound the page, so the limit must cover them",
                    ids, page_limit,
                )));
            }
        }
        // The page must lower to a path query at all — an unindexed
        // shape fails here, before any sub-query is inspected.
        let direction = self.page_direction(platform_version)?;

        for (index, sub_query) in self.sub_queries.iter().enumerate() {
            self.validate_sub_query(index, sub_query, direction, platform_version)?;
        }
        self.validate_component_paths(platform_version)
    }

    fn validate_sub_query(
        &self,
        index: usize,
        sub_query: &DriveSubQuery<'a>,
        direction: bool,
        platform_version: &PlatformVersion,
    ) -> Result<(), Error> {
        let label = |message: &str| unsupported(format!("sub-query {}: {}", index, message));

        let Some(binding) = &sub_query.binding else {
            // A sibling: an independent documents query.
            if sub_query.kind == SubQueryKind::Count {
                return Err(label(
                    "a count sub-query must be bound (`COUNT ... WHERE <field> IN <derived \
                     values> GROUP BY <field>`); unbound counts stay on the regular count \
                     surface",
                ));
            }
            match sub_query.limit {
                None => {
                    return Err(label(
                        "a sibling documents sub-query requires an explicit limit",
                    ));
                }
                Some(0) => {
                    return Err(label("a sibling's limit must be at least 1"));
                }
                Some(limit) if limit as usize > MAX_BOUND_VALUES => {
                    return Err(label(&format!(
                        "limit {} exceeds {}",
                        limit, MAX_BOUND_VALUES
                    )));
                }
                Some(_) => {}
            }
            // Must lower to a path query.
            self.sub_query_document_query_with_direction(
                sub_query,
                &[],
                direction,
                platform_version,
            )?
            .construct_path_query(None, platform_version)?;
            return Ok(());
        };

        // The source must precede this sub-query and produce documents.
        let (source_contract, source_type, source_is_index_only_query) = match binding.source {
            BindingSource::Page => (
                self.contract,
                self.document_type,
                self.document_type.index_only(),
            ),
            BindingSource::SubQuery(source_index) => {
                if source_index >= index {
                    return Err(label("a binding may only reference an earlier sub-query"));
                }
                let source = &self.sub_queries[source_index];
                if source.kind != SubQueryKind::Documents {
                    return Err(label("a binding must reference a documents sub-query"));
                }
                (
                    source.contract,
                    source.document_type,
                    source.document_type.index_only(),
                )
            }
        };

        // The source property: a system identifier or an identifier-typed
        // property of the source type.
        let source_property_type: Option<&DocumentPropertyType> = {
            use dpp::document::property_names::{ID, OWNER_ID};
            if binding.source_property == ID || binding.source_property == OWNER_ID {
                None
            } else {
                let Some(property) = source_type
                    .flattened_properties()
                    .get(binding.source_property.as_str())
                else {
                    return Err(label(&format!(
                        "source property \"{}\" does not name a property of \"{}\"",
                        binding.source_property,
                        source_type.name(),
                    )));
                };
                if !matches!(
                    property.property_type,
                    DocumentPropertyType::Identifier
                        | DocumentPropertyType::IdentifierWithReference(_)
                ) {
                    return Err(label(&format!(
                        "source property \"{}\" is not identifier-typed; composite bindings \
                         derive identifiers only",
                        binding.source_property,
                    )));
                }
                Some(&property.property_type)
            }
        };

        // An indexOnly source proves only what its resolved index
        // carries, so the property must sit on that index.
        if source_is_index_only_query {
            let carries = |index: &dpp::data_contract::document_type::Index| {
                index.terminal_contains(&binding.source_property)
                    || index
                        .properties
                        .iter()
                        .any(|property| property.name == binding.source_property)
            };
            let (carried, index_name) = match binding.source {
                BindingSource::Page => {
                    let index = self.index_only_query_index(platform_version)?;
                    (carries(index), index.name.clone())
                }
                BindingSource::SubQuery(source_index) => {
                    let source = &self.sub_queries[source_index];
                    let shape = self.sub_query_document_query_with_direction(
                        source,
                        &[Identifier::default()],
                        direction,
                        platform_version,
                    )?;
                    let index = shape.index_only_query_index(platform_version)?;
                    (carries(index), index.name.clone())
                }
            };
            if !carried {
                return Err(label(&format!(
                    "the indexOnly source resolves to index \"{}\", which does not carry the \
                     source property \"{}\"",
                    index_name, binding.source_property,
                )));
            }
        }

        if sub_query
            .where_clauses
            .iter()
            .any(|clause| clause.field == binding.field)
        {
            return Err(label(&format!(
                "the fixed clauses may not name the bound field \"{}\"; its `IN` clause is \
                 derived",
                binding.field,
            )));
        }

        // The bound field must hold identifiers on the sub-query's own
        // type: `$ownerId`, or an identifier-typed property (`$id` is the
        // by-id join, checked below). Derived values are identifiers, so
        // any other type could never match, and assembly reads the field
        // back as an identifier.
        if !sub_query.is_by_id_join() && binding.field != dpp::document::property_names::OWNER_ID {
            let Some(property) = sub_query
                .document_type
                .flattened_properties()
                .get(binding.field.as_str())
            else {
                return Err(label(&format!(
                    "bound field \"{}\" does not name a property of \"{}\"",
                    binding.field,
                    sub_query.document_type.name(),
                )));
            };
            if !matches!(
                property.property_type,
                DocumentPropertyType::Identifier | DocumentPropertyType::IdentifierWithReference(_)
            ) {
                return Err(label(&format!(
                    "bound field \"{}\" is not identifier-typed; composite bindings derive \
                     identifiers only",
                    binding.field,
                )));
            }
        }

        match sub_query.kind {
            SubQueryKind::Documents if sub_query.is_by_id_join() => {
                if sub_query.document_type.index_only() {
                    return Err(label(
                        "a by-id join cannot target an indexOnly type: there is no \
                         primary-key tree to fetch from",
                    ));
                }
                if sub_query.limit.is_some() {
                    return Err(label(
                        "a by-id join takes no limit: every derived id must resolve, so \
                         completeness is set equality, not a page",
                    ));
                }
                if !sub_query.order_by.is_empty() {
                    return Err(label(
                        "a by-id join takes no ordering: results follow the derived ids' \
                         first appearance",
                    ));
                }
                // The source must be a document reference: it is what
                // names the type the derived ids resolve in. A
                // permanentDocument one guarantees every derived id
                // resolves, which lets a missing document be an invalid
                // proof; a moderatedDocument one guarantees it resolves or
                // has a removal record, proven beside it; a
                // deletableDocument one guarantees neither, and a missing
                // document is then a proven absence (see
                // `assemble_documents`).
                // The values of a reference found by `findBy` are not document
                // ids, so `document_reference_of` leaves it out; it is named
                // here so the refusal says why
                if let Some(DocumentPropertyType::IdentifierWithReference(
                    DocumentPropertyReferenceTarget::PermanentDocumentLookup { lookup, .. }
                    | DocumentPropertyReferenceTarget::DeletableDocumentLookup { lookup, .. },
                )) = source_property_type
                {
                    return Err(label(&format!(
                        "the source property's refersTo finds its document by findBy ({}), so \
                         its values are not document ids: a by-id join needs a reference whose \
                         value is the referenced document's $id",
                        lookup.find_by_names(),
                    )));
                }
                // A reference expression names no single type the derived ids
                // resolve in
                if let Some(DocumentPropertyType::IdentifierWithReference(
                    DocumentPropertyReferenceTarget::AnyOf(_)
                    | DocumentPropertyReferenceTarget::AllOf(_),
                )) = source_property_type
                {
                    return Err(label(
                        "the source property declares a refersTo anyOf or allOf expression: a \
                         by-id join needs a reference to one document type",
                    ));
                }
                match source_property_type.and_then(document_reference_of) {
                    Some(DocumentReferenceDeclaration {
                        contract_id,
                        document_type_name,
                        ..
                    }) => {
                        let referenced_contract =
                            contract_id.unwrap_or_else(|| source_contract.id());
                        if referenced_contract != sub_query.contract.id()
                            || document_type_name != sub_query.document_type.name()
                        {
                            return Err(label(&format!(
                                "the source property's refersTo targets \"{}\", not this \
                                 sub-query's type \"{}\"",
                                document_type_name,
                                sub_query.document_type.name(),
                            )));
                        }
                    }
                    None => {
                        return Err(label(&format!(
                            "a by-id join needs a source property declaring `refersTo: \
                             permanentDocument`, `refersTo: moderatedDocument` or `refersTo: \
                             deletableDocument` (\"{}\" does not): the declaration names the \
                             document type the derived ids resolve in",
                            binding.source_property,
                        )));
                    }
                }
            }
            SubQueryKind::Documents => {
                // Must lower to a path query with a representative value.
                let shape = self.sub_query_document_query_with_direction(
                    sub_query,
                    &[Identifier::default()],
                    direction,
                    platform_version,
                )?;
                shape.construct_path_query(None, platform_version)?;
                if sub_query.document_type.index_only() {
                    // The lookup's own field must be provable positionally:
                    // the resolved index has to carry it.
                    let index = shape.index_only_query_index(platform_version)?;
                    let carried = index.terminal_contains(&binding.field)
                        || index
                            .properties
                            .iter()
                            .any(|property| property.name == binding.field);
                    if !carried {
                        return Err(label(&format!(
                            "the indexOnly lookup resolves to index \"{}\", which does not \
                             carry the bound field \"{}\"",
                            index.name, binding.field,
                        )));
                    }
                }
                // A lookup whose rows are bounded by its values (at most
                // one per derived value) carries no limit: the values
                // are the bound, and a limit it does not need is exactly
                // what would keep it from merging with another lookup on
                // the same index. Anything else needs one, to bound the
                // walk under each value.
                let value_bounded =
                    self.lookup_is_value_bounded(sub_query, binding, &shape, platform_version)?;
                match (value_bounded, sub_query.limit) {
                    (true, Some(_)) => {
                        return Err(label(
                            "a value-bounded lookup (a unique index, or an indexOnly terminal \
                             with every prefix fixed, yields at most one row per derived \
                             value) takes no limit",
                        ));
                    }
                    (false, Some(0)) => {
                        return Err(label("a lookup's limit must be at least 1"));
                    }
                    (false, None) => {
                        return Err(label(
                            "a documents lookup on a non-unique index requires an explicit \
                             limit: it bounds the walk under each derived value",
                        ));
                    }
                    (false, Some(limit)) if limit as usize > MAX_BOUND_VALUES => {
                        return Err(label(&format!(
                            "limit {} exceeds {}",
                            limit, MAX_BOUND_VALUES
                        )));
                    }
                    _ => {}
                }
            }
            SubQueryKind::Count => {
                if sub_query.limit.is_some() {
                    return Err(label("a count sub-query takes no limit"));
                }
                if !sub_query.order_by.is_empty() {
                    return Err(label("a count sub-query takes no ordering"));
                }
                if sub_query.is_by_id_join() {
                    return Err(label(
                        "a count sub-query counts by an indexed property, not by `$id`",
                    ));
                }
                // Must resolve a countable index with a representative value.
                self.sub_query_count_query(sub_query, &[Identifier::default()], platform_version)?
                    .point_lookup_count_path_query(platform_version)?;
            }
        }
        Ok(())
    }

    /// Whether a bound documents lookup yields at most one row per
    /// derived value: on an indexOnly type, when the resolved index's
    /// terminal is the bound field and every prefix property is fixed
    /// by an equality (entries are unique per full index path); on a
    /// stored type, when a `unique` index's properties are exactly the
    /// fixed equality fields plus the bound field.
    fn lookup_is_value_bounded(
        &self,
        sub_query: &DriveSubQuery<'a>,
        binding: &SubQueryBinding,
        shape: &DriveDocumentQuery<'a>,
        platform_version: &PlatformVersion,
    ) -> Result<bool, Error> {
        let fixed_equalities: BTreeSet<&str> = sub_query
            .where_clauses
            .iter()
            .filter(|clause| clause.operator == WhereOperator::Equal)
            .map(|clause| clause.field.as_str())
            .collect();
        if sub_query.document_type.index_only() {
            let index = shape.index_only_query_index(platform_version)?;
            // A composite terminal is bound only through every component;
            // a single-component terminal through its one field.
            let terminal_is_bound = index.single_terminal() == Some(binding.field.as_str());
            let prefix_fixed = index
                .properties
                .iter()
                .all(|property| fixed_equalities.contains(property.name.as_str()));
            return Ok(terminal_is_bound && prefix_fixed);
        }
        let mut wanted: BTreeSet<&str> = fixed_equalities.clone();
        wanted.insert(binding.field.as_str());
        Ok(sub_query.document_type.indexes().values().any(|index| {
            index.unique
                && index.properties.len() == wanted.len()
                && index
                    .properties
                    .iter()
                    .all(|property| wanted.contains(property.name.as_str()))
        }))
    }

    /// Whether the page is a primary-key fetch (`$id IN` / `$id ==`).
    fn page_is_by_ids(&self) -> bool {
        self.internal_clauses.primary_key_in_clause.is_some()
            || self.internal_clauses.primary_key_equal_clause.is_some()
    }

    /// A component's budget lives on its root query as a per-instance
    /// cap (`Query::limit`), never on the path query's global
    /// `SizedQuery::limit` that the plain documents lowering emits. The
    /// two are not interchangeable once proven: at a layer with subquery
    /// branches the prover truncates the children it emits under a
    /// global limit but only the descendant rows under an instance cap.
    /// The merge would lift a global limit into exactly this cap, so
    /// authoring it at construction keeps ONE form for validation, the
    /// merge, the prover and every subset pass of the verifier, whether
    /// or not the component ends up merged with anything. A component's
    /// root executes once (its path is a concrete key chain), so "N rows
    /// per instance" is "N rows".
    fn budget_as_instance_cap(mut path_query: PathQuery) -> PathQuery {
        if let Some(limit) = path_query.query.limit.take() {
            path_query.query.query.limit = Some(limit);
        }
        path_query
    }

    /// The page as a component of the proof, its limit carried as its
    /// root query's per-instance cap (see [`Self::budget_as_instance_cap`]).
    /// A by-ids page is built WITHOUT its limit: its ids already bound
    /// it, and grovedb refuses a budget on a query that lands at the
    /// merged root (which a by-ids page shares with a join on the same
    /// type).
    pub fn page_path_query(&self, platform_version: &PlatformVersion) -> Result<PathQuery, Error> {
        if self.page_is_by_ids() {
            let mut unlimited = self.clone();
            unlimited.limit = None;
            let mut path_query = unlimited.construct_path_query(None, platform_version)?;
            // A `$id ==` page lowers with a limit of one whatever the
            // query's own limit says; the single key already bounds it,
            // so the proof query carries no limit either way.
            path_query.query.limit = None;
            return Ok(path_query);
        }
        Ok(Self::budget_as_instance_cap(
            self.construct_path_query(None, platform_version)?,
        ))
    }

    /// The shape rules routing and merging need up front. Document
    /// entries are routed back to components by the longest matching
    /// base path and then by bound-value membership (counts by their
    /// exact terminal positions), so documents components sharing a base
    /// path must be tellable apart by their derived values: a sibling,
    /// which has none, stays alone, and a page only shares the primary
    /// tree with joins when it is itself a by-ids fetch. And no limited
    /// component may land at the merged root, where grovedb refuses a
    /// budget (it would govern every component's rows). A bound
    /// sub-query that derives
    /// nothing contributes no branch, so the merged root is not fixed by
    /// the shapes: it is the common prefix of whichever components are
    /// present, and a limited component lands on it exactly when every
    /// other present component's path extends its own. The page and the
    /// siblings are always present and any bound sub-query may be
    /// absent, so the rule is checked over that worst case rather than
    /// over the full set, and a request that validates never fails the
    /// merge for lack of data.
    fn validate_component_paths(&self, platform_version: &PlatformVersion) -> Result<(), Error> {
        let representative = [Identifier::default()];
        let mut components: Vec<(Vec<Vec<u8>>, Component, bool)> = Vec::new();
        let page = self.page_path_query(platform_version)?;
        let direction = page.query.query.left_to_right;
        components.push((page.path, Component::Page, page.query.query.limit.is_some()));
        for (index, sub_query) in self.sub_queries.iter().enumerate() {
            let path_query = self.sub_query_proof_path_query(
                sub_query,
                &representative,
                direction,
                platform_version,
            )?;
            components.push((
                path_query.path,
                Component::Sub(index),
                path_query.query.query.limit.is_some(),
            ));
        }

        let is_bound = |component: &Component| matches!(component, Component::Sub(index) if self.sub_queries[*index].binding.is_some());
        for (path, component, limited) in &components {
            if !*limited {
                continue;
            }
            let lands_at_root = match component {
                // Any bound sub-query below the page puts the page at the
                // root once it is the only other component present; so
                // do the siblings when every one of them is below it.
                Component::Page => {
                    let (siblings, bound): (Vec<_>, Vec<_>) = components
                        .iter()
                        .skip(1)
                        .partition(|(_, other, _)| !is_bound(other));
                    bound.iter().any(|(other, _, _)| other.starts_with(path))
                        || (!siblings.is_empty()
                            && siblings.iter().all(|(other, _, _)| other.starts_with(path)))
                }
                // The page and every other sibling are always present:
                // when all of them are below this component, the bound
                // sub-queries deriving nothing leaves it at the root.
                Component::Sub(_) => components
                    .iter()
                    .filter(|(_, other, _)| other != component && !is_bound(other))
                    .all(|(other, _, _)| other.starts_with(path)),
            };
            if lands_at_root {
                return Err(unsupported(format!(
                    "{} carries a limit and lands at the merged root of the composite proof \
                     (once the bound sub-queries that derive nothing drop out), where grovedb \
                     refuses a budget; give it a clause that narrows its path, or split it \
                     into a separate request",
                    match component {
                        Component::Page => "the page".to_string(),
                        Component::Sub(index) => format!("sub-query {}", index),
                    }
                )));
            }
        }

        let mut groups: BTreeMap<&Vec<Vec<u8>>, Vec<(Component, bool)>> = BTreeMap::new();
        for (path, component, limited) in &components {
            groups.entry(path).or_default().push((*component, *limited));
        }
        for members in groups.values() {
            let documents_members: Vec<Component> = members
                .iter()
                .map(|(component, _)| *component)
                .filter(|component| match component {
                    Component::Page => true,
                    Component::Sub(index) => {
                        self.sub_queries[*index].kind == SubQueryKind::Documents
                    }
                })
                .collect();
            let has_count_member = members.iter().any(|(component, _)| {
                matches!(component, Component::Sub(index) if self.sub_queries[*index].kind == SubQueryKind::Count)
            });
            // A count reads an index's value trees themselves; a documents
            // component on the same index descends past them to the rows.
            // One tree node cannot serve both selections in one proof, and
            // grovedb's merge does not refuse the combination: the descent
            // wins and the count silently drops out of the merged query, so
            // this guard (and the concrete-value one in
            // `proof_path_queries`, for nested bases) is what keeps a count
            // from verifying as empty. Shapes sharing a base are refused
            // here regardless of data, so acceptance stays predictable.
            if has_count_member && !documents_members.is_empty() {
                return Err(unsupported(
                    "a count sub-query shares its index path with a documents component: \
                     the count reads the index's value trees themselves while the documents \
                     query descends past them, and one proof cannot serve both; count on \
                     another index, or split them into separate requests"
                        .to_string(),
                ));
            }
            if documents_members.len() < 2 {
                continue;
            }
            let has_sibling = documents_members.iter().any(|component| {
                matches!(component, Component::Sub(index) if self.sub_queries[*index].binding.is_none())
            });
            let has_page = documents_members.contains(&Component::Page);
            let all_subs_are_joins = documents_members.iter().all(|component| match component {
                Component::Page => true,
                Component::Sub(index) => self.sub_queries[*index].is_by_id_join(),
            });
            if has_sibling || (has_page && !(self.page_is_by_ids() && all_subs_are_joins)) {
                return Err(unsupported(
                    "two documents components of the composite query address the same index \
                     path and cannot be told apart by their derived values (a sibling, or a \
                     page that is not a by-ids fetch, shares a path with another component); \
                     split them into separate requests"
                        .to_string(),
                ));
            }
            // Components sharing a base path merge into one body, and
            // budgets never blend: a limited one among them can never be
            // merged (value-bounded lookups, which carry none, can).
            if members.iter().any(|(_, limited)| *limited) {
                return Err(unsupported(
                    "two documents components of the composite query address the same index \
                     path and one of them carries a limit, which cannot be merged with the \
                     other's selection; split them into separate requests"
                        .to_string(),
                ));
            }
        }
        Ok(())
    }

    /// Extracts a binding's values from its source documents in their
    /// order, deduplicated to first appearance. ONE extraction both the
    /// server and the verifier run — the single-builder rule that keeps
    /// every derived sub-query identical on both sides.
    pub fn derive_values(
        &self,
        binding: &SubQueryBinding,
        source_documents: &[Document],
    ) -> Result<DerivedValues, Error> {
        let mut seen: BTreeSet<Identifier> = BTreeSet::new();
        let mut values = Vec::new();
        for document in source_documents {
            if let Some(value) = document_bound_value(document, &binding.source_property)? {
                if seen.insert(value) {
                    values.push(value);
                }
            }
        }
        if values.len() > MAX_BOUND_VALUES {
            // The page limit, every sub-query limit and every value-bounded
            // lookup cap a source at MAX_BOUND_VALUES documents, so this is
            // an invariant on both sides, not a shape or proof condition.
            return Err(Error::Drive(DriveError::CorruptedCodeExecution(
                "a composite binding source yielded more documents than the shapes allow",
            )));
        }
        Ok(values)
    }

    /// The concrete documents query of a sub-query for `values`: the
    /// fixed clauses plus the derived `IN`, or a pure by-ids fetch for
    /// a join. A sibling ignores `values`.
    pub fn sub_query_document_query(
        &self,
        sub_query: &DriveSubQuery<'a>,
        values: &[Identifier],
        platform_version: &PlatformVersion,
    ) -> Result<DriveDocumentQuery<'a>, Error> {
        let direction = self.page_direction(platform_version)?;
        self.sub_query_document_query_with_direction(sub_query, values, direction, platform_version)
    }

    /// [`Self::sub_query_document_query`] with the page's direction
    /// already in hand: what every internal caller uses, so the page path
    /// query is lowered once per request rather than once per sub-query.
    pub(crate) fn sub_query_document_query_with_direction(
        &self,
        sub_query: &DriveSubQuery<'a>,
        values: &[Identifier],
        direction: bool,
        platform_version: &PlatformVersion,
    ) -> Result<DriveDocumentQuery<'a>, Error> {
        let ids = sorted_values(values);
        let in_value = || {
            Value::Array(
                ids.iter()
                    .map(|id| Value::Identifier(id.to_buffer()))
                    .collect(),
            )
        };

        if sub_query.is_by_id_join() {
            if !sub_query.where_clauses.is_empty() {
                return Err(unsupported(
                    "a by-id join takes no fixed clauses: every derived id must resolve"
                        .to_string(),
                ));
            }
            return Ok(DriveDocumentQuery {
                contract: sub_query.contract,
                document_type: sub_query.document_type,
                internal_clauses: InternalClauses {
                    primary_key_in_clause: Some(WhereClause {
                        field: dpp::document::property_names::ID.to_string(),
                        operator: WhereOperator::In,
                        value: in_value(),
                    }),
                    primary_key_equal_clause: None,
                    in_clauses: Vec::new(),
                    range_clause: None,
                    equal_clauses: Default::default(),
                },
                offset: None,
                limit: None,
                order_by: Default::default(),
                start_at: None,
                start_at_included: false,
                block_time_ms: None,
                resolved_time_ranges: Vec::new(),
                sub_queries: Vec::new(),
            });
        }

        let mut clauses = sub_query.where_clauses.clone();
        let mut order_by: indexmap::IndexMap<String, OrderClause> = sub_query
            .order_by
            .iter()
            .map(|clause| (clause.field.clone(), clause.clone()))
            .collect();
        if let Some(binding) = &sub_query.binding {
            clauses.push(WhereClause {
                field: binding.field.clone(),
                operator: WhereOperator::In,
                value: in_value(),
            });
            // An `IN` on a secondary index orders by the bound field;
            // supply the ordering when the caller did not, so the
            // request stays minimal and both sides build the same query.
            // It inherits the page's direction: the merged proof walks
            // every component the page's way, and a documents sub-query
            // may not be turned around behind the caller's back (see
            // `sub_query_proof_path_query`), so this default is what
            // keeps an unordered lookup mergeable under a descending page.
            if !order_by.contains_key(&binding.field) {
                order_by.insert(
                    binding.field.clone(),
                    OrderClause {
                        field: binding.field.clone(),
                        ascending: direction,
                    },
                );
            }
        }
        Ok(DriveDocumentQuery {
            contract: sub_query.contract,
            document_type: sub_query.document_type,
            internal_clauses: InternalClauses::extract_from_clauses(clauses, platform_version)?,
            offset: None,
            limit: sub_query.limit,
            order_by,
            start_at: None,
            start_at_included: false,
            block_time_ms: None,
            resolved_time_ranges: Vec::new(),
            sub_queries: Vec::new(),
        })
    }

    /// The concrete count query of a bound count sub-query for `values`.
    /// Borrows the covering index through `sub_query`, so the count query
    /// lives as long as that reference.
    pub fn sub_query_count_query<'b>(
        &'b self,
        sub_query: &'b DriveSubQuery<'a>,
        values: &[Identifier],
        _platform_version: &PlatformVersion,
    ) -> Result<DriveDocumentCountQuery<'b>, Error> {
        let Some(binding) = &sub_query.binding else {
            return Err(unsupported("a count sub-query must be bound".to_string()));
        };
        let mut where_clauses = sub_query.where_clauses.clone();
        where_clauses.push(WhereClause {
            field: binding.field.clone(),
            operator: WhereOperator::In,
            value: Value::Array(
                sorted_values(values)
                    .into_iter()
                    .map(|id| Value::Identifier(id.to_buffer()))
                    .collect(),
            ),
        });
        let index = DriveDocumentCountQuery::find_countable_index_for_where_clauses(
            sub_query.document_type.indexes(),
            &where_clauses,
            &[],
        )
        .ok_or_else(|| {
            unsupported(format!(
                "count sub-query on \"{}\" needs a `countable: true` (or summableOffCountIndex) index covering its fixed \
                 clauses and the bound field \"{}\"",
                sub_query.document_type.name(),
                binding.field,
            ))
        })?;
        Ok(DriveDocumentCountQuery {
            document_type: sub_query.document_type,
            contract_id: sub_query.contract.id().to_buffer(),
            document_type_name: sub_query.document_type.name().to_string(),
            index,
            where_clauses,
        })
    }

    /// The path query of one sub-query for `values`.
    pub fn sub_query_path_query(
        &self,
        sub_query: &DriveSubQuery<'a>,
        values: &[Identifier],
        platform_version: &PlatformVersion,
    ) -> Result<PathQuery, Error> {
        let direction = self.page_direction(platform_version)?;
        self.sub_query_path_query_with_direction(sub_query, values, direction, platform_version)
    }

    fn sub_query_path_query_with_direction(
        &self,
        sub_query: &DriveSubQuery<'a>,
        values: &[Identifier],
        direction: bool,
        platform_version: &PlatformVersion,
    ) -> Result<PathQuery, Error> {
        let path_query = match sub_query.kind {
            SubQueryKind::Documents => self
                .sub_query_document_query_with_direction(
                    sub_query,
                    values,
                    direction,
                    platform_version,
                )?
                .construct_path_query(None, platform_version)?,
            SubQueryKind::Count => self
                .sub_query_count_query(sub_query, values, platform_version)?
                .point_lookup_count_path_query(platform_version)?,
        };
        Ok(Self::budget_as_instance_cap(path_query))
    }

    /// The page's walk direction: what every component of the merged
    /// proof walks in, and what an unordered documents sub-query inherits.
    fn page_direction(&self, platform_version: &PlatformVersion) -> Result<bool, Error> {
        Ok(self
            .page_path_query(platform_version)?
            .query
            .query
            .left_to_right)
    }

    /// Aligns set-based components for merging without changing a
    /// documents query's ordering or the rows selected by its limit.
    /// Validation, proof generation and bootstrap use the same check,
    /// including when a binding will derive no values at execution time.
    pub(crate) fn sub_query_proof_path_query(
        &self,
        sub_query: &DriveSubQuery<'a>,
        values: &[Identifier],
        direction: bool,
        platform_version: &PlatformVersion,
    ) -> Result<PathQuery, Error> {
        let mut path_query = self.sub_query_path_query_with_direction(
            sub_query,
            values,
            direction,
            platform_version,
        )?;
        if sub_query.kind == SubQueryKind::Documents
            && !sub_query.is_by_id_join()
            && path_query.query.query.left_to_right != direction
        {
            return Err(unsupported(if sub_query.binding.is_none() {
                "a sibling sub-query's ordering must match the page's direction; order it \
                 explicitly by its index property, in the page's direction"
                    .to_string()
            } else {
                "a documents sub-query's outer ordering must match the page's direction; \
                 changing it for the merged proof would change its result"
                    .to_string()
            }));
        }
        // Joins restore first-appearance order after decoding. Counts
        // restore key order. Their selected sets do not depend on direction.
        path_query.query.query.left_to_right = direction;
        Ok(path_query)
    }

    /// The component path queries the merged proof covers, in component
    /// order: the page, then one entry per sub-query — `None` for a
    /// bound sub-query whose binding derived nothing (it has no branch) —
    /// and last the removal records components of the by-id joins off
    /// `moderatedDocument` properties ([`Self::removal_path_queries`]).
    /// Every sub-query walks in the page's direction: documents must
    /// already agree, while counts and by-id joins may be aligned without
    /// changing their selected sets. ONE builder both the prover and the
    /// verifier feed into [`Self::merged_path_query`], so the merged
    /// query is byte-identical on both sides.
    pub fn proof_path_queries(
        &self,
        derived: &[DerivedValues],
        platform_version: &PlatformVersion,
    ) -> Result<CompositeProofPathQueries, Error> {
        if derived.len() != self.sub_queries.len() {
            return Err(Error::Drive(DriveError::CorruptedCodeExecution(
                "one derived value list per sub-query",
            )));
        }
        let page = self.page_path_query(platform_version)?;
        let direction = page.query.query.left_to_right;
        let mut sub_path_queries = Vec::with_capacity(self.sub_queries.len());
        for (sub_query, values) in self.sub_queries.iter().zip(derived) {
            if sub_query.binding.is_some() && values.is_empty() {
                sub_path_queries.push(None);
                continue;
            }
            let path_query =
                self.sub_query_proof_path_query(sub_query, values, direction, platform_version)?;
            sub_path_queries.push(Some(path_query));
        }
        // GroveDB cannot return a count tree and descend through that
        // same tree for another component in one merged selection. Check
        // concrete values so disjoint selections on the same index remain
        // usable, including documents whose base path is below the count's.
        let mut count_terminal_paths = BTreeSet::new();
        for (sub_query, path_query) in self.sub_queries.iter().zip(&sub_path_queries) {
            if sub_query.kind != SubQueryKind::Count {
                continue;
            }
            if let Some(path_query) = path_query {
                for (mut path, key) in path_query
                    .terminal_keys(MAX_BOUND_VALUES, &platform_version.drive.grove_version)?
                {
                    path.push(key);
                    count_terminal_paths.insert(path);
                }
            }
        }
        for terminal_path in count_terminal_paths {
            for component in std::iter::once(&page).chain(sub_path_queries.iter().flatten()) {
                // A walk never leaves its own base path, so a component
                // reaches the terminal only when one path prefixes the
                // other (a base below the terminal passes through it).
                if !terminal_path.starts_with(&component.path)
                    && !component.path.starts_with(&terminal_path)
                {
                    continue;
                }
                if Self::path_query_descends_through(component, &terminal_path, platform_version)? {
                    return Err(unsupported(
                        "a count sub-query selects a tree another component descends through; \
                         split them into separate requests"
                            .to_string(),
                    ));
                }
            }
        }
        // Document entries are routed to the component with the longest
        // base path that prefixes them, which is only right when no
        // documents component walks through another's base path to
        // deeper rows (those rows would be routed to the deeper one).
        // Exact base-path sharing is refused by the shapes; nesting
        // depends on the concrete values, so it is checked here.
        let documents: Vec<&PathQuery> = std::iter::once(&page)
            .chain(
                sub_path_queries
                    .iter()
                    .zip(&self.sub_queries)
                    .filter(|(_, sub_query)| sub_query.kind == SubQueryKind::Documents)
                    .filter_map(|(path_query, _)| path_query.as_ref()),
            )
            .collect();
        for deeper in &documents {
            for shallower in &documents {
                if deeper.path.len() <= shallower.path.len()
                    || !deeper.path.starts_with(&shallower.path)
                {
                    continue;
                }
                if Self::path_query_descends_through(shallower, &deeper.path, platform_version)? {
                    return Err(unsupported(
                        "a documents sub-query walks through another documents component's \
                         subtree, so their rows could not be told apart; split them into \
                         separate requests"
                            .to_string(),
                    ));
                }
            }
        }
        // The removal records sit under the contract's other tree, beside
        // its documents tree, so no documents or count component walks
        // through them, nor they through one
        let removal_path_queries = self.removal_path_queries(derived, direction);
        Ok((page, sub_path_queries, removal_path_queries))
    }

    /// Whether a component walks through this count terminal to a deeper
    /// result. Check membership at every level: a default subquery alone
    /// does not mean its parent key was selected by this component.
    fn path_query_descends_through(
        query: &PathQuery,
        terminal_path: &[Vec<u8>],
        platform_version: &PlatformVersion,
    ) -> Result<bool, Error> {
        let mut prefix = Vec::with_capacity(terminal_path.len());
        for key in terminal_path {
            let Some(selection) =
                query.query_items_at_path(&prefix, &platform_version.drive.grove_version)?
            else {
                return Ok(false);
            };
            if !selection.items.iter().any(|item| item.contains(key))
                || !selection.has_subquery_or_matching_in_path_on_key(key)
            {
                return Ok(false);
            }
            prefix.push(key.as_slice());
        }
        Ok(true)
    }

    /// Merges the component path queries into the one query the proof
    /// covers. Components carry their budgets as per-instance caps (see
    /// [`Self::budget_as_instance_cap`]), which the merge carries along
    /// on their branches, so a page alone is proven in the very form it
    /// would have inside a merge.
    pub fn merged_path_query(
        page: &PathQuery,
        sub_path_queries: &[Option<PathQuery>],
        removal_path_queries: &[PathQuery],
        platform_version: &PlatformVersion,
    ) -> Result<PathQuery, Error> {
        let mut components: Vec<&PathQuery> = vec![page];
        components.extend(sub_path_queries.iter().flatten());
        components.extend(removal_path_queries);
        if components.len() == 1 {
            return Ok(page.clone());
        }
        PathQuery::merge(components, &platform_version.drive.grove_version)
            .map_err(merge_error_to_shape_error)
    }

    /// Decodes the proved entries of a documents component: stored
    /// documents from item elements, indexOnly projections synthesized
    /// from their proved positions.
    pub(crate) fn decode_document_trios(
        query: &DriveDocumentQuery<'a>,
        trios: Vec<PresentTrio>,
        platform_version: &PlatformVersion,
    ) -> Result<Vec<Document>, Error> {
        if query.document_type.index_only() {
            let index = query.index_only_query_index(platform_version)?;
            return trios
                .into_iter()
                .map(|(path, key, element)| {
                    synthesize_index_only_document(
                        query.contract.id(),
                        query.document_type,
                        index,
                        &path,
                        &key,
                        Some(&element),
                    )
                })
                .collect();
        }
        trios
            .into_iter()
            .map(|(_, _, element)| {
                let serialized = element.into_item_bytes().map_err(Error::from)?;
                Document::from_bytes(serialized.as_slice(), query.document_type, platform_version)
                    .map_err(|e| Error::Protocol(Box::new(e)))
            })
            .collect()
    }

    /// Decodes a documents sub-query and applies the same result assembly
    /// as execution, particularly a join's first-appearance ordering,
    /// before its documents can supply values to a later binding.
    pub(crate) fn decode_sub_query_document_trios(
        &self,
        sub_query: &DriveSubQuery<'a>,
        values: &[Identifier],
        direction: bool,
        trios: Vec<PresentTrio>,
        platform_version: &PlatformVersion,
    ) -> Result<Vec<Document>, Error> {
        let query = self.sub_query_document_query_with_direction(
            sub_query,
            values,
            direction,
            platform_version,
        )?;
        let documents = Self::decode_document_trios(&query, trios, platform_version)?;
        self.assemble_documents(sub_query, values, &documents)
    }

    /// Decodes the proved entries of a count component: one entry per
    /// count tree, keyed by the `IN` value — which sits one segment
    /// past the base path when the walk descended through trailing
    /// equalities, and IS the key otherwise (the same layout
    /// `verify_point_lookup_count_proof` reads).
    fn decode_count_trios(
        index: &Index,
        base_path_len: usize,
        trios: Vec<PresentTrio>,
    ) -> Vec<SplitCountEntry> {
        // A composite count is always bound, so it always carries an `IN`.
        let mut entries = point_lookup_count_entries(
            index,
            base_path_len,
            true,
            trios
                .into_iter()
                .map(|(path, key, element)| (path, key, Some(element))),
        );
        // Proof merging may align the count walk with a descending page;
        // count results retain the ordinary point-lookup's key order.
        entries.sort_by(|a, b| a.key.cmp(&b.key));
        entries
    }

    /// What each by-id join reports of the derived ids its assembled result
    /// has no document for, in first-appearance order, one list of each per
    /// sub-query: off a `deletableDocument` property the ids themselves (the
    /// missing ids), off a `moderatedDocument` property their removal records
    /// (see [`pair_missing_with_removals`]), and nothing for every other
    /// sub-query. [`Self::assemble_documents`] has already refused a missing
    /// document of a `permanentDocument` join. `removals` holds the decoded
    /// records by the path of the component that covers them.
    fn sub_result_absences(
        &self,
        derived: &[DerivedValues],
        sub_results: &[SubQueryResult],
        removals: &BTreeMap<Vec<Vec<u8>>, BTreeMap<Identifier, ContractDocumentRemovalEntry>>,
    ) -> Result<SubResultAbsences, Error> {
        let none = BTreeMap::new();
        let mut missing_ids = Vec::with_capacity(self.sub_queries.len());
        let mut sub_result_removals = Vec::with_capacity(self.sub_queries.len());
        for ((sub_query, values), result) in self.sub_queries.iter().zip(derived).zip(sub_results) {
            let kind = self.sub_query_join_kind(sub_query);
            let missing: Vec<Identifier> = match kind {
                Some(DocumentReferenceKind::Deletable | DocumentReferenceKind::Moderated) => {
                    let present: BTreeSet<Identifier> = result
                        .documents()
                        .iter()
                        .map(|document| document.id())
                        .collect();
                    values
                        .iter()
                        .filter(|value| !present.contains(*value))
                        .copied()
                        .collect()
                }
                _ => Vec::new(),
            };
            if kind == Some(DocumentReferenceKind::Moderated) {
                let path = contract_document_type_removals_path_vec(
                    sub_query.contract.id().as_slice(),
                    sub_query.document_type.name(),
                );
                sub_result_removals.push(pair_missing_with_removals(
                    &missing,
                    removals.get(&path).unwrap_or(&none),
                )?);
                missing_ids.push(Vec::new());
            } else {
                sub_result_removals.push(Vec::new());
                missing_ids.push(missing);
            }
        }
        Ok((missing_ids, sub_result_removals))
    }

    /// What a by-id join's source property guarantees of its targets:
    /// that they stay in state (`permanentDocument`), leave it only on a
    /// moderator's record (`moderatedDocument`), or nothing
    /// (`deletableDocument`). A source that is none of them, which
    /// `validate_sub_query` refuses, is held to the strict rule.
    fn by_id_join_kind(&self, binding: &SubQueryBinding) -> DocumentReferenceKind {
        let source_type = match binding.source {
            BindingSource::Page => Some(self.document_type),
            BindingSource::SubQuery(source_index) => self
                .sub_queries
                .get(source_index)
                .map(|source| source.document_type),
        };
        let Some(source_type) = source_type else {
            return DocumentReferenceKind::Permanent;
        };
        source_type
            .flattened_properties()
            .get(binding.source_property.as_str())
            .and_then(|property| document_reference_of(&property.property_type))
            .map_or(DocumentReferenceKind::Permanent, |declaration| {
                declaration.kind
            })
    }

    /// The kind of a sub-query that is a by-id join, `None` for every other
    /// sub-query.
    fn sub_query_join_kind(&self, sub_query: &DriveSubQuery<'a>) -> Option<DocumentReferenceKind> {
        match &sub_query.binding {
            Some(binding) if sub_query.is_by_id_join() => Some(self.by_id_join_kind(binding)),
            _ => None,
        }
    }

    /// The removal records components of the merged proof: one per
    /// document type the by-id joins off `moderatedDocument` properties
    /// target, over every id those joins derived (see
    /// [`removals_path_query`]), walking in the page's `direction`. One
    /// component per type, never one per join, so two joins into the same
    /// type do not select the same records tree twice. In (contract, type)
    /// order, so the prover and the verifier merge the same list.
    fn removal_path_queries(&self, derived: &[DerivedValues], direction: bool) -> Vec<PathQuery> {
        let mut ids_by_type: BTreeMap<(Identifier, &str), BTreeSet<Identifier>> = BTreeMap::new();
        for (sub_query, values) in self.sub_queries.iter().zip(derived) {
            if values.is_empty()
                || self.sub_query_join_kind(sub_query) != Some(DocumentReferenceKind::Moderated)
            {
                continue;
            }
            ids_by_type
                .entry((
                    sub_query.contract.id(),
                    sub_query.document_type.name().as_str(),
                ))
                .or_default()
                .extend(values.iter().copied());
        }
        ids_by_type
            .into_iter()
            .map(|((contract_id, document_type_name), ids)| {
                let ids: Vec<Identifier> = ids.into_iter().collect();
                removals_path_query(contract_id, document_type_name, &ids, direction)
            })
            .collect()
    }

    /// Assembles one documents sub-query's result from its decoded
    /// documents, keeping only the ones its derived values admit and, for
    /// a by-id join, putting them in first-appearance order. A derived id
    /// with no document is refused when the source property is a
    /// `permanentDocument` reference (exact set equality: it cannot
    /// dangle) and left out when it is a `moderatedDocument` reference
    /// (its removal record is reported instead) or a `deletableDocument` reference
    /// (the target was deleted since, and the fetch that found nothing
    /// under it is the query the proof covers). Shared by the server
    /// (where a violation is corrupted state) and the verifier (where it
    /// is an invalid proof).
    fn assemble_documents(
        &self,
        sub_query: &DriveSubQuery<'a>,
        values: &[Identifier],
        documents: &[Document],
    ) -> Result<Vec<Document>, Error> {
        let Some(binding) = &sub_query.binding else {
            return Ok(documents.to_vec());
        };
        let admitted: BTreeSet<Identifier> = values.iter().copied().collect();
        if sub_query.is_by_id_join() {
            let mut by_id: BTreeMap<Identifier, &Document> = BTreeMap::new();
            for document in documents {
                let id = document.id();
                if !admitted.contains(&id) {
                    // Another join on the same type owns it.
                    continue;
                }
                if by_id.insert(id, document).is_some() {
                    return Err(corrupted_proof(format!(
                        "composite join results carry document {} twice",
                        id
                    )));
                }
            }
            let target_is_permanent = self.by_id_join_kind(binding).is_permanent();
            let mut ordered = Vec::with_capacity(values.len());
            for value in values {
                match by_id.remove(value) {
                    Some(document) => ordered.push(document.clone()),
                    None if target_is_permanent => {
                        return Err(corrupted_proof(format!(
                            "composite join results are missing referenced document {}: a \
                             permanentDocument reference cannot dangle, so the proof does \
                             not cover the derived query",
                            value
                        )));
                    }
                    // A moderatedDocument target a moderator removed, reported
                    // by its record (`sub_result_absences`), or a
                    // deletableDocument target that is no longer in state.
                    None => {}
                }
            }
            return Ok(ordered);
        }
        let mut mine = Vec::new();
        for document in documents {
            match document_bound_value(document, &binding.field)? {
                Some(value) if admitted.contains(&value) => mine.push(document.clone()),
                _ => {}
            }
        }
        Ok(mine)
    }

    /// Assembles one count sub-query's result: the entries its derived
    /// values admit.
    fn assemble_counts(
        values: &[Identifier],
        entries: Vec<SplitCountEntry>,
    ) -> Result<Vec<SplitCountEntry>, Error> {
        let admitted: BTreeSet<Identifier> = values.iter().copied().collect();
        let mut mine = Vec::with_capacity(entries.len());
        for entry in entries {
            let Ok(value) = Identifier::from_bytes(&entry.key) else {
                return Err(corrupted_proof(
                    "a composite count entry is keyed by something other than an identifier"
                        .to_string(),
                ));
            };
            if admitted.contains(&value) {
                mine.push(entry);
            }
        }
        Ok(mine)
    }

    /// Routes the proved trios of the merged query back to the page and
    /// the sub-queries, decodes each group, and assembles every
    /// component's result. Every trio must land in a component, and
    /// every decoded item must be claimed by one — an entry the
    /// derivation never asked for means the responding node steered the
    /// composition. `sum_bearing_items_are_documents` reads every item
    /// variant as a document (the composite verifier from version 1), where
    /// version 0 reads only a plain `Item` as one.
    #[allow(clippy::too_many_arguments)]
    pub(crate) fn assemble_from_trios(
        &self,
        derived: &[DerivedValues],
        page_path_query: &PathQuery,
        sub_path_queries: &[Option<PathQuery>],
        removal_path_queries: &[PathQuery],
        trios: Vec<ProvedTrio>,
        sum_bearing_items_are_documents: bool,
        platform_version: &PlatformVersion,
    ) -> Result<CompositeDocumentsResult, Error> {
        // Group documents by base path. Counts instead route by their
        // complete terminal positions: a shared base and bound value can
        // still select different trailing equality values. A terminal may
        // belong to several counts, including counts with nested base paths.
        let direction = page_path_query.query.query.left_to_right;
        let mut groups: Vec<(Vec<Vec<u8>>, Vec<Component>)> = Vec::new();
        let mut count_members_by_position: BTreeMap<_, Vec<usize>> = BTreeMap::new();
        let mut register = |path: &Vec<Vec<u8>>, component: Component| {
            if let Some((_, members)) = groups.iter_mut().find(|(p, _)| p == path) {
                members.push(component);
            } else {
                groups.push((path.clone(), vec![component]));
            }
        };
        register(&page_path_query.path, Component::Page);
        for (index, path_query) in sub_path_queries.iter().enumerate() {
            if let Some(path_query) = path_query {
                if self.sub_queries[index].kind == SubQueryKind::Count {
                    for position in path_query
                        .terminal_keys(MAX_BOUND_VALUES, &platform_version.drive.grove_version)?
                    {
                        count_members_by_position
                            .entry(position)
                            .or_default()
                            .push(index);
                    }
                } else {
                    register(&path_query.path, Component::Sub(index));
                }
            }
        }

        // Distribute counts before their positional information is lost
        // during decoding, and documents by the longest matching base path.
        let mut trios_by_group: Vec<Vec<PresentTrio>> = vec![Vec::new(); groups.len()];
        let mut count_trios_by_sub: Vec<Vec<PresentTrio>> =
            vec![Vec::new(); self.sub_queries.len()];
        // A removal record sits at exactly its component's path, which no
        // documents or count component's path equals
        let mut removal_entries_by_path: RemovalEntriesByPath = removal_path_queries
            .iter()
            .map(|path_query| (path_query.path.clone(), Vec::new()))
            .collect();
        for (path, key, element) in trios {
            let Some(element) = element else {
                continue;
            };
            if let Some(entries) = removal_entries_by_path.get_mut(&path) {
                entries.push((key, element));
                continue;
            }
            // A document is an item; a count is a tree or a counter. From the
            // composite verifier's version 1 (`sum_bearing_items_are_documents`),
            // the sum-bearing items of a `documentsSummable` type or a
            // `summable` indexOnly index are documents too (the items
            // `decode_document_trios` reads), which version 0 reads as counts.
            let is_document = if sum_bearing_items_are_documents {
                element.has_basic_item()
            } else {
                matches!(element, Element::Item(..))
            };
            if !is_document {
                let position = (path, key);
                let members = count_members_by_position.get(&position).ok_or_else(|| {
                    corrupted_proof(
                        "the composite proof carries a count at a position no component \
                         selected"
                            .to_string(),
                    )
                })?;
                // Every member takes a copy; the last takes the original.
                let (last, others) = members.split_last().ok_or_else(|| {
                    Error::Drive(DriveError::CorruptedCodeExecution(
                        "a registered count position has at least one member",
                    ))
                })?;
                for index in others {
                    count_trios_by_sub[*index].push((
                        position.0.clone(),
                        position.1.clone(),
                        element.clone(),
                    ));
                }
                count_trios_by_sub[*last].push((position.0, position.1, element));
                continue;
            }
            let best = groups
                .iter()
                .enumerate()
                .filter(|(_, (base, _))| path.starts_with(base))
                .max_by_key(|(_, (base, _))| base.len())
                .map(|(index, _)| index)
                .ok_or_else(|| {
                    corrupted_proof(
                        "the composite proof proved an entry outside every component's \
                         subtree"
                            .to_string(),
                    )
                })?;
            trios_by_group[best].push((path, key, element));
        }

        // Decode each documents group once, then let every member claim
        // its share.
        let mut page_documents: Option<Vec<Document>> = None;
        let mut sub_results: Vec<Option<SubQueryResult>> = vec![None; self.sub_queries.len()];
        for ((_, documents_members), document_trios) in groups.iter().zip(trios_by_group) {
            // Every documents member of a group addresses the same
            // type, so any member's query decodes the group.
            let documents = match documents_members[0] {
                Component::Page => {
                    Self::decode_document_trios(self, document_trios, platform_version)?
                }
                Component::Sub(index) => {
                    let query = self.sub_query_document_query_with_direction(
                        &self.sub_queries[index],
                        &derived[index],
                        direction,
                        platform_version,
                    )?;
                    Self::decode_document_trios(&query, document_trios, platform_version)?
                }
            };
            let mut claimed: BTreeSet<usize> = BTreeSet::new();
            for member in documents_members {
                match member {
                    Component::Page => {
                        let page_ids: Option<BTreeSet<Identifier>> = if documents_members.len() > 1
                        {
                            Some(self.page_ids()?)
                        } else {
                            None
                        };
                        let mut mine = Vec::new();
                        for (position, document) in documents.iter().enumerate() {
                            let is_mine = page_ids
                                .as_ref()
                                .is_none_or(|ids| ids.contains(&document.id()));
                            if is_mine {
                                claimed.insert(position);
                                mine.push(document.clone());
                            }
                        }
                        page_documents = Some(mine);
                    }
                    Component::Sub(index) => {
                        let sub_query = &self.sub_queries[*index];
                        let mine =
                            self.assemble_documents(sub_query, &derived[*index], &documents)?;
                        let mine_ids: BTreeSet<Identifier> =
                            mine.iter().map(|document| document.id()).collect();
                        for (position, document) in documents.iter().enumerate() {
                            if mine_ids.contains(&document.id()) {
                                claimed.insert(position);
                            }
                        }
                        sub_results[*index] = Some(SubQueryResult::Documents(mine));
                    }
                }
            }
            if claimed.len() != documents.len() {
                return Err(corrupted_proof(
                    "the composite proof carries a document that no component's \
                         derivation asked for"
                        .to_string(),
                ));
            }
        }

        for (index, count_trios) in count_trios_by_sub.into_iter().enumerate() {
            if self.sub_queries[index].kind != SubQueryKind::Count {
                continue;
            }
            let Some(path_query) = &sub_path_queries[index] else {
                continue;
            };
            // Only the covering index is read here, which the bound field's
            // clause resolves whatever identifiers it holds: one value spares
            // sorting every derived value into a clause again
            let values = &derived[index];
            let count_query = self.sub_query_count_query(
                &self.sub_queries[index],
                &values[..values.len().min(1)],
                platform_version,
            )?;
            let entries =
                Self::decode_count_trios(count_query.index, path_query.path.len(), count_trios);
            sub_results[index] = Some(SubQueryResult::Counts(Self::assemble_counts(
                &derived[index],
                entries,
            )?));
        }

        let sub_results: Vec<SubQueryResult> = sub_results
            .into_iter()
            .zip(&self.sub_queries)
            .map(|(result, sub_query)| {
                result.unwrap_or_else(|| match sub_query.kind {
                    SubQueryKind::Documents => SubQueryResult::Documents(Vec::new()),
                    SubQueryKind::Count => SubQueryResult::Counts(Vec::new()),
                })
            })
            .collect();
        let removals = removal_entries_by_path
            .into_iter()
            .map(|(path, entries)| Ok((path, decode_removals(entries)?)))
            .collect::<Result<BTreeMap<_, _>, Error>>()?;
        let (sub_result_missing_ids, sub_result_removals) =
            self.sub_result_absences(derived, &sub_results, &removals)?;
        Ok(CompositeDocumentsResult {
            page_documents: page_documents.unwrap_or_default(),
            sub_results,
            sub_result_missing_ids,
            sub_result_removals,
        })
    }

    /// The ids a by-ids page addresses (its `$id IN` / `$id ==` clause),
    /// used to tell the page's documents from a join's when they share
    /// the primary tree.
    fn page_ids(&self) -> Result<BTreeSet<Identifier>, Error> {
        let mut ids = BTreeSet::new();
        // The clauses hold the client's values, so a malformed one is the request's fault, with
        // the plain query path's errors.
        if let Some(clause) = &self.internal_clauses.primary_key_equal_clause {
            ids.insert(clause.value.to_identifier().map_err(|_| {
                Error::Query(QuerySyntaxError::InvalidWhereClauseComponents(
                    "primary key equality must compare an identifier",
                ))
            })?);
        }
        if let Some(clause) = &self.internal_clauses.primary_key_in_clause {
            for value in clause.in_values().into_data_with_error()??.iter() {
                ids.insert(value.to_identifier().map_err(|_| {
                    Error::Query(QuerySyntaxError::InvalidWhereClauseComponents(
                        "primary key IN must contain identifiers",
                    ))
                })?);
            }
        }
        Ok(ids)
    }

    /// Derives one sub-query's values from the (materialized or proven)
    /// page and earlier sub-query documents: `sub_documents(i)` is the
    /// documents of sub-query `i`, which every source has by the time a
    /// later sub-query binds it (validation orders bindings; the
    /// executors and the verifier's bootstrap materialize sources
    /// first). ONE derivation every path runs — the no-proof executor,
    /// the prover, the verifier's bootstrap and its authoritative
    /// re-check — which is what keeps them identical.
    pub(crate) fn derive_for<'d>(
        &self,
        sub_query: &DriveSubQuery<'a>,
        page_documents: &[Document],
        sub_documents: impl Fn(usize) -> Option<&'d [Document]>,
    ) -> Result<DerivedValues, Error> {
        let Some(binding) = &sub_query.binding else {
            return Ok(Vec::new());
        };
        match binding.source {
            BindingSource::Page => self.derive_values(binding, page_documents),
            BindingSource::SubQuery(source_index) => {
                let documents = sub_documents(source_index).ok_or_else(|| {
                    Error::Drive(DriveError::CorruptedCodeExecution(
                        "a binding's source sub-query was not materialized before it",
                    ))
                })?;
                self.derive_values(binding, documents)
            }
        }
    }

    /// Derives every sub-query's values, in request order — see
    /// [`Self::derive_for`].
    pub fn derive_all<'d>(
        &self,
        page_documents: &[Document],
        sub_documents: impl Fn(usize) -> Option<&'d [Document]>,
    ) -> Result<Vec<DerivedValues>, Error> {
        self.sub_queries
            .iter()
            .map(|sub_query| self.derive_for(sub_query, page_documents, &sub_documents))
            .collect()
    }

    /// Whether a sub-query's documents feed a later binding.
    pub(crate) fn is_binding_source(&self, index: usize) -> bool {
        self.sub_queries.iter().any(|sub_query| {
            matches!(
                sub_query.binding,
                Some(SubQueryBinding {
                    source: BindingSource::SubQuery(source),
                    ..
                }) if source == index
            )
        })
    }
}

#[cfg(feature = "server")]
impl<'a> DriveDocumentQuery<'a> {
    /// Materializes a documents component without a proof, from the
    /// very path query the proof covers. The plain documents lowering
    /// would walk the same selection under a global limit, and grovedb
    /// charges an empty index branch (a preallocated bucket nobody wrote
    /// to yet) against a global limit but not against the per-instance
    /// cap the component carries (see [`Self::budget_as_instance_cap`]),
    /// so the two can fill a page differently. Everything derived from
    /// the page rides on this selection, so it has to be the proof's.
    /// indexOnly projections are synthesized from their positions,
    /// stored documents deserialized. A chained query reads its inner
    /// page through here too.
    pub(crate) fn materialize_component(
        query: &DriveDocumentQuery<'a>,
        path_query: &PathQuery,
        drive: &crate::drive::Drive,
        transaction: grovedb::TransactionArg,
        drive_operations: &mut Vec<crate::fees::op::LowLevelDriveOperation>,
        platform_version: &PlatformVersion,
    ) -> Result<Vec<Document>, Error> {
        use grovedb::query_result_type::QueryResultType;

        if query.document_type.index_only() {
            let results = match drive.grove_get_path_query(
                path_query,
                transaction,
                QueryResultType::QueryPathKeyElementTrioResultType,
                drive_operations,
                &platform_version.drive,
            ) {
                Err(error) if is_absent_path(&error) => return Ok(Vec::new()),
                other => other?.0,
            };
            return Self::decode_document_trios(
                query,
                results.to_path_key_elements(),
                platform_version,
            );
        }
        // Stored documents sit behind index references: the serialized
        // read follows them, a trio read would hand back the references.
        let serialized = match drive.grove_get_path_query_serialized_results(
            path_query,
            transaction,
            drive_operations,
            &platform_version.drive,
        ) {
            Err(error) if is_absent_path(&error) => return Ok(Vec::new()),
            other => other?.0,
        };
        serialized
            .into_iter()
            .map(|bytes| {
                Document::from_bytes(bytes.as_slice(), query.document_type, platform_version)
                    .map_err(|e| Error::Protocol(Box::new(e)))
            })
            .collect()
    }

    /// Materializes one sub-query's result without a proof.
    // The drive handle, transaction and operation sink travel together
    // through every materializer here; bundling them buys nothing.
    #[allow(clippy::too_many_arguments)]
    fn materialize_sub_result(
        &self,
        sub_query: &DriveSubQuery<'a>,
        values: &[Identifier],
        direction: bool,
        drive: &crate::drive::Drive,
        transaction: grovedb::TransactionArg,
        drive_operations: &mut Vec<crate::fees::op::LowLevelDriveOperation>,
        platform_version: &PlatformVersion,
    ) -> Result<SubQueryResult, Error> {
        use grovedb::query_result_type::{QueryResultElement, QueryResultType};

        if sub_query.binding.is_some() && values.is_empty() {
            return Ok(match sub_query.kind {
                SubQueryKind::Documents => SubQueryResult::Documents(Vec::new()),
                SubQueryKind::Count => SubQueryResult::Counts(Vec::new()),
            });
        }
        match sub_query.kind {
            SubQueryKind::Documents => {
                let query = self.sub_query_document_query_with_direction(
                    sub_query,
                    values,
                    direction,
                    platform_version,
                )?;
                let path_query = self.sub_query_proof_path_query(
                    sub_query,
                    values,
                    direction,
                    platform_version,
                )?;
                let documents = Self::materialize_component(
                    &query,
                    &path_query,
                    drive,
                    transaction,
                    drive_operations,
                    platform_version,
                )?;
                Ok(SubQueryResult::Documents(
                    self.assemble_documents(sub_query, values, &documents)?,
                ))
            }
            SubQueryKind::Count => {
                let count_query =
                    self.sub_query_count_query(sub_query, values, platform_version)?;
                let path_query = count_query.point_lookup_count_path_query(platform_version)?;
                let base_path_len = path_query.path.len();
                let (results, _skipped) = match drive.grove_get_path_query(
                    &path_query,
                    transaction,
                    QueryResultType::QueryPathKeyElementTrioResultType,
                    drive_operations,
                    &platform_version.drive,
                ) {
                    // No count tree yet under this index: every count is zero.
                    Err(error) if is_absent_path(&error) => {
                        return Ok(SubQueryResult::Counts(Vec::new()));
                    }
                    other => other?,
                };
                let trios = results
                    .elements
                    .into_iter()
                    .filter_map(|element| match element {
                        QueryResultElement::PathKeyElementTrioResultItem(trio) => Some(trio),
                        _ => None,
                    })
                    .collect();
                let entries = Self::decode_count_trios(count_query.index, base_path_len, trios);
                Ok(SubQueryResult::Counts(Self::assemble_counts(
                    values, entries,
                )?))
            }
        }
    }

    /// Executes the composite query without proofs.
    pub(crate) fn execute_composite_no_proof_internal(
        &self,
        drive: &crate::drive::Drive,
        transaction: grovedb::TransactionArg,
        drive_operations: &mut Vec<crate::fees::op::LowLevelDriveOperation>,
        platform_version: &PlatformVersion,
    ) -> Result<CompositeDocumentsResult, Error> {
        self.validate_composite(platform_version)?;

        let page_path_query = self.page_path_query(platform_version)?;
        let direction = page_path_query.query.query.left_to_right;
        // Documents are serialized whole, as a documents query's are: refused
        // before any read when an indexOnly page or documents sub-query reads
        // through an index lacking a property. A sub-query is judged with one
        // representative value: the index it resolves may be a pivot index the
        // read itself, binding more values than its limit, passes over for one
        // holding more properties, so this can refuse a read its real values
        // would have served, never admit one they would not.
        self.refuse_an_uncovered_index_only_projection(platform_version)?;
        for sub_query in &self.sub_queries {
            if sub_query.kind == SubQueryKind::Documents && sub_query.document_type.index_only() {
                self.sub_query_document_query_with_direction(
                    sub_query,
                    &[Identifier::default()],
                    direction,
                    platform_version,
                )?
                .refuse_an_uncovered_index_only_projection(platform_version)?;
            }
        }
        let page_documents = Self::materialize_component(
            self,
            &page_path_query,
            drive,
            transaction,
            drive_operations,
            platform_version,
        )?;
        let mut sub_results: Vec<SubQueryResult> = Vec::with_capacity(self.sub_queries.len());
        let mut derived = Vec::with_capacity(self.sub_queries.len());
        for sub_query in &self.sub_queries {
            let values = self.derive_for(sub_query, &page_documents, |source| {
                sub_results.get(source).map(|result| result.documents())
            })?;
            sub_results.push(self.materialize_sub_result(
                sub_query,
                &values,
                direction,
                drive,
                transaction,
                drive_operations,
                platform_version,
            )?);
            derived.push(values);
        }
        // Count-tree conflicts depend on the actual derived values, not
        // just the representative shapes checked by validate(). Reject
        // them on the materialized entry point as on the proof entry point.
        let (_, _, removal_path_queries) = self.proof_path_queries(&derived, platform_version)?;
        // The same removal records components the proof covers
        let mut removals = BTreeMap::new();
        for path_query in &removal_path_queries {
            removals.insert(
                path_query.path.clone(),
                fetch_removals(
                    drive,
                    path_query,
                    transaction,
                    drive_operations,
                    platform_version,
                )?,
            );
        }
        let (sub_result_missing_ids, sub_result_removals) =
            self.sub_result_absences(&derived, &sub_results, &removals)?;
        Ok(CompositeDocumentsResult {
            page_documents,
            sub_results,
            sub_result_missing_ids,
            sub_result_removals,
        })
    }

    /// Executes the composite query AND generates its single merged
    /// proof.
    ///
    /// The page (and every sub-query that feeds a later binding) is
    /// materialized so the sub-queries can be derived; then
    /// [`Self::proof_path_queries`] builds the component path queries
    /// and [`Self::merged_path_query`] merges them — one proof, one root
    /// by construction. Grovedb proves committed state only, so the
    /// materialize/prove sequence is bracketed by root-hash reads and
    /// retried if a block commit interleaved (otherwise the proof's page
    /// branch could disagree with the sub-queries derived from a stale
    /// materialization and every verifier would reject it).
    ///
    /// Returns the proof and the materialized page (the caller's
    /// pagination cursor derives from it); the sub-query results are
    /// covered by the proof and not materialized twice.
    pub(crate) fn execute_composite_with_proof_internal(
        &self,
        drive: &crate::drive::Drive,
        drive_operations: &mut Vec<crate::fees::op::LowLevelDriveOperation>,
        platform_version: &PlatformVersion,
    ) -> Result<(Vec<u8>, Vec<Document>), Error> {
        self.validate_composite(platform_version)?;
        let page_path_query = self.page_path_query(platform_version)?;
        let direction = page_path_query.query.query.left_to_right;

        // Block commits are seconds apart while an attempt is
        // milliseconds, so a bracket collision is rare and two in a row
        // vanishingly so; three attempts is generosity, not need.
        const MAX_ATTEMPTS: usize = 3;
        for _ in 0..MAX_ATTEMPTS {
            // An attempt that loses the race is discarded whole, its
            // operations included: the caller is billed for one run.
            let operations_before = drive_operations.len();
            let root_before = drive
                .grove
                .root_hash(None, &platform_version.drive.grove_version)
                .unwrap()?;

            let page_documents = Self::materialize_component(
                self,
                &page_path_query,
                drive,
                None,
                drive_operations,
                platform_version,
            )?;
            // Sub-queries that feed later bindings are materialized in
            // order; everything else is only derived.
            let mut derived: Vec<DerivedValues> = Vec::with_capacity(self.sub_queries.len());
            let mut materialized: Vec<Option<Vec<Document>>> = vec![None; self.sub_queries.len()];
            for (index, sub_query) in self.sub_queries.iter().enumerate() {
                let values = self.derive_for(sub_query, &page_documents, |source| {
                    materialized
                        .get(source)
                        .and_then(|documents| documents.as_deref())
                })?;
                if self.is_binding_source(index) {
                    let result = self.materialize_sub_result(
                        sub_query,
                        &values,
                        direction,
                        drive,
                        None,
                        drive_operations,
                        platform_version,
                    )?;
                    materialized[index] = Some(result.documents().to_vec());
                }
                derived.push(values);
            }

            let (page_path_query, sub_path_queries, removal_path_queries) =
                self.proof_path_queries(&derived, platform_version)?;
            // The same builder the verifier re-merges with, so the proof
            // covers exactly the query the verifier reconstructs.
            let merged_query = Self::merged_path_query(
                &page_path_query,
                &sub_path_queries,
                &removal_path_queries,
                platform_version,
            )?;
            let proof = drive
                .grove
                .prove_query(&merged_query, None, &platform_version.drive.grove_version)
                .unwrap()?;

            let root_after = drive
                .grove
                .root_hash(None, &platform_version.drive.grove_version)
                .unwrap()?;
            if root_before != root_after {
                drive_operations.truncate(operations_before);
                continue;
            }
            return Ok((proof, page_documents));
        }
        Err(Error::Drive(DriveError::NotSupported(
            "composite proof generation raced a block commit on every attempt; transient — \
             retry the request",
        )))
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use grovedb::{Query, SizedQuery, SubqueryBranch};

    /// The nested-documents guard asks whether one component's walk
    /// passes through another's base path to deeper rows: it must follow
    /// the query's own base path, its selected keys and its subqueries,
    /// and stop at a key the query does not select.
    #[test]
    fn should_follow_a_walk_through_selected_keys_and_subqueries_only() {
        let pv = PlatformVersion::latest();
        let key = |name: &str| name.as_bytes().to_vec();
        let mut body = Query::new();
        body.insert_key(key("x"));
        body.default_subquery_branch = SubqueryBranch {
            subquery_path: Some(vec![key("c")]),
            subquery: Some(Box::new(Query::new_range_full())),
        };
        let shallower = PathQuery::new(vec![key("a"), key("b")], SizedQuery::new(body, None, None));
        let descends = |path: &[&str]| {
            DriveDocumentQuery::path_query_descends_through(
                &shallower,
                &path.iter().map(|segment| key(segment)).collect::<Vec<_>>(),
                pv,
            )
            .expect("the walk resolves")
        };
        assert!(
            descends(&["a", "b", "x", "c"]),
            "selected key, then its subquery path"
        );
        assert!(!descends(&["a", "b", "x", "d"]), "not the subquery path");
        assert!(!descends(&["a", "b", "y", "c"]), "an unselected key");
        assert!(!descends(&["a", "z"]), "off the base path");
        assert!(
            !descends(&["a", "b", "x", "c", "k"]),
            "past the walk's leaves"
        );
    }
}