diff --git a/app/runtime/deprecation/policy.py b/app/runtime/deprecation/policy.py index 6a0205d56..fd6aab0e9 100644 --- a/app/runtime/deprecation/policy.py +++ b/app/runtime/deprecation/policy.py @@ -7,13 +7,16 @@ import functools import inspect import threading -from typing import Any, Callable, FrozenSet, Optional, Set, Tuple +from typing import Callable, FrozenSet, Optional, ParamSpec, Set, Tuple, TypeVar, cast from app.runtime.deprecation import notices from app.runtime.deprecation.notices import DeprecationNotice, DeprecationStage from app.runtime.log import logger from app.runtime.settings import get_runtime_setting +_Params = ParamSpec("_Params") +_Result = TypeVar("_Result") + # 已告警过的 (标识, 触发来源),保证每个来源只留一次痕迹 _warned: Set[Tuple[str, Optional[str]]] = set() _warned_lock = threading.Lock() @@ -167,7 +170,7 @@ def enforce_facade(facade: str, operation: str) -> None: return -def deprecated(key: str) -> Callable: +def deprecated(key: str) -> Callable[[Callable[_Params, _Result]], Callable[_Params, _Result]]: """ 把废弃语义施加到一个可调用对象上 @@ -177,20 +180,24 @@ def deprecated(key: str) -> Callable: :return: 装饰器 """ - def decorator(func: Callable) -> Callable: + def decorator(func: Callable[_Params, _Result]) -> Callable[_Params, _Result]: + """包装原函数,并保留参数及返回类型合同。""" if inspect.iscoroutinefunction(func): @functools.wraps(func) - async def async_wrapper(*args: Any, **kwargs: Any) -> Any: + async def async_wrapper(*args: _Params.args, **kwargs: _Params.kwargs) -> object: + """在协程执行时检查废弃阶段并保留异步调用形状。""" context = getattr(func, "__qualname__", None) guard(key, context=context) warn(key, context=context) return await func(*args, **kwargs) - return async_wrapper + # 已确认原函数返回协程;包装器保留同一 await 结果与调用参数。 + return cast(Callable[_Params, _Result], async_wrapper) @functools.wraps(func) - def wrapper(*args: Any, **kwargs: Any) -> Any: + def wrapper(*args: _Params.args, **kwargs: _Params.kwargs) -> _Result: + """在原函数执行前应用废弃策略,随后透传结果或异常。""" context = getattr(func, "__qualname__", None) guard(key, context=context) warn(key, context=context) diff --git a/docs/code-quality.md b/docs/code-quality.md index c6523be35..a04a510ff 100644 --- a/docs/code-quality.md +++ b/docs/code-quality.md @@ -75,7 +75,7 @@ uv run --locked --no-sync python scripts/architecture/complexity.py 回调和返回值类型;全仓错误计数为零并不保证单独纳入 strict frontier 后也为零。 2026-10-16 开始逐文件清理类型债务,`app/domain/title.py` 通过局部可空类型声明保留 -既有搜索解析行为,并纳入严格清单;当前清单共 62 个文件(61 个生产文件和 1 个脚本)。 +既有搜索解析行为,并纳入严格清单;当前清单共 63 个文件(62 个生产文件和 1 个脚本)。 每个治理提交聚焦一个生产文件及其必要测试、门禁配置、真实下降基线和指标文档。 验收同时检查完整严格清单与全宿主 Linux 分析,避免 `follow_imports = skip` 隐藏依赖 签名冲突;不通过忽略诊断或放宽类型合同接受回退。最新文件清单以 `mypy.ini` 为准, diff --git a/docs/refactor/optimization-checklist.md b/docs/refactor/optimization-checklist.md index e7b038335..5d2c3e24d 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 源码量 | 371,964 行 | 本次重新扫描物理行数,排除 `app/plugins/**`;74 个文件超过 1,000 行,12 个超过 2,000 行;源码尺寸仅作观察 | +| Python 源码量 | 372,023 行 | 本次重新扫描物理行数,排除 `app/plugins/**`;74 个文件超过 1,000 行,12 个超过 2,000 行;源码尺寸仅作观察 | | 长方法 | 309 个超过 80 行 | 本次 AST 扫描排除 `app/plugins/**`;61 个超过 150 行,17 个超过 250 行;新增函数仍受 C901/嵌套深度门禁约束 | -| 全量 mypy 历史债务 | 9,041 / 490 文件 | 通知排版补齐 Slack 消息块类型,历史债务减少 2 项;工作流资源过滤改用领域对象调用过滤链,恢复的节点输出在消费前归一化,并收紧可空资源列表的类型低水位;消息媒体交互类型债务已清零,canonical Facade 与 endpoint 类型边界已补齐,低水位只允许继续下降;微信 ClawBot 入站 item_list 媒体解析改为按子项键名分派后,类型错误减少 4 项;站点解析器分享率改用浮点初值,类型错误减少 20 项;本次下载与文件安全修复再减少 3 项;Transmission 进度回退值归一化再减少 2 项,逐文件逐错误码无增长 | +| 全量 mypy 历史债务 | 9,039 / 489 文件 | 通知排版补齐 Slack 消息块类型,历史债务减少 2 项;工作流资源过滤改用领域对象调用过滤链,恢复的节点输出在消费前归一化,并收紧可空资源列表的类型低水位;消息媒体交互类型债务已清零,canonical Facade 与 endpoint 类型边界已补齐,低水位只允许继续下降;微信 ClawBot 入站 item_list 媒体解析改为按子项键名分派后,类型错误减少 4 项;站点解析器分享率改用浮点初值,类型错误减少 20 项;本次下载与文件安全修复再减少 3 项;Transmission 进度回退值归一化再减少 2 项,逐文件逐错误码无增长 | | Ruff 历史诊断 | 100 | 低水位门禁通过,但规则集只覆盖 `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 c4be4e0ec..5a7ce535b 100644 --- a/mypy.ini +++ b/mypy.ini @@ -28,6 +28,7 @@ files = app/runtime/observability/__init__.py, app/runtime/thread.py, app/runtime/tasks.py, + app/runtime/deprecation/policy.py, app/runtime/event/contracts.py, app/runtime/event/registry.py, app/runtime/event/binding.py, diff --git a/tests/fixtures/architecture/mypy-baseline.json b/tests/fixtures/architecture/mypy-baseline.json index 4c48464d5..47e310348 100644 --- a/tests/fixtures/architecture/mypy-baseline.json +++ b/tests/fixtures/architecture/mypy-baseline.json @@ -2395,9 +2395,6 @@ "type-arg": 4, "unused-coroutine": 1 }, - "app/runtime/deprecation/policy.py": { - "type-arg": 2 - }, "app/runtime/events.py": { "list-item": 1, "misc": 1,