评估许可审计：Inspect Evals 中声明相对推断的提交绑定普查

评估工件指定了一个前向计算：一个任务、评分器和报告的指标。它们不一定授权与该指标相关的声明，因为重放该声明所需的历史证据和替代语义可能未绑定。我们通过一个冻结的基底D、一个基础家族F、一个声明查询q以及由此产生的识别集来形式化这一缺失的声明重放层。然后，我们在一个固定的提交点上对所有124个机械上符合条件的Inspect Evals单元进行了普查。每个单元都获得一个终态处置；其中110个在确定性推理之前停止，因为所需的历史证据或语义基础不可用。在执行闭合的地方，精确值、获胜者、完整顺序和成对关系根据声明解析以及主要家族与审查家族进行区分。因此，审计返回的是类型化停止、不稳定见证和稳定子结构，而不是强制一个评估者含义或一个稳健/不稳健的标签。