Struct ResidueMap 

pub struct ResidueMap {
    pub n: usize,
    pub total: usize,
    pub crushed: usize,
    pub residue: usize,
    pub targetable: usize,
    pub rigid_core: usize,
    pub core_max_ns_degree: usize,
}

The residue map — the honest “here’s what we crush, and here’s the wall” partition of the census. Every minimal-UNSAT family lands in exactly one of: crushed (a structural specialist route decided it — parity, mod-p, counting, a symmetry route, SoS, …), or the residue (routed to Incompressible/Cdcl — no lens caught it). Within those, targetable are the families still carrying unbroken symmetry (break more → crush cheaper), and rigid_core ⊆ residue are the families with no symmetry to break at all — the incompressible wall the counting bound predicts. This is a search with structure: not random probing, but a ranked pass of every lens over every family, surfacing exactly which ones resist and why.

Fields

n: usize

total: usize

crushed: usize

A structural specialist route decided it (route ∉ {Incompressible, Cdcl}).

residue: usize

No lens caught it — fell through to CDCL / the certified “no shortcut” verdict. The hard core.

targetable: usize

Families with symmetry left unbroken (discovered_rule_orbits > full_rule_orbits) — the concrete “break more symmetry to crush this” targets. 0 means the symmetry breaking is complete.

rigid_core: usize

Residue families that are also rigid (trivial Bₙ stabilizer) — no symmetry exists to break, so the wall here is intrinsic, not a gap in our breaking.

core_max_ns_degree: usize

The deepest minimum-Nullstellensatz degree among the residue — how algebraically deep the wall sits.

Trait Implementations

impl Clone for ResidueMap

fn clone(&self) -> ResidueMap

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResidueMap

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

Formats the value using the given formatter.