feat: counted offset skip for unproved ranked paginated reads - #792

Open

shumkov wants to merge 12 commits into

fix/counted-skip-unproved-read

Commits on Aug 12, 2026

docs: record the counted-skip design for unproved ranked reads

shumkov
and
claude
committed
356af1e

Commits on Aug 13, 2026

feat: counted offset skip for unproved ranked paginated reads
shumkov
committed
e79f618
feat: report the true skipped count from unproved paginated ranked reads
shumkov
committed
e41d57e
fix: gate the IndexedTopKPage re-export on minimal, not minimal-or-verify

shumkov
and
claude
committed
c37729e
test: pin that the unproved skipped equals the proved path's attested skipped

shumkov
and
claude
committed
cc7b399
test: cover the legacy baseline and the counted path's returned-row decode refusal
shumkov
committed
c4ceac6
fix: serve the whole counted page from one pinned iterator view
shumkov
committed
0100cb8

Commits on Aug 14, 2026