XScientist：一种类似 Git 的研究协议，用于长期运行的自主科学发现

自主研究系统可以生成看似合理的论文，但会丢失决策、失败的分支以及检查或继续工作所需的证据。我们提出了 XScientist，一个本地优先、类似 git 的协议，它将研究状态而不是手稿视为延续的单位。假设、实验尝试、观察、主张、评论和切换在探索图中表示为类型化、内容寻址的对象。不可变的检查点、明确的负面结果、声明证据闭合、重播边界和权威感知门使每个转换都可以检查，而无需将通过的完整性检查视为科学真理。该协议导出一个便携式代理本机研究工件 (ARA)，其他代理或人员可以检查、分叉、验证和扩展。参考实施集成了规划、执行、审查、修复和监督的长期运行操作，同时保留了这些阶段的来源。我们使用受控的工件完整性工作负载和匹配的外部任务试点来评估协议，使本机任务性能与证据和审计声明分开。其结果是长期运行的自主科学的互操作性和问责层，具有明确的边界，其中人类判断和独立评估仍然是必要的。