Function check_linear_rigidity 

pub fn check_linear_rigidity(
    cert: &LinearRigidityCert,
    clauses: &[Vec<Lit>],
) -> bool

Re-check a LinearRigidityCert against F, trusting nothing the producer computed: re-extract the parity system, independently recompute its kernel, and confirm the certificate’s basis is a genuine, independent, complete null-space of the recovered rows.