diff --git a/reports/工程改动报告-存量断言精简AB档-2026-10-28.md b/reports/工程改动报告-存量断言精简AB档-2026-10-28.md index 08de206a..4c4472a5 100644 --- a/reports/工程改动报告-存量断言精简AB档-2026-10-28.md +++ b/reports/工程改动报告-存量断言精简AB档-2026-10-28.md @@ -61,7 +61,7 @@ 全量域闸（域=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 不崩）。第 1–17 行所在套件的复验由 01/02 全绿承担。补跑与否归用户点名（两入口铁规）。 +**本批复验缺口一条（合回后已补）**：第 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 重生成。 diff --git a/待办清单.md b/待办清单.md index 98f8268e..17402668 100644 --- a/待办清单.md +++ b/待办清单.md @@ -4,7 +4,7 @@ #### 存量断言精简——验证内容不变下的断言收敛（2026-10-28 登记，来源=会话提及） -**实况**：目标=减少现有断言数量、更精简，配合 §8.2 接口测试导向（对外方法、功能行为验证），前提=验证清单的验证项目覆盖逐条不变。证据＝判据达标专项批已完成（本清单已销号条目，59 改钉+35 例外——全部断言已钉公开可观测面，每条断言的验证对象已显式化，做减法有了干净基线）；验证集清单 1604 静态调用点为对照基准。口径界定：验证项目≠check 调用点——验证项目（卡片验收条目/GDD 登记验证面）覆盖逐条不降，check 调用点可降；可删并的两类=①同一行为被多条断言重复钉（同族合并）②钉内部路径细节而该行为已被入口断言严格承载（逐条申报承接者）。删除属显式判据改判：逐条申报理由＋承接者指认（写入验证集清单「处置/去向」列），禁批量拍删；删后被承接行为以保留断言复验（套件绿），禁变异法。执行形态=工程改动 worktree 批：盘点先行（逐套件标冗余候选两类清单）→ 用户逐批裁决删并清单 → 分波执行每波闸 → 件核（验证项目覆盖不变＋清单对账 PASS＋条数下降留痕）。 +**实况**：目标=减少现有断言数量、更精简，配合 §8.2 接口测试导向（对外方法、功能行为验证），前提=验证清单的验证项目覆盖逐条不变。证据＝判据达标专项批已完成（本清单已销号条目，59 改钉+35 例外——全部断言已钉公开可观测面，每条断言的验证对象已显式化，做减法有了干净基线）；验证集清单 1604 静态调用点为对照基准。口径界定：验证项目≠check 调用点——验证项目（卡片验收条目/GDD 登记验证面）覆盖逐条不降，check 调用点可降；可删并的两类=①同一行为被多条断言重复钉（同族合并）②钉内部路径细节而该行为已被入口断言严格承载（逐条申报承接者）。删除属显式判据改判：逐条申报理由＋承接者指认（写入验证集清单「处置/去向」列），禁批量拍删；删后被承接行为以保留断言复验（套件绿），禁变异法。执行形态=工程改动 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 已备案工具局限），要收该账先做提取器改版。 **改动面**：游戏代码