Expand description
Per-mode having-range executors on impl Drive. The dispatcher
(super::drive_dispatcher) picks between the two executors on the
request’s prove flag.
Mode-to-query resolution — covering-index pick + equality-pin
encoding — is resolve_having_query_for_mode, shared with the
SDK’s proof helpers: both surfaces and both sides read the same
indexed tree, and sharing the resolution is what guarantees a proof
and an unproven read are about the same subtree.