Function run 

pub fn run(
    entries: &[Entry],
    symbols: &[Symbol],
    edges: &[Edge],
    packages: &[PackageRow],
) -> Vec<Finding>

Evaluate every live constraint’s check; unparsable rules are reported as one violation.