Struct LeanCoverageMatrix 

pub struct LeanCoverageMatrix {
    pub schema_version: String,
    pub matrix_id: String,
    pub title: String,
    pub scope: String,
    pub rows: Vec<CoverageRow>,
}

Top-level Lean proof coverage matrix artifact.

Fields

schema_version: String

Schema version for compatibility and migrations.

matrix_id: String

Matrix identifier for downstream references.

title: String

Matrix title.

scope: String

Scope narrative and interpretation guidance.

rows: Vec<CoverageRow>

Coverage rows.

Implementations

impl LeanCoverageMatrix

pub fn from_json_str(input: &str) -> Result<Self, Error>

Parse a matrix from JSON text.

pub fn to_pretty_json(&self) -> Result<String, Error>

Serialize the matrix into pretty-printed JSON.

pub fn validate(&self) -> Result<(), Vec<String>>

Validate matrix structure and status/evidence consistency.

Trait Implementations

impl Clone for LeanCoverageMatrix

fn clone(&self) -> LeanCoverageMatrix

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanCoverageMatrix

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LeanCoverageMatrix

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for LeanCoverageMatrix

impl PartialEq for LeanCoverageMatrix

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for LeanCoverageMatrix

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 LeanCoverageMatrix