Function is_hall_witness 

pub fn is_hall_witness(adj: &[Vec<usize>], w: &HallWitness) -> bool

Independently re-check a Hall witness: every item in S reaches only slots in T, and |T| < |S|. This is the certificate verifier — a trusted, solver-free check that the claimed infeasibility is genuine.