Struct LinearStructureCert 

pub struct LinearStructureCert {
    pub num_vars: usize,
    pub num_xor_eqs: usize,
    pub rank: usize,
    pub kernel_dim: usize,
}

The par32-scale linear-structure certificate: the GF(2) rank and kernel dimension of F’s parity system, valid for any number of variables (beyond the u64 cap of LinearRigidityCert). It carries no explicit kernel basis — at this scale the witness is recomputation: re-extract the parity system, re-reduce it, and confirm the same rank and kernel dimension. This is the object par32’s “157-dim linearly-rigid kernel” measurement becomes.

Fields

num_vars: usize

The number of Boolean variables F is over.

num_xor_eqs: usize

The number of XOR (parity) equations recovered from F.

rank: usize

The rank of the GF(2) system (independent parity constraints), from RREF reduction.

kernel_dim: usize

The dimension of the linear choice space — the free variables occurring in the reduced matrix.

Trait Implementations

impl Clone for LinearStructureCert

fn clone(&self) -> LinearStructureCert

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LinearStructureCert

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

Formats the value using the given formatter.

impl PartialEq for LinearStructureCert

fn eq(&self, other: &LinearStructureCert) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for LinearStructureCert

impl StructuralPartialEq for LinearStructureCert