Function aggregate 

pub fn aggregate(tallies: &BTreeMap<String, Tally>) -> Aggregate

2026-09-26: Aggregates per-subset tallies with score.py’s weighting. Given the union of every shard’s tallies it scores the whole draw; given one run’s tallies it scores that run, which is how the provision.rs test compares it with score.py.