bench(recursion): measure the verifier at real query counts, over real blocks#846

Merged

Oppen merged 13 commits into

mainfrom

bench/recursion-bench-infra

Jul 21, 2026

Commits on Jul 20, 2026

perf(recursion-bench): pre-prove block continuation input as fixture
Oppen
committed
wire real-block recursion profiling/bench into CI, cache the dumped proof
Oppen
committed
extract bench-verify.yml's recursion preset loop into a script
Oppen
committed
bench-verify.yml: add workflow_dispatch to test branch changes directly
Oppen
committed
fix(scripts): unbound-variable crash in run_recursion_bench.sh
Oppen
committed
scripts: stop truncating function names in the recursion profile table
Oppen
committed
bench-verify.yml: fail the job if the recursion cycle bench didn't complete
Oppen
committed
fix review findings: stale block-preset result cache, unvalidated pairs input
Oppen
committed