Function summarize_evals 

pub fn summarize_evals(traces: &[Trace]) -> EvalsSummary

Aggregate gate verdicts + routing behavior over traces (enforce only).