From b18b640d6b9e8d675b9ddbf48a40868405982997 Mon Sep 17 00:00:00 2001 From: jxxghp Date: Sat, 17 Oct 2026 02:28:19 +0800 Subject: [PATCH] chore(types): gate provider and startup contracts --- docs/code-quality.md | 6 ++++-- docs/refactor/optimization-checklist.md | 4 ++-- mypy.ini | 8 ++++++++ tests/fixtures/architecture/mypy-baseline.json | 15 --------------- 4 files changed, 14 insertions(+), 19 deletions(-) diff --git a/docs/code-quality.md b/docs/code-quality.md index 2ea0bb131..96160257d 100644 --- a/docs/code-quality.md +++ b/docs/code-quality.md @@ -73,11 +73,13 @@ uv run --locked --no-sync python scripts/architecture/complexity.py 严格清单默认采用 `follow_imports = skip` 和 `ignore_missing_imports = True`，不能等同于 传递依赖全部严格。流式回调使用的 `app.chain.base` 和 `app.schemas.notification` 在导入时 采用 `follow_imports = silent`，读取真实父类和渠道能力签名；这两个依赖未纳入严格清单， -其存量错误仍由全宿主显式扫描完整报告并逐文件检查低水位。Agent session/lifecycle 与 Scheduler lifecycle 的扩围需要一起处理父类、 +其存量错误仍由全宿主显式扫描完整报告并逐文件检查低水位。LLM Provider Facade 同样读取 +`auth`、`catalog`、`discovery`、`runtime` 和 `session` 五个职责 owner 的实际接口， +这些依赖仍保留全宿主错误基线。Agent session/lifecycle 与 Scheduler lifecycle 的扩围需要一起处理父类、 回调和返回值类型；全仓错误计数为零并不保证单独纳入 strict frontier 后也为零。 2026-10-16 开始逐文件清理类型债务，`app/domain/title.py` 通过局部可空类型声明保留 -既有搜索解析行为，并纳入严格清单；当前清单共 208 个文件（207 个生产文件和 1 个脚本）。 +既有搜索解析行为，并纳入严格清单；当前清单共 212 个文件（211 个生产文件和 1 个脚本）。 每个生产文件完成针对性测试后独立提交，并纳入严格门禁。每批集中同步真实下降的 类型基线和指标文档，运行完整本地单测与适用门禁后统一推送；不逐文件等待远端 CI。 验收同时检查完整严格清单与全宿主 Linux 分析，避免 `follow_imports = skip` 隐藏依赖 diff --git a/docs/refactor/optimization-checklist.md b/docs/refactor/optimization-checklist.md index 0ab33fd28..16053075d 100644 --- a/docs/refactor/optimization-checklist.md +++ b/docs/refactor/optimization-checklist.md @@ -106,9 +106,9 @@ ARCH-201 至 ARCH-204 均达到实现、验证、提交、推送和远端门禁 | Model/Oper 事务债务 | 0 | 自建 Session、自动事务装饰器、直接 commit/rollback 等基线均为零 | | Module Contract | 215 specs / 211 methods / 263 calls | 动态方法名为 0；分类事实富化通过显式合同进入插件调度，旧 YAML 分类方法已移除；download 新增 custom_words 可选参数，旧 provider 签名通过显式合同兼容 | | Event Contract | 53 | 均已有 payload model，但当前全部是 diagnostic enforcement | -| Python 源码量 | 373,100 行 | 本次重新扫描物理行数，排除 `app/plugins/**`；74 个文件超过 1,000 行，12 个超过 2,000 行；源码尺寸仅作观察 | +| Python 源码量 | 373,110 行 | 本次重新扫描物理行数，排除 `app/plugins/**`；74 个文件超过 1,000 行，12 个超过 2,000 行；源码尺寸仅作观察 | | 长方法 | 309 个超过 80 行 | 本次 AST 扫描排除 `app/plugins/**`；61 个超过 150 行，17 个超过 250 行；新增函数仍受 C901/嵌套深度门禁约束 | -| 全量 mypy 历史债务 | 7,157 / 367 文件 | 通知排版补齐 Slack 消息块类型，历史债务减少 2 项；工作流资源过滤改用领域对象调用过滤链，恢复的节点输出在消费前归一化，并收紧可空资源列表的类型低水位；消息媒体交互类型债务已清零，canonical Facade 与 endpoint 类型边界已补齐，低水位只允许继续下降；微信 ClawBot 入站 item_list 媒体解析改为按子项键名分派后，类型错误减少 4 项；站点解析器分享率改用浮点初值，类型错误减少 20 项；本次下载与文件安全修复再减少 3 项；Transmission 进度回退值归一化再减少 2 项，逐文件逐错误码无增长 | +| 全量 mypy 历史债务 | 7,148 / 363 文件 | 通知排版补齐 Slack 消息块类型，历史债务减少 2 项；工作流资源过滤改用领域对象调用过滤链，恢复的节点输出在消费前归一化，并收紧可空资源列表的类型低水位；消息媒体交互类型债务已清零，canonical Facade 与 endpoint 类型边界已补齐，低水位只允许继续下降；微信 ClawBot 入站 item_list 媒体解析改为按子项键名分派后，类型错误减少 4 项；站点解析器分享率改用浮点初值，类型错误减少 20 项；本次下载与文件安全修复再减少 3 项；Transmission 进度回退值归一化再减少 2 项，逐文件逐错误码无增长 | | Ruff 历史诊断 | 98 | 低水位门禁通过，但规则集只覆盖 `E4/E7/E9/F/I` | | 覆盖率固定基线 | Application 80.00%，Domain 80.00% | Chain、Runtime、Agent、Adapter、Startup 未进入包级覆盖率门禁 | diff --git a/mypy.ini b/mypy.ini index 77f89a249..9c8be8572 100644 --- a/mypy.ini +++ b/mypy.ini @@ -7,6 +7,10 @@ follow_imports = skip show_error_codes = True pretty = True files = + app/agent/policy/sanitizer.py, + app/agent/llm/provider.py, + app/startup/initializers/agent.py, + app/startup/initializers/database.py, app/monitor/watcher.py, app/agent/callback/__init__.py, app/adapters/external/wechat.py, @@ -220,3 +224,7 @@ files = # 这两个依赖尚有存量债务，不属于严格清单；全宿主显式扫描仍报告全部错误并执行低水位门禁。 [mypy-app.chain.base,app.schemas.notification] follow_imports = silent + +# Provider Facade 需要五个职责 owner 的真实父类及方法签名；这些依赖的债务仍由全宿主门禁检查。 +[mypy-app.agent.llm.auth,app.agent.llm.catalog,app.agent.llm.discovery,app.agent.llm.runtime,app.agent.llm.session] +follow_imports = silent diff --git a/tests/fixtures/architecture/mypy-baseline.json b/tests/fixtures/architecture/mypy-baseline.json index 6cf899d45..9cfcd4670 100644 --- a/tests/fixtures/architecture/mypy-baseline.json +++ b/tests/fixtures/architecture/mypy-baseline.json @@ -99,9 +99,6 @@ "type-arg": 1, "union-attr": 2 }, - "app/agent/llm/provider.py": { - "no-untyped-def": 1 - }, "app/agent/mcp.py": { "assignment": 2, "attr-defined": 3, @@ -166,9 +163,6 @@ "union-attr": 3, "var-annotated": 1 }, - "app/agent/policy/sanitizer.py": { - "var-annotated": 1 - }, "app/agent/prompt/__init__.py": { "arg-type": 2, "assignment": 4, @@ -2085,19 +2079,11 @@ "app/startup/composition/subscription.py": { "arg-type": 2 }, - "app/startup/initializers/agent.py": { - "no-untyped-call": 2, - "no-untyped-def": 1 - }, "app/startup/initializers/command.py": { "no-untyped-call": 2, "no-untyped-def": 1, "type-arg": 1 }, - "app/startup/initializers/database.py": { - "no-untyped-call": 1, - "no-untyped-def": 2 - }, "app/startup/initializers/modules.py": { "arg-type": 2, "assignment": 1, @@ -2121,7 +2107,6 @@ "type-arg": 1 }, "app/testing/bootstrap.py": { - "no-untyped-call": 1, "no-untyped-def": 3, "type-arg": 6 },