Struct VerificationReport 

pub struct VerificationReport {
    pub schema_version: String,
    pub contract_id: Uuid,
    pub valid: bool,
    pub claim_scope: ClaimScope,
    pub assurance_level: Option<AssuranceLevel>,
    pub outcome: Option<RunOutcome>,
    pub criteria: Vec<CriterionEvaluation>,
    pub issues: Vec<VerificationIssue>,
}

Complete, deterministic result of semantic proof verification.

Fields

schema_version: String

Report schema version.

contract_id: Uuid

Contract being verified.

valid: bool

Whether no semantic error was found.

claim_scope: ClaimScope

Maximum claim the verified contract may make.

assurance_level: Option<AssuranceLevel>

Lowest assurance among evidence supporting required passed criteria.

outcome: Option<RunOutcome>

Recomputed completion outcome, absent when reduction was impossible.

criteria: Vec<CriterionEvaluation>

Per-criterion reduction details, including active counterevidence.

issues: Vec<VerificationIssue>

Stable, machine-readable semantic findings.

Implementations

impl VerificationReport

pub fn proves_task(&self) -> bool

Returns true only for a valid, task-scoped completion without waivers.

pub fn is_verified(&self) -> bool

Returns true for either verified outcome within the report’s declared scope.

Trait Implementations

impl Clone for VerificationReport

fn clone(&self) -> VerificationReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationReport

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerificationReport

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for VerificationReport

impl PartialEq for VerificationReport

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for VerificationReport

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 VerificationReport