Enum RuleDisposition 

pub enum RuleDisposition {
    Passed,
    Failed,
    Advisory,
    Waived,
    NotEvaluated,
    NotApplicable,
}

One rule’s disposition in the coverage matrix — D-H’s closed vocabulary. Serde kebab-case: the spellings are the design’s own (not-evaluated, not-applicable), so the machine form and the prose surfaces can never drift apart.

Variants

Passed

Positive evidence joined the rule (a gate.result pass named it) and no failing evidence did. Never rendered from absence.

Failed

Failing evidence joined an effectively ENFORCED rule.

Advisory

Failing evidence joined an effectively APPROVED rule — recorded, but the advisory lifecycle means it could not block (D-B).

Waived

Every joined failure was excepted by a valid, unexpired, exactly-matching standards.waiver.approved (KRZ-344, D-I) — the authorized human exception. One waiver subtracts exactly one failure: any failing join left uncovered renders failed/advisory instead.

NotEvaluated

The rule applied but no evidence names it. The honest zero state: absence of evidence is never rendered as pass (D-H).

NotApplicable

Evidence cites a rule/revision/digest the approved pin does not carry — surfaced as its own row, never joined and never dropped.

Implementations

impl RuleDisposition

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

The wire/serde spelling for text surfaces.

Trait Implementations

impl Clone for RuleDisposition

fn clone(&self) -> RuleDisposition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RuleDisposition

impl Debug for RuleDisposition

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RuleDisposition

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for RuleDisposition

impl PartialEq for RuleDisposition

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for RuleDisposition

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for RuleDisposition