Enum LinearShortcut 

pub enum LinearShortcut {
    None {
        rigidity: Option<LinearRigidityCert>,
        structure: LinearStructureCert,
    },
    NoLinearStructure,
}

The honest verdict on whether F admits a linear (GF(2)) symmetry shortcut — the certified, re-checkable “no shortcut of this class” answer the dispatcher and diagnostics can report instead of silently spinning a symmetry search. Class-relative (linear/parity), with the Chaitin ceiling as the documented frame: we certify the linear structure exactly, never claim an absolute bound.

Variants

None

F’s parity structure is fully exposed and rigid — no linear shortcut beyond the certified 2^kernel_dim solution space. The strongest available witness is attached: an explicit kernel basis (LinearRigidityCert) when the system fits the u64 budget, always the incremental dimensions (LinearStructureCert).

Fields

rigidity: Option<LinearRigidityCert>

structure: LinearStructureCert

NoLinearStructure

F carries no parity structure at all — the linear class offers no leverage (and nothing to break), so a linear-symmetry search would find nothing.

Trait Implementations

impl Clone for LinearShortcut

fn clone(&self) -> LinearShortcut

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LinearShortcut

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

Formats the value using the given formatter.