Enum Verdict 

pub enum Verdict {
    Pass,
    Fail(String),
    Inconclusive(String),
}

Re-exported so a consumer holding evidence does not also depend on boundgraph-core just for the types it is made of. The outcome of a check.

Deliberately three-valued. A two-valued verdict forces “we could not tell” into either Pass (unsafe) or Fail (blocks legitimate work), and the unsafe choice is the tempting one.

Variants

Pass

The check succeeded. This is the only verdict that may commit.

Fail(String)

The check failed, with a reason the repair loop can act on.

Inconclusive(String)

The check could not reach a conclusion — a timeout, a crashed tool, an unsupported input. Never commits.

Implementations

impl Verdict

pub fn is_pass(&self) -> bool

Whether this verdict permits a commit.

Only Verdict::Pass does. Inconclusive is explicitly not a pass.

pub fn reason(&self) -> Option<&str>

Why the check did not pass, if it did not.

Trait Implementations

impl Clone for Verdict

fn clone(&self) -> Verdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Verdict

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Verdict

fn deserialize<__D>( __deserializer: __D, ) -> Result<Verdict, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Verdict

impl PartialEq for Verdict

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Verdict

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Verdict