Function check_linear_structure 

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

Re-check a LinearStructureCert by re-extracting F’s parity system, re-reducing it, and confirming the certificate’s rank, kernel dimension, and equation count are exactly reproduced.