pub fn parse_failures(build_output: &str) -> HashSet<String>Expand description
Parse the fn.law ids whose speculative portfolio fell through to its
AVERSPEC_SORRY:<id> trace floor (did NOT close) from a lake build log.
first commits to the leftmost closing branch and never runs a later
branch’s trace, so the marker surfaces IFF the portfolio reached its
sorry floor — a direct “this law did not close”, no warning-location
mapping or separate #print axioms run required.