Merge branch 'master' into art-bible-prose-20261028

design/engineering/test-conventions.md

@@ -97,7 +97,7 @@
 - **反向**：diff 里每个行为改动至少一行；没有对应行的改动，必须写明「非行为改动」或「由第 X 行覆盖」。
 - **测试侧**：新增或改写的每条断言至少挂一行；挂不上的孤儿断言删掉或补挂到需求点。
 
-**验证集清单维护锚（2026-10-22 用户裁）**：`game/tests/验证集清单.md` 是迁移断言全体的冻结参照清单（机器提取生成、只剪切禁改写、出口逐条核对，机制见该文件头注；清单自断言迁移批第 0 步建立时起存在）——清单在册后，任何断言**新增、删除或改判**必须同步该清单，与改动—验收对照表同一条纪律：清单没跟上的断言改动视同未完成。
+**验证集清单冻结与能力清单维护锚（2026-10-28 用户裁，验证与清单体系整改阶段 1）**：`game/tests/验证集清单.md` 自 2026-10-28 起**整册冻结**——不再随断言新增、删除或改判同步；它只作阶段 2「存量断言精简」的对账基准（基点 `b9260138`／1587 条），阶段 2 精简完成后删除。覆盖索引改由 `game/tests/README.md`「能力清单 v1」承担：每行一个能力，给真实入口与 2–3 个代表用例（`文件:函数`）。维护义务随之转移——**每批收口核对本批受影响能力行**：代表用例可 grep、在本批真实跑批中执行、真实入口未绕过改动点，并刷新「最后验证批次」；新增能力加行，能力退役删行。改动—验收对照表纪律不变：新增或改写的每条断言仍须挂一行（上文「测试侧」）；断言改判仍受 §8.4 真实入口口径约束。
 
 ### 8.4 真实入口断言（验收闭合的主判据）
 

design/gdd/02-系统清单.md

@@ -15,7 +15,7 @@
 | `术语表.md` | 全库专用术语的唯一对照表——危险格/安全格/同调位/RAP/GP/真视等定义+退役词对照（2026-10-11 建立，v1.23） |
 | `待办清单.md`（仓库根，不属本树） | 全项目待办事项的唯一登记处；各系统文档的「待办」节只留指路存根 |
 | `体验验证清单.md`（仓库根，不属本树） | 需要真人试玩观测的验证项登记处（与待办清单分工：待办清单是"要拍板的事"，本篇是"要玩过才知道的事"）；每条注明结论回流路径 |
-| `08-Alpha版本标准.md` | Alpha 版本包含哪些东西的清单——里程碑 M3 的完成标准；只列条目不写内容，定义一律指路各权威文档（**已定稿 v1.17**，2026-10-13） |
+| `08-Alpha版本标准.md` | Alpha 版本包含哪些东西的清单——里程碑 M3 的完成标准；只列条目不写内容，定义一律指路各权威文档（**已定稿 v1.19**，2026-10-13） |
 
 ## systems/ 五个循环
 

design/gdd/08-Alpha版本标准.md

@@ -2,7 +2,7 @@
 
 > **一句话定位**：本文定义这个项目的 **Alpha 版本包含哪些东西**——它是里程碑 M3 的完成标准，也是判断"还差什么"的对照表。
 > **本文只列条目，不写内容**：每样东西是什么、规则怎么走，一律归各自的权威文档，本文只给指路链接。想知道某样东西的定义，请点链接，不要在本文里找解释。
-> **状态**：**已定稿（v1.18）**——2026-10-13 用户令定稿，历次升版明细见 git 提交史。Alpha 的内容范围自此冻结：增删条目一律须经用户裁决。
+> **状态**：**已定稿（v1.19）**——2026-10-13 用户令定稿，历次升版明细见 git 提交史。Alpha 的内容范围自此冻结：增删条目一律须经用户裁决。
 > **成文**：2026-10-13。
 
 ## 本文怎么用
@@ -48,7 +48,7 @@ Alpha 内以玩法循环本身的内容与表现为主（棋盘、关卡、战
 | 冒险结构 | [冒险结构](systems/冒险循环/冒险结构.md) | 在役 |
 | 关卡节点地图 | [关卡节点地图](systems/冒险循环/关卡节点地图.md) | 在役（信息迷雾类型可见性已随迭代 34 卡④ 实装，2026-10-22） |
 | 关卡节点图重构（增加可选节点） | [关卡节点地图](systems/冒险循环/关卡节点地图.md)＋[关卡节点图生成](systems/冒险循环/关卡节点图生成.md) | 在役（2026-10-25 迭代 35 卡①② 合回：图源切为参数档×种子生成图、模板链路退役；真人目检选路项已登记体验验证清单，登记不阻塞） |
-| 关卡节点图生成 | [关卡节点图生成](systems/冒险循环/关卡节点图生成.md)（参数化长图：产出规格与生成参数） | 在役（2026-10-24 迭代 35 卡① 生成器核心合回；enemy.tres 与 board_gen.tres 已覆盖到第三关深度 13） |
+| 关卡节点图生成 | [关卡节点图生成](systems/冒险循环/关卡节点图生成.md)（参数化长图：产出规格与生成参数） | 在役（2026-10-24 迭代 35 卡① 生成器核心合回；enemy.tres 与 board_gen.tres 已覆盖到第三关深度 13；生成图 L3 深度域 0–13 超出关卡地图屏画布屏预算约 10 层——等比缩放／滚动视口两升级路径未设计待裁，[待办清单](../../待办清单.md)「超预算图策略升级路径」条在册） |
 | 难度曲线与 Boss | [难度曲线与Boss](systems/冒险循环/难度曲线与Boss.md) | 在役 |
 | 奇物 | [奇物](systems/冒险循环/奇物.md) | 在役 |
 

game/tests/README.md

@@ -43,17 +43,72 @@ tests/
 > **分层判据**：能不能在 `--script` 模式下不加载 autoload 就验完？能 = 单元测试；
 > 需要两个以上真实系统协同并走落盘/落库 = 集成测试；需要完整项目引导与场景树 = 冒烟／系统／UI 探针。
 
-**集成旅程清单**（2026-10-28 立——跨域旅程用例的登记处：一个行为穿过多个领域的对外方法＝旅程，验收落本层；缺口旅程由属主批/工程债批按批落用例后回填本表）：
+**能力清单 v1**（2026-10-28 立——验证与清单体系整改阶段 1 的覆盖索引：一行＝一个玩家或系统可观测的能力，代表用例只给指针、不复制断言细节；原「集成旅程清单」五条跨系统旅程已并入本表。首期覆盖核心四域（29 行）＋跨域条件闸 1 行，共 30 行；其余域按同一形态扩面）：
 
-| 旅程 | 涉及边界 | 现行覆盖 | 缺口 | 登记批 |
-|---|---|---|---|---|
-| 存档⇄RNG 快照往返保真 | SaveManager×AdventureRunner×RngService | `save_rng_roundtrip_test.gd` 用例一（闸 02） | — | 迭代 29 T3 |
-| 旧档迁移后断点续玩零跳号 | SaveManager 迁移链×AdventureRunner×BoardGenerator | `save_rng_roundtrip_test.gd` 用例二（闸 02） | — | 迭代 29 T3 |
-| 断点附随件与事件日志会话 | AdventureRunner×SaveManager×日志面 | `cross_system_flow_test.gd`（闸 02） | 盘点候选 | 断言迁移批（2026-10-23） |
-| 关卡图断点重生成同图/生成图确定性 | LevelRunner×节点图生成器×AdventureRunner | `node_map_determinism_test.gd`（闸 02） | — | 断言迁移批（2026-10-23，迭代 35 卡②随动换代） |
-| 回放确定性（同种子逐位） | 全玩法链 | `parity_anchor.py`（闸 11 条件闸） | — | 迭代 29 T3 收编为条件闸件 |
+> **与验证集清单的关系**：`tests/验证集清单.md` 已于 2026-10-28 整册冻结——不再随断言新增/删除/改判同步，只作阶段 2「存量断言精简」的对账基准（基点 `b9260138`／1587 条），阶段 2 精简完成后删除。覆盖索引职能改由本表承担（维护锚＝test-conventions §8.3）。本表不是闸，不替代改动—验收对照表、体验验证清单与静态纪律；每行的唯一事实源仍是 `game/tests/` 下的测试代码。
+>
+> **代表用例口径**：写 `文件:函数`，每行 2–3 个；函数内可含 `Kit.check_quiet` 静默通道（逐断言提取器口径外，test-conventions §5.2 已备案）——本表以函数为锚，不受该工具局限影响。
+>
+> **维护规则（每批收口核对本批受影响行）**：本批改到哪个能力，收口时核对该行代表用例可 grep、在本批真实跑批中执行、真实入口未绕过改动点，并把「最后验证批次」刷新为本批回执；新增能力加行，能力退役删行。全表核对频率与抽样规则归阶段 3。首期未覆盖：排雷循环（棋盘生成／排雷玩法／行动经济）、表现与支撑（HUD／主题／字体／地形瓦片／模态）、数据配置与跨系统契约——按同一形态后续扩面。
+>
+> **旅程补录方法**：新旅程＝加一行，「系统」列写涉及边界；源＝architecture「API 边界」表＋「数据流」存档/读档路径＋各 GDD 登记的 deferral 集成用例。
+>
+> 「最后验证批次」列记回执 commit；初值 `20c13c3a`＝2026-10-28 存量断言精简 A+B 首批的全量域闸回执。
 
