9.1 KiB
代码门禁：结构指标与扩围建议
2026-09-30 对 v3@b4175a4f88421cf3515eeb651b8a4febe836642f 的门禁进行审计，并在其上调整
复杂度与严格类型检查。提交前衔接到最新 v3@4a2ef7570659d587c2ebbddf02177443237734dc，
初始结构基线按该版本重新采集；宿主业务源码与该版本完全一致。以下区分已落地规则与后续建议。
行数为什么不再阻断
旧 complexity.py v1 对公共 API 入口设置 80 行预算，对 Application/Chain 公共入口设置
150 行预算；v2 对 API、Application、Chain、Scheduler 的函数、类、文件设置
150/500/1000 行预算。函数和类使用 AST end_lineno - lineno + 1，会把 docstring、
注释、空行和参数换行计入。它衡量源码尺寸，并不衡量分支复杂度；压缩格式能够降低数值，
补充契约说明却可能触发回退。同一长函数还可能同时消耗函数、类和文件三份预算。
源码尺寸仍适合寻找职责混杂热点，但不适合作为逐行禁止增长的合并条件。拆分应以稳定职责、 可测试行为和清晰依赖为依据，不能为了满足行数而删除说明或搬运代码。
当前复杂度合同
scripts/architecture/complexity.py 使用 uv.lock 锁定的 Ruff，独立执行以下两条规则：
| 指标 | 新增函数上限 | 存量处理 |
|---|---|---|
| C901：McCabe 圈复杂度 | 15 | 超限项按函数登记，只能保持或下降 |
| PLR1702：嵌套控制块深度 | 5 | 同函数多个告警取最大深度，只能保持或下降 |
| 方法/类/文件源码尺寸 | 无硬限制 | 超过 150/500/1000 行出现在观察报告 |
范围为所有 app/**/*.py，只排除 app/plugins/** 运行时插件副本；包含 Agent、Runtime、
Modules、Adapters、Startup、Domain、DB、Workflow、私有方法、dunder 方法和嵌套函数。
局部 Ruff 配置、noqa 与 .gitignore 不会隐藏这些指标。
基线身份使用“规则 + 相对文件路径 + 完整词法函数名”，不保存物理行号；同词法名的重复定义 按源码顺序附加序号，避免 property 或条件重定义覆盖预算。移动或重命名超限函数会成为新项， 需要在职责迁移中单独审查，不能自动挪用旧额度。不同函数的增减也不能互相抵消。
首次从行数策略迁移到结构策略的快照为 C901 138 个函数、PLR1702 39 个函数；同一函数可能 同时出现在两类中。这是本次迁移的历史证据，不要求后续数字保持不变。源码观察报告有 62 个长函数、123 个大类和 66 个大文件。没有为建立新基线修改业务源码。
当前 tests/fixtures/architecture/complexity-baseline.json 是指标事实源，并记录策略版本
和阈值；旧 complexity-v2-baseline.json 与 --v2 已退役。门禁行为为：
- 新增超限或既有超限增长：检查失败，
--write也拒绝覆盖已有基线。 - 指标降低、回到阈值内或函数删除：先提示低水位未固化，审查后
--write收紧基线。 - 语法错误、工具错误、不完整输出、无法映射的诊断、缺失源码或基线：失败，不能当作零债务。
--report输出结构指标和源码尺寸。CI 上传complexity-report，失败时也保留已生成报告。
uv run --locked --no-sync python scripts/architecture/complexity.py --report /tmp/moviepilot-complexity-report.json
uv run --locked --no-sync python scripts/architecture/complexity.py --write
uv run --locked --no-sync python scripts/architecture/complexity.py
--write 不是接受新债务的审批入口。首次初始化、算法升级、阈值调整和职责迁移需要审查
源码、指标 diff 和相关测试；不得删除已有基线后重建来绕过增长检查。
算法口径跟随锁定的 Ruff，未自行实现另一套复杂度定义。 C901 的配置 衡量控制流分支， 不是运行时耗时、内存复杂度或完整认知复杂度。 PLR1702 仍属 preview，只有此独立 检查启用 preview；升级 Ruff 时应跑真实 Ruff 回归用例并审查指标 diff，不自动刷新基线。 短路布尔表达式、推导式、跨函数调用链和职责耦合仍需行为测试与架构审查。
类型检查的本次扩围
mypy.ini 的严格范围从 42 个文件扩大到 45 个，新增：
app/runtime/tasks.py：后台任务登记、提交和关闭。app/scheduler/registry.py：调度器代际、所有权与句柄。app/startup/lifecycle/components.py：组件启动与关闭。
三个文件及完整严格清单实测通过，不增加忽略规则或类型债务。全宿主 mypy ratchet 继续保留。
严格清单对项目内部的 app.* 统一采用 follow_imports = silent，并将此策略应用于
内部 .pyi，读取真实接口；FastAPI 和 Click 同样读取供应方已声明的类型，
其它外部依赖沿用 follow_imports = skip，保留 ignore_missing_imports = True。silent 只影响导入的非目标文件，files 中的目标仍然
严格检查；全宿主 Linux 分析显式扫描整个 app，继续报告未清零文件的全部历史债务。
此前将已有完整分析零错误的文件统一纳入严格清单，保留之前的全部目标，新增 551 个
受保护文件。扩围前后对完整宿主逐文件、逐错误码核对，导入策略没有隐藏任何既有错误；
订阅请求仓储补齐真实查询接口、API 移除恒等 cast 后，另消除 8 项原有类型错误。
门禁扩围表示已清零代码受到保护，不表示同时修复了这些文件的业务实现。
FastAPI/Click 合同治理移除了 107 条已失效的类型忽略，修正 OpenAPI 状态码键和
真实协程返回类型，并从定义方导入 FastAPI 的同一对象。全宿主诊断下降 417 项，
逐文件、逐错误码没有增长；新增清零的 app/factory.py 进入严格清单。仍有历史
债务的文件继续受完整分析的低水位约束，不因装饰器类型恢复而宣称整文件已清零。
2026-10-16 开始逐文件清理类型债务，app/domain/title.py 通过局部可空类型声明保留
既有搜索解析行为，并纳入严格清单；当前清单共 819 个文件（818 个生产文件和 1 个脚本）。
每个生产文件完成针对性测试后独立提交，并纳入严格门禁。每批集中同步真实下降的
类型基线和指标文档，运行完整本地单测与适用门禁后统一推送；不逐文件等待远端 CI。
验收同时检查完整严格清单与全宿主 Linux 分析，保证导入接口和全量历史债务都受检查；
不通过忽略诊断或放宽类型合同接受回退。最新文件清单以 mypy.ini 为准，
债务总数以 tests/fixtures/architecture/mypy-baseline.json 为准。
事件运行时的契约、注册、绑定、调度、错误处理和 payload 快照六个实现模块均已纳入
严格范围，完整宿主分析中 app/runtime/event/ 目录的类型错误已清零。
后续补充顺序
| 优先级 | 现有缺口 | 建议落点与验收 |
|---|---|---|
| P0 | GitHub v3 查询结果 protected=false，生效分支规则为空 |
增加固定名称的 CI 汇总检查，再配置 required checks；汇总要正确处理成功复用、取消和失败，不能把所有 skipped 当成功。远端规则属于仓库策略，当前改动未更改它 |
| P1 | 覆盖率曾只阻断 Application/Domain 的聚合行覆盖率 | 已扩展到除 app/plugins 外全部 app 文件；存量逐文件低水位只增不减，新文件至少 80%，仍不设置分支下限；macOS 报告只作诊断 |
| P1 | strict frontier 对部分父类和传递依赖仍视为 Any | 按“父类/Port/DTO → lifecycle → 调用者”扩到 Agent session、Scheduler lifecycle、插件管理器；先消除真实类型问题，再纳入，不增添 ignore |
| P1 | 漏洞审计位于正式版/Beta 发布链路，依赖兼容 PR 工作流只做平台安装验证 | 在依赖变更 PR 对同一 locked 运行时依赖做 pip-audit；不要复制一份依赖清单，也无需每个普通源码 PR 重跑多架构镜像扫描 |
| P2 | 常规 Ruff 仅启用 E4/E7/E9/F/I | 优先试运行 B006（可变默认参数）、B023（循环变量闭包捕获）、B018（无效表达式）；审查误报后按范围纳入。审计时 app 中 B006 为 0、B023 为 5、B018 为 1，不自动把新诊断认定为已证实的 bug |
| P2 | 部分其它 ratchet 写入器仍能直接覆盖增长，Ruff/mypy 按文件计数可能发生同规则问题抵消 | 统一已有基线的写保护；对重点规则考虑稳定符号/诊断指纹。先补“无法洗入回退”的行为用例，避免只测 fixture 字符串 |
依赖方向、循环依赖、直接出站、异步阻塞、后台任务所有权、原生并发和 service locator 已经有门禁，应保留并按实际漏报补强，不重复添加同义规则。鉴权、数据持久化、幂等、取消、 崩溃恢复和插件 ABI 继续由行为/契约测试保护，源码尺寸或复杂度分值不能代替这些测试。