Function skips_cold_solve 

pub fn skips_cold_solve(
    agree: bool,
    continuation_exact: bool,
    path_exact: bool,
) -> bool

Whether the exact stage’s cold G·H = 0 solve is skipped, given the continuation’s certified answer and the relaxed path’s answer: when the two agree (answers_agree), or when both are exact-product points (each route’s finish converged). Two exact answers in hand make a third route to the same exact problem a third opinion; it still runs when either answer is only a relaxed point (a continuation whose finish failed keeps its τ = 1e-8 point; CALIPSO bunny-hop seed 1 is where the cold solve then wins, 462.605 against 463.195).