验证¶

集成上游 c462a4ebd 后，47 项测试通过，涵盖解析器、领域契约、应用服务、编译后 worker 与 MCP 边界（共五个文件）。编译后 worker 的 golden 用例包括 BOM 文本、部分嵌套值、不可用的尾部数据、畸形 UTF-8 和不支持的浮点数。其更严格的整数校验落地后，五个上游适配器测试也全部通过。所有六项静态任务和架构守卫均通过。集成后，测试发现全部 1004 个文件正好各出现一次。CI 规划器选择通过了全部 85 项测试，包括新的 EVM 验证器用例。

解析器回归涵盖精确的大整数和类型化键、畸形 UTF-8、重复键、过度嵌套、不支持的标签/浮点数、长度上限和历史性遗漏。解码器默认文本处理中的一个真实缺陷会移除开头的 U+FEFF。负责的 tokenizer 现在会在保留 BOM 的情况下验证并解码保留的文本字节；独立的测试夹具同时检查值和编译器键一致性。

自有测试夹具使用调用方选定的 solc 0.8.30 编译，采用未优化、经 IR 优化、无内容哈希和无 CBOR 的设置。集成后，所有四项元数据检查再次通过。未执行任何合约。本地首次解码耗时约 0.81 ms 或更少。原先报告的约 2.92 ms（100 次热迭代）包含相等性断言，并非仅解码的测量结果。验证器现在将解析与这些断言分开测量；尚未收集更新后的热计时数据。这些历史数据描述的是这些测试夹具和此主机，而非一般负载。

峰值进程 RSS 包含编译器（299536 KiB）；未测量完整进程族的 CPU/内存和代理 token 成本。

编译后 worker 测试在此 macOS 主机上运行未改动的 EVMole WASM。MCP 测试使用生产服务器和合约，并带有注入的 provider 接缝。完整的 Linux 专用 provider CLI/MCP、资源限制和清理通道仍未在此验证。元数据 JSON 承诺绑定仍因 issue #2388 而推迟。

Linux CLI/MCP 验证器对其现有的自有原始/十六进制产物断言精确的编译器字节、声明版本和候选范围。其 CI 通道额外运行新的编译器设置矩阵。一个使用实际 CI 规划器的回归测试检查对新验证器的编辑是否会选择 EVM 通道。

后续的合并/评审修正增加了已解码摘要和被省略的历史元数据覆盖。根据维护者的要求，该修正的测试和 provider 重跑被跳过；上述早期运行并未验证变更后的 head。