Review fixes for prove-and-retire (#994) - #995

Merged

MauroToscano merged 8 commits into

perf/streaming-retire-ldefrom

review/994-fixes

Sep 18, 2026

Commits on Sep 18, 2026

Reject a malformed out-of-domain block instead of panicking
MauroToscano
committed
a21095f
Reattach eight doc comments to the items they describe
MauroToscano
committed
996337a
Say what the walk actually holds, and drop a stale table count
MauroToscano
committed
ff458c3
Stop the CLI changing the allocator for every command
MauroToscano
committed
62777a3
Make four test assertions able to fail
MauroToscano
committed
54c81ae
Satisfy the lint gate
MauroToscano
committed
e05ca72
Declare the `log` dependency the CLI actually uses
MauroToscano
committed
daeef58
Build the prover without `parallel` again
MauroToscano
committed
abd54fa