-候选旅程盘点方法：源＝architecture「API 边界」表逐行＋「数据流」存档/读档路径＋各 GDD 登记的 deferral 集成用例；新旅程先登记「缺口」列，用例按批落地后回填「现行覆盖」。
+**旅程段一：开机与存档**
+
+| 能力 | 系统 | 真实入口 | 代表用例（文件:函数） | 最后验证批次 | 缺口 |
+|---|---|---|---|---|---|
+| 存档写盘⇄读回往返保真 | 存档序列化 | `SaveManagerCore.write_to_disk()`／`load_from_disk()` | `save_manager_domain_test.gd:_smoke_save` | `20c13c3a` | — |
+| 三槽位隔离与激活失败回滚 | 存档序列化 | `SaveManagerCore.activate_slot()`／`create_slot()`／`delete_slot()` | `save_slot_isolation_test.gd:_test_three_slot_roundtrip_and_isolation`；`save_slot_isolation_test.gd:_test_activate_failure_restores_previous_slot` | `20c13c3a` | — |
+| 槽位摘要窥视与坏槽三态 | 存档序列化 | `SaveManagerCore.peek_slot_summary()` | `save_slot_summary_test.gd:_test_peek_three_slots_distinct_values`；`save_slot_summary_test.gd:_test_peek_empty_and_unreadable_states`；`save_slot_summary_test.gd:_test_peek_zero_side_effect` | `20c13c3a` | — |
+| 启动态无激活不写盘 | 存档序列化 | `SaveManagerCore.has_write_target()`／`write_to_disk()` | `save_boot_no_activate_test.gd:_test_write_rejected_without_target`；`save_boot_no_activate_test.gd:_test_out_of_range_slots_rejected` | `20c13c3a` | — |
+| 旧档迁移链与断点续玩零跳号（集成） | 存档序列化×冒险结构 | `SaveManagerCore.load_from_disk()`（内置迁移链）× `AdventureRunner.resume_adventure()` | `save_rng_roundtrip_test.gd:_test_old_version_save_migrates_and_resumes` | `20c13c3a` | — |
+| 存档⇄RNG 快照往返保真（集成） | 存档序列化×RNG 服务×冒险结构 | `AdventureRunner.start_adventure()` → `SaveManagerCore.write_to_disk()`／`load_from_disk()` | `save_rng_roundtrip_test.gd:_test_disk_roundtrip_preserves_breakpoint` | `20c13c3a` | — |
+| RNG 统一流派生与取号账本 | RNG 服务 | `RngServiceCore.derive_at()`／`open_stream()`／`counter()` | `rng_service_test.gd:_test_derive_determinism`；`rng_service_test.gd:_test_stream_draw_determinism`；`rng_stream_boot_test.gd:_smoke_initialize` | `20c13c3a` | — |
+| 断点片段往返与续玩幂等 | 冒险结构×关卡节点地图 | `LevelRunner.breakpoint_fragment()`／`restore_fragment()`；`AdventureRunner.resume_adventure()` | `breakpoint_resume_test.gd:_init` | `20c13c3a` | — |
+| 跨系统附随面：事件日志落盘与断点附随件（集成） | RNG 服务×存档序列化×冒险结构 | `RngServiceCore.new_adventure()`（开事件日志会话）；`SaveManagerCore.breakpoint_snapshot()`（断点附随键） | `cross_system_flow_test.gd:_rng_event_log_session`；`cross_system_flow_test.gd:_feats_breakpoint_roundtrip` | `20c13c3a` | 日志面仅此一条会话覆盖 |
+
+**旅程段二：冒险开局与选路**
+
+| 能力 | 系统 | 真实入口 | 代表用例（文件:函数） | 最后验证批次 | 缺口 |
+|---|---|---|---|---|---|
+| 冒险生命周期：开局受理／三关序列／败北线 | 冒险结构 | `AdventureRunner.start_adventure()`／`continue_to_next_level()` | `adventure_feats_test.gd:_smoke_adventure_api`；`adventure_feats_test.gd:_smoke_adventure` | `20c13c3a` | — |
+| 专长（奇物）授予与凭证保底 | 奇物 | `AdventureRunner.present_node_curio()`／`feats_held()` × 效果引擎兑付 | `adventure_feats_test.gd:_smoke_feats`；`feat_vouchers_test.gd:_init` | `20c13c3a` | — |
+| 节点图生成合法性与同种子复现 | 关卡节点图生成 | `NodeMapGenerator.generate()`／`validate_output()` | `node_map_generator_test.gd:_test_output_ok`；`node_map_generator_test.gd:_test_reproducible`；`node_map_generator_test.gd:_test_exit_structure` | `20c13c3a` | — |
+| 节点图生长递增与无解 fail-fast | 关卡节点图生成 | `NodeMapGenerator.generate()`／`is_fatal()` | `node_map_growth_test.gd:_test_growth`；`node_map_growth_test.gd:_test_fatal_subprocess` | `20c13c3a` | — |
+| 起关／选路／断点重生成同图（集成） | 关卡节点地图×关卡节点图生成×冒险结构 | `LevelRunner.start_level()`／`start_level_external()`／`pick_next_node()`；`AdventureRunner.resume_adventure()` | `node_map_determinism_test.gd:_smoke_generated_map_determinism` | `20c13c3a` | — |
+| 信息迷雾类型可见性 | 关卡节点地图 | `LevelRunner.type_visible_ids()` | `level_map_type_vis_test.gd:_test_layer_distance`；`level_map_type_vis_test.gd:_test_boss_exempt`；`level_map_type_vis_test.gd:_test_resume_rebuild` | `20c13c3a` | — |
+| 关卡表消费侧校验与关卡推进 | 关卡节点地图×数据配置 | `LevelTable.validate_graph()`；`LevelRunner.start_level()` | `level_table_validate_test.gd:_test_positive`；`level_table_validate_test.gd:_test_negative`；`level_shop_economy_test.gd:_smoke_level` | `20c13c3a` | — |
+
+**旅程段三：战斗结算**
+
+| 能力 | 系统 | 真实入口 | 代表用例（文件:函数） | 最后验证批次 | 缺口 |
+|---|---|---|---|---|---|
+| 伤害公式与掷点乘区 | 战斗结算 | `DamageMath.pool_damage()`／`roll_discount_percent()`／`rolled_component()` | `damage_math_test.gd:_test_pool_damage`；`damage_math_test.gd:_test_roll_discount_percent`；`roll_multiplier_test.gd:_smoke_armor_roll` | `20c13c3a` | — |
+| 伤害单据编排与回放 | 战斗结算 | `DamageController.submit()`／`open_ticket()`／`flush()` | `damage_controller_test.gd:_run_recipe_sequence`；`damage_controller_test.gd:_test_five_recipes_and_replay` | `20c13c3a` | — |
+| 轮内流与结算五段全序 | 战斗结算 | `BattleOrchestrator.begin_battle()` | `round_flow_skill_pool_test.gd:_smoke_full_battle`；`round_flow_skill_pool_test.gd:_smoke_settlement_segments` | `20c13c3a` | — |
+| 技能池数据面与回放独立 | 敌人系统 | `BattleOrchestrator.begin_battle()`（技能池抽号／校验） | `round_flow_skill_pool_test.gd:_smoke_skill_pool_data`；`round_flow_skill_pool_test.gd:_smoke_skill_pool_replay_independence` | `20c13c3a` | — |
+| Boss 半血解锁技门控 | 敌人系统 | `BattleOrchestrator.begin_battle()`（Boss 行） | `skill_unlock_test.gd:_test_gate_predicate`；`skill_unlock_test.gd:_test_latch_irreversible` | `20c13c3a` | — |
+| 封印与极性路由／不可逆 | 地图战斗资源×战斗结算 | 效果引擎 × `BattleOrchestrator.begin_battle()` | `seal_polarity_test.gd:_smoke_seal_ap_exhausted`；`seal_polarity_test.gd:_smoke_seal_irreversible_quadrants`；`seal_polarity_test.gd:_smoke_polarity_routing` | `20c13c3a` | — |
+| 变异布置门控 | 地形变异 | `BattleOrchestrator.begin_battle()`（变异布置段） | `variant_placement_test.gd:_smoke_variant_placement`；`variant_placement_test.gd:_smoke_global_variant` | `20c13c3a` | — |
+
+**旅程段四：奖励、经济与局外成长**
+
+| 能力 | 系统 | 真实入口 | 代表用例（文件:函数） | 最后验证批次 | 缺口 |
+|---|---|---|---|---|---|
+| 清图奖励双份与零路径 | 地图战斗资源 | `BattleOrchestrator.begin_battle()` → 步骤流行（`source_class=clear_reward`） | `seal_polarity_test.gd:_smoke_clear_reward_chain`；`seal_polarity_test.gd:_smoke_clear_reward_zero_paths` | `20c13c3a` | — |
+| 奖励三选一候选／刷新付费／呈现 | 奇物×节点奖励屏 | `AdventureRunner.present_node_curio()`（数据面）；奖励节点覆盖层场景（呈现面） | `curio_refresh_paid_test.gd:_init`；`reward_overlay_test.gd:_run` | `20c13c3a` | — |
+| GP 钱包／escrow／商店收口／共享池 | 地图战斗资源×商店 | `LevelRunner.buy_product()`／`player_request_refresh()`／`close_wallet()`／`set_shop_pool()` | `level_shop_economy_test.gd:_smoke_gp_wallet`；`level_shop_economy_test.gd:_smoke_shop_room`；`level_shop_economy_test.gd:_smoke_shop_pool` | `20c13c3a` | — |
+| 元进度入账与锻造两轴 | 元进度×锻造工坊 | `SaveManagerCore.add_keystone()`／`spend_keystone()`／`set_forge_route_level()` | `meta_progression_forge_test.gd:_meta_pricing_and_buy`；`meta_progression_forge_test.gd:_smoke_forge_axes` | `20c13c3a` | — |
+| 天赋树购买与六键合成 | 天赋树 | `SaveManagerCore.tree_nodes()`／`set_tree_level()` | `meta_progression_forge_test.gd:_smoke_tree`；`meta_progression_forge_test.gd:_smoke_tree_rules`；`tree_rules_v11_test.gd:_init` | `20c13c3a` | — |
+| 秘宝结构冻结与 12 件效果 | 秘宝 | `TreasureItems.add_item()`／`query_inventory()`／`validate_use()` | `treasure_items_test.gd:_init`；`treasure_effects_test.gd:_init` | `20c13c3a` | — |
+
+**跨域条件闸**
+
+| 能力 | 系统 | 真实入口 | 代表用例 | 最后验证批次 | 缺口 |
+|---|---|---|---|---|---|
+| 回放确定性（同种子三变体逐位） | 全玩法链 | `tools/parity_anchor.py`（闸 11 条件闸，按批发起） | `tools/parity_anchor.py`（整件为条件闸） | —（条件闸） | 条件闸未随本批执行 |
 
 ## 断言计数双口径（2026-10-08 迭代 19 卡① T4 订正）
 
