From 2e897d9fe52749efd86c9b16793b959abfc69b52 Mon Sep 17 00:00:00 2001 From: jxxghp Date: Fri, 16 Oct 2026 11:10:46 +0800 Subject: [PATCH] refactor(types): govern event handler binding contracts --- app/runtime/event/binding.py | 15 ++++++++------- docs/code-quality.md | 2 +- docs/refactor/optimization-checklist.md | 4 ++-- mypy.ini | 1 + tests/fixtures/architecture/mypy-baseline.json | 5 ----- 5 files changed, 12 insertions(+), 15 deletions(-) diff --git a/app/runtime/event/binding.py b/app/runtime/event/binding.py index 32498400e..ef8e83336 100644 --- a/app/runtime/event/binding.py +++ b/app/runtime/event/binding.py @@ -55,7 +55,7 @@ class EventBindingResolver: return tuple(sorted(self._unresolved)) @staticmethod - def parse_handler_names(handler: Callable) -> tuple[str, str]: + def parse_handler_names(handler: Callable[..., object]) -> tuple[str, str]: """解析处理器限定名中的类名和方法名。""" names = handler.__qualname__.split(".") if len(names) < 2: @@ -63,7 +63,7 @@ class EventBindingResolver: return names[0], names[1] @staticmethod - def is_class_method_declaration(handler: Callable) -> bool: + def is_class_method_declaration(handler: Callable[..., object]) -> bool: """判断处理器是否声明在类体内（限定名含类前缀或签名首参为 self/cls）。 模块级顶层自由函数的限定名不含 ``.``；类方法、装饰器包装和嵌套函数 @@ -87,11 +87,11 @@ class EventBindingResolver: return parameters[0].name in ("self", "cls") @staticmethod - def owner_class(handler: Callable) -> Optional[Type[Any]]: + def owner_class(handler: Callable[..., object]) -> Optional[Type[Any]]: """从处理器对象本身解析声明类，不按字符串动态导入模块。""" if inspect.ismethod(handler): - owner = handler.__self__ - return owner if isinstance(owner, type) else type(owner) + bound_owner = handler.__self__ + return bound_owner if isinstance(bound_owner, type) else type(bound_owner) module = inspect.getmodule(handler) if not module: return None @@ -114,9 +114,10 @@ class EventBindingResolver: def resolve( self, - handler: Callable, - ) -> Optional[tuple[Callable, EventHandlerBinding, str, str]]: + handler: Callable[..., object], + ) -> Optional[tuple[Callable[..., object], EventHandlerBinding, str, str]]: """通过显式 resolver 解析当前实例方法；自由函数直接返回。""" + binding: Optional[EventHandlerBinding] owner_class = self.owner_class(handler) method_name = getattr( handler, diff --git a/docs/code-quality.md b/docs/code-quality.md index 3af455550..f74957682 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` 通过局部可空类型声明保留 -既有搜索解析行为，并纳入严格清单；当前清单共 56 个文件（55 个生产文件和 1 个脚本）。 +既有搜索解析行为，并纳入严格清单；当前清单共 57 个文件（56 个生产文件和 1 个脚本）。 每个治理提交只修改一个生产文件及其必要测试、门禁配置、真实下降基线和指标文档。 验收同时检查完整严格清单与全宿主 Linux 分析，避免 `follow_imports = skip` 隐藏依赖 签名冲突；不通过忽略诊断或放宽类型合同接受回退。最新文件清单以 `mypy.ini` 为准， diff --git a/docs/refactor/optimization-checklist.md b/docs/refactor/optimization-checklist.md index 7db0797ab..8e6a488f5 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,952 行 | 本次重新扫描物理行数，排除 `app/plugins/**`；74 个文件超过 1,000 行，12 个超过 2,000 行；源码尺寸仅作观察 | +| Python 源码量 | 371,953 行 | 本次重新扫描物理行数，排除 `app/plugins/**`；74 个文件超过 1,000 行，12 个超过 2,000 行；源码尺寸仅作观察 | | 长方法 | 309 个超过 80 行 | 本次 AST 扫描排除 `app/plugins/**`；61 个超过 150 行，17 个超过 250 行；新增函数仍受 C901/嵌套深度门禁约束 | -| 全量 mypy 历史债务 | 9,075 / 496 文件 | 通知排版补齐 Slack 消息块类型，历史债务减少 2 项；工作流资源过滤改用领域对象调用过滤链，恢复的节点输出在消费前归一化，并收紧可空资源列表的类型低水位；消息媒体交互类型债务已清零，canonical Facade 与 endpoint 类型边界已补齐，低水位只允许继续下降；微信 ClawBot 入站 item_list 媒体解析改为按子项键名分派后，类型错误减少 4 项；站点解析器分享率改用浮点初值，类型错误减少 20 项；本次下载与文件安全修复再减少 3 项，逐文件逐错误码无增长 | +| 全量 mypy 历史债务 | 9,068 / 495 文件 | 通知排版补齐 Slack 消息块类型，历史债务减少 2 项；工作流资源过滤改用领域对象调用过滤链，恢复的节点输出在消费前归一化，并收紧可空资源列表的类型低水位；消息媒体交互类型债务已清零，canonical Facade 与 endpoint 类型边界已补齐，低水位只允许继续下降；微信 ClawBot 入站 item_list 媒体解析改为按子项键名分派后，类型错误减少 4 项；站点解析器分享率改用浮点初值，类型错误减少 20 项；本次下载与文件安全修复再减少 3 项，逐文件逐错误码无增长 | | 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 6fd951f76..86e5b5598 100644 --- a/mypy.ini +++ b/mypy.ini @@ -28,6 +28,7 @@ files = app/runtime/tasks.py, app/runtime/event/contracts.py, app/runtime/event/registry.py, + app/runtime/event/binding.py, app/runtime/event/errors.py, app/runtime/extensions/module/contracts.py, app/runtime/extensions/module/dispatcher.py, diff --git a/tests/fixtures/architecture/mypy-baseline.json b/tests/fixtures/architecture/mypy-baseline.json index bf5fc1ecd..b614064ab 100644 --- a/tests/fixtures/architecture/mypy-baseline.json +++ b/tests/fixtures/architecture/mypy-baseline.json @@ -2409,11 +2409,6 @@ "app/runtime/deprecation/policy.py": { "type-arg": 2 }, - "app/runtime/event/binding.py": { - "assignment": 1, - "no-redef": 1, - "type-arg": 5 - }, "app/runtime/event/contracts.py": { "arg-type": 1 },