Expand description
Point-lookup count proof verification (CountTree element proof for
Equal/In counts on a countable: true index) — returns one entry
per covered branch, with each count extracted from the verified
CountTree element’s count_value.