Enum Rank 

pub enum Rank {
    Untried,
    Failing,
    Green,
    Hardened,
    Proven,
}

The earned rank of a run — a ladder computed from EVIDENCE, never self-declared. The higher rungs (COVERED/HARDENED/PROVEN/BATTLE-READY) require coverage, mutation, proofs, and the full inspection, which light up as those waves land; the runner computes the base rungs honestly today.

Variants

Untried

It compiles. Nothing is tested.

Failing

A test failed — no rank is earned.

Green

All tests pass; deterministic; zero unbudgeted debts.

Hardened

Green + at least one For all property held over its generated cases.

Proven

Hardened + at least one property PROVED by exhaustion (a certificate, not a sample).

Implementations

impl Rank

pub fn label(self) -> &'static str

Trait Implementations

impl Clone for Rank

fn clone(&self) -> Rank

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Rank

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

Formats the value using the given formatter.

impl PartialEq for Rank

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Rank

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for Rank

impl Eq for Rank

impl StructuralPartialEq for Rank