Function analyse_with_cross_module 

pub fn analyse_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,
) -> AnalyseResult

Run structural checks plus process-level analysis with full cross-module context.