Explore the checked exact compiler on the corrected graph branch. Move the edge budget, watch the active regime change, and inspect the winner.
m = 0
First decide whether the budget sits in the low-edge regime or in the checked high overlap band.
Low-edge uses balanced star forests. The high band uses star-plus-low-edge and repaired multipartite.
The exact compiler returns the maximum active regime value on the checked domain.