merge: 同步 master（闸按改动域分跑批 60c25ca3）入卡doc分支

2026-10-17 03:31:29 +08:00
commit d6b0c9fc86
@@ -146,6 +146,16 @@
 | **render_gate**（视觉 golden） | `tools/render_gate.sh` | 窗口化渲染闸：①shot_probe 七屏截图 → shot_checker A-D 语义断言；②fx_shot_probe / board_shot_probe 取证（超时/零字节/文件缺失任一 = FAIL）；③棋盘 golden 逐像素容差比对（差 ≤16 / changed ≤2%，provisional）+ 菜单 golden；④批末孤儿残留清零 | 段级 FAIL 输出 + 汇总退出码 | 查退出码在位（每段 timeout 守卫 + 退出码/取证文件双检）；**SCRIPT ERROR 扫描缺失**；断言数下限不适用（判定主体 = golden 容差与取证文件存在性，非断言计数） |
 | **static_scan**（静态扫描域） | `game/tests/static_scan.sh` | 静态扫描域 S1–S10 可执行载体（grep 规则 + `tools/audit_type_hints.py`〔S9〕+ `tools/audit_file_headers.py`〔S10〕） | fail 聚合退出码（任一硬失败规则命中即 exit 1） | 查退出码在位；SCRIPT ERROR 扫描与断言数下限不适用（逐规则命中即红，无运行时错误面与断言计数）；S3 现为 warning 级、不参与 fail 判定（见下表） |

+### 改动域划分（2026-10-17 用户裁「代码批只跑代码闸、文档批只跑文档闸」）
+
+| 域 | 闸 | 本批改动落在这些路径即属该域 |
+|---|---|---|
+| **代码域** | run_smoke、run_all、probe_gate `--click`、probe_gate `--full`、render_gate、static_scan、回放确定性对拍（条件件） | `game/`、`tools/`、`artwork/` |
+| **文档域** | gdd_lint、doc_link_audit、doc_term_audit、active.md 体量闸 | `design/`、`active.md`、`roadmap.md`、`CLAUDE.md` |
+| **两域都含** | repo_structure_audit（熵增闸：顶层目录/根文件/图像白名单/退役路径/design 子目录五查——文档批新增或挪动 `.md` 同样会绊它；纯文本扫描秒级） | — |
+
+口径三条：**域划分的唯一出处是 `tools/run_all_gates.sh`**（`--code`／`--docs`／不带参数＝全量），本表是它的现状登记、不是第二份清单；改闸件本身或一次改动跨两域 → 跑全量档（§6.2 共享件例外）；合回闸按 merge diff 路径推出应验的域，再校验回执的 `domain` 字段与新增红。代码域跑前先过**素材齐盘预检**——`game/assets/art/**` 与一切 `*.import` 边车都不入 git（2026-09-29 裁定），worktree 冷检出必空盘，空盘态冒烟 V1 成片假红、渲染闸更是一段 golden 都不比。
+
 ### 三条判定硬闸现行状态

 | 硬闸 | run_smoke | run_all | probe_gate | render_gate | static_scan |
@@ -115,7 +115,7 @@
 | sim-data 白名单 | 只留 README、日志、分析工具 .py、现行 MC 对拍锚、设计文档 md；可再生原始数据不入库 |
 | 出口清理项 | 每迭代出口检查单必含：本迭代中间产物逐份核对（结论已吸收、未决已迁移）后删除 |
 | 暂存地非档案库 | `design/research/` 与 `design/qa/` 是中间文档暂存地，入内文件默认到期即死 |
