feat(drive): boolean HAVING range queries on ranked index axes - #4384

Merged

QuantumExplorer merged 13 commits into

claude/having-evaluation-feasibility-5b3db9

Aug 13, 2026

Commits on Aug 12, 2026

feat(drive): boolean HAVING range queries on ranked index axes

QuantumExplorer
and
claude
committed
852c5ef
test(drive): having-range proof round-trip with identifier group keys

QuantumExplorer
and
claude
committed
25cce54
test(drive): pin single-property group_by contract on the having path

QuantumExplorer
and
claude
committed
1134037

Commits on Aug 13, 2026

fix(drive): exact float AVG bound translation and honest having continuation contract

QuantumExplorer
and
claude
committed
9e72bdc
docs(dapi-grpc): document the PV14 having-range grammar on the wire

QuantumExplorer
and
claude
committed
0c80416
docs(dapi-grpc): having-range ORDER BY uses the ranked order-key spelling

QuantumExplorer
and
claude
committed
39e14e5
Merge remote-tracking branch 'origin/v4.2-dev' into claude/having-evaluation-feasibility-5b3db9
QuantumExplorer
committed
8a5ca12
test(drive): exercise the having proof through the tenderdash trust boundary

QuantumExplorer
and
claude
committed
99ae78e
docs(drive): having is evaluated since PV14 in the ranked book chapter

QuantumExplorer
and
claude
committed
6083e18
refactor(drive-abci): split document query v1 routing and dispatchers into files

QuantumExplorer
and
claude
committed
9a2cda3
refactor(drive): file-based versioning for having and ranked mode detection

QuantumExplorer
and
claude
committed
a31b385
fix(drive): keep drive-proof-verifier building drive with verify only

QuantumExplorer
and
claude
committed
abf5256
docs(drive): align remaining HAVING docs with the PV14 contract

QuantumExplorer
and
claude
committed
d94aa01