feat(drive): per-prefix ranked aggregates on compound indexes - #4393

Merged

QuantumExplorer merged 18 commits into

v4.2-devfrom

claude/gracious-mahavira-673f37

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

feat(drive): per-prefix ranked aggregates on compound indexes

QuantumExplorer
and
claude
committed
0f8068e
fix(drive): exact float AVG bound translation and honest having continuation contract

QuantumExplorer
and
claude
committed
9e72bdc
Merge remote-tracking branch 'origin/claude/having-evaluation-feasibility-5b3db9' into claude/gracious-mahavira-673f37
QuantumExplorer
committed
f1bfabc
docs(dapi-grpc): document the PV14 having-range grammar on the wire

QuantumExplorer
and
claude
committed
0c80416
Merge remote-tracking branch 'origin/claude/having-evaluation-feasibility-5b3db9' into claude/gracious-mahavira-673f37
QuantumExplorer
committed
3ad095f
docs(dapi-grpc): wire docs cover compound-index equality pins

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

QuantumExplorer
and
claude
committed
39e14e5
Merge remote-tracking branch 'origin/claude/having-evaluation-feasibility-5b3db9' into claude/gracious-mahavira-673f37
QuantumExplorer
committed
6ba3d00
fix(dpp): satisfy clippy type_complexity on the compound-ranked test helper

QuantumExplorer
and
claude
committed
9ec210b
Merge remote-tracking branch 'origin/v4.2-dev' into claude/having-evaluation-feasibility-5b3db9
QuantumExplorer
committed
8a5ca12
Merge remote-tracking branch 'origin/claude/having-evaluation-feasibility-5b3db9' into claude/gracious-mahavira-673f37
QuantumExplorer
committed
047c95d
Merge remote-tracking branch 'origin/v4.2-dev' into claude/gracious-mahavira-673f37
QuantumExplorer
committed
5dd1671
fix(drive): adapt post-merge tests to pinned-prefix query APIs

QuantumExplorer
and
claude
committed
869dfba
fix(dpp)!: ranked key ceiling binds only the terminal property; null pins address absent prefixes

QuantumExplorer
and
claude
committed
b17dfcf
refactor(dpp): give the ranked prefix-overlap rule its own file

QuantumExplorer
and
claude
committed
650416f

Navigation Menu

Uh oh!

feat(drive): per-prefix ranked aggregates on compound indexes - #4393

feat(drive): per-prefix ranked aggregates on compound indexes#4393
QuantumExplorer merged 18 commits into
v4.2-devfrom
claude/gracious-mahavira-673f37

Commits on Aug 12, 2026

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

test(drive): having-range proof round-trip with identifier group keys

test(drive): pin single-property group_by contract on the having path

Commits on Aug 13, 2026

feat(drive): per-prefix ranked aggregates on compound indexes

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

Merge remote-tracking branch 'origin/claude/having-evaluation-feasibility-5b3db9' into claude/gracious-mahavira-673f37

docs(dapi-grpc): document the PV14 having-range grammar on the wire

Merge remote-tracking branch 'origin/claude/having-evaluation-feasibility-5b3db9' into claude/gracious-mahavira-673f37

docs(dapi-grpc): wire docs cover compound-index equality pins

docs(dapi-grpc): having-range ORDER BY uses the ranked order-key spelling

Merge remote-tracking branch 'origin/claude/having-evaluation-feasibility-5b3db9' into claude/gracious-mahavira-673f37

fix(dpp): satisfy clippy type_complexity on the compound-ranked test helper

Merge remote-tracking branch 'origin/v4.2-dev' into claude/having-evaluation-feasibility-5b3db9

Merge remote-tracking branch 'origin/claude/having-evaluation-feasibility-5b3db9' into claude/gracious-mahavira-673f37

Merge remote-tracking branch 'origin/v4.2-dev' into claude/gracious-mahavira-673f37

fix(drive): adapt post-merge tests to pinned-prefix query APIs

fix(dpp)!: ranked key ceiling binds only the terminal property; null pins address absent prefixes

refactor(dpp): give the ranked prefix-overlap rule its own file