Function evaluate_success 

pub fn evaluate_success(
    spec: &SlaSpec,
    prior: &SlaState,
    rows: u64,
) -> Vec<SlaViolation>

Checks that apply to a successful run: the static floor and the learned-baseline anomaly, both against the prior baseline (before this run’s volume is folded in).