Function analyze_with_cross_module 

pub fn analyze_with_cross_module(
    module: &Module,
    source: &str,
    external_refs: &HashSet<String>,
    resolved_use_paths: &HashSet<String>,
    imported_triggers: &HashMap<String, HashSet<String>>,
    imported_entity_fields: &HashMap<String, HashMap<String, HashSet<String>>>,
    ambiguous_imports: &AmbiguousImports,
    reverse: &ReverseContributions,
    imported_referenced_triggers: &HashMap<String, 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). imported_triggers — per use alias, the trigger names the aliased module provides or emits; aliases whose targets are outside the check set are absent (enables cross-spec trigger reachability). ambiguous_imports — names and triggers more than one imported module could resolve (enables ambiguous-reference warnings). reverse — contributions importers make back to this module’s entities and triggers (enables cross-module status, provides and transition crediting).