Function is_refutation 

pub fn is_refutation(
    equations: &[XorEquation],
    num_vars: usize,
    refutation: &[usize],
) -> bool

Re-check a refutation: the XOR of the chosen equations is 0 = 1 — their variables all cancel while their right-hand sides sum to 1. A solver-free certificate of unsatisfiability.