-| 迭代实现报告 | 实现批收口的迭代级报告（各卡状态/代拍板追认单/GDD 反哺点节），属中间文档：反哺点未决先迁 06，裁决落文吸收后按「证据只留最新」退役 |
+| 迭代实现报告 | 实现批收口的迭代级报告（各卡状态/代拍板追认单/GDD 反哺点清单），属中间文档，**落 `reports/` 不落 `design/`**（2026-10-17 用户裁：实现批禁写 `design/`，`reports/` 是其唯一可写目录）：反哺点裁决落文吸收后按「证据只留最新」退役 |
 | 证据只留最新 | 测试证据只保留最新一次迭代或最新一轮同类审计版本；新证据落位后同批删上一份；待人清单过人闸后同规退役 |

 **删除方式**：按 `design/dev/concept-conventions.md` 第 2 节删除概念 SOP 口径——先查引用面（grep 文件名于阻塞域），改写或删除指路句，再删文件，收尾跑死链检查全绿。
@@ -22,7 +22,7 @@
 |---|---|---|
 | 一·设计 | GDD 文档或 art-bible | 用户提起或从 `06-待办清单` 取出；会话内进行、用户主导、禁无监管自跑；经用户点头确认心智一致才许写入文档档；完成判据=待裁点清零，带未裁点的是讨论稿；不自动进写卡段，写卡须用户另行发令 |
 | 二·写需求卡片 | 需求卡片（写作规范见用户级技能 req-card） | 设计定稿后用户发令；例外=缺陷修复/工程债/测试基建/重构凭 bug 证据或 06 条目直接进入；新玩法/新系统/新内容必须有设计定稿前置；卡片必经 grilling 多轮复核、零待裁点才成立；入库必在 06 登记一条（防遗忘）；编入后续未完成迭代（roadmap 迭代行），无空位与用户确认开新一轮 |
-| 三·实现 | 代码与配置，可运行的游戏 | 需求卡片永不单独施工，统一由用户指定迭代号触发（=U0 开工令），按 /iter 技能与本文 §3 执行；设计权威文档（GDD/art-bible）批内一律不更新，实现批只出迭代实现报告（见 §3 第 12 条）；完成人闸=实机目检清单+代拍板追认单登记交用户即完成批内义务 |
+| 三·实现 | 代码与配置，可运行的游戏 | 需求卡片永不单独施工，统一由用户指定迭代号触发（=U0 开工令），按 /iter 技能与本文 §3 执行；**本段是代码实现批：禁写 `design/` 与根规则文件，产出物只落 `reports/`（见 §3 第 13 条）**；设计权威文档（GDD/art-bible）批内一律不更新；完成人闸=实机目检清单+代拍板追认单登记交用户即完成批内义务 |

 ## 3. 批次工作流标准清单

@@ -44,10 +44,10 @@
 9. **验收函数变异验证**——新增/改写的验收函数（冒烟断言/探针自检/闸机判据）必须配一次变异验证：故意把被测件改坏成该类缺陷形态 → 跑最窄那道闸确认变红 → `git checkout` 精确还原；变异点/跑的闸/红输出摘要/还原结论四件记入实现报告变异验证记录表；**无变异红记录的断言不写「已验收」，只写「已实现，拦截能力未证」**（细则见 test-conventions §6）

 **完成**
-10. **批末全量验收才合并**——在任务 worktree 内跑 `tools/run_all_gates.sh`（不带 `--quick`），全绿才合回 master。该脚本是全部验证闸的**唯一入口与唯一清单**，闸件增减只改它；**本文与其他文档禁另列闸件清单**（清单散落多处正是 iter27 漏跑 `probe_gate --full` 的成因）。跑完写回执 `game/tests/.gates/receipt.json`，合回时由 worktree-guard 强制校验
+10. **批末按域验收才合并**——在任务 worktree 内跑 `tools/run_all_gates.sh`，**按本批改动域选档**：只碰 `game/`、`tools/`、`artwork/` → `--code`；只碰 `design/`、`active.md`、`roadmap.md`、`CLAUDE.md` → `--docs`；同时跨两域、或改的是全部闸共用的壳（闸脚本本身/探针包装器）→ 全量档不带参数。所选域全绿才合回 master。该脚本是全部验证闸的**唯一入口、唯一清单与唯一域划分**，闸件增减、分域调整都只改它；**本文与其他文档禁另列闸件清单**（清单散落多处正是 iter27 漏跑 `probe_gate --full` 的成因）。跑完写回执 `game/tests/.gates/receipt.json`（含 `domain` 字段），合回时由 worktree-guard 按 diff 路径推域强制校验
 11. **合并后主区全量复跑**——合并可能引入冲突或环境差异，落回 master 后再跑全套
