test(stm): consolidate the recursive circuit MockProver tests - #3486

Merged

hjeljeli32 merged 11 commits into

mainfrom

hjeljeli32/3464-consolidate-recursive-circuit-mockprover-tests

Aug 26, 2026

Commits on Aug 25, 2026

test(halo2_ivc): add public-input failure-signature helper
hjeljeli32
committed
2c7e2e1
test(halo2_ivc): add satisfiable non-genesis MockProver fixtures
hjeljeli32
committed
923be23
test(halo2_ivc): consolidate public-statement binding cases per transition context
hjeljeli32
committed
689f047
test(halo2_ivc): assert exact failure rows for preimage encoding cases
hjeljeli32
committed
baac0d9
test(halo2_ivc): assert the exact accumulator failure signature
hjeljeli32
committed
86895f5
docs(halo2_ivc): correct the coverage claims in the recursive test module docs
hjeljeli32
committed
ee7575c
docs(halo2_ivc): trim the recursive test comments to what the code does
hjeljeli32
committed
e3754f1
docs(halo2_ivc): document the public-input layout enum variants
hjeljeli32
committed
53952e6
test(halo2_ivc): pin the global public-input order with distinct sentinels
hjeljeli32
committed
b96da8e
test(halo2_ivc): cover the permitted failure class without should_panic
hjeljeli32
committed
05b4ea2
chore(stm): updated changelog and crate versions
hjeljeli32
committed
1b2d052