验证¶

已验证基础版本：a2d8b94dd50dab8d966239dd63ab84718aa8b4b4（拉取的 main 分支）。更改已无冲突地重新应用，并重新运行了相关检查。

• 聚焦现有/新增的解析器、提供者、服务、合约和 CLI/MCP 测试：8 个文件 / 56 项测试通过。
• 在最终的部分唯一性修正之后，重新运行了 service 以及编译后的 CLI/MCP 边界测试：2 个文件 / 5 项测试通过。
• npm run check：typecheck、lint、formatting、knip、模块边界和架构守卫全部通过。Lint 报告了警告；没有错误。
• npm run docs:generate、npm run docs:check 和 npm run verify:test-discovery 均通过；每个测试文件都被且只被发现一次。
• 通过编译后的 CLI 和 stdio MCP 进行的真实 WABT 1.0.42 对比通过：等价的填充 LEB128 原始编码、函数签名、所有允许的种类、自定义内存页大小、转义/BOM 名称、空接口、显式作用域、重复导入，以及未允许的异常引用签名。
• 现有的真实 WABT 工件验证器已通过；此前修正了其过时的内联部分观测假设，以从 Evidence bundle 中解析 MCP 保留的引用，并验证原始记录的真实性。

独立审查¶

三个问题已在其所属边界得到修复：

1. 内存页大小被省略：现已保留，默认值 65536 已规范化。
2. 共享签名扩展计数不足：现在对每个保留的出现次数计费。审查者独立测量了 1000 参数/10000 导出的场景：修正前，原始的 262956 字节 WAT 生成了 61824014 字节 JSON。现在，它在部分分面中保留 1949 个观测结果，生成 12046676 字节 JSON，并存在明确的容量问题。原始 WAT 仍然可用；不完整的覆盖阻止了缺失性和唯一性的断言。
3. 部分单例唯一性：只要任一选定清单不完整（包括名称匹配的情况），比较现在返回 unknown。

最终的独立源代码审查报告了无可操作的问题。审查不能替代已执行的测试或真实工具的证据。

范围与测量限制¶

在原始实现基础 f254f5a 上，完整对比验证器报告：经过时间 7.98 秒、用户时间 6.56 秒、系统时间 3.13 秒，以及通过 macOS /usr/bin/time -l 测得的 429441024 字节最大 RSS。这些是命令级计量结果，并非并发进程族内存总量或模型 token 用量。Token 使用量和完整进程族峰值均未被测量。真实工具验证仅覆盖 macOS arm64；Linux/Windows 仍未验证。没有实例化/执行任何模块，也没有获取任何源代码。静态相等并非运行时兼容性。完整 CI 与本本地验证记录相互独立。