feat(drive): composite document queries: a page plus derived sub-queries under one merged proof - #4598

Merged

QuantumExplorer merged 9 commits into

feat/composite-document-queries-drive

Sep 7, 2026

Commits on Sep 5, 2026

feat(drive): composite document queries: a page plus derived sub-queries under one merged proof

QuantumExplorer
and
claude
committed
a28fe7e
fix(drive): preserve composite query selections and binding order
QuantumExplorer
committed
d146311
fix(drive): unordered composite lookups inherit the page's direction

QuantumExplorer
and
claude
committed
d734175
test(drive): assert the sibling-bound count's derived post

QuantumExplorer
and
claude
committed
7710e4d
test(drive): cover a descending page with a cross-contract and a limited lookup

QuantumExplorer
and
claude
committed
93fa818

Commits on Sep 7, 2026