Function aggregate 

pub fn aggregate(results: &[GateResult]) -> Verdict

Aggregate per-gate verdicts into the attempt’s overall verdict.

Fail if any gate fails; otherwise Pass. An empty gate set passes.