@@ -70,7 +125,7 @@ tests/
 |---|---|---|---|
 | `tools/run_smoke.py`（冒烟测试） | 这版能否启动、能否加载表、能否进主屏——零逻辑判定 | 退出码＋脚本错误扫描 | 开机路径／表加载改动后的快速自检；收口由闸编排 |
 | `tools/run_system_test.py`（系统测试） | 真实玩法路径的行为断言面（推理→战斗→结算→进度推进） | 退出码＋脚本错误扫描 | 玩法链路改动的调试期确认 |
-| `tests/run_all.gd`（单元与集成） | 公式／状态机／契约／跨系统闭环（64 套件 manifest） | 退出码＋三硬闸（见下） | 新套件单跑调试；逻辑改动的最小单元复跑；开发期选跑——追加 `-- --only=<词[,词…]>` 只跑路径命中词的套件（零命中＝用法错 exit 2；选跑态仅供开发期最窄确认，不产闸回执、不作验收凭据） |
+| `tests/run_all.gd`（单元与集成） | 公式／状态机／契约／跨系统闭环（64 套件 manifest） | 退出码＋三硬闸（见下）；每套件子进程带截止时间守护——超时先 taskkill /T 整树回收再判该套件 FAIL、批继续（默认 120s，环境变量 `RUN_ALL_SUITE_TIMEOUT_SEC` 可覆盖） | 新套件单跑调试；逻辑改动的最小单元复跑；开发期选跑——追加 `-- --only=<词[,词…]>` 只跑路径命中词的套件（零命中＝用法错 exit 2；选跑态仅供开发期最窄确认，不产闸回执、不作验收凭据） |
 | `tools/probe_gate.sh`（场景探针，`--click`／`--full` 两模式） | UI 可达性、可见性、状态——真实实例化场景＋真实输入路径 | 探针自检＋退出码 | 新增 UI 区域的配套探针直跑与断言复核 |
 | `tools/render_gate.sh`（渲染 golden） | 画面基线——截图与基线图逐像素容差比对 | golden 比对脚本（依赖 PIL） | 主题／素材／排版类改动；窗口化运行，需开显示器 |
 | `game/tests/static_scan.sh`（S 域） | 项目纪律＋第三方质量规则：RNG 单点／core 纯度／类型标注／文件头／注释禁词／旧符号残留；S13＝gdstyle 质量规则（重复 load、循环内 await、循环内分配、不可达代码等真缺陷类；基线键＝文件|规则|函数名（类/文件级＝文件|规则，无数字条目带消息），数字漂移不假红，同键指标恶化超基线登记值即红） | 退出码（逐规则 FAIL 行） | 改产品码前后的快速自检；新增纪律先补扫描规则再修码 |
@@ -96,8 +151,9 @@ python tools/run_system_test.py
 # 场景探针（UI 探针层）——以探针场景为运行目标，走完整项目引导（autoload 在位）
 godot --headless --path . res://probe/<probe>.tscn
 
