Function verify_workspace 

pub async fn verify_workspace(
    command: &str,
    workspace: &Path,
    timeout: Duration,
) -> Check

Run a case’s verify command in its workspace and grade the exit code.

Failure detail carries the command’s own output, because “exit 1” tells you nothing and the assertion error tells you everything.