Struct Verdict 

pub struct Verdict {
    pub label: String,
    pub accept: bool,
    pub coverage: CoverageReport,
}

The graduated verification outcome: the objective coverage report, the scheme’s classification label, and this verifier’s acceptance decision — the triple every surface serializes.

Fields

label: String

The scheme’s classification label.

accept: bool

The verifier’s acceptance decision.

coverage: CoverageReport

The objective coverage report.

Trait Implementations

impl Debug for Verdict

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

Formats the value using the given formatter.

impl Serialize for Verdict

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

where __S: Serializer,

Serialize this value into the given Serde serializer.