Function is_covered 

pub fn is_covered(env: &Env, rel_name: &str) -> CoverageResult

Public coverage checker. Mirrors isCovered in the JavaScript implementation and returns identical diagnostic shapes so external tooling sees consistent output across runtimes.