From 55a8f270266f9d3a4ab8a2057630ea5e25939784 Mon Sep 17 00:00:00 2001 From: DKChan <524912269@qq.com> Date: Fri, 30 Oct 2026 04:08:48 +0800 Subject: [PATCH] =?UTF-8?q?=E5=B7=A5=E7=A8=8B(=E5=9C=BA=E6=99=AF=E6=8E=A2?= =?UTF-8?q?=E9=92=88=E9=97=B8=E5=90=88=E5=B9=B6):=2003/04=E4=B8=A4?= =?UTF-8?q?=E9=97=B8=E5=B9=B6=E4=B8=80=E8=A1=8C=E3=80=8C03=20=E5=9C=BA?= =?UTF-8?q?=E6=99=AF=E6=8E=A2=E9=92=88=E3=80=8D=E2=80=94=E2=80=94gate?= =?UTF-8?q?=E8=B0=83=E7=94=A8probe=5Fgate.sh=20--click=20--full=E4=B8=80?= =?UTF-8?q?=E6=AC=A1=E8=B7=91=E9=BD=90=E5=8D=81=E4=BB=B6(=E5=85=AC?= =?UTF-8?q?=E5=85=B1=E4=BA=94=E4=BB=B6=E5=8F=AA=E8=B7=91=E4=B8=80=E9=81=8D?= =?UTF-8?q?,=E7=AA=84=E8=AF=95=E8=BD=A62m22s=E5=8D=81=E6=AE=B5exit0),04?= =?UTF-8?q?=E5=8F=B7=E8=AE=A9=E7=A9=BA=E4=B8=8D=E9=87=8D=E6=8E=92;?= =?UTF-8?q?=E5=BD=B1=E5=93=8D=E9=9D=A2SKIP=E5=9D=97=E4=B8=8E=E5=A4=B4?= =?UTF-8?q?=E6=B3=A8/=E5=BD=B1=E5=93=8D=E9=9D=A2=E6=B3=A8=E9=87=8A?= =?UTF-8?q?=E5=90=8C=E6=AD=A5;README=E9=97=B803/04=E6=8F=90=E6=B3=95?= =?UTF-8?q?=E4=B8=8Eprocess-conventions=E5=BD=B1=E5=93=8D=E9=9D=A2?= =?UTF-8?q?=E5=8F=A5=E6=8D=A2=E4=BB=A3;probe=5Fgate.sh=E9=9B=B6=E6=94=B9?= =?UTF-8?q?=E5=8A=A8(--click/--full=E4=BF=9D=E7=95=99=E4=B8=BA=E5=BC=80?= =?UTF-8?q?=E5=8F=91=E6=9C=9F=E5=8D=95=E8=B7=91=E5=BC=80=E5=85=B3)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- design/engineering/process-conventions.md | 2 +- game/tests/README.md | 2 +- tools/run_all_gates.sh | 21 +++++++++------------ 3 files changed, 11 insertions(+), 14 deletions(-) diff --git a/design/engineering/process-conventions.md b/design/engineering/process-conventions.md index 727fc342..04273dd3 100644 --- a/design/engineering/process-conventions.md +++ b/design/engineering/process-conventions.md @@ -48,7 +48,7 @@ 7. **验收改动先行声明**——验收变化（基线换代/探针增改/旧断言改判）预先写进需求卡片，禁事后补 **完成** -8. **批末按域验收才合并（worktree 批；直改车道无批末动作，验收在 commit 点由 git 钩子执行，见 §1 第 3 条）**——在任务 worktree 内跑 `tools/run_all_gates.sh`，**按本批改动域选档**：按文件性质判——代码面＝`game/` 下非 `.md` 的行为载体（代码、测试脚本、探针、场景、数据表、素材）→ `--code`；文档件＝`game/` 内 `.md`（README、生成清单）与 `game/` 外一切路径（`design/`、根规则文件、`tools/` 工具脚本、`.zcode/` 配置等）→ `--docs`；两类同批都有 → 全量档不带参数。代码域按**关联档选测**（2026-10-29 用户裁）：02 单元与集成只跑「需求卡片申报 ∪ diff 推导」并集的套件——申报＝在册需求卡片对照表「验收测试」列提到的测试文件名，推导＝闸脚本内套件族映射表按改动文件归族；改动命中公共件/数据表/autoload/数值·存档·RNG·结算触面或映射不到 → 横切回落全部套件；00 冒烟／01 系统测试／09 静态扫描三件保险恒跑不降；03/04 探针与 05 渲染闸维持影响面口径（本批 game/ 改动全在测量面 game/tests、game/sim 时记 SKIP）。所选域全绿即可合回 master，全量回归由用户自发发起（合入后无自动兜底）。合回前独立验收审计通过（iter 技能第 5 步），未过不合回。该脚本是全部验证闸的**唯一入口、唯一清单与唯一域划分（含选闸算法与套件族映射表）**，闸件增减、分域调整都只改它；**本文与其他文档禁另列闸件清单**（清单散落多处正是 iter27 漏跑 `probe_gate --full` 的成因）。跑完写回执 `game/tests/.gates/receipt.json`（含 `domain`、`scope`（full｜related，02 跑子集＝related）与 `dirty_game` 字段），合回时由 worktree-guard 按 diff 文件性质推域强制校验（六况拦截：缺回执／quick 模式／回执未覆盖分支尖＝回执 commit 之后代码面又有改动、或跑闸时代码面带着未提交改动（`dirty_game`）／域不覆盖本次改动／含新增红／master HEAD 非回执 commit 祖先＝合并将产出未测内容；guard 只验域覆盖与全绿，不复核选套件清单）。回执与分支尖的对齐判据是**代码面**不是 commit 号：回执之后只追加文档件（`game/` 内 `.md`、`reports/`、`design/` 等）提交，回执照样有效，不构成复跑理由。闸件（`tools/` 下机检脚本与闸壳）自身的改动不占合回全量——其质量义务＝落批时人工确认闸可跑通且判据口径未变，闸真崩溃时合回闸 fail-closed（跑不出回执即拦），不以合回全量为兜底 +8. **批末按域验收才合并（worktree 批；直改车道无批末动作，验收在 commit 点由 git 钩子执行，见 §1 第 3 条）**——在任务 worktree 内跑 `tools/run_all_gates.sh`，**按本批改动域选档**：按文件性质判——代码面＝`game/` 下非 `.md` 的行为载体（代码、测试脚本、探针、场景、数据表、素材）→ `--code`；文档件＝`game/` 内 `.md`（README、生成清单）与 `game/` 外一切路径（`design/`、根规则文件、`tools/` 工具脚本、`.zcode/` 配置等）→ `--docs`；两类同批都有 → 全量档不带参数。代码域按**关联档选测**（2026-10-29 用户裁）：02 单元与集成只跑「需求卡片申报 ∪ diff 推导」并集的套件——申报＝在册需求卡片对照表「验收测试」列提到的测试文件名，推导＝闸脚本内套件族映射表按改动文件归族；改动命中公共件/数据表/autoload/数值·存档·RNG·结算触面或映射不到 → 横切回落全部套件；00 冒烟／01 系统测试／09 静态扫描三件保险恒跑不降；03 场景探针与 05 渲染闸维持影响面口径（本批 game/ 改动全在测量面 game/tests、game/sim 时记 SKIP）。所选域全绿即可合回 master，全量回归由用户自发发起（合入后无自动兜底）。合回前独立验收审计通过（iter 技能第 5 步），未过不合回。该脚本是全部验证闸的**唯一入口、唯一清单与唯一域划分（含选闸算法与套件族映射表）**，闸件增减、分域调整都只改它；**本文与其他文档禁另列闸件清单**（清单散落多处正是 iter27 漏跑 `probe_gate --full` 的成因）。跑完写回执 `game/tests/.gates/receipt.json`（含 `domain`、`scope`（full｜related，02 跑子集＝related）与 `dirty_game` 字段），合回时由 worktree-guard 按 diff 文件性质推域强制校验（六况拦截：缺回执／quick 模式／回执未覆盖分支尖＝回执 commit 之后代码面又有改动、或跑闸时代码面带着未提交改动（`dirty_game`）／域不覆盖本次改动／含新增红／master HEAD 非回执 commit 祖先＝合并将产出未测内容；guard 只验域覆盖与全绿，不复核选套件清单）。回执与分支尖的对齐判据是**代码面**不是 commit 号：回执之后只追加文档件（`game/` 内 `.md`、`reports/`、`design/` 等）提交，回执照样有效，不构成复跑理由。闸件（`tools/` 下机检脚本与闸壳）自身的改动不占合回全量——其质量义务＝落批时人工确认闸可跑通且判据口径未变，闸真崩溃时合回闸 fail-closed（跑不出回执即拦），不以合回全量为兜底 9. **合并后主区零复跑**（2026-10-24 用户裁：合回重跑验的是与回执同一份字节，零信息）——合回落地后 code 批只做两件秒级事：`--editor --quit` 重刷类名缓存（在册坑：.godot 缓存不入 git，与合并后代码失配会假红假绿）＋冒烟启动确认可开机（合计约 1 分钟）；docs 批零动作。全量验证**每批跑一次**＝worktree 批末按域闸，顺序是「先并入 master、再跑闸」（§1 第 2 条）；只有两种情形允许把这次跑作废重来——① 闸红且修法动了 `game/`，② 闸已开跑后 master 又被推进（合并将产出未测内容，由合回闸祖先判定拦下，§3.9 第六况）。「跑都跑了再跑一遍保险」「闸后顺手改点 `game/` 再补一跑」都不构成复跑理由；master 上永不跑全量 10. **批次完成后的登记义务**——合回 master 后按 doc-conventions §12.1 推进待办清单条目状态（做完整条删除），涉及迭代编排的在 roadmap 迭代总表与顶部「当前位」节换代——执行入口=项目技能 batch-closure（批后收尾与中间文档退役），跨会话教训写记忆库。批次过程与结论由 git 提交信息承载，禁止再写会话状态文件（见 doc-conventions 第 10 节）。`design/` 与根规则文件（`AGENTS.md`/`roadmap.md`/`待办清单.md`/`体验验证清单.md`）实现批禁写，见 §12 11. **文档同步闸（实现批禁写文档）**——实现批**禁写 `design/` 整个目录与根规则文件**，**另禁写 `game/tests/README.md`（能力清单，归写卡段维护，test-conventions §8.9）**，要往外交代的东西一律落 `reports/`：实现报告 `reports/iter-实现报告-<日期>.md`（各卡状态+实机目检总清单+遗留读数义务+实现决定记录——超白名单／超卡片明列范围事项逐条记「决了什么／为什么／代价／撤销方式」，全部按卡执行时只写一行「零拍板」）、GDD 反哺点清单 `reports/iter-反哺点-<日期>.md`（每条写清哪个文件哪一节、改成什么、依据是什么）。设计权威文档（GDD/art-bible）**任何批都不直改**：用户在会话中逐点裁决后，由工程/文档设计改动批（直改类）写入 `design/`（执行入口=doc-design 技能），并把反哺条目从 `reports/` 清掉（吸收即死；退役执行=batch-closure 技能）。机械面文档（roadmap 行/术语表/README 工具注）同样归工程/文档设计改动批在合并前更新。反哺点未落地期间相关 GDD 节视为待反哺，读前先查 `reports/` 与待办清单；需求卡片必列「关联文档同步面」按两层标注 diff --git a/game/tests/README.md b/game/tests/README.md index 574f7ee5..3fb51ccf 100644 --- a/game/tests/README.md +++ b/game/tests/README.md @@ -33,7 +33,7 @@ tests/ | **单元测试** | 领域类的原子行为对不对（公式/状态机/纯逻辑）——从对外方法进、断言钉对外可观测面（写法判据见 test-conventions §8.2） | `tests/unit/` | `run_all.gd` manifest（闸 02） | | **集成测试** | 跨系统的闭环对不对 | `tests/integration/` | 同上（与单元测试同一入口、同一协议） | | **系统测试** | 启动真实工程走真实玩法路径 | 过渡期 `game/probe/smoke_all.gd`（断言迁移批后＝`tests/system_test.gd`） | `run_system_test.py`（闸 01） | -| **UI 探针＋渲染 golden** | 跑起来之后 UI 与场景切换对不对；画面基线 | `game/probe/*.tscn` 探针 | `probe_gate.sh`（闸 03/04）、`render_gate.sh`（闸 05） | +| **UI 探针＋渲染 golden** | 跑起来之后 UI 与场景切换对不对；画面基线 | `game/probe/*.tscn` 探针 | `probe_gate.sh`（闸 03）、`render_gate.sh`（闸 05） | > **integration/ 已建承载**（迭代 29 T3——此前只有章程句无实体，空壳曾于迭代 19 卡① T4 删过一次）。 > 首个集成用例 = `save_rng_roundtrip_test.gd`（存档⇄RNG 快照往返）。章程登记的四类集成用例里， diff --git a/tools/run_all_gates.sh b/tools/run_all_gates.sh index 05885698..86c5dbfc 100644 --- a/tools/run_all_gates.sh +++ b/tools/run_all_gates.sh @@ -11,11 +11,11 @@ # 回执即作废须重跑；跑闸时若代码面还带着未提交改动，回执会标 dirty_game，合回闸拒绝采信。 # # 用法：tools/run_all_gates.sh [--code|--docs|--quick] -# --code 只跑代码域闸（00 冒烟测试／01 系统测试／02 单元与集成测试／03 探针 --click／ -# 04 探针 --full／05 渲染闸／09 静态扫描＋10 熵增闸） +# --code 只跑代码域闸（00 冒烟测试／01 系统测试／02 单元与集成测试／03 场景探针／ +# 05 渲染闸／09 静态扫描＋10 熵增闸） # ——本批改动含 game/ 下非 .md 的行为载体（代码/测试脚本/探针/场景/数据表/素材）时用。 # 关联档选闸（2026-10-29 用户裁，推广自 2026-10-28 影响面选闸）：00 冒烟／01 系统测试／ -# 09 静态扫描三件保险恒跑不降；03/04 探针与 05 渲染闸维持影响面口径（本批 game/ 改动 +# 09 静态扫描三件保险恒跑不降；03 场景探针与 05 渲染闸维持影响面口径（本批 game/ 改动 # 全在测量面 game/tests、game/sim 时记 SKIP）；02 单元与集成改「选套件跑」——套件集＝ # 需求卡片申报 ∪ diff 推导并集（算法与套件族映射表见脚本中部），横切面（公共件/数据表/ # autoload/数值·存档·RNG·结算触面）回落全套件；回执 scope 字段记 full｜related。 @@ -218,7 +218,7 @@ suite_terms_for() { # suite_terms_for <仓库相对路径> → stdout: 套件 # ── 关联档选闸（2026-10-29 用户裁，推广自 2026-10-28 影响面选闸）── # 三件保险恒跑不降：00 冒烟／01 系统测试／09 静态扫描（10 熵增闸照旧两域都跑）。 -# 03/04 探针与 05 渲染闸维持影响面口径：本批 diff 相对 master 分叉点的 game/ 改动若全部落在 +# 03 场景探针与 05 渲染闸维持影响面口径：本批 diff 相对 master 分叉点的 game/ 改动若全部落在 # 测量面（game/tests/**、game/sim/**——测试与模拟驱动件，不触场景树与渲染输出）则记 SKIP。 # 02 单元与集成改「选套件跑」：套件集＝申报 ∪ 推导 取并集—— # 申报：在册需求卡片（本批 diff 触及的 reports/需求卡片*.md ∪ roadmap「进行中」迭代行登记的 @@ -241,7 +241,7 @@ if in_domain code; then _behavior="$(echo "$_gfiles" | grep -vE '^(game/tests/|game/sim/)' || true)" if [ -n "$_gfiles" ] && [ -z "$_behavior" ]; then NONBEHAVIOR=1 - echo "[gates] 影响面选闸：game/ 改动全在测量面（tests/sim）——03/04 探针/05 渲染闸 → SKIP（00/01/09 三件保险恒跑）" + echo "[gates] 影响面选闸：game/ 改动全在测量面（tests/sim）——03 场景探针/05 渲染闸 → SKIP（00/01/09 三件保险恒跑）" fi # ── 02 选套件推导（只对行为面代码文件做——测量面文件不进推导，其验证就是 02/09 自身）── _codefiles="$(echo "$_gfiles" | grep -viE '\.md$' | grep -vE '^(game/tests/|game/sim/)' || true)" @@ -412,15 +412,12 @@ gate "00 冒烟测试" "smoke_boot.log" "$PY" "$REPO/tools/run_smoke.py" gate "01 系统测试" "system_test.log" "$PY" "$REPO/tools/run_system_test.py" # ── 2. 单元与集成测试 ── gate_unit -# ── 3. 场景探针 · 行为走查段 ── -# ── 4. 场景探针 · 断言段（iter27 漏跑的就是这一段）── +# ── 3. 场景探针（走查＋断言十件一次跑齐；iter27 漏跑断言段事故后固化为无条件整闸）── if [ $NONBEHAVIOR -eq 1 ]; then - NAMES+=("03 探针 --click"); EXITS+=("SKIP"); LOGS+=("") - NAMES+=("04 探针 --full"); EXITS+=("SKIP"); LOGS+=("") - echo ""; echo "[gates] 03/04 探针 → SKIP（影响面选闸：测量面改动不触场景树与探针断言面）" + NAMES+=("03 场景探针"); EXITS+=("SKIP"); LOGS+=("") + echo ""; echo "[gates] 03 场景探针 → SKIP（影响面选闸：测量面改动不触场景树与探针断言面）" else - gate "03 探针 --click" "probe_click.log" bash "$REPO/tools/probe_gate.sh" "$GAME" --click - gate "04 探针 --full" "probe_full.log" bash "$REPO/tools/probe_gate.sh" "$GAME" --full + gate "03 场景探针" "probe.log" bash "$REPO/tools/probe_gate.sh" "$GAME" --click --full fi # ── 5. 渲染面（窗口化，依赖 PIL）── if [ $QUICK -eq 1 ] || [ $NONBEHAVIOR -eq 1 ]; then