feat: add Element::ProvableSumTree + AggregateSumOnRange query - #661

Merged

QuantumExplorer merged 44 commits into

claude/distracted-margulis-99463b

May 17, 2026

Commits on May 11, 2026

feat(types): add Element::ProvableSumTree variant + NotSummed twin extension

QuantumExplorer
and
claude
committed
c95cf74
feat(merk): node_hash_with_sum + proof Node variants for ProvableSumTree

QuantumExplorer
and
claude
committed
3364f08
refactor(types): NotSummed twin uses explicit per-variant mapping

QuantumExplorer
and
claude
committed
46466d1
feat(grovedb): wire ProvableSumTree through insert/read/batch paths

QuantumExplorer
and
claude
committed
73697a8
feat(grovedb): verify_grovedb consistency check for aggregate fields

QuantumExplorer
and
claude
committed
40b3c16
feat: AggregateSumOnRange query + proof + verify for ProvableSumTree

QuantumExplorer
and
claude
committed
9c7d5e1
docs: ProvableSumTree element + AggregateSumOnRange query

QuantumExplorer
and
claude
committed
e49fa10
test: targeted coverage for ProvableSumTree code paths

QuantumExplorer
and
claude
committed
dfa2046
fix(verify): reject KVRefValueHashSum in trunk/branch chunk proofs

QuantumExplorer
and
claude
committed
2b8490e
fix(query): scan conditional-branch selectors for AggregateSumOnRange

QuantumExplorer
and
claude
committed
ae7b971
fix: error classification and entry preservation in aggregate-sum paths

QuantumExplorer
and
claude
committed
8cec7b5
test: strengthen aggregate-sum regression coverage

QuantumExplorer
and
claude
committed
fce7132
docs: refresh ProvableSumTree doc comments

QuantumExplorer
and
claude
committed
ff5645b
fix(verify): require provable tree type at aggregate query terminal layer

QuantumExplorer
and
claude
committed
da53ef0
fix(verify): reject empty-path aggregate-sum/count queries at validation

QuantumExplorer
and
claude
committed
cc1828d
feat(merk,grovedb): add no-proof query_aggregate_sum entry point

QuantumExplorer
and
claude
committed
922cd83
Merge remote-tracking branch 'origin/develop' into claude/distracted-margulis-99463b
QuantumExplorer
committed
ab5c59d
test(query_item): mirror AggregateCountOnRange tests for AggregateSumOnRange

QuantumExplorer
and
claude
committed
f67f94c
test(element/helpers): per-variant flag-accessor coverage

QuantumExplorer
and
claude
committed
26c2ba0
test(grovedb): unit coverage for aggregate_consistency_labels

QuantumExplorer
and
claude
committed
fd5f8dd
test(grovedb/proof): verifier error-path coverage for aggregate-sum

QuantumExplorer
and
claude
committed
f4b940f
test(merk/aggregate_sum): unit coverage for helpers and edge cases

QuantumExplorer
and
claude
committed
d1b4651
test(non-merk trees): aggregate-sum/count rejection in index helpers

QuantumExplorer
and
claude
committed
e5640a8
test: per-variant tree_type extensions + sum-proof Display arms

QuantumExplorer
and
claude
committed
1ec516a
nit(coderabbit): doc-comment + test + error-wrap polish

QuantumExplorer
and
claude
committed
b1027dc

Commits on May 14, 2026

docs: clarify appendix-a Element/TreeType discriminant columns

QuantumExplorer
and
claude
committed
86b527b

Commits on May 15, 2026

Merge remote-tracking branch 'origin/develop' into claude/distracted-margulis-99463b
QuantumExplorer
committed
fe7c4a0
fix(verify): accept Sum-family boundary nodes in range bound checks

QuantumExplorer
and
claude
committed
5b3a046
fix(query): split aggregate validator error label per count/sum variant

QuantumExplorer
and
claude
committed
74c99ba
fix(verify): key_exists_as_boundary_in_proof must accept KVDigestSum

QuantumExplorer
and
claude
committed
afc3fcf
chore(comments): strip implementation-phase labels from ProvableSumTree code

QuantumExplorer
and
claude
committed
e9aa0a0
fix(serde): QueryItem Serialize emits snake_case variant tags

QuantumExplorer
and
claude
committed
9dbef93
refactor(aggregate-sum): mirror PR #663 — split into subdir, reject V0 envelopes

QuantumExplorer
and
claude
committed
da5c103
harden(aggregate-sum): strict lower_layers shape + V1 terminal-type test

QuantumExplorer
and
claude
committed
f08cdfc
test(aggregate-sum): split strict-shape gate + cover trailing-bytes / wrong-key

QuantumExplorer
and
claude
committed
17d0843
refactor(proof): hoist canonical proof decoder to operations/proof/mod.rs

QuantumExplorer
and
claude
committed
df17e70
harden(proof): general verify paths now use canonical decoder

QuantumExplorer
and
claude
committed
6ebdb2c

Commits on May 16, 2026

Commits on May 17, 2026

merge: develop (#667 ReferenceWithSumItem) + re-slot ProvableSumTree to 19

QuantumExplorer
and
claude
committed
d218f21
test(crossover): ReferenceWithSumItem × ProvableSumTree combinations

QuantumExplorer
and
claude
committed
d3278c1
refactor(merk/proofs): hoist shared aggregate-on-range helpers to aggregate_common

QuantumExplorer
and
claude
committed
18739c7
refactor(merk/proofs): split aggregate_sum.rs into aggregate_sum/ subdirectory

QuantumExplorer
and
claude
committed
aafeb6a
refactor(merk/proofs): split aggregate_count.rs into aggregate_count/ subdirectory

QuantumExplorer
and
claude
committed
facfad2