-# 本地闸必须配外部 wall-clock 超时（引擎无死锁探测；run_all_gates.sh 已内置）
-timeout 120s godot --headless --script tests/run_all.gd
+# 挂死防护内建于 run_all.gd（引擎无死锁探测，超时靠外部判）：每套件子进程带截止时间——
+# 默认 120s，环境变量 RUN_ALL_SUITE_TIMEOUT_SEC 可覆盖；超时先 taskkill /T 整树回收
+#（cmd wrapper 连引擎孙进程一起杀，不留孤儿），该套件判 FAIL、批继续——单套件挂死不拖死整闸
 ```
 
 > 套件 manifest 现况：`_suites()` 登记 **64 条**（61 单元＋3 集成，2026-10-28 实数；口径＝manifest 条目数，

game/tests/run_all.gd

@@ -1,12 +1,16 @@
 # tests/run_all.gd — 单元测试统一入口（双载体的逻辑测试调用点，套件 manifest 协议 D2 AC-2b）
-# 用法：godot --headless --path game --script res://tests/run_all.gd   （本地闸 02 闸包装外部超时：timeout 120s …）
+# 用法：godot --headless --path game --script res://tests/run_all.gd
 # 选跑态（开发期直跑专用）：追加 `-- --only=<词[,词…]>` ——对套件 res:// 路径做子串匹配，只跑命中套件；
 # 零命中/空值＝用法错 quit(2)。选跑态仅供开发期最窄确认，不产闸回执、不作验收凭据；
-# 批末全量闸不带参数不经选跑分支——默认（无参数）行为逐字节不变。
+# 批末全量闸不带参数不经选跑分支。
 # 协议：套件清单逐条"套件 → 期望退出码"；致命类独立进程（expect=1）。
 # 执行形态：逐套件起独立 Godot 子进程实跑
 #（OS.get_executable_path() 解析本引擎二进制——--script 模式无 autoload/全局标识符，
 # 每个测试文件自带显式实例化夹具，见 tests/README 协议要点）。
+# 挂死守护：每套件子进程带截止时间（默认 120s，环境变量 RUN_ALL_SUITE_TIMEOUT_SEC 可覆盖）。
+# 套件挂死（_init 在 quit() 前中断，子进程永不退出）＝超时先 taskkill /T 整树回收
+#（连 cmd wrapper 带引擎孙进程一起杀，只杀 wrapper 会留孤儿殃及后续全部 Godot 启动）
+# 再判该套件 FAIL 继续下一套件——单套件挂死不拖死整批；正常退出路径判定形态不变。
 # 场景探针（.tscn 载体）由本地闸（probe_gate.sh）单独步骤调用，不经本入口。
 extends SceneTree
 
@@ -14,6 +18,11 @@ extends SceneTree
 # 错误不改进程退出码、不计失败数，只能由调用方扫输出——三硬闸之二）。
 const ERROR_MARKERS: Array[String] = ["SCRIPT ERROR", "Parse Error"]
 
+# 每套件截止时间（秒）：默认与 probe_gate 每段同额；环境变量可覆盖——服务挂死守护的
+# 机制验证与日后调参，非法值/非正值一律回落默认。
+const SUITE_TIMEOUT_ENV := "RUN_ALL_SUITE_TIMEOUT_SEC"
+const SUITE_TIMEOUT_DEFAULT_SEC := 120
+
 
 func _init() -> void:
 	# 选跑态解析：--only=<词[,词…]>（经 -- 分隔的 user args）——对套件 res:// 路径做子串匹配。
@@ -154,21 +163,69 @@ func _run_suite(suite: Dictionary, idx: int, filtered: bool = false) -> int:
 			+ "非 console 版是 GUI 子系统，子进程 stdout/stderr 句柄无效，脚本错误扫描无从落地")
 		return 1
 	# 子进程输出只能落盘再读：OS.execute 的 output 管道在本机 Godot/Windows 组合下恒为空
-	#（实测 0 行），故整条命令交给 cmd /c 并重定向到日志，退出码由 cmd 原样回传。
+	#（实测 0 行），故整条命令交给 cmd 并重定向到日志。退出码同样走文件通道——
+	# 阻塞式 execute 无超时能力（套件挂死时整批陪葬），换 create_process 非阻塞起进程
+	# 后又没有退出码读取 API，故由 cmd /V:ON 在套件退出后把 !ERRORLEVEL! 回显落盘，
+	# 值与阻塞式 execute 经 cmd 回传的同一。
 	var proj := ProjectSettings.globalize_path("res://")
 	var log := proj + "/tests/.gates/run_all%s_%02d.log" % ["_filter" if filtered else "", idx]
+	var codefile := log + ".code"
+	if FileAccess.file_exists(codefile):
+		DirAccess.remove_absolute(codefile)   # 陈值防护：上轮临界残件不许冒充本轮退出码
 	DirAccess.make_dir_recursive_absolute(proj + "/tests/.gates")
-	var cmd := '"%s" --headless --path "%s" --script "%s" > "%s" 2>&1' % [bin, proj, path, log]
+	# /V:ON＝延迟展开：!ERRORLEVEL! 到 echo 执行时（套件已退出）才取值；
+	# 延迟展开会吞字面 !，命令串各段（引擎路径/工程路径/套件路径/日志路径）不得含 !。
+	var cmd := '"%s" --headless --path "%s" --script "%s" > "%s" 2>&1 & echo !ERRORLEVEL! > "%s"' % [bin, proj, path, log, codefile]
 	var out := PackedStringArray()
-	var code: int = OS.execute("cmd.exe", PackedStringArray(["/c", cmd]), out, true, false)
+	var pid: int = OS.create_process("cmd.exe", PackedStringArray(["/V:ON", "/C", cmd]))
+	if pid < 0:
+		push_error("[run_all] FAIL %s — cmd 子进程启动失败（pid=%d）" % [path, pid])
+		return 1
+	# 轮询先查存活再查截止：进程在轮询间隙自然退出时按正常路径判，截止临界不误杀。
+	var timed_out := false
+	var deadline_ms := Time.get_ticks_msec() + _suite_timeout_sec() * 1000
+	while true:
+		if not OS.is_process_running(pid):
+			break
+		if Time.get_ticks_msec() >= deadline_ms:
+			timed_out = true
+			break
+		OS.delay_msec(200)
 	var text := FileAccess.get_file_as_string(log) if FileAccess.file_exists(log) else ""
 	var negative := bool(suite.get("negative", false))
+	if timed_out:
+		var kill_out := PackedStringArray()
+		OS.execute("taskkill", PackedStringArray(["/F", "/T", "/PID", str(pid)]), kill_out, true)
+		# taskkill 落刀到进程对象消失有间隔：等死确认再放行下一套件（10s 宽限），
+		# 确认不了也如实报红留 PID 供手工清杀，不静默放行。
+		var reap_deadline := Time.get_ticks_msec() + 10000
+		while OS.is_process_running(pid) and Time.get_ticks_msec() < reap_deadline:
+			OS.delay_msec(200)
+		var reaped := not OS.is_process_running(pid)
+		# 临界窗口：截止到落刀之间套件可能恰好跑完 echo——同删退出码文件，.gates 不积残件。
+		if FileAccess.file_exists(codefile):
+			DirAccess.remove_absolute(codefile)
+		if negative:
+			print("[run_all] %s：负面套件——全文输出已折叠（输出中的错误为其测试目标，非缺陷）" % path)
+		else:
+			print(text)
+		if reaped:
+			push_error("[run_all] FAIL %s — 超时挂死（%ds），进程树已整树回收（pid=%d）" % [path, _suite_timeout_sec(), pid])
+		else:
+			push_error("[run_all] FAIL %s — 超时挂死（%ds），进程树回收未确认（pid=%d，需手工清杀残留）" % [path, _suite_timeout_sec(), pid])
+		return 1
 	# 负面套件（坏表/违规输入是它的测试目标）全文折叠，只回显结论行——
 	# 它输出里的 Parse Error 是预期产物，回显出去会让编排层的日志扫描误判成真实脚本错误。
 	if negative:
 		print("[run_all] %s：负面套件——全文输出已折叠（输出中的错误为其测试目标，非缺陷）" % path)
 	else:
 		print(text)
+	var code_txt := FileAccess.get_file_as_string(codefile).strip_edges() if FileAccess.file_exists(codefile) else ""
+	if code_txt == "" or not code_txt.is_valid_int():
+		push_error("[run_all] FAIL %s — 退出码文件缺失或非数字（%s）——子进程未走到退出码落盘即死，判红" % [path, codefile])
+		return 1
+	var code: int = int(code_txt)
+	DirAccess.remove_absolute(codefile)   # 用毕即删：退出码经文件通道但不落 residuum（.gates 只留 *.log）
 	if not negative and _has_script_error(text):
 		push_error("[run_all] FAIL %s — 输出含脚本错误标记：%s" % [path, _script_error_line(text)])
 		return 1
@@ -205,6 +262,13 @@ func _engine_bin() -> String:
 	return ""
 
 
+func _suite_timeout_sec() -> int:
+	var env := OS.get_environment(SUITE_TIMEOUT_ENV)
+	if env != "" and env.is_valid_int() and int(env) > 0:
+		return int(env)
+	return SUITE_TIMEOUT_DEFAULT_SEC
+
+
 func _has_script_error(text: String) -> bool:
 	return _script_error_line(text) != ""
 

game/tests/smoke_boot.gd

@@ -66,10 +66,8 @@ func _check_main_scene(main: Node) -> void:
 	if main == null:
 		return
 	var run_scope: Node = main.get("run_scope")
-	check(run_scope != null, "闲时会话 run_scope 非空（永非 null 契约）")
 	check(run_scope != null and run_scope.is_inside_tree(), "闲时会话 run_scope 在树")
 	var start_overlay: Control = main.get("_start_overlay")
-	check(start_overlay != null, "开始菜单层已装配（_start_overlay）")
 	check(start_overlay != null and start_overlay.visible, "启动态菜单可见（boot 后玩家见菜单）")
 	check(main.get("settings_store") != null, "系统设置存储已装配（settings_store）")
 	check(main.get("debug_badge") != null, "调试入口角标已装配（debug_badge）")

game/tests/system_test.gd

@@ -173,8 +173,6 @@ func _smoke_boot_chain() -> void:
 	var sm = main.get_node("/root/SaveManager")
 	# ④-1 boot 路径：启动态钉死（卡① sv2）——boot 无激活态、断点在档恒否，续玩钮恒隐
 	#（原「按钮态==真实档断点态」关系判据随启动态换代改写：test-conventions §9.5 申报在案，卡② mn8 再承接）
-	check(not sm.has_breakpoint(),
-		"V2d boot 无断点在档（启动态不隐式激活——卡① sv2 钉死）〔装配生命批 V2·卡② mn8 改写〕")
 	# ④-1b 启动态三断言（卡① sv2——真实 autoload boot 链）
 	check(sm.active_slot() == 0 and not sm.has_write_target(),
 		"V2-s1 boot 后无激活态（active_slot=0、写盘目标空）〔卡① sv2〕")

game/tests/unit/battle_settlement/roll_multiplier_test.gd

@@ -128,8 +128,7 @@ func _smoke_armor_roll() -> void:
 		if int(crit_rows.get("roll", -1)) == int(_db.settlement.damage_roll.crit_roll):
 			crit_seed = s
 			break
-	Kit.check("nat20 种子可达（seed=%d——主角先手首掷命中 %d）" % [crit_seed, int(_db.settlement.damage_roll.crit_roll)], crit_seed > 0)
-	Kit.check("nat20 → 行留档 roll=20 + crit 标记（主角先手普通分量）",
+	Kit.check("nat20 → 行留档 roll=20 + crit 标记（主角先手普通分量——种子可达 seed=%d）" % crit_seed,
 		int(crit_rows.get("roll", -1)) == int(_db.settlement.damage_roll.crit_roll) and bool(crit_rows.get("crit", false)))
 	Kit.check("nat20 → 普通分量 ×2（%d = 2×%d，暴击倍率只乘该分量，穿刺/魔法不吃）" % [int(crit_rows.get("normal", -1)), int(_db.hero.atk)],
 		int(crit_rows.get("normal", -1)) == 2 * int(_db.hero.atk) and int(crit_rows.get("value", -1)) == 2 * int(_db.hero.atk))

game/tests/unit/battle_settlement/round_flow_skill_pool_test.gd

@@ -58,7 +58,6 @@ func _smoke_full_battle(L: int, D: int, label: String) -> void:
 				break
 	Kit.check("%s 回放断言：结算步骤流逐行相同" % label, JSON.stringify(run1.stream) == JSON.stringify(run2.stream))
 	Kit.check("%s 回放断言：事件流逐位相同" % label, JSON.stringify(run1.events) == JSON.stringify(run2.events))
-	Kit.check("%s 结算步骤流非空（%d 行）" % [label, run1.stream.size()], run1.stream.size() > 0)
 	var has_verdict := false
 	var hero_attacks := 0
 	var hero_breakdown_ok := true

game/tests/unit/battle_settlement/seal_polarity_test.gd

@@ -439,10 +439,16 @@ func _smoke_polarity_routing() -> void:
 		if _polarity_probe_accepts(probe):
 			polarity_seed = s
 			break
-	Kit.check("极性路由构造种子可达（seed=%d——并流后行为面重锚）" % polarity_seed, polarity_seed > 0)
-	Kit.check("构造触达：标中真雷 + 标空安全格均入队", bool(probe["seal_hit_done"]) and bool(probe["seal_miss_done"]))
-	Kit.check("构造触达：挖到危险格 ≥1（%d）" % int(probe["mine_events"]), int(probe["mine_events"]) >= 1)
-	Kit.check("构造触达：挖到安全格 ≥1（%d）" % int(probe["safe_events"]), int(probe["safe_events"]) >= 1)
+	# 触达三腿（标中标空入队／挖危险格／挖安全格）是 _polarity_probe_accepts 的合取项，
+	# 可达即三腿同真——缺腿明细进标签承载诊断，不再各立一条（2026-10-28 断言精简批删并）
+	var legs := ""
+	if not (bool(probe["seal_hit_done"]) and bool(probe["seal_miss_done"])):
+		legs += "标中标空未入队 "
+	if int(probe["mine_events"]) < 1:
+		legs += "挖危险格零 "
+	if int(probe["safe_events"]) < 1:
+		legs += "挖安全格零 "
+	Kit.check("极性路由构造种子可达（seed=%d——并流后行为面重锚；缺腿：%s）" % [polarity_seed, legs], polarity_seed > 0)
 	# 挖到的安全格：只出正向——其全部来源行必存在且 effect 行 ∈ 正向集
 	# （action 型排队行 effect_id=ap_delta 正负两极共用路由键——按行值符号辨极性：正向格恒 +power）
 	var safe_all_pos := true

game/tests/unit/core/board_gen_reward_test.gd

@@ -172,8 +172,6 @@ func _smoke_board_generator() -> void:
 			b1.degraded_product == (mode == "accept_best"))
 		Kit.check("L%d 非法产物标记 = (accept_mode==accept_worst)（%s→%s）" % [L, mode, str(b1.illegal_product)],
 			b1.illegal_product == (mode == "accept_worst"))
-		Kit.check("L%d 降级/非法产物标记互斥（两出口不可同真）" % L,
-			not b1.degraded_product or not b1.illegal_product)
 		Kit.check("L%d 产物断言：实际雷数 %d ≤ 目标雷数 N=%d（先布后删只减不增）" % [L, int(b1.metrics.actual_mines), int(b1.metrics.target_mines)],
 			int(b1.metrics.actual_mines) <= int(b1.metrics.target_mines))
 		Kit.check("L%d attempts_used ∈ [1,%d]" % [L, int(row.max_gen_attempts)],

game/tests/unit/core/config_db_cross_validator_test.gd

@@ -67,7 +67,6 @@ func _test_dangling_skill_id() -> void:
 			{"skill_id": "attack", "weight": 9}, {"skill_id": "not_in_table", "weight": 3}]},
 	])
 	var errs: Array = ValidatorScript.new().validate_skill_pool_links(skills, enemies, null)
-	Kit.check("池内悬空 skill_id 被报（跨表护栏不静默放过）", not errs.is_empty())
 	Kit.check("悬空项的错误类别可定位（category 非空）",
 		not errs.is_empty() and String((errs[0] as Dictionary).get("category", "")) != "")
 

game/tests/unit/core/config_db_resolver_test.gd

@@ -64,7 +64,6 @@ func _test_band_hit() -> void:
 
 func _test_rowset_order_preserved() -> void:
 	var rows: Array = _resolver.resolve_enemy_rowset(1, 0, "battle")
-	Kit.check("行集返回同带全部行（2 行）〔fv2〕", rows.size() == 2)
 	var ids: Array[String] = []
 	for r in rows:
 		ids.append(String((r as Dictionary).get("enemy_id", "")))

game/tests/unit/core/node_map_generator_test.gd

@@ -310,7 +310,6 @@ func _test_rng_single_point() -> void:
 	svc.new_adventure(4242)
 	var before: int = svc.counter()
 	var g = GenScript.new(svc).generate(_params(2), 42)
-	Kit.check("pure_stream 不推全局计数器（产图前后 counter 同值）〔fv10〕", svc.counter() == before)
 	var a = svc.pure_stream(42, 0)
 	var b = svc.pure_stream(42, 0)
 	Kit.check("pure_stream 同 (seed,scope) 同流〔fv10〕", a.randf() == b.randf() and a.randi() == b.randi())

game/tests/unit/presentation/player_copy_sweep_test.gd

@@ -56,7 +56,6 @@ func _sweep_narrator() -> void:
 	var head := String(narrator.node_curio_header())
 	Kit.check("奖励点头部含「冒险牌库」（u3 机制事实①同库）〔wa4〕", head.contains("冒险牌库"))
 	Kit.check("奖励点头部含「属性值提升与补给」（u3 机制事实②渠道分流）〔wa4〕", head.contains("属性值提升与补给"))
-	Kit.check("奖励点头部含「同库分流」（u3 机制事实②措辞）〔wa4〕", head.contains("同库分流"))
 	Kit.check("奖励点头部零「同权重」旧话（u3 清零）〔wa4〕", not head.contains("同权重"))
 	Kit.check("奖励点头部零「同上限」旧话（u3 清零）〔wa4〕", not head.contains("同上限"))
 	Kit.check("奖励点头部零「提升池」旧话（u3 清零）〔wa4〕", not head.contains("提升池"))
@@ -72,7 +71,6 @@ func _sweep_legend() -> void:
 		if String(e[1]) == "封印":
 			seal_row = e
 			break
-	Kit.check("图例封印行存在（wa5 夹具前提）〔wa5〕", not seal_row.is_empty())
 	Kit.check("图例封印行含「标空」（u4——与「标中」成对）〔wa5〕", String(seal_row[2] if seal_row.size() > 2 else "").contains("标空"))
 	Kit.check("图例封印行含「受挖掘惩罚」（u4 雷字清零换代）〔wa5〕", String(seal_row[2] if seal_row.size() > 2 else "").contains("受挖掘惩罚"))
 	Kit.check("图例封印行零「插错」（u4 旗族遗留词干清零）〔wa5〕", not String(seal_row[2] if seal_row.size() > 2 else "").contains("插错"))

game/tests/unit/presentation/theme_projection_test.gd

@@ -611,18 +611,6 @@ func _smoke_button_five_states() -> void:
 		is_equal_approx((dds as StyleBoxFlat).bg_color.a, 0.45))
 	Kit.check("V1 危险钮 disabled≠pressed", _sb_content_differs(dpr, dds))
 	db.free()
-	# V2 主题红线维持（Button 类型词条零接触＋focus 族词条零定义）——与 _smoke_global_theme 同判据复述
-	var th := ThemeDB.get_project_theme()
-	if th != null:
-		Kit.check("V2 红线维持 Button 类型词条零接触", not th.get_type_list().has("Button"))
-		var focus_hits := ""
-		for t in th.get_type_list():
-			for nm in (th.get_stylebox_list(t) + th.get_icon_list(t) + th.get_color_list(t)
-					+ th.get_font_list(t) + th.get_font_size_list(t) + th.get_constant_list(t)):
-				if "focus" in String(nm):
-					focus_hits += "%s/%s " % [t, nm]
-		Kit.check("V2 红线维持 focus 族词条零定义%s" % ("" if focus_hits == "" else "（违例：" + focus_hits + "）"),
-			focus_hits == "")
 
 
 # ---- 全局纹理过滤冒烟（工程设置 Nearest＋平滑渐变件 LINEAR 白名单；V3）----

game/tests/unit/presentation/type_glow_test.gd

@@ -64,12 +64,10 @@ func _test_grouping_closed() -> void:
 	for bad in ["keystone", "", "ATTACK", "aoe", "blast_mine", " heal"]:
 		Kit.check("清单外值「%s」→ GLOW_NONE（禁静默空光）" % bad,
 			UiKitScript.glow_group_for_cell_type(bad) == UiKitScript.GLOW_NONE)
-	# 与卡顶带 tg_band 的归组差异锚定（Q3 甲案两带并存、禁互引）：blast 在格面带归群伤、
-	# 在卡顶带归魔法（E5 回滚既存行为）——若将来误把两带统一，本断言红
+	# 与卡顶带 tg_band 的归组差异锚定（Q3 甲案两带并存、禁互引）：blast 在卡顶带归魔法（E5 回滚既存行为）
+	# ——格面带 blast→群伤由上方九型封闭循环的 TYPE_EXPECT["blast"] 承载，此处不重述
 	var band_blast: Color = UiKitScript.tg_band("blast_charge")
 	Kit.check("两带并存锚定：卡顶带 blast→TG_MAGIC（E5 回滚既存行为未动）", band_blast == UiKitScript.TG_MAGIC)
-	Kit.check("两带并存锚定：格面微光 blast→群伤组（与卡顶带刻意不同）",
-		UiKitScript.glow_group_for_cell_type("blast") == UiKitScript.GLOW_AOE)
 	# 色值出口：五组各取本组常量；无组/越界组号 → 全透明（不画）
 	Kit.check("glow_color_for_group 群伤组 = TG_GLOW_AOE",
 		UiKitScript.glow_color_for_group(UiKitScript.GLOW_AOE) == UiKitScript.TG_GLOW_AOE)
@@ -92,13 +90,8 @@ func _test_frozen_hue_face() -> void:
 		var ds: float = absf(m.s - f.s)
 		Kit.check("冻结色相保持：%s ΔH=%.3f° ≤0.2° 且 ΔS=%.4f ≤0.01（只动明度档）" % [g, dh * 360.0, ds],
 			dh <= 0.2 / 360.0 and ds <= 0.01)
-	# 群伤组专锚（#A61D37）：H/S 与冻结逐位一致、V=0.65 档
-	var aoe_f: Color = FROZEN["AOE"]
+	# 群伤组专锚（#A61D37）：V=0.65 明度档——H/S 两腿由上方逐组循环的 ΔH/ΔS 阈承载
 	var aoe_m: Color = UiKitScript.TG_GLOW_AOE
-	Kit.check("群伤组专项：H 与冻结 #FF2D55 差 %.4f°（零移动）" % (absf(aoe_m.h - aoe_f.h) * 360.0),
-		absf(aoe_m.h - aoe_f.h) < 0.001)
-	Kit.check("群伤组专项：S 与冻结差 %.4f ≤0.01（8bit 量化噪声级）" % absf(aoe_m.s - aoe_f.s),
-		absf(aoe_m.s - aoe_f.s) <= 0.01)
 	Kit.check("群伤组专项：V=0.65 明度档（ provisional 域内）", absf(aoe_m.v - 166.0 / 255.0) < 0.002)
 
 

reports/工程改动报告-单元闸挂死守护-2026-10-28.md

@@ -0,0 +1,32 @@
+# 工程改动报告——单元闸挂死守护（run_all.gd 每套件阻塞面超时）
+
+**承接**：待办清单 2026-10-25 条目「闸与探针批上下文挂死防护——probe_gate 进程树回收与 run_all 阻塞面超时」件②（件① battle_log_view 已随迭代 38 卡⑥ 出账，probe_gate.sh 整树回收件 2026-10-28 已落；本批完成后该条目整条删除，git 历史可考）。
+**车道**：工程改动直改批（改动四类，不写卡不编迭代），触及代码面走 worktree 批——分支 `runall-hangguard-20261028`，改动提交 a2710f22，并 master 后合并提交 4afe6c47。
+**实证**：迭代 40 批末阻塞面挂死实拍三例（测试 `_init` 在 `quit()` 前中断，进程挂至外层超时 124），与件②同根。
+
+## 改动—验收对照表
+
+| 需求点 | 改动（文件:行为） | 验收测试 | 层级 | 真实入口 | 判据绑定面 | 结果 |
+|---|---|---|---|---|---|---|
+| 每套件截止时间守护（默认 120s，环境变量 `RUN_ALL_SUITE_TIMEOUT_SEC` 可覆盖，非法值回落默认） | `run_all.gd` `_run_suite` 阻塞调用换 `OS.create_process` 非阻塞＋200ms 轮询＋截止判定；常量 `SUITE_TIMEOUT_*` 与 `_suite_timeout_sec()` | 机制验证：临时挂死夹具（`_init` 死循环不 quit）登记 manifest 后 `--only` 选跑，`RUN_ALL_SUITE_TIMEOUT_SEC=8` → 输出 `[run_all] FAIL …dev_hang_fixture… — 超时挂死（8s），进程树已整树回收（pid=…）`＋`[run_all] 1 个套件失败`，进程退出码 1 | 闸基建 | `run_all.gd` `--script` 直跑（选跑态） | FAIL 行文本＋批退出码 | 绿（夹具与 manifest 行验证后即删，未提交） |
+| 超时整树回收零孤儿 | `taskkill /F /T /PID`（杀 cmd wrapper 连引擎孙进程）＋等死确认 10s 宽限（确认不了报红留 PID）＋临界窗口 `.code` 同删 | 杀树后 PowerShell 按命令行清点该 worktree 路径 Godot 进程＝0 | 闸基建 | 同上＋外部进程清点 | 清点输出 | 绿 |
+| 退出码通道等价（文件通道值＝原 cmd 回传值，判定形态不变） | 命令串追加 `& echo !ERRORLEVEL! > 文件`（`cmd /V:ON`）；读毕即删＋起跑前清陈值；缺文件/非数字 fail-closed 判红 | 负面套件 expect=1 照常判 PASS；全量 65 套件 `all green (65 suites)` 退出码 0 | 闸基建 | `run_all.gd` 全量直跑（与收口闸 02 同源） | PASS 行 exit 值＋all green 行 | 绿 |
+| README 超时记载换代 | `game/tests/README.md` 工具速查表 run_all 行补守护说明；Running Tests 段失真行「本地闸必须配外部 wall-clock 超时（run_all_gates.sh 已内置）」删除（该脚本实测无 timeout 包装），换代为内建守护说明 | 收口闸 06 gdd_lint／07 doc_link／08 doc_term／08c 流水线闸／08d 引用可核全绿 | 文档 | 闸机扫描 | 闸退出码 | 绿 |
+| 非行为改动：文件头注重写 | 只描述现行行为；原头注「本地闸 02 闸包装外部超时：timeout 120s」与闸机现实不符，属失真句换代 | — | — | — | — | 非行为改动 |
+
+验证集清单（`game/tests/验证集清单.md`）零变化：本批不增删不改判任何套件断言，改动全部在运行器进程机制层。
+
+## 机制验证的 API 实证（开工探针四件，30 秒级临时件，验证后即删）
+
+1. 现行 `OS.execute(…, out, true, false)` 实测同步等待（ping 约 3s 计时吻合）、返回退出码——第五参在 Godot 4.7.2 上不是阻塞开关，阻塞面挂死根因坐实；
+2. `OS.create_process` 返回真实 Windows PID，`is_process_running` 存活期 true、taskkill 后 false；
+3. `cmd /V:ON /C "… & echo !ERRORLEVEL! > 文件"` 退出码落盘通道成立（错误命令落 1）；
+4. `taskkill /F /T` 对 cmd→ping 树整树连坐闭环（存活计数 1→杀→0，cmd 自身 running=false）——镜像 probe_gate 已落件的同款机制。
+
+## 闸况
+
+全量域闸回执 2955c049（domain=full，dirty_game=False，总判定验收通过）：影响面选闸判测量面（diff 全在 `game/tests/`）→ 00 冒烟/03/04 探针/05 渲染闸/11 回放确定性 SKIP；01 系统测试、02 单元与集成测试、06–08d 文档域闸、10 熵增闸全绿；09 静态扫描退出码 1＝存量红（`level_map_screen.gd|quality/max-class-variables` 22 对基线登记 21 的恶化留账，还债归迭代 41 在案；指纹与入库基线一致，本批零新增）。合并后两件秒级事：`--editor --quit` 重刷类名缓存退出码 0＋冒烟启动 17 项 0 失败三闸全过。
+
+## 移交与观察
+
+`game/tests/README.md`「套件 manifest 现况」行记 64 条，manifest 实数 65 条（62 单元＋3 集成）——漂移先于本批存在（主区与任务分支同值），本批未动套件数，已登记待办清单新条目（tests/README manifest 计数行漂移订正）归文档批。

reports/工程改动报告-存量断言精简AB档-2026-10-28.md

@@ -0,0 +1,76 @@
+# 工程改动报告——存量断言精简（A+B 档首批删并）
+
+**承接**：待办清单 2026-10-28 条目「存量断言精简——验证内容不变下的断言收敛」执行形态的第一波（盘点先行→逐批裁决→分波执行→件核）。
+**车道**：工程改动触及代码面（`game/tests/*.gd`）走 worktree 批——分支 `assert-slim-20261028`，区 `../g-plan2-assert-slim-20261028`。
+**盘点方法**：机器初筛（同文件标签近似 223 对、cond 全同 42 组 109 条、跨文件同标签、护栏类 41 条）＋七路只读子代理逐域语义裁决（battle_settlement／core 三路／data_config+contracts／presentation／integration+system_test）＋主会话逐条抽验复核。子代理报称候选约 150 点，掺有运行时展开数与「不同查询函数间的算术蕴含」，按本批判据线核减至 19 点。
+
+## 一、本批判据线（删除属显式判据改判，先立判据）
+
+只删满足 **同一读数面 + 同一输入 + 谓词字面等价或字面上是承接者的真子集** 的站点。两类不算冗余、本批不删：
+
+1. **不同查询函数之间的算术蕴含**——删了就失去对被调函数实现本身的守卫（例：`has_unrevealed()` 与 `revealed_cells().size()<safe_total`、单表 `validate()` 直调与 `load_tables` 诊断计数）。
+2. **不同夹具实例的独立前置**——各场景自守一次，删则场景不可达时判读退化（例：另一局的 `abandon()` 受理前置、每进程的表加载零 error 护栏）。
+
+**用户裁决记录（2026-10-28 会话）**：A+B 档 19 站点照删；另 4 处候选（cross_system_flow 127/128、theme_projection 312、theme_projection 503、board_gen_reward 181）全部保留——理由是它们的蕴含依赖夹具纪律或产品码未自证的不变量，不构成本批判据下的删除凭据。
+
+## 二、删并申报表（逐条：旧清单序号→去向）
+
+「旧 #」＝删前 `game/tests/验证集清单.md`（冻结基点 89a36822）行序号；去向已逐条写入新清单「处置」列。
+
+| # | 旧清单 | 删的位置（文件:行） | 标签摘要 | 类别 | 承接者（保留条） | 蕴含依据 |
+|---|---|---|---|---|---|---|
+| 1 | #65 | system_test.gd:176 | V2d boot 无断点在档 | ① | #67 `:181` V2-s2 boot 内存默认空态 | `not sm.has_breakpoint()` 是 :181 三合取的字面成员；〔卡② mn8〕尾缀另在 :193 有落点 |
+| 2 | #1519 | theme_projection:617 | V2 红线维持 Button 零接触 | ① | #1478 `:456` V1 红线 Button 零接触 | 两处 `th` 均 `ThemeDB.get_project_theme()`，同对象同谓词；源码注释自认「同判据复述」 |
+| 3 | #1520 | theme_projection:624 | V2 红线维持 focus 零定义 | ① | #1479 `:464` V1 红线 focus 零定义 | 同 type list、同六词条表、同 `focus_hits == ""` |
+| 4 | #649 | config_db_cross_validator:70 | 池内悬空 skill_id 被报 | ① | #650 `:71` 悬空项 category 非空 | 同 `errs`，:71 = 本条 ∧ category 非空 |
+| 5 | #654 | config_db_resolver:67 | 行集返回同带全部行（2 行） | ① | #655 `:71` 行集按表序返回 | `ids` 由同一 `rows` 逐行 append，`ids==[goblin,bugbear]` ⟹ size 2 |
+| 6 | #1057 | node_map_generator:313 | pure_stream 不推全局计数器 | ① | #1059 `:317` 不推计数器且产图非空 | `svc.counter() == before` 字面重复于 :317 首合取项，同对象同序 |
+| 7 | #201 | round_flow_skill_pool:61 | 结算步骤流非空 | ① | #202 `:75` 步骤流含判定行 | `has_verdict` 遍历同一 `run1.stream`，空流必红 :75 |
+| 8 | #614 | board_gen_reward:175 | 降级/非法产物标记互斥 | ① | #612 `:171` ＋ #613 `:173` 两等式 | 两等式 + mode 单值 ⟹ 互斥；:175 红必伴 :171 或 :173 红 |
+| 9 | #1579 | type_glow:71 | 格面微光 blast→群伤组 | ① | #1576 `:61` 九型封闭循环 | `TYPE_EXPECT["blast"] == GLOW_AOE`（:27），同函数同入参同期望 |
+| 10 | #1585 | type_glow:98 | 群伤组专项 H 零移动 | ① | #1584 `:93` 冻结色相保持 ΔH≤0.2° | 循环阈严于本条（0.2° < 0.36°），本条恒弱 |
+| 11 | #1586 | type_glow:100 | 群伤组专项 S ≤0.01 | ① | #1584 `:93` 冻结色相保持 ΔS≤0.01 | 同对象同阈值字面重复；:102 的 V=0.65 档另立，保留 |
+| 12 | #1393 | player_copy_sweep:59 | 头部含「同库分流」 | ① | #1338 battle_narrator:96 渠道句长串 | 同一 `node_curio_header()` 纯函数，长串含短串 |
+| 13 | #1398 | player_copy_sweep:75 | 图例封印行存在 | ① | #1399 `:76` 封印行含「标空」 | 空行 ⟹ `seal_row[2] if size>2 else ""` 取空串 ⟹ :76 必红 |
+| 14 | #168 | roll_multiplier:131 | nat20 种子可达 | ① | #169 `:132` 行留档 roll=20+crit | `crit_seed>0` 与 `crit_rows.roll==crit_roll` 同一扫描同真同假 |
+| 15 | #324 | seal_polarity:443 | 构造触达：标中标空入队 | ① | #323 `:442` 极性路由种子可达 | `_polarity_probe_accepts` 合取项（:249-252），可达即三腿同真 |
+| 16 | #325 | seal_polarity:444 | 构造触达：挖危险格 ≥1 | ① | 同上 | 同上（:253） |
+| 17 | #326 | seal_polarity:445 | 构造触达：挖安全格 ≥1 | ① | 同上 | 同上（:253） |
+| 18 | —（口径外） | smoke_boot.gd:69 | run_scope 非空 | ① | `:70` run_scope 在树 | `!= null` ⊂ `!= null ∧ is_inside_tree()`；GDScript `and` 短路，无空引用崩溃风险 |
+| 19 | —（口径外） | smoke_boot.gd:72 | _start_overlay 已装配 | ① | `:73` 启动态菜单可见 | `!= null` ⊂ `!= null ∧ visible` |
+
+**两条改判（标签变更，判据不变）**
+
+- seal_polarity:442 标签追加「缺腿：%s」，把第 15/16/17 行的三腿诊断信息折进保留条；三腿取值仍读同一 `probe`，与原三条的语义强度逐字相同。
+- roll_multiplier:132 标签追加「种子可达 seed=%d」，把第 14 行的 seed 读数折进保留条。
+
+**随行清理**：theme_projection:614-625 的 `var th` 与 focus 扫描循环随其承载的两条断言一并删除（该循环只为已删断言供数据）；type_glow 的 `aoe_f` 局部量随 H/S 两条删除后无消费者，一并删；两处注释改写为指认真正承载该事实的保留条。
+
+## 三、件核（验证项目覆盖不变）
+
+| 核对项 | 结果 |
+|---|---|
+| 冻结清单条数 | 1604 → **1587**（−17；smoke_boot 两站点本不在清单源列，条数不受其影响） |
+| `extract_checks.py --diff` | PASS——标签／cond／计数三对齐，零差异 |
+| 被删 19 条标签全仓残留 grep（`tests/`＋`design/`＋`reports/`） | 零悬挂引用（唯一命中的「run_scope 非空」是 system_test 自己的 V2e 在册条，非本批对象） |
+| 承接指认 | 15 条保留行的「处置」列逐条回填去向（旧序号＋蕴含依据＋批次名），新清单在册 |
+| 判据等价复验 | 由代码域闸承担（见闸况）——本批不新增行为，删后被承接行为以保留断言复验 |
+| 取证方式 | 未使用变异法与撤销类取证（2026-10-24／28 用户裁）；删除凭据＝上表逐条申报＋承接者指认 |
+
+## 四、闸况
+
+全量域闸（域=full，`dirty_game=false`，`all_green=true`，总判定「闸况与基线一致，无新增红」）回执 commit `4fbacc43`：01 系统测试、02 单元与集成测试、06/06b/07/08/08c/08d 文档域闸、10 熵增闸全绿；09 静态扫描退出码 1＝存量红（`game/presentation/views/level_map_screen.gd|quality/max-class-variables` 22 对基线登记 21 的恶化留账，还债归迭代 41 在案；指纹 `8467b4588a20` 与入库基线一致，本批零新增）；00 冒烟、03/04 探针、05 渲染闸、11 回放确定性由影响面选闸判 SKIP（本批 diff 全在 `game/tests/` 测量面）。
+
+**本批复验缺口一条（合回后已补）**：第 18/19 两行改的是冒烟宿主自身 `smoke_boot.gd`，而 00 冒烟测试恰被影响面选闸跳过——该两站点在批末跑批中没有执行证据，只有静态蕴含论证（GDScript `and` 短路，保留条 `!= null and …` 在空值上判 false 不崩）。合回 master 后按 §3.9 code 批两件秒级事跑 `python tools/run_smoke.py`＝三闸全过、`[smoke] 摘要：15 项检查，0 项失败`（原 17 项检查删两条后为 15 项计数），缺口就此闭合。第 1–17 行所在套件的复验由 01/02 全绿承担。
+
+跑批踩坑一条备案：闸日志首跑写在仓库根，触 10 熵增闸「根目录文件越界」判红——我的临时件写错位置，非批次改动引发；日志挪到仓库外重跑后 10 归绿，代码面零改动，回执按同一 commit 重生成。
+
+## 五、移交与观察（后续批次账）
+
+1. **类别② 在本仓基本不成立**：全仓钉内部路径/私有字段/中间态的断言约 52 条，被入口**严格承载 0 条**，约 51 条因覆盖入口打不到的边界/反例载荷必须保留（`fx.dispatch` 逐事件、`pending_ap_delta` 兑现时机、`_intent_charge`）；且 §8.4 本身要求判据绑提交面。后续批次的可精简空间只在类别①。
+2. **前置护栏不可删**：`load_ok and diagnostics_count("error")==0` 全域 8 处属每进程 fail-fast，删致 `if load_ok:` 静默跳过→假绿，属负收益。
+3. **静默通道在冻结口径之外**：`Kit.check_quiet` 静态站点实测 **407 个**，提取器 `CALL_RE = check\(` 匹配不到该形态（test-conventions:38 已备案该工具局限）——清单条数与〔尾缀〕grep 均覆盖不到。因此「循环 quiet 与聚合条双钉」两处真冗余（node_map_growth 47/51 vs #1073/74、node_map_generator 163 vs #fv9 聚合条）删的是口径外站点，不减 1604 这个数，且聚合侧带〔fv8〕〔fv9〕验收尾缀，本批不动；若要收该账，先做提取器改版（工程批）。
+4. **恒真断言另立一账**（属判据缺陷，非重复，本批未动）：feat_vouchers:51 `deck_refresh_before == 0 or true`、treasure_effects:263 `... or true`、level_shop_economy:593 与 :696 `green_min_hp > 0`（初值 99999、仅 hp>0 分支取 min，恒真）；system_contracts:67 标签称「互异」而 cond 只查非空，属名实不符需改判据。建议按 §8.4 走「判据绑不上即停卡呈报」通道单独裁决。
+5. **未采的删并形态**：C 档「手写族→表驱动循环合并」（level_gen_params 逐类负向 10→1、rng_stream_boot 8 向量→1、player_copy 禁词族、standee_fx 三入参、ui_font 字形集、forge_workbench 双行）静态可再省约 25～35 点，代价＝失败定位改用违例明细串（仓内已有 `forge_table_test:181-189`、`table_structure_guard:260/299` 范式）；D 档「是否同一验证项目」待owner 认账项（theme:215/217 vs type_glow:148/150、level_shop_economy 现行图跨表覆盖簇 vs 〔v11〕扩面段的尾缀义务）。
+6. **example_test.gd** 两条硬编码占位断言在盘且随清单在册（旧 #S167），不进生产 manifest（run_all.gd:79-80 明示）——整件退役与否属样板件裁决，不入本账。
+7. 本批不动 `game/tests/README.md`（断言双口径行仍成立）与任何 `design/` 文件。

待办清单.md

@@ -2,6 +2,22 @@
 
 本清单是流水线的唯一登记处：要做的事先在此登记一条，随流水线段推进改状态，做完整条删除；各系统文档的「待办」节只留一行指路存根，不再自建条目。条目格式（标题＝登记元数据含可选优先级，正文＝实况/缺口/改动面/状态四属性）与状态机以 [doc-conventions §12.1](design/engineering/doc-conventions.md) 为权威。
 
+#### 验证与清单体系整改——四方向分阶段推进（2026-10-28 登记，来源=会话提及）
+
+**实况**：用户裁「验证及清单不合理」，经调研定四方向全做、分阶段推进：A 粒度整改（清单从断言级升到能力/行为级，逐断言账本退役）→ B 精简裁断（在新粒度上规则驱动删并）→ C 流程风险分级（P0/P1/P2 验收强度、审计抽样）→ D 文档减肥（待办条目限长、历史归 git）；测试有效性度量暂不处理。阶段 0 盘点已毕：验证集清单零机器闸依赖（run_all_gates／hooks／五技能均不引用，仅 test-conventions §8.3 维护锚＋2 份过程报告引用），退役无闸改动；但测试名尾缀仅覆盖 28/47 个有断言文件（19 个零尾缀，含 seal_polarity 69 条、variant_placement 42 条、roll_multiplier 35 条），故能力清单只能按「能力→代表用例」建，不要求逐断言尾缀。对照表列改动触 pipeline_gate＋req-card／iter 两技能；待办正文压缩不触机检（无长度判据）。盘点明细见 reports/盘点-验证与清单体系-2026-10-28.md。**阶段 1 设计已闭合（2026-10-28 用户四裁点）**：能力清单 v1 落 `game/tests/README.md`——按系统归属与玩家旅程排序，首期核心四域（存档与随机、冒险循环、战斗结算、奖励与经济）29 行＋跨域条件闸 1 行，共 30 行，每行真实入口＋2–3 个代表用例（`文件:函数`），维护规则为每批收口核对本批受影响行并刷新「最后验证批次」；`design/engineering/test-conventions.md` §8.3 维护锚改写为「验证集清单整册冻结、能力清单承接覆盖索引、阶段 2 精简后删除」；`game/tests/验证集清单.md` 头注同步冻结声明，冻结快照（基点 `b9260138`／1587 条）留作阶段 2 对账基准；`tools/extract_checks.py` 保留为审计工具，不再承担常态同步。阶段 2–4 待各自设计推进：删并判据与波次、风险分级与审计抽样规则、条目限长是否入 pipeline_gate 均未定。
+
+**改动面**：文档＋游戏代码＋工具代码
+
+**状态**：文档设计已闭合
+
+#### 存量断言精简——验证内容不变下的断言收敛（2026-10-28 登记，来源=会话提及）
+
+**实况**：目标=减少现有断言数量、更精简，配合 §8.2 接口测试导向（对外方法、功能行为验证），前提=验证清单的验证项目覆盖逐条不变。证据＝判据达标专项批已完成（本清单已销号条目，59 改钉+35 例外——全部断言已钉公开可观测面，每条断言的验证对象已显式化，做减法有了干净基线）；验证集清单 1604 静态调用点为对照基准。口径界定：验证项目≠check 调用点——验证项目（卡片验收条目/GDD 登记验证面）覆盖逐条不降，check 调用点可降；可删并的两类=①同一行为被多条断言重复钉（同族合并）②钉内部路径细节而该行为已被入口断言严格承载（逐条申报承接者）。删除属显式判据改判：逐条申报理由＋承接者指认（写入阶段 2 删并申报表「处置/去向」列），禁批量拍删；删后被承接行为以保留断言复验（套件绿），禁变异法。执行形态=工程改动 worktree 批：盘点先行（逐套件标冗余候选两类清单）→ 用户逐批裁决删并清单 → 分波执行每波闸 → 件核（验证项目覆盖不变＋清单对账 PASS＋条数下降留痕）。盘点与第一波执行凭据：机器初筛（同文件标签近似 223 对／cond 全同 42 组 109 条／护栏类 41 条）＋七路只读语义裁决＋逐条抽验，判据线收紧为「同一读数面＋同一输入＋谓词字面等价或字面是承接者真子集」，候选由约 150 点核减至 19 点；第一波（A+B 档 19 站点，其中 17 在册＋`smoke_boot.gd` 2 点口径外）已合回——删并申报表与承接者逐条指认 `reports/工程改动报告-存量断言精简AB档-2026-10-28.md`，清单 1604→1587 且 `--diff` 对账 PASS、15 条保留行「处置」列去向在册，全量域闸回执 commit `20c13c3a`（domain=full／all_green／09 静态扫描存量红零新增），合并提交 65054b1d。余账四条：①类别② 实测不成立（全仓内部面断言约 52 条被入口严格承载 0 条，后续波次只在类别① 内找）②C 档手写族改表驱动循环合并（静态约再省 25～35 点，代价＝定位改用违例明细串）③D 档「是否同一验证项目」待 owner 认账四处（本批用户裁全保留）④恒真与名实不符断言五条属判据缺陷另账，走 §8.4 呈报通道非精简账；另 静默收集通道 `Kit.check_quiet` 静态站点 407 个在冻结口径外（test-conventions:38 已备案工具局限），要收该账先做提取器改版。
+
+**改动面**：游戏代码
+
+**状态**：待执行
+
 #### gdstyle 存量债全量清偿——216 键按病根分波整改（2026-10-26 登记，来源=会话提及，优先级＝P0）
 
 **实况**：S13 闸实测存量债 216 键／60 文件（2026-10-26，master f3b148ce，gdstyle v0.4.0 默认阈值；基线登记 234 键＝实存 216＋陈旧 18）。全量清单、波次方案与纪律见清点报告（本条目裁决源）。2026-10-26 用户裁：撤销「一条总账」与「按病根拆多条」两案，并为本条单账（存量债全部清除，紧急优先级）；原「gdstyle 基线陈旧键待人工清理」条目并入波 0（基线对账刷新），原「结构审查未立项小件候审」条目并入波 7（卡已写；iter38 施工停卡后经用户裁于 2026-10-26 修订定稿 v1.3，待编排）。**2026-10-26 设计段闭合（逐波裁定全数落定）**：①段组织＝逐波开设计段，纯代码波（波 0/2/3/4/5/6/8）写卡前确认零设计改动＋按当时 master 重测读数即可写卡；②波 2 各文件内部拆、波 6 视图内部拆私有函数、波 8 config_db 纯代码收敛（三处零设计改动）；③波 1 拆件定稿＝轴甲两件——battle_orchestrator 拆出 BattleFxHost（效果引擎宿主域）＋RewardGrant（奖励授予域），宿主保留状态机/facts 缓冲/订阅/段驱动/行发射基建/呈现投影，attune 族原位保留（迭代 39 副卡语义领地），emit 经 bind 注入 Callable，行数恶化债（c4c69701 挂账）本波还债归绿，残留债「改善非清零」口径预计 8–10 键；定稿落文 architecture.md v1.18（功能层两新件行＋「战斗编排域拆件定稿」节）；**同日独立审查折入**（grilling＋godot-master 双子代理并行、双判回炉补裁级——骨架成立、接线未闭合）：阻断 8 条去重 6 组＋建议 5 条全数折入 v1.18——跨件单向接线裁死（RewardGrant 持 fx 件引用/fx 兑付走注入 Callable，禁 RefCounted 环）、settlement/ 段类随动（直持三引用封转发壳）、12 随迁键卡内收敛义务（禁波 0 refresh 吸收）、两新件消费依赖列补全＋引用束注入、treasure_interact_controller 三触点分家（现值回调双取值面）、_fx_revealing 再入闸归 fx 件（裁定全文见清点报告 §六第 6 条）；④全部波不改游戏规则与玩家可见行为，design/gdd/systems/ 零修订预期；波 5 已实查落定纯代码（open_ticket 12 参＝单据声明形态）。波 7 的 wr5/wr6 验收载体重裁为写卡段用户裁点（卡 v1.2 在册，写卡补呈报）。裁定全文见清点报告 §六。**2026-10-28 迭代 40 合回出账（波 1＋波 7 闭合，合并提交 514457d1）**：卡①（波 1）45 键清 44、宿主类变量键豁免第三条顺带落 architecture v1.22 S13 豁免登记，行数恶化债还清（实测 1036≤登记 1302；契约 2 残余 36 行系合并适配承接 master 迭代 39 内容带入，用户裁登记残余债归后续批）；卡②（波 7）六件定点修＋运行期违约通道负面套件（run_time_fatal_test）落地合回。余波 2/4/6/8 归迭代 41 两卡（在册）。
@@ -239,7 +255,7 @@
 
 #### 棋盘格边长三方取值不一致——待扩板定档处置（2026-10-06 登记，来源=批次移交）
 
-**实况**：扩板已落地（四档板型 10/12/13/14 在跑），2026-10-26 文档面已按单点维护归一：①格边长口径的唯一出处收敛到 [战斗屏规格](design/gdd/ux/battle.md)「棋盘格尺寸公式」——公式含格间距与垂直预留，可读下限 30px，1280 档算例 43/36/33/30 标注为随布局变化的非契约值；②[美术圣经](design/art/art-bible.md) §8.1 改为指路 battle.md、只锁资产侧两条比例，§8.2 甲类整数倍纪律已剔除砖面 tile（瓦片随格边长整格铺满，允许非整数倍）；③[HUD框架](design/gdd/systems/表现与支撑/HUD框架.md) 只留装板可行性不等式，删去 36/45 定值档与旧算例；④demo 原型 44px 那一路随 `src/` 退役消失。剩余为代码面两处与口径不同步：`game/probe/layout_probe.gd:15` 的格子可读门槛 `MIN_CELL := 36.0` 仍取 12×12 的旧锚点值，比 battle.md 的可读下限 30px 严——现探针只进 10×10 的 L1 故仍全绿，一旦覆盖 13×13（33px）与 14×14（30px）即会误报红；`game/tests/unit/core/board_gen_reward_test.gd:53` 的格边长冒烟只跑 L1/L2，13×13 与 14×14 无覆盖。断言改动后须同批重生成 `game/tests/验证集清单.md`（`tools/extract_checks.py` 手工触发）。
+**实况**：扩板已落地（四档板型 10/12/13/14 在跑），2026-10-26 文档面已按单点维护归一：①格边长口径的唯一出处收敛到 [战斗屏规格](design/gdd/ux/battle.md)「棋盘格尺寸公式」——公式含格间距与垂直预留，可读下限 30px，1280 档算例 43/36/33/30 标注为随布局变化的非契约值；②[美术圣经](design/art/art-bible.md) §8.1 改为指路 battle.md、只锁资产侧两条比例，§8.2 甲类整数倍纪律已剔除砖面 tile（瓦片随格边长整格铺满，允许非整数倍）；③[HUD框架](design/gdd/systems/表现与支撑/HUD框架.md) 只留装板可行性不等式，删去 36/45 定值档与旧算例；④demo 原型 44px 那一路随 `src/` 退役消失。剩余为代码面两处与口径不同步：`game/probe/layout_probe.gd:15` 的格子可读门槛 `MIN_CELL := 36.0` 仍取 12×12 的旧锚点值，比 battle.md 的可读下限 30px 严——现探针只进 10×10 的 L1 故仍全绿，一旦覆盖 13×13（33px）与 14×14（30px）即会误报红；`game/tests/unit/core/board_gen_reward_test.gd:53` 的格边长冒烟只跑 L1/L2，13×13 与 14×14 无覆盖。断言改动后按 `game/tests/README.md`「能力清单」核对受影响行（验证集清单已整册冻结，不再重生成——test-conventions §8.3）。
 
 **改动面**：游戏代码
 
@@ -389,13 +405,11 @@
 
 **状态**：待写卡（备选）
 
-#### 闸与探针批上下文挂死防护——probe_gate 进程树回收与 run_all 阻塞面超时（2026-10-25 登记，来源=批次移交）
+#### tests/README manifest 计数行漂移订正——「64 条」对实际 65 条（2026-10-28 登记，来源=批次移交）
 
-**实况**：证据＝迭代 36 批末闸机观测（非本批引入）。原登记两件存量噪声，件①（battle_log_view.gd:17 类型声明错致运行期 TypedArray 错误、日志失真）已随迭代 38 卡⑥ 收口出账（git 提交 ce49a8ee），本条只剩件②：`level_shop_economy_test` 在闸批量上下文存在挂死形态（直跑恒绿），`tools/probe_gate.sh` 的 per-suite timeout 只杀 wrapper 不杀引擎子进程，孤儿泄漏会殃及后续全部 Godot 启动（批末四次闸跑批中断的根源，处置＝清杀泄漏进程＋删重建 `game/.godot`）。挂死防护＝闸壳/测试基建，按改动四类属**工程改动走直改通道**。
-- 直改落点：tools/probe_gate.sh（per-suite 进程树回收）＋game/tests/run_all.gd（OS.execute 阻塞面超时守护）——测试基建直改。**2026-10-28 用户裁四批全做，probe_gate 件已落**（run_suite 整树回收：启动记 WINPID → 超时先 `taskkill /T` 杀全树再 `kill -9` 收 MSYS 侧〔顺序颠倒会让 /T 走不到已死父进程〕→ 标志文件判超时〔taskkill 强杀后 MSYS wait 可能报 0〕；默认五段实跑全绿＋超时/正常双路径机制验证通过）。run_all.gd 件属代码面（game/tests），按车道铁律留待触及测试基建的 worktree 批顺带，本条目保持待执行。**2026-10-28 迭代 40 批末补实证（阻塞面挂死实拍）**：迁移类改动的回退使测试 `_init` 在 `quit()` 前中断（红行形态 `Invalid call. Nonexistent function`），进程挂至外层超时 124——卡① wr1/wr4/wr9 取证轮三例复现，与件②同根（阻塞面无超时守护），实证链在案（实现报告 §三第 1 条）。
+**实况**：证据＝单元闸挂死守护批收尾实数（合并提交 4afe6c47，报告 reports/工程改动报告-单元闸挂死守护-2026-10-28.md）——`game/tests/run_all.gd` manifest 实为 65 条（62 单元＋3 集成，grep '{"path"' 计数），`game/tests/README.md`「套件 manifest 现况」行仍记「64 条（61 单元＋3 集成，2026-10-28 实数）」。漂移先于该批存在（主区与任务分支同值），该批未动套件数不属其 scope，登记归文档批订正。
 
-
-**改动面**：工具代码
+**改动面**：文档
 
 **状态**：待执行