docs: 核对任务书 09；方法.md 补核验修复用完时的处理

- 方法.md 4.3 ⑨ ⑯、6.6：修复次数用完仍不通过，正向候选不跑；消融格可重做，用完记证据不足。用户原话："同意"。
- 结构.md：materials 行数范围改为 1200–1850。
- WORK_LOG：记下核对发现的 7 处要改的地方，并入任务书 10；删掉一条没有实测证据的推断。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

docs/方法.md

@@ -254,7 +254,7 @@
   - `concerns`：照冻结原文实现、但认为会出问题的地方，尤其是某条保障会挡掉或改变什么。没有就写"无"。它不阻止运行，也不改动协议。
 - 程序检查实验员有没有改不许改的文件。Jev 检查改动里有没有这几类问题：用了不固定种子的随机数、协议没登记就读时钟、算登记指标的方式与定义不符、比协议登记的停止条件更早结束、测不到的量写成 0。有就退回。
 - 程序把两类情况交给核验员：没有归到任何因子或保障的改动，核验员逐条判断是否越界；同一行同时出现在因子和保障里，核验员在说明里写一句，只是提醒，不判越界。
-- 核验员只交逐项结果：每条实现条款、每个因子、每条保障，找没找到、在哪里；没有归属的改动，逐条判断是否越界。只要有一项"没落实"或者判为越界，程序就判不通过，退回实验员修复。修复次数有上限，可配置。
+- 核验员只交逐项结果：每条实现条款、每个因子、每条保障，找没找到、在哪里；没有归属的改动，逐条判断是否越界。只要有一项"没落实"或者判为越界，程序就判不通过，退回实验员修复。修复次数有上限，可配置。用完了仍不通过，这个候选不跑：不扣运行次数，记一条事件写明原因。（用户 2026-10-03 定）
 
 **⑩ 正式运行（程序）**
 
@@ -309,6 +309,7 @@
   - 交"这一格跑不起来：原因"。这一格不启动，也不扣次数；
   - 报告还需要一起关掉哪个因子，这一格就同时关掉它们，并写明。
 - 核验员只查一件事：是不是只关了指定的因子。
+- 核验不通过时，和正向一样退回实验员重做，次数用同一个修复上限；用完了仍不通过，这一格不跑、不扣次数，记"证据不足：原因"。（用户 2026-10-03 定）
 - 运行的规矩和正向运行相同。
 - 完整代码和基线的分数，直接取本批已有的运行结果，不重跑。
 
@@ -489,7 +490,7 @@
 | 结局   | 情形                              | 解释在这一格                 | 撑几成                                |
 | ---- | ------------------------------- | ---------------------- | ---------------------------------- |
 | 有效分数 | 跑完、有分数（含合法化后的分数）                | 判确认 / 否定；记世界比特与惊讶      | 按公式算                               |
-| 证据不足 | 启动了（扣了次数），但跑崩、超时、没有产物、修不了，或判为违规 | 不判，不记账                 | "证据不足：原因"                          |
+| 证据不足 | 启动了（扣了次数），但跑崩、超时、没有产物、修不了，或判为违规；或者核验不通过、重做次数用完（不启动，不扣次数） | 不判，不记账                 | "证据不足：原因"                          |
 | 没测   | 信息价值减成本没选中，或者剩余次数不够             | 不判                     | "没测：原因（附净值）"                       |
 | 跑不起来 | 实验员交了"跑不起来"，也没给一起关的方案；不启动，不扣次数  | 不判                     | "跑不起来：原因"                          |
 | 一起关  | 关 p 时代码跑不起来，实际和 q 一起关了          | 记"证据不足（测的是 p + q 一起关）" | 记在"p + q 一起"名下，不算成 p 的；q 有自己的格时照常测 |