refactor(types): govern event handler binding contracts

This commit is contained in:
jxxghp
2026-10-16 11:10:46 +08:00
parent e1b6d478e6
commit 2e897d9fe5
5 changed files with 12 additions and 15 deletions

View File

@@ -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,

View File

@@ -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` 为准,

View File

@@ -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 未进入包级覆盖率门禁 |

View File

@@ -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,

View File

@@ -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
},