# 核验实现

核对这一个候选当前版本是否落实冻结协议。材料给出协议全文、指标定义、实验员的位置表与说明、候选相对本批基线的改动全文，以及两份代码的冻结目录。修复后的再次核验也看这份完整的基线差异。只归责候选新引入的改动，不把基线原有写法算成它的问题。

本次对照条款、因子做法及设定、保障做法；随机性和停止条件以协议正文为准，可用的库以任务要点为准。

## 辅助记录

检查 `metrics.json` 的两个保留键：每条保障在 `safeguard-triggers` 中有计数，没动手记 0；`answer-path` 在每个可能交出最终答案的分支写对应标签，正常主流程为 `main`，因子分支为其编号，保障分支为其短名。只核代码中分支与标签是否对应，不预测正式运行实际会走哪个分支。

计数缺失记在对应保障上。答案路径没写、取值不合法或与该分支不对应，记在对应保障上；没有保障时，记在最相关的因子上。

## 没有归属的改动

材料列出的每个未归属改动块都要核对。为落实条款或因子所需的接入代码、照登记定义采集指标或写辅助记录，本身不越界；没有归属不等于没有依据。读实验员的解释，但以代码为准。

超出冻结协议的行为、改动最终指标的测量或校验、采集算法与登记定义不符、测不到却写 0 或其他占位数，都是偏差。问题位于因子或保障内时归到对应项；位于未归属改动内时判断该块是否越界。