Struct AglWitness 

pub struct AglWitness {
    pub map: Affine,
}

An auto-discovered affine equivalence between two Bₙ-orbit representatives: a concrete φ ∈ AGL(n,2) carrying one cover’s blocker set onto the other’s. The Bₙ census reports the two orbits as distinct classes; this witness proves they are the SAME unsatisfiable problem up to an affine coordinate change — the structure the signed-permutation lens could not see, made explicit and re-checkable. Codifying the collapse this way turns a merge count into concrete affine symmetries.

Fields

map: Affine

Implementations

impl AglWitness

pub fn verify(&self, from: &[u64], to: &[u64], num_vars: usize) -> bool

Re-check (zero trust in the producer): pushing from’s blocker set through map yields exactly to’s blocker set.

Trait Implementations

impl Clone for AglWitness

fn clone(&self) -> AglWitness

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AglWitness

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.