Skip to content

feat(drive): document sum + average proof primitives, with SDK fan-out scaffolding and reproducible benchmarks #3661

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
QuantumExplorer merged 53 commits into from
May 19, 2026
Merged

feat(drive): document sum + average proof primitives, with SDK fan-out scaffolding and reproducible benchmarks #3661

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
53 commits
Select commit Hold shift + click to select a range
8dd12a6
feat(drive): document sum + average proof primitives (tip-jar, grades…
QuantumExplorer May 18, 2026
ed9c197
fix(drive): satisfy workspace clippy -D warnings + tests-rs-workspace CI
QuantumExplorer May 18, 2026
a063d21
chore(deps): bump grovedb to develop head e98bab5f
QuantumExplorer May 18, 2026
d200746
fix(drive): address CodeRabbit review feedback
QuantumExplorer May 18, 2026
a9c50da
ci: retrigger after v3.1-dev rustfmt fix landed
QuantumExplorer May 18, 2026
030f09e
fix(drive): export SumEntry/SumMode/DriveDocumentSumQuery under verify
QuantumExplorer May 18, 2026
fac6fdf
fix(drive): address CodeRabbit feedback round 2
QuantumExplorer May 18, 2026
1e2c6de
test: add picker, setter-invariant, and summable-parser tests
QuantumExplorer May 18, 2026
d8a5ace
feat(drive): wire-stable AVG surface alongside SUM (executor stub)
QuantumExplorer May 18, 2026
a2864f7
chore(dpp): clarify primary-key sum/count + drop redundant v12 mentions
QuantumExplorer May 18, 2026
7f44a85
chore: address CodeRabbit feedback on AVG scaffolding
QuantumExplorer May 18, 2026
d5cb1f9
chore(dpp): narrow "rarely useful" note to rangeSummable only
QuantumExplorer May 18, 2026
7a4e6ab
fix(drive,dpp): overflow safety + regenerate gRPC clients
QuantumExplorer May 18, 2026
6329750
feat(drive): account for ItemWithSumItem/ReferenceWithSumItem sum_val…
QuantumExplorer May 18, 2026
d551b45
feat(drive): finer-grained sum-tree cost estimation via grovedb #674
QuantumExplorer May 19, 2026
820cc4b
chore: bump grovedb to develop head (post-#674 merge)
QuantumExplorer May 19, 2026
6c59b93
fix(drive,dpp): address blocking review findings on sum-tree feature
QuantumExplorer May 19, 2026
ca20fd4
ci: retrigger after self-hosted runner disk-space failure
QuantumExplorer May 19, 2026
d202c75
feat(drive): v1 index-walker estimation accounts for sum-bearing valu…
QuantumExplorer May 19, 2026
670b503
feat(dpp): add averageable / rangeAverageable as count+sum syntactic …
QuantumExplorer May 19, 2026
dd1faa4
fix(drive): delete-path ItemWithSumItem reload + v1 top-level delete …
QuantumExplorer May 19, 2026
df18315
feat(drive,drive-abci): build out SUM/AVG dispatchers end-to-end
QuantumExplorer May 19, 2026
d3c738d
fix(dpp): correct averageable+countable desugar logic in Index parser
QuantumExplorer May 19, 2026
73c8499
fix(dpp): reject rangeAverageable contradictions with explicit range_…
QuantumExplorer May 19, 2026
2db1ac5
chore: address QuantumExplorer review on sum-tree PR
QuantumExplorer May 19, 2026
3a45585
fix(drive,drive-abci,dpp): address thepastaclaw AVG/sum review findings
QuantumExplorer May 19, 2026
240c820
refactor(drive-abci): move compute_aggregate_mode_and_check_limit int…
QuantumExplorer May 19, 2026
40e96bb
test(dpp): add doctype-level rangeAverageable contradiction tests
QuantumExplorer May 19, 2026
32705cc
feat(drive,drive-proof-verifier,rs-sdk): wire prove path for SUM + AV…
QuantumExplorer May 19, 2026
2518106
refactor(drive): hoist sum-aware primary-storage element construction…
QuantumExplorer May 19, 2026
3878d3c
fix(drive-proof-verifier,drive): doc-lazy-continuation clippy errors
QuantumExplorer May 19, 2026
8431c65
chore(drive): remove sum-query scaffolding stubs (grovedb_pr_670.rs, …
QuantumExplorer May 19, 2026
c42a54e
refactor(dpp,drive): address 5 review comments — code organization + …
QuantumExplorer May 19, 2026
b5b4a5d
fix(drive): revert v0 add_indices to v3.1-dev + complete param rename
QuantumExplorer May 19, 2026
574a939
feat(drive,drive-proof-verifier,rs-sdk): close remaining SUM/AVG TODOs
QuantumExplorer May 19, 2026
64051f3
fix(drive,dpp): close two blocking sum-tree review findings
QuantumExplorer May 19, 2026
e46962b
fix(drive,rs-sdk): close 3 SDK SUM/AVG proof-helper review findings
QuantumExplorer May 19, 2026
b5a420a
fix(drive): close 3 new sum-tree review findings at 64051f3f
QuantumExplorer May 19, 2026
8a7c2ff
feat(wasm-sdk): wire SUM/AVG fan-out (closes #3684)
QuantumExplorer May 19, 2026
e94b4d5
feat(dpp,drive): support keep-history + documentsSummable via Referen…
QuantumExplorer May 19, 2026
6d818d4
docs(book): refresh sum/average index chapters for resolved write-sid…
QuantumExplorer May 19, 2026
505324d
docs(drive-abci): scrub stale SUM/AVG status callouts in v1 query han…
QuantumExplorer May 19, 2026
88a4ae1
fix(drive,book): refresh sum/avg chapters from fresh bench rebuild; f…
QuantumExplorer May 19, 2026
79382bf
fix(drive): SUM/AVG prove-path limit policy + drop `.expect` in op.rs
QuantumExplorer May 19, 2026
b2c60e5
docs(drive): link AVG dispatcher's planned-follow-up note to issue #3687
QuantumExplorer May 19, 2026
9681d73
test(drive): SUM/AVG prove-path limit-policy regression tests + scrub…
QuantumExplorer May 19, 2026
7d13f8f
fix(platform-version): freeze V2 primary_key_tree_type at v0 dispatch…
QuantumExplorer May 19, 2026
81467ea
fix(drive): AVG prove dispatcher accepts no-range GroupByIn (point-lo…
QuantumExplorer May 19, 2026
16d7507
fix(drive,dpp): summable-index refresh path, doctype shorthand parity…
QuantumExplorer May 19, 2026
779822d
docs(dapi-grpc): refresh stale SELECT capability comments on the requ…
QuantumExplorer May 19, 2026
254e5e6
fix(drive): key-changing updates materialize new index branches with …
QuantumExplorer May 19, 2026
ab8b8a9
docs(drive,sdk): refresh stale SUM/AVG capability comments on the SEL…
QuantumExplorer May 19, 2026
2e7dcdd
fix(proof-verifier,wasm-sdk): checked-arithmetic flat-map for split s…
QuantumExplorer May 19, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
46 changes: 23 additions & 23 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 3 additions & 0 deletions book/src/SUMMARY.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -63,6 +63,9 @@
- [Document Count Trees](drive/document-count-trees.md)
- [Count Index Examples](drive/count-index-examples.md)
- [Count Index Group By Examples](drive/count-index-group-by-examples.md)
- [Document Sum Trees](drive/document-sum-trees.md)
- [Sum Index Examples](drive/sum-index-examples.md)
- [Average Index Examples](drive/average-index-examples.md)

# Testing

Expand Down
Loading
Loading