Struct CheckOutput 

pub struct CheckOutput { /* private fields */ }

Output evidence from one selected, enabled, applicable check.

The shared evaluation boundary derives coverage from completed scopes and gaps and reports malformed evidence through EvaluationError.

Implementations

impl CheckOutput

pub fn from_coverage( findings: Vec<Finding>, evaluated_scopes: Vec<EvaluationScope>, gaps: Vec<CoverageGap>, ) -> Self

Collect findings, completed scopes, and coverage gaps through the one check-output construction path.

Classification and validation happen when evaluate_checks projects this evidence into a CheckEvaluation.

pub fn with_engine_prediction(self, prediction: EnginePredictionV1) -> Self

Attach one engine-prediction record to this check output.

The shared evaluation boundary validates facet/scope/finding relationships after it knows the authoritative parent check id.

pub fn findings(&self) -> &[Finding]

Content findings emitted by evaluated work.

pub fn evaluated_scopes(&self) -> &[EvaluationScope]

Stable identifiers for work that completed.

pub fn gaps(&self) -> &[CoverageGap]

Typed reasons work did not complete.

pub const fn engine_prediction(&self) -> Option<&EnginePredictionV1>

Engine-prediction facets emitted by this check, when any.

Trait Implementations

impl Clone for CheckOutput

fn clone(&self) -> CheckOutput

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckOutput

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

Formats the value using the given formatter.