Function evaluate_checks 

pub fn evaluate_checks(
    ctx: &CheckCtx<'_>,
    checks: &[Box<dyn Check + '_>],
    selection: CheckSelection<'_>,
) -> Result<Vec<CheckEvaluation>, EvaluationError>

Evaluate a full catalog into one record per check.

Selection and configuration are recorded independently. A check can be disabled by severity = "off" or by its opt-in default; an explicit note, warn, or error severity enables an opt-in check. Inactive checks never evaluate, but their cheap applicability predicate still establishes whether declared work exists. Coverage gaps are nonblocking evidence; callers own any stricter policy.

Errors

Returns an error for invalid directly constructed configuration, empty or duplicate catalog ids, unknown explicitly selected ids, malformed coverage evidence, built-in evidence emitted by an undeclared check, or a nested finding whose id disagrees with its parent check. Configuration validation runs before catalog inspection or check evaluation.