Struct RuleCoverage 

pub struct RuleCoverage {
    pub id: String,
    pub revision: u64,
    pub lifecycle: String,
    pub level: String,
    pub checker: Option<String>,
    pub statement: String,
    pub disposition: RuleDisposition,
    pub evidence: Vec<CoverageEvidence>,
    pub note: Option<String>,
}

One row of the coverage matrix: a pinned rule (or a citation that failed to join one), its pinned identity, the disposition the evidence earned, and the joins behind it.

Fields

id: String

revision: u64

lifecycle: String

The pinned effective lifecycle (approved/enforced) and RFC-2119 level (must/should), verbatim from the pin (or from the citation on a not-applicable row).

level: String

checker: Option<String>

The pinned checker binding (gate:<id>, agent-judgement, manual-attestation) — the mechanism column.

statement: String

The pinned normative statement, so the machine form names what was judged, not just ids. Empty (and absent) on not-applicable rows: a citation carries no statement, and the fold never invents one.

disposition: RuleDisposition

evidence: Vec<CoverageEvidence>

The joined evidence in log (seq) order. Empty exactly when the disposition is not-evaluated.

note: Option<String>

Why a not-applicable row exists (the digest the citation joined against versus the pin’s); absent on pinned rows.

Trait Implementations

impl Clone for RuleCoverage

fn clone(&self) -> RuleCoverage

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RuleCoverage

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RuleCoverage

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for RuleCoverage

impl PartialEq for RuleCoverage

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for RuleCoverage

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 RuleCoverage