Struct EvidenceQuality 

pub struct EvidenceQuality {
    pub proof_has_commit: bool,
    pub proof_has_tests: bool,
    pub proof_has_files: bool,
    pub proof_has_manual_validation: bool,
    pub closure_summary_present: bool,
    pub touched_symbols_annotated: bool,
    pub evidence_quality_score: f64,
}

Per-field evidence quality breakdown for the task closure.

Fields

proof_has_commit: bool

At least one existing ledger entry carries a commit: tag (from annotate-commit).

proof_has_tests: bool

--validated was passed OR evidence text mentions “test” / “spec” / “spec”.

proof_has_files: bool

Changed files were resolved (touched_symbols_count > 0).

proof_has_manual_validation: bool

--validated flag was explicitly set.

closure_summary_present: bool

--proof was supplied with non-default text.

touched_symbols_annotated: bool

At least one symbol was annotated (entries written > 0).

evidence_quality_score: f64

Fraction of the six boolean fields that are true, rounded to 2 d.p.

Implementations

impl EvidenceQuality

pub fn to_json(&self) -> Value

Trait Implementations

impl Clone for EvidenceQuality

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvidenceQuality

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EvidenceQuality

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for EvidenceQuality

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

where __S: Serializer,

Serialize this value into the given Serde serializer.