Function check_scope_warning 

pub fn check_scope_warning(entry: &IndexEntry) -> Option<ScopeWarning>

Check for scope warnings (non-blocking).

Returns a warning if scope is large (produces > MAX_PRODUCES or paths > MAX_PATHS). Units with no scope (no produces, no paths) are fine — not every unit needs explicit paths.