feat: add Element::ProvableCountProvableSumTree + dual-axis crossover proofs - #670

Merged

QuantumExplorer merged 39 commits into

feat/provable-count-provable-sum-tree

May 18, 2026

Commits on May 17, 2026

feat(WIP): Element::ProvableCountProvableSumTree foundation

QuantumExplorer
and
claude
committed
5ccce35
fix(tests): bump discriminant-pinning tests for slot 20

QuantumExplorer
and
claude
committed
6064508
feat: ProvableCountProvableSumTree tests + integration completion

QuantumExplorer
and
claude
committed
1584284
feat: dual-axis Node emission unblocks crossover proofs against PCPS

QuantumExplorer
and
claude
committed
60c82ee
fix(clippy): indent continuation lines in doc comment

QuantumExplorer
and
claude
committed
264d9a7
test: add coverage for dual-axis Node variants + TreeFeatureType + predicates

QuantumExplorer
and
claude
committed
1532939
style: cargo fmt

QuantumExplorer
and
claude
committed
b0d62bc
test: constructors + helpers for ProvableCountProvableSumTree

QuantumExplorer
and
claude
committed
f2514e7
ci: empty commit to retry codecov shard merge

QuantumExplorer
and
claude
committed
2c14b8e
test: more PCPS coverage — proof_node_type + dual-axis verifier paths

QuantumExplorer
and
claude
committed
0d2330b
test: encoding_length + regular-query reject paths for dual-axis Nodes

QuantumExplorer
and
claude
committed
7acc7e2
fix(test): use fully-qualified Encode method calls

QuantumExplorer
and
claude
committed
643816b
test: regular-prove-on-PCPS tests cover the dual-axis helper methods

QuantumExplorer
and
claude
committed
0b716e9
test: shape-walk rejection paths + dual-axis Node variant coverage

QuantumExplorer
and
claude
committed
527e3af
fix: address CodeRabbit findings for ProvableCountProvableSumTree PR

QuantumExplorer
and
claude
committed
979d1c0
ci: empty commit to retry codecov shard merge

QuantumExplorer
and
claude
committed
47964dc
test: cover top-3 patch-coverage gaps to reach 90%

QuantumExplorer
and
claude
committed
73637a4
fix: 3 PCPS findings — ref proof downgrade, chunk allowlist, trunk_query gate

QuantumExplorer
and
claude
committed
6825810
test: cover v0 ref-rewrite + write_chunk arms (90% patch coverage)

QuantumExplorer
and
claude
committed
7b045cf
test: tighten 2 CodeRabbit nitpicks on PCPS coverage tests

QuantumExplorer
and
claude
committed
ceb52cb
Merge develop, extend PR #672 (reject suppression wrappers) to PCPS

QuantumExplorer
and
claude
committed
7507285
Merge remote-tracking branch 'origin/develop' into feat/provable-count-provable-sum-tree
QuantumExplorer
committed
ee8b431
Merge develop (PR #669), extend count-offset paginated proofs to PCPS

QuantumExplorer
and
claude
committed
7f9fba7
test: cover dual-axis arms in count_offset emit/verify (90%+ patch)

QuantumExplorer
and
claude
committed
a776695
fix: include KVCountSum in GroveDB post-processing for PCPS Items

QuantumExplorer
and
claude
committed
745672b
fix: revert V0 prover modifications, reject PCPS at V0 dispatch

QuantumExplorer
and
claude
committed
3b28a0e
test: cover PCPS batch propagation path (+0.1% patch coverage)

QuantumExplorer
and
claude
committed
3ccc593
feat(query,merk,grovedb): AggregateCountAndSumOnRange — PCPS-only combined proof

QuantumExplorer
and
claude
committed
79d45a7
test(pcps): cover combined-aggregate negative paths to lift patch coverage above 90%

QuantumExplorer
and
claude
committed
517f327
fix: iter_is_valid_for_type wrapper arms preserve cost (CodeRabbit)

QuantumExplorer
and
claude
committed
2d675c0
test(pcps): broaden patch coverage for combined-aggregate / cross-aggregate paths

QuantumExplorer
and
claude
committed
a4e9b41
test(pcps): broaden patch coverage to 91% — add 7 PCPS tests

QuantumExplorer
and
claude
committed
6f05958
test(merk): fail forged-KVDigestCountSum tests if no op found

QuantumExplorer
and
claude
committed
5e4bcae
refactor(grovedb-query): split aggregate_sum & aggregate_count_and_sum out of query.rs

QuantumExplorer
and
claude
committed
8bcb975
feat(grovedb,query): carrier-shape AggregateSumOnRange & AggregateCountAndSumOnRange

QuantumExplorer
and
claude
committed
e69df59
fix(grovedb): two carrier-aggregate post-merge audit findings

QuantumExplorer
and
claude
committed
52e413c

Commits on May 18, 2026

refactor(grovedb): dedupe shared aggregate-proof helpers into aggregate_common

QuantumExplorer
and
claude
committed
f376510
refactor(grovedb): dedupe AggregateClassification and require_v1_envelope

QuantumExplorer
and
claude
committed
94d3662
docs: scrub PR-event / review-process references from comments

QuantumExplorer
and
claude
committed
65fda0b