game-group/gplan-2
2
0 Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Merge branch 'master' into iter41

Browse Source 
# Conflicts:
#	game/tests/验证集清单.md
This commit is contained in:
DKChan committed 2026-10-29 00:13:58 +08:00
2 parents b5cf393170 bda377eb16
commit 5ab5af49f0
10 files changed
+75 -2737
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

design/engineering/test-conventions.md
+1 -1
View File
@@ -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
+3 -3
View File
@@ -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` | 日志面仅此一条会话覆盖 |
game/tests/unit/data_config/level_gen_params_test.gd
+20 -17
View File
@@ -69,37 +69,40 @@ func _test_negative() -> void:
var base := [_row(1, 6, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 1, 4),
_row(2, 9, 0.5, [0.5, 0.2, 0.15, 0.15], 2, 2, 6),
_row(3, 13, 0.7, [0.55, 0.15, 0.15, 0.15], 2, 3, 8)]
Kit.check("合法三行域校验零错误（夹具自证）〔fv2〕", _table(base).validate().is_empty())
# ① L1 出口改 2 → 出口恒 1 断言红（负样本夹具）
var bad_l1_exit := [_row(1, 6, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 2, 4), base[1], base[2]]
Kit.check("L1 出口=2 被拒（出口 L1 恒 1 已锁）〔fv2〕", not _table(bad_l1_exit).validate().is_empty())
# ② 配比合计 0.5 → 合计 1 断言红（负样本夹具）
var bad_ratio := [_row(1, 6, 0.3, [0.2, 0.1, 0.1, 0.1], 1, 1, 4), base[1], base[2]]
Kit.check("配比合计 0.5 被拒（四类合计 1 已锁）〔fv2〕", not _table(bad_ratio).validate().is_empty())
# ③ 层深低于下限
var bad_layers := [_row(1, 5, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 1, 4), base[1], base[2]]
Kit.check("层深 5<6 被拒（层深下限已锁）〔fv2〕", not _table(bad_layers).validate().is_empty())
# ④ 增幅未变大（6/9/11：Δ12=3、Δ23=2）
var bad_growth := [base[0], _row(2, 9, 0.5, [0.5, 0.2, 0.15, 0.15], 2, 2, 6),
_row(3, 11, 0.7, [0.55, 0.15, 0.15, 0.15], 2, 3, 8)]
Kit.check("层深增幅倒挂被拒（递增且增幅变大）〔fv2〕", not _table(bad_growth).validate().is_empty())
# ⑤ 出口越上界（L3 出口 4）
var bad_exit := [base[0], base[1], _row(3, 13, 0.7, [0.55, 0.15, 0.15, 0.15], 2, 4, 8)]
Kit.check("出口 4 越域 [1,3] 被拒〔fv2〕", not _table(bad_exit).validate().is_empty())
# ⑥ 岔口去路数改 (2,4)
var bad_fork_row := _row(1, 6, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 1, 4)
bad_fork_row["fork_ways_max"] = 4
Kit.check("岔口去路数 (2,4) 被拒（恒 2/3 已锁）〔fv2〕",
not _table([bad_fork_row, base[1], base[2]]).validate().is_empty())
# ⑦ 键集非闭集（多塞未知键）
var bad_keys_row: Dictionary = _row(1, 6, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 1, 4)
bad_keys_row["mystery"] = 1
Kit.check("字段键集非 ROW_KEYS 闭集被拒〔fv2〕",
not _table([bad_keys_row, base[1], base[2]]).validate().is_empty())
# ⑧ level_index 重复
Kit.check("键重复行被拒〔fv2〕", not _table([base[0], base[0]]).validate().is_empty())
# ⑨ 战斗保底负值
Kit.check("战斗保底 -1 被拒（≥0）〔fv2〕",
not _table([_row(1, 6, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 1, -1), base[1], base[2]]).validate().is_empty())
# ⑩ 空表=合法态（沿 difficulty_table 先例）
Kit.check("空表域校验零错误（合法态）〔fv2〕", _table([]).validate().is_empty())
# 逐类负向表：[个案标签, 行集, 期望零错误]——每行仍逐案断言，消息带期望/实际与违例明细
var cases: Array = [
["合法三行域校验零错误（夹具自证）", base, true],
["L1 出口=2 被拒（出口 L1 恒 1 已锁）", bad_l1_exit, false],
["配比合计 0.5 被拒（四类合计 1 已锁）", bad_ratio, false],
["层深 5<6 被拒（层深下限已锁）", bad_layers, false],
["层深增幅倒挂被拒（递增且增幅变大）", bad_growth, false],
["出口 4 越域 [1,3] 被拒", bad_exit, false],
["岔口去路数 (2,4) 被拒（恒 2/3 已锁）", [bad_fork_row, base[1], base[2]], false],
["字段键集非 ROW_KEYS 闭集被拒", [bad_keys_row, base[1], base[2]], false],
["键重复行被拒", [base[0], base[0]], false],
["战斗保底 -1 被拒（≥0）", [_row(1, 6, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 1, -1), base[1], base[2]], false],
["空表域校验零错误（合法态）", [], true],
]
for c in cases:
var errs: Array = _table(c[1]).validate()
var expect_label := "零错误" if c[2] else "有违例"
var actual_label := "零错误" if errs.is_empty() else "违例 %d 条 %s" % [errs.size(), str(errs)]
Kit.check("域校验：%s（期望%s，实际%s）〔fv2〕" % [c[0], expect_label, actual_label],
errs.is_empty() == c[2])
game/tests/unit/data_config/rng_stream_boot_test.gd
+5 -8
View File
@@ -34,14 +34,11 @@ func _smoke_initialize() -> void:
rng.set_master_seed(42)
# 统一流黄金向量（数据配置 AC-3：单盐沿用 board_gen 盐，
# scope 0-3 与 board_gen 向量逐位连续；Python 参考实现逐位交叉验证一致）
Kit.check("统一流向量 m=42 scope=0（=旧 board_gen scope0 连续性锚）", rng.derive_at(0) == 8672514112661456564)
Kit.check("统一流向量 m=42 scope=1", rng.derive_at(1) == 8834291164406037215)
Kit.check("统一流向量 m=42 scope=2", rng.derive_at(2) == 7714373262647006282)
Kit.check("统一流向量 m=42 scope=3", rng.derive_at(3) == 1280102845971471347)
Kit.check("统一流向量 m=42 scope=4", rng.derive_at(4) == 82585501446482399)
Kit.check("统一流向量 m=42 scope=5", rng.derive_at(5) == 8078924421474470922)
Kit.check("统一流向量 m=42 scope=6", rng.derive_at(6) == 6638052740430622424)
Kit.check("统一流向量 m=42 scope=7", rng.derive_at(7) == 8264196488417721294)
var golden := [8672514112661456564, 8834291164406037215, 7714373262647006282, 1280102845971471347,
82585501446482399, 8078924421474470922, 6638052740430622424, 8264196488417721294]
for i in golden.size():
Kit.check("统一流向量 m=42 scope=%d（黄金向量；scope0＝旧 board_gen 连续性锚）" % i,
rng.derive_at(i) == golden[i])
Kit.check("derive_at 纯函数恒等", rng.derive_at(0) == rng.derive_at(0))
# scope 取号语义：首个 open_stream = 全局 scope 0；计数器单调；用途标签不参与派生（只进事件日志）
var s0 = rng.open_stream("board_gen")
game/tests/unit/presentation/forge_workbench_test.gd
+6 -8
View File
@@ -58,14 +58,12 @@ func _run() -> void:
and rows.has("light") and rows.has("heavy") and rows.has("ward"))
# ③ 初始持有行（长剑/轻甲）：购买钮现形带几何价、选中钮=当前禁用
var rsw = rows.get("sword", {})
var rli = rows.get("light", {})
Kit.check("长剑行：购买钮「锻造 20」（0 级位几何价）+选中钮「当前」禁用〔锻造工坊批 V13〕",
rsw.get("buy_btn") != null and String(rsw.buy_btn.text) == "锻造 20" and not rsw.buy_btn.disabled
and rsw.get("select_btn") != null and String(rsw.select_btn.text) == "当前" and rsw.select_btn.disabled)
Kit.check("轻甲行：购买钮「锻造 20」+选中钮「当前」禁用〔锻造工坊批 V13〕",
rli.get("buy_btn") != null and String(rli.buy_btn.text) == "锻造 20"
and String(rli.select_btn.text) == "当前" and rli.select_btn.disabled)
# 两行同取谓词并集（轻甲行补 select_btn 非空 + buy_btn 可用两子句——原件少写，只增不减）
for pair in [["sword", "长剑"], ["light", "轻甲"]]:
var r: Dictionary = rows.get(pair[0], {})
Kit.check("%s行：购买钮「锻造 20」（0 级位几何价）+选中钮「当前」禁用〔锻造工坊批 V13〕" % pair[1],
r.get("buy_btn") != null and String(r.buy_btn.text) == "锻造 20" and not r.buy_btn.disabled
and r.get("select_btn") != null and String(r.select_btn.text) == "当前" and r.select_btn.disabled)
# ④ 待解锁行（长枪/法杖/重甲/魔法护甲）：解锁钮 200、无购买钮、无选中钮、状态含双通道文案
var rsp = rows.get("spear", {})
game/tests/unit/presentation/player_copy_sweep_test.gd
+5 -5
View File
@@ -56,9 +56,8 @@ 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〕", not head.contains("同权重"))
Kit.check("奖励点头部零「同上限」旧话（u3 清零）〔wa4〕", not head.contains("同上限"))
Kit.check("奖励点头部零「提升池」旧话（u3 清零）〔wa4〕", not head.contains("提升池"))
for w in ["同权重", "同上限", "提升池"]:
Kit.check("奖励点头部零「%s」旧话（u3 清零）〔wa4〕" % w, not head.contains(w))
Kit.check("专长卡兜底==「专长\n???」（u11 换代——数据缺行真实兜底路径）〔wa3〕",
String(narrator.feat_card_text({})) == "专长\n???")
@@ -73,8 +72,9 @@ func _sweep_legend() -> void:
break
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("插错"))
Kit.check("图例封印行零「挖雷」（u4 雷字清零）〔wa5〕", not String(seal_row[2] if seal_row.size() > 2 else "").contains("挖雷"))
for w in ["插错", "挖雷"]:
Kit.check("图例封印行零「%s」〔wa5〕" % w,
not String(seal_row[2] if seal_row.size() > 2 else "").contains(w))
# ⑤⑥ 来源名双源（u5/u6——状态槽消费半＋表值 ConfigDB 真装载＋battle_log 行消费半）
game/tests/unit/presentation/standee_fx_sweep_test.gd
+10 -8
View File
@@ -91,14 +91,16 @@ func _init() -> void:
Kit.check("无 target_id 时按名兜底同旧行为（首命中）〔wd12〕", c_fallback != null and c_fallback == c_fallback_expect)
# ---- ① 意图蓄力档可达（d2）----
s1.set_pending("damage", "heavy")
Kit.check("蓄力技能（heavy）置 _intent_charge=true〔wd2〕", s1._intent_charge)
s1.set_pending("damage", "goblin_slash")
Kit.check("非蓄力攻击技（goblin_slash）零置位〔wd2〕", not s1._intent_charge)
s1.set_pending("buff", "goblin_rage")
Kit.check("增益系零置位〔wd2〕", not s1._intent_charge)
s1.set_pending("damage", "basic")
Kit.check("普攻零表示路径复位 _intent_charge〔wd2〕", not s1._intent_charge)
# 蓄力判据表：[kind, skill_id, 期望 _intent_charge, 个案标签]
var charge_cases := [
["damage", "heavy", true, "蓄力技能（heavy）置 _intent_charge=true"],
["damage", "goblin_slash", false, "非蓄力攻击技（goblin_slash）零置位"],
["buff", "goblin_rage", false, "增益系零置位"],
["damage", "basic", false, "普攻零表示路径复位 _intent_charge"],
]
for c in charge_cases:
s1.set_pending(c[0], c[1])
Kit.check("%s〔wd2〕" % c[3], s1._intent_charge == c[2])
# ---- ② 庆祝 tween 句柄纪律（d4）----
var ov = BattleEndScript.new()
game/tests/unit/presentation/ui_font_asset_test.gd
+13 -4
View File
@@ -15,10 +15,19 @@ func _init() -> void:
var f: Font = UiKitScript.load_font(path)
Kit.check("随包字体守卫装载非空（res://assets/fonts/ui_font_fusion_pixel_zh_hans.ttf）", f != null)
if f != null:
Kit.check("中文字形在集（攻/雷/旗/封）", f.has_char("攻".unicode_at(0)) and f.has_char("雷".unicode_at(0)) \
and f.has_char("旗".unicode_at(0)) and f.has_char("封".unicode_at(0)))
Kit.check("中文字形在集（危——已开危险格字形换代前置，迭代36 u12/wa9）", f.has_char("危".unicode_at(0)))
Kit.check("ASCII/数字字形在集（A/0/%）", f.has_char("A".unicode_at(0)) and f.has_char("0".unicode_at(0)) and f.has_char("%".unicode_at(0)))
# 字形集表：[个案标签, 须在集字符]——缺字明细进消息
var glyph_groups := [
["中文字形在集（攻/雷/旗/封）", "攻雷旗封"],
["中文字形在集（危——已开危险格字形换代前置，迭代36 u12/wa9）", "危"],
["ASCII/数字字形在集（A/0/%）", "A0%"],
]
for g in glyph_groups:
var missing := ""
for i in String(g[1]).length():
var ch := String(g[1])[i]
if not f.has_char(ch.unicode_at(0)):
missing += ch
Kit.check("%s（缺=%s）" % [g[0], missing if missing != "" else "无"], missing == "")
var sz := 18
var w_cn: float = f.get_string_size("战斗胜利", HORIZONTAL_ALIGNMENT_LEFT, -1, sz).x
var w_label: float = f.get_string_size("攻击 2", HORIZONTAL_ALIGNMENT_LEFT, -1, sz).x
game/tests/验证集清单.md
-2668
View File
File diff suppressed because it is too large. Load diff
待办清单.md
+12 -15
View File
@@ -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）。
**改动面**：游戏代码
@@ -303,17 +311,6 @@
**状态**：待写卡
#### 圣经口号型条款机检化批（2026-10-06 登记，来源=审计发现）
**实况**：审计 P2-4——圣经约 55% 条款属口号型（如「暖倾向无压抑」「同一圆角率」无值），与可机检条款混排。目标＝逐条审查标注「可机检/目检/口号」三档分行，口号型逐步改写为带值或带判据条款。工程量＝全文级（541 行逐条），非一轮能毕。**2026-10-06 三档标注格式已拍板**（←机检/←目检/←方向性，规范见 art-bible 头注「条款验收标注纪律」；数值类推荐「待定现用」态）——本批执行＝按此格式分章补标，每章交付用户抽验。挂账：随整屏样张闸前整备批启动，分章推进。
**缺口**：还差整屏样张闸前整备批的启动——格式已定，差启动时点与分章执行。
- 相关文档：[art-bible](design/art/art-bible.md) 全文 · 样张批前置整备
**改动面**：文档＋工具代码
**状态**：待文档设计（备选）
#### 战斗区背景图替换——B 区舞台插画 + 临时光柱退役（2026-10-07 登记，来源=会话提及）
**实况**：B 区舞台现行＝程序化平色底（`UiKit.STAGE_BG`，`battle_stage_view.gd:47`）+ **顶光柱氛围层**（`:55-63` 四柱，x 基准 110/900/1055/1210@1280，60 段叠层矩形自顶向下渐宽窄渐隐〔顶 α26→0〕，层序＝bg < 光柱 < 世界）——二者均系 §6.1 方向稿的**临时占位**，用户口径「光柱只是临时方案，换正式战斗背景后效果更好」。正式件已立资产契约：`stage/stage_bg.png`（源 1280×270，B 区全高含明细带底；三关换挡走 §4.3 `wall_ambient` tint 槽，不按板出三张），属审计 P1-2 查得的「B 区舞台背景插画 0 张」缺口。**光柱在背景到位后顺带退役或吸收进背景绘制**（不再作为独立程序层）。**与立绘探顶解耦**：大体档「允许向上溢出盒顶 N px」的判定（2026-10-07 用户裁甲案）**不依赖光柱是否存在**，换背景零返工。