pub fn check(
args: &[String],
root: &Path,
timeout: Option<Duration>,
) -> (ProbeOutcome, String, String)Expand description
Run a mods built-in check: walk the crate source under root/--base,
build the module-use graph, and assert against it. Returns the probe
outcome, a one-line reason, and the violation report. Spec / walk errors are
ProbeOutcome::Broken.