Enum WhyVerdict 

pub enum WhyVerdict {
    Explained,
    Healthy,
    Impaired,
}

The report’s overall reading — what the CLI exits with (see the module doc’s exit table).

Variants

Explained

An explanation of the silence was established (exit 0).

Healthy

No cause, and everything checked looks healthy (exit 1).

Impaired

No cause, and the observation was impaired: an input this ladder wanted could not be obtained, so “healthy” cannot be claimed (exit 2).

Implementations

impl WhyVerdict

pub fn to_judgement(self) -> Judgement

The Judgement mapping (RFC 13, v1.24), and it is THE inverted one — read this before wiring exit codes: Explained is established-finding (Established), because the thing why establishes is a cause — a finding about the fleet — even though this family’s own historical CLI contract exits 0 for it (the module doc’s table). The RFC 13 exit projection (crate::report::judgement_exit_code) therefore gives why’s three verdicts 1 / 0 / 2 in this order — the flip between the two contracts is carried here, at the mapping, never special-cased by a consumer downstream.

verdict	judgement	RFC 13 exit	historical zenctl why exit
Explained	Established (finding)	1	0
Healthy	NotEstablished (clean)	0	1
Impaired	Unobservable	2	2

Trait Implementations

impl Clone for WhyVerdict

fn clone(&self) -> WhyVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for WhyVerdict

impl Debug for WhyVerdict

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

Formats the value using the given formatter.

impl Eq for WhyVerdict

impl From<Judgement> for WhyVerdict

The inverse of WhyVerdict::to_judgement, same (inverted) polarity: an established finding is Explained, established-clean is Healthy, and both unestablished poles fold to Impaired — a ladder nobody asked is exactly a ladder that cannot claim health.

fn from(j: Judgement) -> WhyVerdict

Converts to this type from the input type.

impl PartialEq for WhyVerdict

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for WhyVerdict

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 WhyVerdict