Enum ExpectVerdict 

pub enum ExpectVerdict {
    Met,
    NotMet,
    Impaired,
}

The zenctl expect verdict (#160). Three states, exit-coded 0/1/2: a CI assertion that cannot tell “condition not met” from “I could not observe properly” violates O4/O6 exactly where nobody reads logs carefully.

Variants

Met

The expectation held within the window.

NotMet

It did not, on a clean observation: conclusive positive evidence, or a shortfall counted with zero drops.

Impaired

The observation cannot carry the claim (drops under a completeness claim, or a shortfall the dropped samples could have filled).

Implementations

impl ExpectVerdict

pub fn to_judgement(self) -> Judgement

The Judgement mapping (RFC 13, v1.24). The judged claim is the finding — “the expectation was violated” — so Met is the established-clean pole:

verdict	judgement	exit (RFC 13 = this family’s own contract)
NotMet	Established (finding)	1
Met	NotEstablished (clean)	0
Impaired	Unobservable	2

Trait Implementations

impl Clone for ExpectVerdict

fn clone(&self) -> ExpectVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ExpectVerdict

impl Debug for ExpectVerdict

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

Formats the value using the given formatter.

impl Eq for ExpectVerdict

impl From<Judgement> for ExpectVerdict

The inverse of ExpectVerdict::to_judgement — what lets expect fold a judge’s answer straight into its verdict without hand-mapping. Both unestablished poles are Impaired: an assertion that was not (or could not be) observed is not met and not violated.

fn from(j: Judgement) -> ExpectVerdict

Converts to this type from the input type.

impl PartialEq for ExpectVerdict

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExpectVerdict

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 ExpectVerdict