Struct Coverage 

pub struct Coverage<'r, 'a> { /* private fields */ }

Qualified absence coverage with accounted original-source contributors. Complete reason coverage alone is not a whole certificate trust verdict; caller still owns current-source selection and authenticated path provenance.

Implementations

impl<'r, 'a> Coverage<'r, 'a>

pub fn new(first: AbsenceEvidence<'r, 'a>, execution: &Memory) -> Result<Self>

Retain the first qualified source; capacity remains charged until drop.

pub fn reasons(&self) -> Reasons

Current qualified reason coverage.

pub fn sources(&self) -> &[AbsenceEvidence<'r, 'a>]

Original evidence behind every contributing reason union.

pub fn add( &mut self, evidence: AbsenceEvidence<'r, 'a>, execution: &Memory, ) -> Result<CoverageAdmission>

Add compatible qualified coverage under the current operation account. Growing coverage is request-scoped: execution must share its original account. Later requests may inspect retained facts, but cannot grow this collection using a different work domain. No old-account fallback.

Trait Implementations

impl<'r, 'a> Debug for Coverage<'r, 'a>

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

Formats the value using the given formatter.