Struct MatrixReport 

pub struct MatrixReport {
    pub rows: usize,
    pub held: usize,
    pub tracked: usize,
    pub failures: Vec<(String, Outcome)>,
}

The verdict over a whole corpus run.

Carries its own denominator (rows) inside the compared value — the fleet’s anti-vacuity rule. A matrix that stopped discovering rows must fail loudly rather than report an empty green, which is exactly how a coverage gate rots without anyone noticing.

Fields

rows: usize

Total rows adjudicated. The denominator.

held: usize

Rows that held (declared Match, observed parity).

tracked: usize

Rows tracked as known divergences.

failures: Vec<(String, Outcome)>

Failures, each (row name, the adjudicated outcome). The outcome is kept typed rather than pre-rendered — it renders through [Display] at report time, never as a stored string.

Implementations

impl MatrixReport

pub fn from_rows(named: impl IntoIterator<Item = (String, Outcome)>) -> Self

Fold adjudicated rows into a report.

named is (row name, outcome).

pub fn is_green(&self) -> bool

Whether the gate is green.

An empty corpus is NOT green. rows == 0 means the matrix discovered nothing, which is indistinguishable from every row having been deleted — the vacuity failure this field exists to catch.

Trait Implementations

impl Clone for MatrixReport

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MatrixReport

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

Formats the value using the given formatter.

impl Display for MatrixReport

One line carrying the denominator, suitable for a gate’s output. Always states rows, so a SHRINKING corpus is visible in the log even on a green run — the anti-vacuity rule made readable.

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

Formats the value using the given formatter.

impl Eq for MatrixReport

impl PartialEq for MatrixReport

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for MatrixReport