Struct ForAllVerdict 

pub struct ForAllVerdict {
    pub system: StabilizedSystem,
    pub by_residue: Vec<bool>,
    pub validated: Vec<(usize, bool)>,
}

The ∀-scales verdict: the stabilized system plus its per-residue answers and the in-window differential validation record.

Fields

system: StabilizedSystem

by_residue: Vec<bool>

For each residue r mod period: does an invariant witness exist at scales ≡ r, ≥ onset?

validated: Vec<(usize, bool)>

Window validation: per scale, the fitted-system verdict — each asserted equal to the direct orbit-collapsed solver’s, with every positive lifted and re-checked.