Repository navigation

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

Merged

QuantumExplorer merged 13 commits into

v4.2-devfrom

claude/having-evaluation-feasibility-5b3db9

Aug 13, 2026

Merged

feat(drive): boolean HAVING range queries on ranked index axes#4384
QuantumExplorer merged 13 commits into
v4.2-devfrom
claude/having-evaluation-feasibility-5b3db9

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

Commits

Commits on Aug 12, 2026

Commits on Aug 13, 2026