docs: 核对任务书 04 后修正文档

结构.md 第三部分：解释不受消融开关控制，与方法.md 第十一部分一致；第四部分私人笔记改称"每一条"。方法.md 6.11 补修复次数上限和轻量检查的现行值（〔自定〕，取自参考项目），配置不设默认值后配置对话要照这张表写。

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

docs/方法.md

@@ -596,6 +596,8 @@ VOI(S) = E_{S 的结果}[ max_p E(收益_p | S 的结果) ] − max_p E(收益_p
 | 开放预留 λ                           | 0.10                   | 方法参数       |
 | u、衰减 r                           | 0.5、0.5                | 方法参数       |
 | 第零轮讨论次数                          | 2                      | 可配置（1 或 2） |
+| 修复次数上限〔自定，取自参考项目〕              | 1                      | 方法参数       |
+| 轻量检查（每个实现任务）〔自定，取自参考项目〕        | 最多 2 次，每次 5 秒          | 方法参数       |
 | 采纳线上限                            | ε                      | 跟随 ε       |
 | 采纳线下限、剩余空间下限、比特格宽 Δ              | ε/100                  | 跟随 ε       |
 | 尾巴宽度、三个数对应的把握                    | 同侧的半宽；一成 / 一半 / 九成     | 固定         |

docs/结构.md

@@ -100,9 +100,10 @@
  9. 对每个入选候选：实现 → 核验 →（不通过：修复 → 再核验）→ 正式运行
 10. 整批公开，记分数账和信息账
 11. 采纳
-12. 若采纳的改法有 2 个以上因子：                           〔开关：消融〕
-      列格 → 解释 → 选格 → 对每个选中的格：消融实现 → 核验 → 运行 → 结算
-                          〔规则：选格规则〕
+12. 若采纳的改法有 2 个以上因子：
+      列格                                                  〔开关：消融〕
+      解释（消融关掉时照样写文字，只是不给每格的三个数）
+      选格 → 对每个选中的格：消融实现 → 核验 → 运行 → 结算    〔开关：消融〕〔规则：选格规则〕
 13. 收尾，更新信念本
 ```
 
@@ -120,7 +121,7 @@
 |---|---|---|---|
 | 1 | 研究配置 | 冻结的配置、步骤清单、每个决策点用哪条规则、方法参数、提示词哈希 | flow（内容由 config 生成） |
 | 2 | 阶段 | 每个阶段开一条、关一条；关闭即公开 | flow |
-| 3 | 提交 | 各种提交的每一版：入口、讨论、志愿、提案、两次预测、挑刺、回应、解释、收尾、实现、核验：阶段关闭后以最后一版为准，此后由 ledger 拒绝再写。私人笔记的每一版：不属于任何阶段，以最后写入的一条为准。被退回的提交也记，附退回理由（含 Jev 的原始概率和结论） | flow（经 submissions 判定后） |
+| 3 | 提交 | 各种提交的每一版：入口、讨论、志愿、提案、两次预测、挑刺、回应、解释、收尾、实现、核验：阶段关闭后以最后一版为准，此后由 ledger 拒绝再写。私人笔记的每一条：不属于任何阶段，以最后写入的一条为准。被退回的提交也记，附退回理由（含 Jev 的原始概率和结论） | flow（经 submissions 判定后） |
 | 4 | 冻结协议 | 每个候选的冻结版本：因子清单、保障清单、实现条款、指标登记 | flow |
 | 5 | 作者自评 | 封存时的三个数；解封时追加一条解封记录 | flow |
 | 6 | 冻结代码 | 每份候选代码和消融格代码的版本号，以及因子位置表 | flow（版本号由 workspace 给出） |