Struct SpecMatrix 

pub struct SpecMatrix {
    pub overflow: Counter,
    /* private fields */
}

Fields

overflow: Counter

2026-09-26: Steps not placed: zero drafts, more than MAX_DRAFTS, or more accepted than checked.

Implementations

impl SpecMatrix

pub const fn new() -> Self

pub fn steps(&self, drafts: usize, accepted: usize) -> u64

pub fn acceptance_by_depth(&self, drafts: usize) -> Vec<f64>

2026-09-26: For each depth 1..=drafts, the fraction of drafts-wide verify steps that accepted at least that deep. Empty when no such step ran.

pub fn widths(&self) -> Vec<usize>

2026-09-26: Draft widths that have recorded any step.

Trait Implementations

impl Debug for SpecMatrix

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

Formats the value using the given formatter.

impl Default for SpecMatrix

fn default() -> Self

Returns the “default value” for a type.