pub fn check(artifact: &Path, cert_dir: &Path) -> Result<CheckVerdict, String>Expand description
Fast developer/CI preflight which trusts locally built or explicitly
cached .olean imports. Rust validation, lake build, and fresh
elaboration of the checker-owned witness still run; only the final
leanchecker --fresh whole-closure replay is omitted.
This function cannot produce Verdict::Certified. Release and admission
gates must use verify.