Expand description
Carrier-aggregate-count proof verification (carrier
AggregateCountOnRange composition with outer Keys per
grovedb PR #663) — returns one (in_key, u64) per resolved In
branch. Used by group_by = [in_field] count queries that
carry both an In clause and a range clause.