Module minimize 

The --minimize driver state, thread-local so the two re-emit passes (instrument, then collapse) can steer Tactic::render_body without threading a mode + counter through every codegen signature. Codegen runs single-threaded per transpile, and a normal aver proof never enters a pass, so the default ([Mode::Off]) leaves emission untouched.

Functions

begin_collapse

Enter the collapse pass with the parsed winners, counter reset to 0.

begin_instrument

Enter the instrument pass: emit winner-probe markers, counter reset to 0.

end

Leave the minimize pass — emission returns to byte-for-byte normal.

parse_winners

Parse the winning branch of every instrumented First from a lake build log. Markers surface as … AVERMIN:<idx>:<branch>; first traces every branch it tries and stops at the first that closes, so the winner of node idx is the MAXIMUM branch index seen for it.