Function analyze_with_cross_module 

pub fn analyze_with_cross_module(
    module: &Module,
    source: &str,
    external_refs: &HashSet<String>,
    resolved_use_paths: &HashSet<String>,
) -> Vec<Diagnostic>

Run structural checks with full cross-module context.

external_refs — declaration names referenced by other modules (suppresses unused warnings). resolved_use_paths — use path strings that resolved to files in the check set (enables unresolved-path warnings).