Enum GateDetail 

pub enum GateDetail {
    Validate {
        contracts: usize,
        errors: usize,
        warnings: usize,
        error_messages: Vec<String>,
    },
    Audit {
        contracts: usize,
        findings: usize,
        finding_messages: Vec<String>,
    },
    Score {
        contracts: usize,
        min_score: f64,
        mean_score: f64,
        threshold: f64,
        below_threshold: Vec<String>,
    },
    Verify {
        total_refs: usize,
        existing: usize,
        missing: usize,
    },
    Enforce {
        equations_total: usize,
        equations_with_pre: usize,
        equations_with_post: usize,
        equations_with_lean: usize,
    },
    ReverseCoverage {
        total_pub_fns: usize,
        bound_fns: usize,
        unbound_fns: usize,
        coverage_pct: f64,
        threshold_pct: f64,
    },
    Composition {
        edges_checked: usize,
        edges_satisfied: usize,
        edges_broken: usize,
    },
    Skipped {
        reason: String,
    },
}

Gate-specific detail payload.

Variants

Validate

Fields

contracts: usize

errors: usize

warnings: usize

error_messages: Vec<String>

Audit

Fields

contracts: usize

findings: usize

finding_messages: Vec<String>

Score

Fields

contracts: usize

min_score: f64

mean_score: f64

threshold: f64

below_threshold: Vec<String>

Verify

Fields

total_refs: usize

existing: usize

missing: usize

Enforce

Fields

equations_total: usize

equations_with_pre: usize

equations_with_post: usize

equations_with_lean: usize

ReverseCoverage

Fields

total_pub_fns: usize

bound_fns: usize

unbound_fns: usize

coverage_pct: f64

threshold_pct: f64

Composition

Fields

edges_checked: usize

edges_satisfied: usize

edges_broken: usize

Skipped

Fields

reason: String

Trait Implementations

impl Clone for GateDetail

fn clone(&self) -> GateDetail

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GateDetail

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

Formats the value using the given formatter.

impl Serialize for GateDetail

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

where __S: Serializer,

Serialize this value into the given Serde serializer.