fix(prover): emit missing marker on continuation verify paths#855

Open

Oppen wants to merge 1 commit into

mainfrom

fix/continuation-profile-markers

Commits on Jul 21, 2026

fix(prover): emit STEP_AIRS_AND_BUS_BALANCE_DONE marker on continuation verify paths
Oppen
committed