Struct StabilizedSystem 

pub struct StabilizedSystem {
    pub degree: usize,
    pub cols: Vec<Structure>,
    pub entries: BTreeMap<RowLabel, Vec<FittedCount>>,
    pub onset: usize,
    pub period: usize,
}

The stabilized symbolic system: the window-fitted entry polynomials, evaluable (mod 2) at every scale — the finite object that decides the invariant-witness question for all m.

Fields

degree: usize

cols: Vec<Structure>

The stabilized column types (union over the window), the empty type first.

entries: BTreeMap<RowLabel, Vec<FittedCount>>

Per row label, one fitted counting polynomial per column.

onset: usize

First scale of the fitting window — verdicts apply to m ≥ onset.

period: usize

The lcm of all entry parity periods (a power of two).

Implementations

impl StabilizedSystem

pub fn invariant_witness_exists_at(&self, m: usize) -> bool

The mod-2 collapsed dual at scale m (from the fitted entries), solved: does an invariant degree-d pseudo-expectation exist at scale m? By construction this is periodic in m with period StabilizedSystem::period for m ≥ onset.