Function check_ns_lower_bound_polys_gfp 

pub fn check_ns_lower_bound_polys_gfp(
    f: NsField,
    num_vars: usize,
    gens: &[GfpPoly],
    degree: usize,
    witness: &[(Mono, u64)],
) -> bool

Re-check a ns_lower_bound_witness_polys_gfp certificate (zero trust in the producer): L(1) = 1 and ⟨L, m·g⟩ = 0 over f for every admitted generator product. true ⟹ the system genuinely has no degree-d Nullstellensatz refutation over f. Degree-bounded enumeration — num_vars ≤ 63.