Struct CheckOutcome 

#[non_exhaustive]
pub struct CheckOutcome {
    pub findings: Vec<Finding>,
    pub subjects: u32,
}

What running one check produced.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

findings: Vec<Finding>

Findings, each stamped with the check’s ID.

subjects: u32

How many subjects the check examined.

Zero means the trace held nothing this check’s clause binds, which is what separates a pass from a not-observed row. Every registered check counts its subjects — checks_count_their_subjects in tests/golden.rs holds that line, so a new check that forgets to can never quietly report a clause as passing on evidence it never had.

Trait Implementations

impl Debug for CheckOutcome

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

Formats the value using the given formatter.

impl Default for CheckOutcome

fn default() -> CheckOutcome

Returns the “default value” for a type.