-12. **会话完成落记**——active.md 快照与状态记录更新（含删除已完结旧条目，doc-conventions 第 10 节）；跨会话教训写入记忆库；漏删旧条目由 `tools/audit_active_state.py` 在全量档抓（合回闸强制，脚本即清单）
-13. **文档同步闸**——机械面文档（roadmap 行/registry/active.md 记账/README 工具注）合并前顺带更新完毕方算完成；设计权威文档批内不更新：实现批完成出迭代实现报告（`design/qa/iter<N>-实现报告-<日期>.md`：各卡状态+代拍板追认单+GDD 反哺点节），反哺点同步登记 `06-待办清单`，用户逐点裁决后另批写入文档；反哺点未写入期间相关 GDD 节视为待反哺，读前先查 06；需求卡片必列「关联文档同步面」按两层标注
+12. **会话完成落记**——active.md 快照与状态记录更新（含删除已完结旧条目，doc-conventions 第 10 节）；跨会话教训写入记忆库；漏删旧条目由 `tools/audit_active_state.py` 在全量档抓（合回闸强制，脚本即清单）。**例外**：active.md 是会话状态唯一源、不是文档产出物，实现批照写（合回闸钩子本就对它放行）；`design/` 与根规则文件（`CLAUDE.md`/`roadmap.md`）实现批禁写，见 §13
+13. **文档同步闸（2026-10-17 改口径：实现批禁写文档）**——实现批**禁写 `design/` 整个目录与根规则文件**，要往外交代的东西一律落 `reports/`：实现报告 `reports/iter<N>-实现报告-<日期>.md`（各卡状态+实机目检总清单+遗留读数义务）、代拍板追认单 `reports/iter<N>-代拍板-<日期>.md`、GDD 反哺点清单 `reports/iter<N>-反哺点-<日期>.md`（每条写清哪个文件哪一节、改成什么、依据是什么）。设计权威文档（GDD/art-bible）**任何批都不直改**：用户在会话中逐点裁决后，由非迭代批（工具/规则/文档批）写入 `design/`，并把反哺条目从 `reports/` 清掉（吸收即死）。机械面文档（roadmap 行/registry/README 工具注）同样归非迭代批在合并前更新。反哺点未落地期间相关 GDD 节视为待反哺，读前先查 `reports/` 与 06；需求卡片必列「关联文档同步面」按两层标注
 14. **实机目检归用户，只登记不阻塞**——真人检测项登记进实现报告目检总清单与 07-体验验证清单即完成批内义务；禁把等目检当停工理由或完成前置
 15. **中间产物吸收即死**——细则见 CLAUDE.md 硬性红线与 doc-conventions 第 11 节

@@ -57,7 +57,7 @@

 **MC/verifier 触发细则**：仅在数值验证场景触发（改数值前后取证）；normal 档为主、perfect 按需；**无数值改动的会话禁跑 MC**；结构位移类「存档锚」须先向用户请示定性再跑；需求卡片预设步骤的前提消失时（如「带值裁定后重锚」实际未投值）停问勿照字面执行。

