计划¶

1. 检查 issue/时间线并完成已开启/已关闭 PR 的搜索；审阅 #2406。
2. 在隔离的 worktree 中扩展现有的核心模块 WABT 检查。
3. 扩展生产者自有的检查，添加可选的类型化接口事实；保留未知的不受支持签名和精确的 WAT 形式。
4. 新增共享的 Evidence-only 比较器和严格的输入/输出契约。
5. 注册新增的 CLI/MCP 工作流与文档。
6. 验证原始模块工作流以及畸形/未知/取消用例；运行检查、独立审查、修复发现的问题并重新运行受影响的检查。