Function verify_source 

pub fn verify_source(
    binary: &Path,
    label_root: &str,
    run_ref: &str,
    rule_text: &str,
    sandbox: &Path,
) -> Vec<(String, Outcome)>

Verify a workload from its rule text + run reference: parse the rules, run every case, return one (label, Outcome) per case (or a single Skip / Fail for the whole workload). run_ref is what to pass as workload= — an absolute file path or a catalog name.