congde/codexfde/loop-stop-review

审查循环停止结论

读取任务约定、候选身份、各次原始报告、执行输出、改动和资源记录。先区分真实模型执行、预设补丁子进程、控制替身与起点已绿；合成用量不能用于实际预算证明。

按约定重建检查次数与执行次数。确认报告有效且覆盖独立要求；空列表不证明通过。定位停止前最后一次检查对应的候选，若随后仍有修改，保留待复验，不将旧失败当成新状态。

核对停止原因与顺序。失败名称相同可能原因变化，名称交替也可能循环退步。预算剩余归零不证明没有超额；缺失用量和时间范围不明时说明核算缺口。

检查异常后已有改动、最后已知报告和未完成动作能否查回，以及各写入者是否覆盖历史。提示词约束或 workspace-write 不自动等于逐文件写集。

业务上同时检查合法路径和拒绝后状态。对“全部拒绝使反例通过”的方案指出正常用途损失。输出具体证据、缺口与下一步建议，不代替负责人接受，不自动继续执行或扩大预算。

需要验证审查行为时使用四个反例，保留实际响应与本人修订。

以下命令供学员生成对照，不在只读审查时自动执行。需要候选对照轨迹时，先按实践手册的“参考 C”准备环境，再使用已提交的候选实验脚本。在仓库根目录、已激活的课程虚拟环境中运行：

python -X utf8 docs/courses/L10/examples/candidate_loop_lab.py last-repair --run-dir .runtime/l10-review-01/last-repair

目录必须尚不存在，重跑更换名称；读取本人本轮目录中的 index.json、逐轮报告、Diff 与循环外审计。教师旧报告保留本机，不随 Git 发布；新输出用于同类行为对照，不是历史记录的原样重现。审查时把循环外审计单独计数。use_codex=True 不能独立证明调用了 Codex，应核对注入的执行器及子进程命令；协议占位用量不是实际 Token。根据原报告和 Diff 判断产品状态，不因 Loop 状态名称而重写发生顺序。