Function check_ns_lower_bound_polys 

pub fn check_ns_lower_bound_polys(
    num_vars: usize,
    gens: &[Poly],
    degree: usize,
    witness: &[Mono],
) -> bool

Re-check a ns_lower_bound_witness_polys certificate (zero trust in the producer): L(1) = 1 and L(m·g) = 0 for every admitted generator of the system. true ⟹ the generator system genuinely has no degree-d GF(2) Nullstellensatz refutation. Degree-bounded enumeration — num_vars ≤ 63.