Struct CoverageSummary 

pub struct CoverageSummary {
    pub n: usize,
    pub orbits: usize,
    pub by_rung: BTreeMap<String, usize>,
    pub max_ns_degree: usize,
    pub structured: usize,
    pub rigid: usize,
    pub by_resolution_width: BTreeMap<usize, usize>,
}

The hardness spectrum of the n-variable SAT hypercube — the durable “how much do we cover, and where is the hard core” map, aggregated from census. Each minimal-UNSAT family is placed on the certified proof-complexity ladder by its weakest crushing rung (the cheapest proof system that refutes it), and split by whether it carries Bₙ symmetry to break. The Nullstellensatz rung is further resolved by minimum degree — the algebraic-hardness dial — so the spectrum shows not just that the residue is algebraic but how deep it sits.

Fields

n: usize

orbits: usize

by_rung: BTreeMap<String, usize>

Family count per proof rung: trivial (unit propagation), counting, parity, nullstellensatz-d{degree}, beyond-budget. The rung is exactly which proof system covers it.

max_ns_degree: usize

The deepest minimum-Nullstellensatz degree at this n — the algebraic-hardness ceiling.

structured: usize

Families with a non-trivial Bₙ stabilizer — symmetry there is to break.

rigid: usize

Families with trivial stabilizer — the rigid residue, no symmetry shortcut.

by_resolution_width: BTreeMap<usize, usize>

Distribution of minimum resolution width across the families.

Trait Implementations

impl Clone for CoverageSummary

fn clone(&self) -> CoverageSummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoverageSummary

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

Formats the value using the given formatter.