判断 Python 是否引用某模块需分三层：运行时是否已导入、静态代码是否声明引用、环境是否可发现并能加载。通过 sys.modules 判断已导入，importlib.util.find_spec 判断可发现性，AST 构建依赖图判断声明引用，并结合路径与 Finder/Loader 机制解释来源与冲突。在团队与部署场景，将静态扫描、环境预检、运行时采集与依赖清单比对纳入 CI，形成可复现与可审计的闭环，减少跨环境与打包隐患。未来将更关注条件导入、插件式加载与分发验证的自动化整合。