登记(工程改动·待执行): 存量断言精简——验证内容不变下的断言收敛——目标=减少断言数量更精简,配合 §8.2 接口测试导向(对外方法/功能行为),前提=验证项目覆盖逐条不变;口径=验证项目≠check 调用点,可删并两类(同行为重复钉合并/被入口承载的内部细节钉逐条申报承接者);删除=显式判据改判,逐条申报+去向列指认+禁变异法;工程改动 worktree 批,盘点先行→逐批裁决→分波执行→件核;前置=判据达标专项批(已销号)提供的公开面干净基线

待办清单.md

@@ -2,6 +2,14 @@
 
 本清单是流水线的唯一登记处：要做的事先在此登记一条，随流水线段推进改状态，做完整条删除；各系统文档的「待办」节只留一行指路存根，不再自建条目。条目格式（标题＝登记元数据含可选优先级，正文＝实况/缺口/改动面/状态四属性）与状态机以 [doc-conventions §12.1](design/engineering/doc-conventions.md) 为权威。
 
+#### 存量断言精简——验证内容不变下的断言收敛（2026-10-28 登记，来源=会话提及）
+
+**实况**：目标=减少现有断言数量、更精简，配合 §8.2 接口测试导向（对外方法、功能行为验证），前提=验证清单的验证项目覆盖逐条不变。证据＝判据达标专项批已完成（本清单已销号条目，59 改钉+35 例外——全部断言已钉公开可观测面，每条断言的验证对象已显式化，做减法有了干净基线）；验证集清单 1604 静态调用点为对照基准。口径界定：验证项目≠check 调用点——验证项目（卡片验收条目/GDD 登记验证面）覆盖逐条不降，check 调用点可降；可删并的两类=①同一行为被多条断言重复钉（同族合并）②钉内部路径细节而该行为已被入口断言严格承载（逐条申报承接者）。删除属显式判据改判：逐条申报理由＋承接者指认（写入验证集清单「处置/去向」列），禁批量拍删；删后被承接行为以保留断言复验（套件绿），禁变异法。执行形态=工程改动 worktree 批：盘点先行（逐套件标冗余候选两类清单）→ 用户逐批裁决删并清单 → 分波执行每波闸 → 件核（验证项目覆盖不变＋清单对账 PASS＋条数下降留痕）。
+
+**改动面**：游戏代码
+
+**状态**：待执行
+
 #### 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 两卡（在册）。