Function find_agl_witness 

pub fn find_agl_witness(
    from: &[u64],
    to: &[u64],
    num_vars: usize,
) -> Option<AglWitness>

Search AGL(n,2) for an affine map carrying from’s blocker set onto to’s — the witness that two Bₙ orbits are affine-equivalent, or None if they are genuinely affine-distinct. Exhaustive, so n ≤ 4.