Function validate_with 

pub fn validate_with(model: &Model, schema: &Schema, budget: Budget) -> Report

Validate under an explicit budget.

A budget bounds how many findings are recorded. Hitting it marks the report truncated: 12 errors from a truncated report means “at least 12”.