feat: add AggregateCountOnRange query for provable count trees - #656

Merged

QuantumExplorer merged 16 commits into

developfrom

feat/aggregate-count-query-item

May 9, 2026

Commits on May 9, 2026

feat: add AggregateCountOnRange query for provable count trees

QuantumExplorer
and
claude
committed
e1b00b6
fix(clippy): collapse nested if into let-chain (collapsible_if on rust 1.95)

QuantumExplorer
and
claude
committed
0e3afaf
fix(clippy): collapse two more nested ifs and cover HashWithCount in debugger

QuantumExplorer
and
claude
committed
1514b0c
test: cover AggregateCountOnRange validation, encoding, and chain paths

QuantumExplorer
and
claude
committed
328abbe
fix(security): address @QuantumExplorer's P0 + two P2 review findings

QuantumExplorer
and
claude
committed
5989cc4
fix(security): close serde decode bypass for nested AggregateCountOnRange

QuantumExplorer
and
claude
committed
fd272c7
docs: bring book chapter in line with shipped implementation

QuantumExplorer
and
claude
committed
dd3d9dd
docs: drop "Settled design choices" section from aggregate-count chapter

QuantumExplorer
and
claude
committed
34ab633
fix(security): address two of three CodeRabbit findings

QuantumExplorer
and
claude
committed
02e75c1
test: byte-mutation fuzzer + random round-trip + NonCounted contract + proof size

QuantumExplorer
and
claude
committed
929191f
chore: drop unused VerifyOptions import + placeholder marker

QuantumExplorer
and
claude
committed
63287de
feat(aggregate-count): exclude NonCounted children from count proofs

QuantumExplorer
and
claude
committed
30a960a
docs+test: address CodeRabbit review on PR #656

QuantumExplorer
and
claude
committed
abf86d0
test(aggregate-count): cover V1 envelope error paths and shape-walk rejections

QuantumExplorer
and
claude
committed
7cf8c4e
fix: validate aggregate-count queries at prove_query entry

QuantumExplorer
and
claude
committed
c13b5f4
test(aggregate-count): cover non-leaf single-key proof and chain-failure paths

QuantumExplorer
and
claude
committed
ce8e98d

Navigation Menu

Uh oh!

feat: add AggregateCountOnRange query for provable count trees - #656

feat: add AggregateCountOnRange query for provable count trees#656
QuantumExplorer merged 16 commits into
developfrom
feat/aggregate-count-query-item

Commits on May 9, 2026

feat: add AggregateCountOnRange query for provable count trees

fix(clippy): collapse nested if into let-chain (collapsible_if on rust 1.95)

fix(clippy): collapse two more nested ifs and cover HashWithCount in debugger

test: cover AggregateCountOnRange validation, encoding, and chain paths

fix(security): address @QuantumExplorer's P0 + two P2 review findings

fix(security): close serde decode bypass for nested AggregateCountOnRange

docs: bring book chapter in line with shipped implementation

docs: drop "Settled design choices" section from aggregate-count chapter

fix(security): address two of three CodeRabbit findings

test: byte-mutation fuzzer + random round-trip + NonCounted contract + proof size

chore: drop unused VerifyOptions import + placeholder marker

feat(aggregate-count): exclude NonCounted children from count proofs

docs+test: address CodeRabbit review on PR #656

test(aggregate-count): cover V1 envelope error paths and shape-walk rejections

fix: validate aggregate-count queries at prove_query entry

test(aggregate-count): cover non-leaf single-key proof and chain-failure paths