docs(验证与清单体系整改·阶段2收口): 验证集清单退役——C 档精简合回 87d241c1（6 组手写断言族并为 7 个表驱动站点，33→7、1587→1561）后删除冻结册（基准留 git 历史）；README 能力清单冻结注改写为退役口径、RNG 行最后验证批次刷新 fd6cf968；test-conventions §8.3 维护锚定稿为「能力清单唯一承担覆盖索引」；待办清单销「存量断言精简」条目（两波合计 1604→1561），新登记「恒真与名实不符断言五条——判据缺陷修正」（feat_vouchers:51／treasure_effects:263／level_shop_economy:593、696／system_contracts:66-67）与「断言提取器改版——覆盖 Kit.check_quiet 静默通道」（407 站点口径外），「验证与清单体系整改」条目补阶段 2 闭合；流水线闸 PASS（43 条／41 行／交叉核 1 链／卡片 7 张）

design/engineering/test-conventions.md

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

game/tests/README.md

@@ -45,7 +45,7 @@ tests/
 
 **能力清单 v1**（2026-10-28 立——验证与清单体系整改阶段 1 的覆盖索引：一行＝一个玩家或系统可观测的能力，代表用例只给指针、不复制断言细节；原「集成旅程清单」五条跨系统旅程已并入本表。首期覆盖核心四域（29 行）＋跨域条件闸 1 行，共 30 行；其余域按同一形态扩面）：
 
-> **与验证集清单的关系**：`tests/验证集清单.md` 已于 2026-10-28 整册冻结——不再随断言新增/删除/改判同步，只作阶段 2「存量断言精简」的对账基准（基点 `b9260138`／1587 条），阶段 2 精简完成后删除。覆盖索引职能改由本表承担（维护锚＝test-conventions §8.3）。本表不是闸，不替代改动—验收对照表、体验验证清单与静态纪律；每行的唯一事实源仍是 `game/tests/` 下的测试代码。
+> **与验证集清单的关系**：`tests/验证集清单.md` 已于阶段 2「存量断言精简」完成后删除——冻结对账基准（基点 `b9260138`／1587 条）与精简对账结果（33 站点并为 7、1587→1561，合回 `87d241c1`）留 git 历史。本表是该清单退役后的唯一覆盖索引（维护锚＝test-conventions §8.3）。本表不是闸，不替代改动—验收对照表、体验验证清单与静态纪律；每行的唯一事实源仍是 `game/tests/` 下的测试代码。
 >
 > **代表用例口径**：写 `文件:函数`，每行 2–3 个；函数内可含 `Kit.check_quiet` 静默通道（逐断言提取器口径外，test-conventions §5.2 已备案）——本表以函数为锚，不受该工具局限影响。
 >
@@ -53,7 +53,7 @@ tests/
 >
 > **旅程补录方法**：新旅程＝加一行，「系统」列写涉及边界；源＝architecture「API 边界」表＋「数据流」存档/读档路径＋各 GDD 登记的 deferral 集成用例。
 >
-> 「最后验证批次」列记回执 commit；初值 `20c13c3a`＝2026-10-28 存量断言精简 A+B 首批的全量域闸回执。
+> 「最后验证批次」列记回执 commit；多数行初值 `20c13c3a`＝存量断言精简 A+B 首批的全量域闸回执，RNG 行随 C 档批刷新为 `fd6cf968`。
 
 **旅程段一：开机与存档**
 
@@ -65,7 +65,7 @@ tests/
 | 启动态无激活不写盘 | 存档序列化 | `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` | — |
+| 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` | `fd6cf968` | — |
 | 断点片段往返与续玩幂等 | 冒险结构×关卡节点地图 | `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` | 日志面仅此一条会话覆盖 |
 

待办清单.md

@@ -4,20 +4,28 @@
 
 #### 验证与清单体系整改——四方向分阶段推进（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 均未定。
+**实况**：用户裁「验证及清单不合理」，经调研定四方向全做、分阶段推进：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 已执行闭合（2026-10-28 C 档合回）**：存量断言精简 C 档 6 组手写断言族并为 7 个表驱动站点（33→7），冻结清单对账 1587→1561，验证集清单随阶段 2 完成退役（覆盖索引归能力清单，维护锚 test-conventions §8.3），删并申报与件核见 reports/工程改动报告-存量断言精简C档-2026-10-28.md；阶段 3–4 待各自设计推进：风险分级与审计抽样规则、条目限长是否入 pipeline_gate 均未定。
 
 **改动面**：文档＋游戏代码＋工具代码
 
 **状态**：文档设计已闭合
 
-#### 存量断言精简——验证内容不变下的断言收敛（2026-10-28 登记，来源=会话提及）
+#### 恒真与名实不符断言五条——判据缺陷修正（2026-10-29 登记，来源=会话提及）
 
-**实况**：目标=减少现有断言数量、更精简，配合 §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 已备案工具局限），要收该账先做提取器改版。
+**实况**：存量断言精简 A+B 批余账④转正：五条断言属判据缺陷（恒真占位或名实不符），不是冗余合并可解的账，按 test-conventions §8.4 真实入口口径逐条修正，不计入精简条数。逐条：①`game/tests/unit/core/feat_vouchers_test.gd:51` cond 为 `deck_refresh_before == 0 or true`——恒真；②`game/tests/unit/core/treasure_effects_test.gd:263` cond 尾缀 `or true`——恒真；③`game/tests/unit/core/level_shop_economy_test.gd:593` `green_min_hp > 0`——初值 99999、仅 hp>0 分支取 min，恒真；④同文件 `:696` `green3_min_hp > 0`——同型恒真；⑤`game/tests/unit/contracts/system_contracts_test.gd:66-67` 标签称「非空且互异」而 cond 只查 `size() > 0`——互异半缺失，名实不符。修正方向：能绑判据的改绑真实可观测面（互异改值集去重计数、HP 读数改与门槛比对），造不出可观测面的按 §8.4 出口停卡呈报。
 
 **改动面**：游戏代码
 
 **状态**：待执行
 
+#### 断言提取器改版——覆盖 Kit.check_quiet 静默通道（2026-10-29 登记，来源=会话提及）
+
+**实况**：`tools/extract_checks.py:67` 的 `CALL_RE = check\(` 只认即时通道，静默收集通道 `Kit.check_quiet(cond, desc)` 静态站点实测 407 个在提取口径外（证据＝`grep -rn "check_quiet(" game/tests --include="*.gd"` 实数；test-conventions §5.2 已备案该工具局限）。能力清单以 `文件:函数` 为锚，不受影响；但要把断言面全账纳入机器对账（重建账本或全量断言面审计），须先改版提取器：识别 `check_quiet(` 并按反参序（cond 在前）提取标签与 cond。改版后须以全量套件跑一遍 `--diff` 自证提取面覆盖、且 `Kit.check(` 与 `check_quiet(` 不双计。
+
+**改动面**：工具代码
+
+**状态**：待执行
+
 #### 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 两卡（在册）。
@@ -255,7 +263,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/README.md`「能力清单」核对受影响行（验证集清单已整册冻结，不再重生成——test-conventions §8.3）。
+**实况**：扩板已落地（四档板型 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）。
 
 **改动面**：游戏代码