实施计划¶
- 使用固定版本 cborg 6.1.3(Apache-2.0)作为格式解码器,并在其所属适配器边界上使用有界 tokenizer。将 map 解码为 Map,保留整数精度,并在转换前严格验证生成的文本字节。
- 在 src/domain/evm/ 中添加可移植的 metadata-result schema。使用指向已保留字节码的精确字节范围,而不是将不透明的 CBOR 十六进制负载复制到每个选定的 summary 中。
- 添加 src/evm/SolidityMetadata.ts 来解释末尾长度/根映射(root-map)候选。返回 unavailable、decoded、partial 或 not-decoded 事实;将不支持的嵌套值显式保留,而不是递归展开。
- 在 EvmoleInterfaceWorker 中从其选定的字节计算这些事实。宿主 provider 验证范围/身份,并投射新增的 metadata 字段。保留原始引擎输出,不重写其未知精度的 metadata。
- 确保规范的 EVM 字节码形状将该可选字段携带到完整(complete)和摘要(summary)Evidence 中。包含解码 profile、覆盖范围和限制。
- 为 producer、worker、历史合约和公共 MCP 边界添加覆盖。使用调用方提供的固定版本 solc 模块编译一个自有 Solidity fixture,并验证其 CBOR 编译器版本。运行相关的静态/架构检查。
- 扩展现有的真实 Linux CLI/MCP 验证器,加入独立的 metadata 断言。在其 CI 通道中运行编译器设置矩阵,并将其验证器归类为 EVM 自有,同时加入生产级 CI-planner 回归。
不引入新的执行 provider 或目标权威:只是在现有 EVM worker 内部添加一个格式解析器。Linux x64 provider 准入、无目标语义、清理、限制以及完整原始 Evidence 均保持不变。不会自动获取任何 metadata JSON 或源 URL。
本页原文 Markdown:在 AtomGit 查看·内容源自开源项目 rea2/rea