merge(master): S13 基线键治本＋死断言收口 并入 iter37（拆件批基线待按新键重判）

game/data/tables/level.tres

@@ -13,4 +13,4 @@ rows = [
 
 ; 节点图源已换代为参数化生成器（关卡节点图生成 v1.1）——本表逐关行只承载关卡序号/显示名/恢复比例，
 ; 不再携带节点数据；图 = f(参数档, 种子)，参数档见 level_gen_params.tres 三行（消费侧按 level_index 解析后交 generate）。
-; 旧 15 张模板池（3 关 × 5）随迭代 35 卡② 清出，历史查 git 提交史与 tools/t5_build_templates.py、t17_fanout2_rebuild.py 留档。
+; 旧 15 张模板池（3 关 × 5）已清出，历史查 git 提交史与 tools/t5_build_templates.py、t17_fanout2_rebuild.py 留档。

game/tests/README.md

@@ -61,7 +61,7 @@ tests/
 | `tests/run_all.gd`（单元与集成） | 公式／状态机／契约／跨系统闭环（40 套件 manifest） | 退出码＋三硬闸（见下） | 新套件单跑调试；逻辑改动的最小单元复跑 |
 | `tools/probe_gate.sh`（场景探针，`--click`／`--full` 两模式） | UI 可达性、可见性、状态——真实实例化场景＋真实输入路径 | 探针自检＋退出码 | 新增 UI 区域的配套探针直跑与断言复核 |
 | `tools/render_gate.sh`（渲染 golden） | 画面基线——截图与基线图逐像素容差比对 | golden 比对脚本（依赖 PIL） | 主题／素材／排版类改动；窗口化运行，需开显示器 |
-| `game/tests/static_scan.sh`（S 域） | 项目纪律＋第三方质量规则：RNG 单点／core 纯度／类型标注／文件头／注释禁词／旧符号残留；S13＝gdstyle 质量规则（重复 load、循环内 await、循环内分配、不可达代码等真缺陷类，存量基线外新违规才红） | 退出码（逐规则 FAIL 行） | 改产品码前后的快速自检；新增纪律先补扫描规则再修码 |
+| `game/tests/static_scan.sh`（S 域） | 项目纪律＋第三方质量规则：RNG 单点／core 纯度／类型标注／文件头／注释禁词／旧符号残留；S13＝gdstyle 质量规则（重复 load、循环内 await、循环内分配、不可达代码等真缺陷类；基线键＝文件|规则|函数名（类/文件级＝文件|规则，无数字条目带消息），数字漂移不假红，同键指标恶化超基线登记值即红） | 退出码（逐规则 FAIL 行） | 改产品码前后的快速自检；新增纪律先补扫描规则再修码 |
 | `tools/parity_anchor.py`（回放对拍） | 同种子下三变体逐位确定性 | 工具脚本逐位比对 | 本批触及数值／存档／RNG／结算面时；须用户批准发起 |
 | 测量件（`game/sim/`，逐件见下「游离脚本台账」） | 期望／分布读数——只给读数，不判对错 | 人工读 stdout 或配套工具脚本 | 调参与归因；MC 类一律用户发起（档位表见 `sim-data/README.md`「MC 采集档位表」） |
 

game/tests/integration/node_map_determinism_test.gd

@@ -1,4 +1,4 @@
-# tests/integration/node_map_templates_test.gd — L2 集成用例：关卡节点图生成·确定性承载
+# tests/integration/node_map_determinism_test.gd — L2 集成用例：关卡节点图生成·确定性承载
 # 断言面 = 生成图确定性套（批 B 断言迁移自 smoke_all.gd，G12 施工组；
 # 主会话裁决六整套集成不拆——跨四系统且走落盘）。
 # 跨系统面 = RngService（纯派生流零计数器占用）×
@@ -7,7 +7,7 @@
 #            SaveManager＋MetaProgression（首次冒险布尔位收束置位落盘——真实档写盘）。
 # 与单元侧同入口同协议：extends SceneTree＋Kit.check 主通道；--script 模式无 autoload，
 # ConfigDB 显式实例化构造注入；表加载失败不中止（沿被迁断言面的源语义——诊断展开，红由具体断言落）。
-# 运行：godot --headless --path game --script res://tests/integration/node_map_templates_test.gd
+# 运行：godot --headless --path game --script res://tests/integration/node_map_determinism_test.gd
 extends SceneTree
 
 const Kit := preload("res://tests/unit/test_kit.gd")
@@ -23,12 +23,12 @@ func _init() -> void:
 	# 表加载失败不中止（承 G2/G3/G4/G5 同款：表损坏的红落在具体断言上）
 	var load_ok: bool = _db.load_tables("res://data/tables", true)
 	if not load_ok:
-		push_error("[node_map_templates_test] 表加载返回失败——诊断如下（红由具体断言落）")
+		push_error("[node_map_determinism_test] 表加载返回失败——诊断如下（红由具体断言落）")
 		for d in _db.diagnostics():
 			if d.severity == "error" or d.severity == "fatal":
 				push_error("  [%s] %s: %s" % [d.severity, d.category, d.message])
 	_smoke_generated_map_determinism()
-	quit(Kit.finish("node_map_templates_test"))
+	quit(Kit.finish("node_map_determinism_test"))
 
 
 # ---- 关卡节点图生成·确定性承载断言面 ----

game/tests/run_all.gd

@@ -88,7 +88,7 @@ func _suites() -> Array:
 		{"path": "res://tests/unit/presentation/modal_flow_test.gd", "expect": 0},   # 模态编排纯逻辑（V6：直接 new/互斥域谓词/三例外锁/演播后排窗）
 		# ---- L2 集成层（跨系统用例，与 unit/ 的隔离断言面分工）----
 		{"path": "res://tests/integration/save_rng_roundtrip_test.gd", "expect": 0},   # 存档⇄RNG 快照往返（SaveManager 迁移链 × 断点消费 × RNG 续跑 × 停点态确定性）
-		{"path": "res://tests/integration/node_map_templates_test.gd", "expect": 0},   # 关卡节点图生成·确定性承载（生成图复现×首冒险置位落盘——批 B 自 smoke_all 迁入，裁决六整套集成不拆）
+		{"path": "res://tests/integration/node_map_determinism_test.gd", "expect": 0},   # 关卡节点图生成·确定性承载（生成图复现×首冒险置位落盘——批 B 自 smoke_all 迁入，裁决六整套集成不拆）
 		{"path": "res://tests/integration/cross_system_flow_test.gd", "expect": 0},   # 跨系统真实流×落盘（RNG 事件日志落盘/专长断点往返/存档摘要集成/试玩记录仪真实结算流——批 B 转办块宿主，裁决一/二/三/七）
 		# ---- core 四件与呈现层两件的直接单测 ----
 		{"path": "res://tests/unit/core/board_generator_test.gd", "expect": 0},   # 棋盘生成（尺寸合表/数字＝八邻雷数/同种子逐位一致/可推理自洽）

game/tests/static_scan.sh

@@ -240,14 +240,16 @@ fi
 # 规则说明自持本头注（随 S11/S12 惯例）：gdstyle（github.com/atelico/gdstyle，Rust 单二进制）只开
 # quality/* 抓真缺陷（重复 load／循环内 await／循环内分配／不可达代码／自比较／字典重复键／残留
 # print 等），format/*/naming/*/order/* 与 S9/S10 职能重叠全关；扫描面＝产品码三目录（与 S9 同口径，
-# probe/sim/tests 测量面直构惯例不在面）。存量基线 tools/gdstyle_baseline.txt（文件|规则|消息 三元组
-# ——消息含违规对象标识，行漂移稳定），只有基线外新违规才红；基线重生成＝人工专用
-# （python tools/gdstyle_gate.py --refresh），禁清基线换绿。二进制本机固定路径
+# probe/sim/tests 测量面直构惯例不在面）。存量基线 tools/gdstyle_baseline.txt 用稳定身份键（函数级带数
+# 条目＝文件|规则|函数名，类级/文件级带数条目＝文件|规则，均带登记数值；无数字条目＝文件|规则|消息全文
+# 裸键）——消息里的行数/分支数等计数漂移不假红；判定＝基线外新违规红（NEW）＋同键指标较登记值恶化红
+# （WORSENED），改小/持平不红。基线重生成＝人工专用（python tools/gdstyle_gate.py --refresh，附对账；
+# 键数骤降逾 10% 须 --force），禁清基线换绿。二进制本机固定路径
 # D:/code/gdstyle/gdstyle.exe（不入库），GDSTYLE_BIN 环境变量覆盖；版本与钉定版不符即红（升级须重测）。
 if python tools/gdstyle_gate.py; then
   echo "[static_scan] S13 ok"
 else
-  echo "[static_scan] S13 FAIL: 基线外新违规或二进制/版本/扫描面问题（清单见上）"
+  echo "[static_scan] S13 FAIL: 基线外新违规/指标恶化或二进制/版本/扫描面问题（清单见上）"
   fail=1
 fi
 

game/tests/system_test.gd

@@ -175,15 +175,13 @@ func _smoke_boot_chain() -> void:
 	#（原「按钮态==真实档断点态」关系判据随启动态换代改写：test-conventions §9.5 申报在案，卡② mn8 再承接）
 	check(not sm.has_breakpoint(),
 		"V2d boot 无断点在档（启动态不隐式激活——卡① sv2 钉死）〔装配生命批 V2·卡② mn8 改写〕")
-	# ④-1b 启动态三断言＋旧单档迁移不变式（卡① sv2/sv12——真实 autoload boot 链）
+	# ④-1b 启动态三断言（卡① sv2——真实 autoload boot 链）
 	check(sm.active_slot() == 0 and not sm.has_write_target(),
 		"V2-s1 boot 后无激活态（active_slot=0、写盘目标空）〔卡① sv2〕")
 	check(sm.keystone_balance() == 0 and not sm.has_breakpoint() and sm.adventure_total() == 0,
 		"V2-s2 boot 内存=默认合法空态（钥石/断点/总局数全零值）〔卡① sv2〕")
 	check(not sm.write_to_disk(),
 		"V2-s3 boot 无激活写盘拒绝（write_to_disk=false 生产入口）〔卡① sv3〕")
-	check(not (FileAccess.file_exists("user://save.json") and not FileAccess.file_exists(sm.slot_path(1))),
-		"V2-s4 旧单档迁移不变式（旧档在则槽 1 必在——Q1 甲一次性迁移已发生；旧档在盘面罕见，迁移逻辑本体由 save_manager_domain v0 迁移链断言覆盖）〔卡① sv12·核代码增补注〕")
 	# ④-2 三钮承接（卡② mn8——V2d 续玩钮族随钮退役废止：钮可见性联动面由卡① V2-s 启动态断言与
 	# sv11 attach 语义段承接；attach 原地重置语义保持——绝不碰真实档 user://save.json）
 	for p in ["user://smoke_boot_chain.json", "user://smoke_boot_chain.json.tmp"]:

game/tests/unit/battle_settlement/damage_math_test.gd

@@ -33,7 +33,7 @@ func _test_pool_damage() -> void:
 	var d := _floor_val() + 9   # 表值推导的任意正探针量（非玩法行值）
 	Kit.check("中性双池 (0,0) 原样透传", DamageMathScript.pool_damage(d, 0, 0) == d)
 	Kit.check("负敌方池压低不增高", DamageMathScript.pool_damage(d, 0, int(db.settlement.pool_clamp_lo)) <= d)
-	Kit.check("正主角池抬升不低于原值", DamageMathScript.pool_damage(d, int(db.settlement.pool_clamp_hi), 0) >= d)
+	Kit.check("正·主角池抬升不低于原值", DamageMathScript.pool_damage(d, int(db.settlement.pool_clamp_hi), 0) >= d)
 	Kit.check("主角池单调不减（+50% vs +49% 探针档）", DamageMathScript.pool_damage(d, 50, 0) >= DamageMathScript.pool_damage(d, 49, 0))
 	Kit.check("对称性：池值互换结果不变（乘算交换）", DamageMathScript.pool_damage(d, 30, -20) == DamageMathScript.pool_damage(d, -20, 30))
 	Kit.check("输出非负（maxi(0,·) 封底）", DamageMathScript.pool_damage(d, int(db.settlement.pool_clamp_lo), int(db.settlement.pool_clamp_lo)) >= 0)