Struct RunFacts 

pub struct RunFacts<'a> {
    pub units: &'a [(String, String)],
    pub unevaluated: &'a BTreeSet<String>,
}

What the CALLER knows about the run that a list of rows cannot say.

Fields

units: &'a [(String, String)]

EVERY unit of the run (not just the violating ones), as (name a policy matches and a row carries, identity). Two units sharing a name with different identities are (hash, fn) twins (§3.1 ⟨0.40⟩), and an entry on that name accepts NEITHER. The identity is only ever compared for equality.

unevaluated: &'a BTreeSet<String>

crate::policy::rule_key of every rule line this route could NOT evaluate (§3.1 unevaluated): forbid and only on gate --report, an unanswerable filter, a withheld pair. An entry on such a rule is unjudged — nothing can be said either way — and is never stale.