Expand description
Equal/In point-lookup execution paths for the count query.
No-proof and proof executors for fully-covered Equal/In queries
against a countable: true index. Both sides share the same
DriveDocumentCountQuery::point_lookup_count_path_query builder,
so the proof bytes the server signs and the path query the verifier
reconstructs (and the no-proof read this file performs) all see
the exact same shape — there’s only one source of truth for which
CountTree elements compose the answer.
Range-mode executors live in
super::execute_range_count; this
file is the Equal/In half of the dispatch surface.
Whole module is gated feature = "server" via the parent’s
pub mod execute_point_lookup; declaration.