Function verify_target 

pub fn verify_target(
    binary: &Path,
    target: &str,
    sandbox: &Path,
    progress: &ProgressFn<'_>,
) -> VerifySummary

Verify a target named the way nmbrs run names workloads: a directory (walk every workload under it), an existing workload file, or a bundled catalog name (examples/cursors/all_cursor/enumerate, …). This is the nmbrs check entry point — so anything the binary can run by name, it can check by the same name.