RosettaBitcoin：关于代理辅助共识验证器的验证基础设施的工件支持的体验报告

代理辅助软件项目通常通过演示或汇总基准来报告，这些基准掩盖了如何承认正确性声明。本经验报告研究了 RosettaBitcoin，这是一个单一开发者项目，通过其不可变的 2026 年 6 月 17 日软件快照（DOI 10.5281/zenodo.20738249）构建了 12 个单独实施的比特币 testnet4 共识验证器。我们分析快照的跟踪 SQLite 证据数据库、策划的工件索引、一致性装置、验证脚本、阻止程序记录和版本历史记录。在快照中，所有 12 个端口都具有端口拥有的 45/45 脚本语料库证明和严格的 5,000 块基线。九个拥有规范的干净 50,000 块、100,000 块和 100,000 后验证通道。 Java 有一个 19.86 秒的近端维护工件。没有一个端口具有空状态到提示的证明，也没有一个端口满足该项目的二进制全节点门； Docker 和 live-node 的能力差距仍然存在。工件历史记录还记录了 3 小时 17 分钟 57 秒 Zig 支架到 50,000 的跨度，但观察到的间隔描述了非等效任务，并且无法估计工作量、生产力或因果关系。一份单独的诊断补充保留了证据，证明纯 Mojo 加密后端将新鲜状态验证到高度 100,000 并恢复到 140,234，同意 45 个案例的影子比较，拒绝了 6 个精心设计的无效类，并被三个目标突变杀死。这些证据是非规范的、不可比较的、并且是有阶级界限的。该案例表明，明确的故障记录、固定装置、港口拥有的证据和验证进口可以使代理辅助系统更具可审计性。需要受控消融和外部复制来测试此类基础设施是否会因果性地改善开发成果。