feat: count-provable sum-axis secondaries + count-bound offset proofs for all indexed axes - #791

Merged

QuantumExplorer merged 5 commits into

claude/psit-secondary-countsum

Aug 4, 2026

Commits on Aug 4, 2026

feat: count-provable sum-axis secondaries + count-bound offset proofs for all indexed axes

QuantumExplorer
and
claude
committed
f210ae9
chore: address CodeRabbit review — canonical secondary tree types in test helpers, full O(log n + k) pagination bound in docs

QuantumExplorer
and
claude
committed
13218d9
test: cover the rank-of-key and trailing-byte error branches

QuantumExplorer
and
claude
committed
7c1e5e1
fix: PathKeyNotFound for a missing rank-of-key item, per CodeRabbit

QuantumExplorer
and
claude
committed
8752090
test: direct Avg-axis PCPSIT drift coverage, per CodeRabbit

QuantumExplorer
and
claude
committed
f05dbc1