iter41-收尾:实现报告+反哺点清单落reports(键账对拍/豁免申报/测试移交清单/architecture现状改写申请/GDD行号随动)+并master文档面同步(art-bible成文整备/README能力清单)

This commit is contained in:
DKChan committed 2026-10-28 23:51:47 +08:00
1 parent b31d7de8b6
commit b5cf393170
16 files changed
+663 -435

No files matched your search

+1 -1
View File
@@ -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 真实入口断言(验收闭合的主判据)