Function check 

pub fn check(
    model: &Model,
    schema: &Schema,
    budget: Budget,
    report: &mut Report,
)

Every structural check, in a fixed order.

Order is fixed so two runs over the same file produce identical reports; the report sorts findings anyway, but a stable production order keeps truncation deterministic when the budget is hit.