-**分级周期口径**：全部验证闸收编在 `tools/run_all_gates.sh` 一个入口下（**脚本即清单**），分两档——`--quick` 档跳过渲染闸（需开显示器）与静态扫描，供迭代中段自检；**完成出库一律跑全量档（不带 `--quick`）**，回执由合回闸强制校验。真人实机目检归用户不进自动闸。
+**分级周期口径**：全部验证闸收编在 `tools/run_all_gates.sh` 一个入口下（**脚本即清单，且即域划分的唯一出处**），分三档——`--code`／`--docs` 按本批改动域只跑该域闸（代码域＝冒烟/单元/探针两档/渲染闸/静态扫描/回放对拍；文档域＝gdd_lint/doc_link/doc_term/active.md 体量；熵增闸两域都含）；`--quick` 是全量档的中段自检形态（跳过渲染闸与静态扫描）；**不带参数＝两域全量**，用于改闸件本身或一次改动跨两域。完成出库按所选域全绿，回执由合回闸按 diff 推域强制校验。真人实机目检归用户不进自动闸。

 ## 5. MC 采集档位细则

@@ -11,6 +11,18 @@
 3. 行动点用尽——或者你主动停手——这一轮结束，轮末自动结算：你这一轮扫雷攒下的因，逐行兑现成战斗的果。你拿的增益打了出去，你控制的巢穴变成怪物的虚弱，你惊动的巢穴变成怪物的警觉（护甲变硬、伤害账轮末才落）。
 4. 敌人没死光、你还活着，就进下一轮，同一张图接着挖；图开完了，发清图奖励，换一张新图接着打。

+```
+开局：装一张新雷图 + 发本轮行动点
+  → 用行动点做排雷决策（挖安全格拿增益/道具 · 插旗控制巢穴 · 点错惊动巢穴）
+    → 行动点用尽 或 主动停手 → 轮末自动结算：本轮攒的因逐行兑现成战斗的果
+      → 判定（先判你，再判敌人）
+          你倒下 → 战斗失败 → 冒险结束（见「死了之后」）
+          敌人死光 → 战斗胜利 → 回关卡节点链推进
+          两边都还有活的 → 进下一轮：
+              本图已开完 → 发清图奖励 → 换一张新图接着挖
+              本图未开完 → 同一张图接着挖
+```
+
 所以自动战斗不是过场，是阅卷：每一行结算都能指回你刚才的哪一步棋。

 ### 数值语言
@@ -602,6 +602,14 @@

 ### 文档与结构

+#### 闸按改动域分跑批的两处代拍板 + 旧实现报告迁位欠账（2026-10-17 登记，闸分域批）
+
+**现状**：用户裁定「改代码的批只跑代码闸、改文档的批只跑文档闸」与「迭代批禁写 `design/`」两条，落地时撞上一处既有规则没覆盖的缝隙，本批按推荐方案先做并登记待追认：① **active.md 记账例外**——§3.12 要求每批更新 active.md 快照与状态记录，而合回闸钩子本就对 active.md 放行（它被定为「会话状态唯一源」而非文档产出物）；本批把禁写面落在 `design/` 与根规则文件（`CLAUDE.md`/`roadmap.md`），**active.md 实现批照写**，读法若不符请推翻。② **`reports/` 新顶层目录**——熵增闸「新增顶层目录须同批改 CLAUDE.md Project Layout + 脚本白名单两处」，本批已同批改齐（`repo_structure_audit.py` TOP_DIRS + CLAUDE.md 第 36 行 + `reports/README.md` 立目）。③ **旧实现报告未迁位**——`design/qa/iter27-实现报告-2026-10-14.md`、`iter28-实现报告-2026-10-15.md` 两份现行报告仍在 `design/qa/`，且 active.md 第 32 行待追认指针指向该路径；新口径要求实现批产出物归 `reports/`。本批未搬（搬动会改动两份历史报告的落位与引用面，属文档动作，不属闸改造）。
+
+**归属**：①②待用户追认（本批已生效）；③归下一次文档批
+
+**状态**：待办——①②待追认，③待迁位（迁时同批改 active.md:32 指针并按死链检查复验）
+
 #### 文档/结构闸存量欠账（2026-10-08 迭代 19 总完成批登记）

 新重闸口径首次全闸套跑翻出；经 T0 基点 9160942 复测确认为存量/外部批旧债，非本迭代新增。