SCOPE：面向具身启发式学习的选择性程序编辑认证方法

SCOPE（Selective Certification Of Program Edits）将失败与成功执行作为互补证据指导程序修订：前沿引导的程序搜索在共享诊断图上标注执行证据以区分已验证进展与未解决检查，选择性行为认证则用有状态 API 回放恢复已记录的响应与变更，检查编辑是否保留了选定的历史成功行为。