refactor(死断言收口执行): ①V2-s4 旧单档迁移不变式删除（用户裁：世界态断言读真实磁盘、红前提本机永久不可达且不可修复判断时机——迁移本体由 save_manager_domain v0 迁移链断言覆盖；验证集清单 :69 处置列同步记删）＋②V3g 营地入口护栏撤销证明完成（临时变异：选档层新档钮建钮不入册 _new_btns，slot1 取不到——system_test 实跑 [FAIL] V3g 营地入口缺失＝护栏显式红，变异未入库已还原工作区清洁）＋死断言候选待办条目整条删除（①已执行②已证③已修，C-2～C-6 备查随条目终结，账本 git 历史可考）

game/tests/system_test.gd

@@ -174,15 +174,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/验证集清单.md

@@ -131,7 +131,7 @@
 | 66 | 178 | "V2-s1 boot 后无激活态（active_slot=0、写盘目标空）〔卡① sv2〕" | sm.active_slot() == 0 and not sm.has_write_target() | boot 后无激活态：激活槽 0、无写盘目标。 | 迁系统测试（tests/system_test.gd） |  |
 | 67 | 180 | "V2-s2 boot 内存=默认合法空态（钥石/断点/总局数全零值）〔卡① sv2〕" | sm.keystone_balance() == 0 and not sm.has_breakpoint() and sm.adventure_total() == 0 | boot 内存为合法空态：钥石 0、无断点、总局数 0。 | 迁系统测试（tests/system_test.gd） |  |
 | 68 | 182 | "V2-s3 boot 无激活写盘拒绝（write_to_disk=false 生产入口）〔卡① sv3〕" | not sm.write_to_disk() | 无激活态调写盘被拒（生产入口返回 false）。 | 迁系统测试（tests/system_test.gd） |  |
-| 69 | 184 | "V2-s4 旧单档迁移不变式（旧档在则槽 1 必在——Q1 甲一次性迁移已发生；旧档在盘面罕见，迁移逻辑本体由 save_manager_domain v0 迁移链断言覆盖）〔卡① sv12·核代码增补注〕" | not (FileAccess.file_exists("user://save.json") and not FileAccess.file_exists(sm.slot_path(1))) | （待填） |  |  |
+| 69 | 184 | "V2-s4 旧单档迁移不变式（旧档在则槽 1 必在——Q1 甲一次性迁移已发生；旧档在盘面罕见，迁移逻辑本体由 save_manager_domain v0 迁移链断言覆盖）〔卡① sv12·核代码增补注〕" | not (FileAccess.file_exists("user://save.json") and not FileAccess.file_exists(sm.slot_path(1))) | 旧档在盘则迁移后槽 1 必在（一次性迁移不变式）。 | 已删除（2026-10-25 用户裁——世界态断言读真实磁盘 user://，红前提「旧档在而槽 1 缺」本机永久不可达；迁移本体由 save_manager_domain v0 迁移链断言覆盖） |  |
 | 70 | 192 | "V2d 三钮在位·进入存档/设置/退出游戏（续玩钮族退役后主菜单操作组承接）〔卡② mn1/mn8〕" | main._menu_screen.entersavebtn != null and main._menu_screen.settingsbtn != null and main._menu_screen.quitbtn != null | 隔离档无断点时续玩钮隐藏（刷新单口与 boot 路径同源）。 | 迁系统测试（tests/system_test.gd） |  |
 | 71 | 196 | "V2d 四旧钮句柄零命中·%s（彻底撤出——禁隐藏态禁置灰态残留）〔卡② mn2〕"  ↩ % old_btn | not (old_btn in main._menu_screen) | 设断点后续玩钮可见。 | 迁系统测试（tests/system_test.gd） |  |
 | 72 | 198 | "V2d 渲染面可见按钮计数==3（旧钮接回即红——渲染面锚，句柄缝盲区闭合）〔卡② mn1/mn2〕" | _count_visible_buttons(main._start_overlay) == 3 | 清断点后续玩钮回隐藏。 | 迁系统测试（tests/system_test.gd） |  |