Struct ProofEvaluation 

pub struct ProofEvaluation {
    pub claim_scope: ClaimScope,
    pub assurance_level: AssuranceLevel,
    pub outcome: RunOutcome,
    pub criteria: Vec<CriterionEvaluation>,
}

Deterministic result of reducing a contract and proof graph.

Fields

claim_scope: ClaimScope

Claim made by this evaluation.

assurance_level: AssuranceLevel

Lowest assurance among the evidence supporting required passed criteria.

outcome: RunOutcome

Completion-gate result.

criteria: Vec<CriterionEvaluation>

Per-criterion derivation details.

Trait Implementations

impl Clone for ProofEvaluation

fn clone(&self) -> ProofEvaluation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofEvaluation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofEvaluation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ProofEvaluation

impl PartialEq for ProofEvaluation

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ProofEvaluation

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 ProofEvaluation