feat(platform)!: verifiable, bounded count queries on a unified endpoint#3623

Merged

QuantumExplorer merged 82 commits into

claude-unified-count-and-range

May 12, 2026

Commits on May 9, 2026

feat(platform): unify count + split-count into one endpoint

QuantumExplorer
and
claude
committed
chore(deps): bump grovedb to 347bd9b5 (NonCounted + AggregateCountOnRange)

QuantumExplorer
and
claude
committed

Commits on May 10, 2026

feat(dpp): add range_countable per-index property (schema-level plumbing)

QuantumExplorer
and
claude
committed
feat(drive): NonCounted-empty-tree helper + range_countable insert guard

QuantumExplorer
and
claude
committed
feat(drive): add batch_insert_empty_non_counted_normal_tree_if_not_exists

QuantumExplorer
and
claude
committed
feat(drive): wire range_countable storage layout in insert walker

QuantumExplorer
and
claude
committed
feat(drive): mirror range_countable storage layout in delete walker

QuantumExplorer
and
claude
committed
test(drive): add range_countable index e2e coverage

QuantumExplorer
and
claude
committed
feat(drive): add range-aware count picker for range_countable indexes

QuantumExplorer
and
claude
committed
feat(drive): implement range count executor on range_countable indexes

QuantumExplorer
and
claude
committed
feat(drive-abci): route range count queries through range_countable path

QuantumExplorer
and
claude
committed
chore(dapi-grpc): regenerate clients for unified count endpoint

QuantumExplorer
and
claude
committed
docs(book): document range count + AggregateCountOnRange proof path

QuantumExplorer
and
claude
committed
fix(dpp): satisfy clippy 1.92 doc-lazy-continuation on IndexLevelTypeInfo

QuantumExplorer
and
claude
committed
fix(drive): satisfy clippy 1.92 doc-overindented-list-items

QuantumExplorer
and
claude
committed
test: improve range count coverage in drive + drive-abci

QuantumExplorer
and
claude
committed
refactor(dpp): drop dead protocol-version guards in v1 try_from_schema

QuantumExplorer
and
claude
committed
docs(dpp): clarify range_countable affects only last index property

QuantumExplorer
and
claude
committed
fix(dpp): restore protocol-version guards in v1 try_from_schema

QuantumExplorer
and
claude
committed
refactor(drive,drive-abci): extract count-mode detection into rs-drive

QuantumExplorer
and
claude
committed
refactor(drive,drive-abci): extract per-mode count executors into rs-drive

QuantumExplorer
and
claude
committed
refactor(drive,drive-abci): collapse count handler into one drive call

QuantumExplorer
and
claude
committed
fix(drive): satisfy clippy 1.92 in count executor signatures + docstrings

QuantumExplorer
and
claude
committed
feat(sdk,wasm-sdk,book): expose new count-query fields + sync indexes.md

QuantumExplorer
and
claude
committed
fix(rs-sdk-ffi): populate new DocumentCountQuery fields

QuantumExplorer
and
claude
committed
feat(drive,sdk): expose AggregateCountOnRange path-builder + clear SDK error

QuantumExplorer
and
claude
committed
fix(drive): clippy 1.92 doc-overindented-list-items in path-builder doc

QuantumExplorer
and
claude
committed
fix(dpp,drive): address CodeRabbit findings on count-query PR

QuantumExplorer
and
claude
committed
fix(drive): restore prove+In via materialize-and-count, thread options to PerInValue
QuantumExplorer
committed
feat(sdk,drive-proof-verifier): wire up AggregateCountOnRange proof verification
QuantumExplorer
committed
fix(drive): cap PerInValue In array at 100 + delete dead split-count helpers
QuantumExplorer
committed
autogen
QuantumExplorer
committed
fix(sdk): route DocumentSplitCounts total-count through DocumentCountQuery verifier
QuantumExplorer
committed
docs(book),test(dpp): clarify In+range layering, fix casing, pin range_countable immutability
QuantumExplorer
committed
test(drive): drop most-common-color test, keep helper for future coverage
QuantumExplorer
committed
refactor(drive): drop dead split_by_property field on DriveDocumentCountQuery
QuantumExplorer
committed
test(drive): broaden aggregate-count prove-path coverage to all 8 range operator shapes + compound
QuantumExplorer
committed
test(drive): add parking-lot scenario test for aggregate-count prove path at scale
QuantumExplorer
committed
test(drive): show decoded proof envelope + add distinct-mode per-lot parking-lot test
QuantumExplorer
committed
feat(drive,sdk,book): wire distinct-counts-with-proof for range_countable indexes
QuantumExplorer
committed
test(drive): inline-print decoded distinct-count proof under --nocapture
QuantumExplorer
committed
refactor(drive,drive-abci): move count where-clause parsing into drive
QuantumExplorer
committed
refactor(drive-proof-verifier): collapse verify_distinct_count_proof to use returned elements
QuantumExplorer
committed
fix(drive-proof-verifier): keep verify_proof_succinctness on for distinct-count proofs
QuantumExplorer
committed
fix(drive,sdk): thread limit through prove-distinct path with validate-don't-clamp policy
QuantumExplorer
committed
fix(drive-proof-verifier): use strict VerifyOptions::default() now that path query carries a limit
QuantumExplorer
committed
fix(drive-proof-verifier): use GroveDb::verify_query matching docs handler pattern
QuantumExplorer
committed
docs(drive-proof-verifier): clarify invariants behind verify_query choice in distinct-count verifier
QuantumExplorer
committed
fix(drive-abci): update stale test that expected distinct + prove to be rejected
QuantumExplorer
committed
feat(drive,sdk): allow In on prefix for distinct-count via grovedb subqueries
QuantumExplorer
committed

Commits on May 11, 2026