Function is_total 

pub fn is_total(env: &Env, rel_name: &str) -> TotalityResult

Public totality checker. Returns a TotalityResult with structured diagnostics; callers can either propagate them as-is or convert each entry into a Diagnostic for the existing pipeline. The mirrored JS helper is exported under the same name (isTotal) and produces an equivalent shape so downstream tools see consistent output.