Expand description
Path-query builders for the count query.
These are the load-bearing prover/verifier-agreement boundary: the bytes these builders produce must match byte-for-byte between the prover and the verifier, or the merk-root recomputation fails. Touching anything here without updating both the server-side prove executor AND the SDK’s verifier path-query reconstruction simultaneously is a bug waiting to happen.
All three builders are gated #[cfg(any(feature = "server", feature = "verify"))] so the verifier crate (which only enables
verify) can reach them via DriveDocumentCountQuery::* method
syntax.