feat(grovedb,merk): provable offset on ProvableCountTree / ProvableCountSumTree single-range queries - #669

Merged

QuantumExplorer merged 24 commits into

developfrom

claude/wizardly-diffie-a91472

May 17, 2026

Commits on May 17, 2026

feat(grovedb,merk): provable offset paginated queries on ProvableCount(Sum)Tree

QuantumExplorer
and
claude
committed
0fd0d21
test(count_offset): adversarial verifier + validator branch coverage

QuantumExplorer
and
claude
committed
cc0ece0
fix(count_offset): address CodeRabbit review on PR #669

QuantumExplorer
and
claude
committed
b3f203d
test(count_offset): cover V0 proof envelope + nonexistent-path branch

QuantumExplorer
and
claude
committed
36aad71
fix(count_offset): close two soundness gaps from CodeRabbit review

QuantumExplorer
and
claude
committed
83cc489
fix(verify): collapse if-let-and-condition to satisfy CI clippy

QuantumExplorer
and
claude
committed
1e4520a
test(count_offset): forge proofs to exercise verifier rejection branches

QuantumExplorer
and
claude
committed
946d2e3
test(count_offset): more forging tests targeting remaining verifier branches

QuantumExplorer
and
claude
committed
cf1b279
refactor(verify): mark allowlist-protected catch-alls unreachable; drop dead consistency check

QuantumExplorer
and
claude
committed
6d929ea
test(count_offset): V0-envelope rejection coverage

QuantumExplorer
and
claude
committed
c350606
refactor(verify): extract shared count-offset layer dispatch helper

QuantumExplorer
and
claude
committed
e9ad498
refactor(emit): mark walk-returned-None branches unreachable

QuantumExplorer
and
claude
committed
c2f23df
revert(v0): keep V0 proofs frozen; add DO NOT MODIFY banners

QuantumExplorer
and
claude
committed
20ca8ca
fix(query): reject QueryItem::Key in count-offset paginated validator

QuantumExplorer
and
claude
committed
254fde2
refactor(merk): move prove_count_offset_on_range into its own file + version-gate at 0

QuantumExplorer
and
claude
committed
a2c824e
chore(prove): drop pointer comment to prove_count_offset.rs

QuantumExplorer
and
claude
committed
01f0c48
docs(book): add Count-Offset Paginated Queries chapter

QuantumExplorer
and
claude
committed
e4da86e
fix(count_offset): reject NonCounted / Reference / non-empty-tree in-range entries

QuantumExplorer
and
claude
committed
2aa3d6e
docs(query): fix validate_count_offset_paginated rustdoc — Key is rejected

QuantumExplorer
and
claude
committed
af610b9
test(count_offset): tighten error-variant matching and pin full payload

QuantumExplorer
and
claude
committed
14ab1a6
refactor(verify): factor count-offset envelope gate + test verify_query path

QuantumExplorer
and
claude
committed
73865a2
test(count_offset): add forged-proof tests for verifier defense-in-depth

QuantumExplorer
and
claude
committed
da740d5
Merge remote-tracking branch 'origin/develop' into claude/wizardly-diffie-a91472
QuantumExplorer
committed
42597e5
test+docs(count_offset): align with #672 NonCounted insert rejection

QuantumExplorer
and
claude
committed
a1720f2

Navigation Menu

Uh oh!

feat(grovedb,merk): provable offset on ProvableCountTree / ProvableCountSumTree single-range queries - #669

feat(grovedb,merk): provable offset on ProvableCountTree / ProvableCountSumTree single-range queries#669
QuantumExplorer merged 24 commits into
developfrom
claude/wizardly-diffie-a91472

Commits on May 17, 2026

feat(grovedb,merk): provable offset paginated queries on ProvableCount(Sum)Tree

test(count_offset): adversarial verifier + validator branch coverage

fix(count_offset): address CodeRabbit review on PR #669

test(count_offset): cover V0 proof envelope + nonexistent-path branch

fix(count_offset): close two soundness gaps from CodeRabbit review

fix(verify): collapse if-let-and-condition to satisfy CI clippy

test(count_offset): forge proofs to exercise verifier rejection branches

test(count_offset): more forging tests targeting remaining verifier branches

refactor(verify): mark allowlist-protected catch-alls unreachable; drop dead consistency check

test(count_offset): V0-envelope rejection coverage

refactor(verify): extract shared count-offset layer dispatch helper

refactor(emit): mark walk-returned-None branches unreachable

revert(v0): keep V0 proofs frozen; add DO NOT MODIFY banners

fix(query): reject QueryItem::Key in count-offset paginated validator

refactor(merk): move prove_count_offset_on_range into its own file + version-gate at 0

chore(prove): drop pointer comment to prove_count_offset.rs

docs(book): add Count-Offset Paginated Queries chapter

fix(count_offset): reject NonCounted / Reference / non-empty-tree in-range entries

docs(query): fix validate_count_offset_paginated rustdoc — Key is rejected

test(count_offset): tighten error-variant matching and pin full payload

refactor(verify): factor count-offset envelope gate + test verify_query path

test(count_offset): add forged-proof tests for verifier defense-in-depth

Merge remote-tracking branch 'origin/develop' into claude/wizardly-diffie-a91472

test+docs(count_offset): align with #672 NonCounted insert rejection