⑦T4: ui_tune_probe 断言面换代全绿——①段改向启动即开（OS.set_environment DS_DEBUG=1 探针自设+P3甲默认开断言+树序新基准=确认弹窗后登记册末位）/⑧段显式种子42钉死+开冒险显式关浮窗断言+master_seed==42 真实路径显式优先断言/⑨段新增对局中可开（战斗屏角标真实信号路径+S1+停机点回归：棋盘输入不锁+暂停角标不置灰）+对局中两钮禁用断言+当局数据六项值对（种子/关卡/节点/HP/GP/钥石逐项对只读访问器）+⑨b 只读巡检（17卡③白名单外零连接形制，信号清单12名+视图七方法+引擎滚动条豁免，连接数=10）+零动效契约/⑩段种子三分单点断言（显式777优先/首局空档恒42/非首局连抽4次不全等42）；随批修复：_seed_value 三分分支写反（原实现首局随机/非首局42与P5甲相反——⑩断言抓获，探针钉死显式值故轻闸未暴露）+当局数据钥石取数改向 adventure.keystone（LevelRunner 无 keystone 域——原 r.keystone 脚本错误致探针 _ready 中断挂死表象，两次按纪律杀本 worktree 匹配进程重试后定位）+debug_overlay 胜利演出切换 lambda 转命名方法 _on_fx_toggle（只读巡检白名单方法名精确可判）；专闸 ui_tune_probe exit=0 全链路 PASS

game/presentation/main.gd

@@ -1241,7 +1241,8 @@ func _sync_debug_overlay() -> void:
 
 # 当局数据六项只读投影（P4 甲——C4 零直读内部状态、零写通路）：种子=adventure.master_seed 现值
 # （非 _seed_value() 重算）；调试两层/非对局无冒险对象=RNG 服务 master_seed 现值（E5 只读出口，
-# 未播种 -1 显「—」）；其余五项=runner 成文出口；缺位=「—」占位。零动效（纯标签重查——17卡③契约）。
+# 未播种 -1 显「—」）；关卡/节点/HP/GP=runner 成文出口、钥石=adventure 冒险账本（LevelRunner 无此域）；
+# 缺位=「—」占位。零动效（纯标签重查——17卡③契约）。
 func _debug_run_data() -> Dictionary:
 	var r = adventure.runner() if adventure != null else null
 	var seed_now: int = _current_master_seed()
@@ -1249,7 +1250,7 @@ func _debug_run_data() -> Dictionary:
 	if r == null:
 		return {"seed": seed_txt, "level": "—", "node": "—", "hp": "—", "gp": "—", "keystone": "—"}
 	return {"seed": seed_txt, "level": int(adventure.level_index), "node": int(r.node_index),
-		"hp": "%d/%d" % [int(r.hero_hp), int(r.effective_max_hp())], "gp": int(r.gp), "keystone": int(r.keystone)}
+		"hp": "%d/%d" % [int(r.hero_hp), int(r.effective_max_hp())], "gp": int(r.gp), "keystone": int(adventure.keystone)}
 
 
 # 本局种子现值（只读单点——当局数据区块与诊断转储共用）：冒险=adventure.master_seed 访问器现值；
@@ -1283,12 +1284,12 @@ func _seed_value() -> int:
 	# 种子三分判定单点（迭代 18 卡⑦ C1——全工程唯一种子框读取处，禁第二处读框）：
 	# ①显式合法整数全场景优先（含首局——测试/调试接口显式指定；第五路 DebugSession Callable
 	#   经本函数=调试对局与玩家同口径，P6 甲）；
-	# ②首局固定 42（P5 甲——存档现役布尔 is_first_adventure_done：新档显式 false=教学局，
-	#   老档缺省 true=有游玩史；教学重放模板 0 即在此种子下标定）；
+	# ②首局固定 42（P5 甲——存档现役布尔 is_first_adventure_done：新档显式 false=教学局恒 42〔教学
+	#   重放模板 0 即在此种子下标定〕；置位 true=教学局已收束的非首局走 ③ 随机）；
 	# ③非首局空/非法框=引擎全局熵 randi()（Godot 4 启动自播种子，headless 同；不走 rng_service
 	#   封闭流、禁 randomize()/自建 RNG——组合根建种子属 ADR-0007 豁免面，不进玩法 RNG 消费）
 	if _seed_edit.text.is_valid_int():
 		return int(_seed_edit.text)
-	if save_manager != null and not save_manager.is_first_adventure_done():
+	if save_manager != null and save_manager.is_first_adventure_done():
 		return randi()
 	return 42

game/presentation/views/debug_overlay.gd

@@ -204,9 +204,7 @@ func _build() -> void:
 	fx_row.add_child(UiKit.label("胜利演出",UiKit.FS_HINT, false, UiKit.WARM))
 	var fx_btn := UiKit.button("纹章拼合" if UiKit.victory_fx_style == "crest" else "尘金粒子")
 	fx_btn.tooltip_text = "两套演出并存——点击切换（会话级，不落盘）"
-	fx_btn.pressed.connect(func() -> void:
-		UiKit.victory_fx_style = "dust" if UiKit.victory_fx_style == "crest" else "crest"
-		fx_btn.text = "纹章拼合" if UiKit.victory_fx_style == "crest" else "尘金粒子")
+	fx_btn.pressed.connect(_on_fx_toggle.bind(fx_btn))   # 迭代 18 卡⑦——lambda 转命名方法（只读巡检白名单方法名精确可判）
 	fx_row.add_child(fx_btn)
 
 	# 区块①随机种子（原开始覆盖层种子行迁入——种子三分判定归组合根 _seed_value 单点）：
@@ -310,3 +308,9 @@ func _emit_closed() -> void:
 
 func _on_slider_value_changed(_value: float) -> void:
 	_sync_labels()
+
+
+# 胜利演出切换（原 _build 内 lambda——迭代 18 卡⑦ 转命名方法，只读巡检白名单承载）
+func _on_fx_toggle(btn: Button) -> void:
+	UiKit.victory_fx_style = "dust" if UiKit.victory_fx_style == "crest" else "crest"
+	btn.text = "纹章拼合" if UiKit.victory_fx_style == "crest" else "尘金粒子"

game/smoke/ui_tune_probe.gd

@@ -1,9 +1,14 @@
 # VERTICAL SLICE - NOT FOR PRODUCTION
 # Date: 2026-09-11（2026-09-12 code-review 修复批重写——加成应用契约改为组合根单一应用路径）
-# 调试浮窗场景探针（2026-10-04 迭代 14.5 调试整合批随批改接——原数值调整板整体收进 debug_overlay，
-# 浮窗形态悬浮于开始菜单之上不隐藏菜单；playtest 缺陷⑤回归载体沿袭）：
-# 驱动真实 UI 路径——打开可见性（浮于菜单之上+树序在后）/ 滑条联动 / 应用（apply_requested → 组合根）/
-# 重置 / 批量模拟全链路（N=10）/ E4 回归断言（hero 表运行期不可变 + 单次加成经 encounter 生效）。
+# 调试浮窗场景探针（2026-10-04 迭代 14.5 调试整合批随批改接——原数值调整板整体收进 debug_overlay；
+# 2026-10-07 迭代 18 卡⑦ T4 断言面换代——P2 甲角标迁宿主 / P3 甲启动即开 / T3 当局数据只读区块 /
+# T2 输入锁防护落码配套）：
+# 驱动真实 UI 路径——①启动即开（DS_DEBUG=1 默认打开，探针自设环境变量）+悬浮菜单之上+登记册末位树序
+# ②滑条联动 ③应用 ④重置 ⑤批量模拟 N=10 ⑥关闭 ⑦hero 表运行期不可变
+# ⑧单次加成生效（经 _start_adventure_from_menu 真实路径+显式种子钉死）+开冒险路径显式关浮窗
+# ⑨对局中可开（战斗屏角标真实信号路径）+棋盘输入不锁+暂停角标不置灰（T2 防护=S1+ 停机点回归闸）
+# +对局中两钮禁用+当局数据六项值对（与只读访问器逐项一致）+只读巡检（白名单外零连接）+零动效契约
+# ⑩种子三分单点断言（显式输入优先/首局恒 42/非首局空框连抽 4 次不全等 42——C1/P5 甲/P6 甲载体）
 # 运行：Godot_console.exe --headless --path . res://smoke/ui_tune_probe.tscn
 extends Node
 
@@ -11,8 +16,21 @@ const ProbeUiUtil := preload("res://smoke/probe_ui_util.gd")   # T6 收口：隔
 
 const SIM_GUARD_FRAMES := 1800   # ⑤ N=10 headless 模拟防挂死帧预算上限（ADR-0004：探针内停滞检测第一道——坏态不等满预算才报，超时即断言失败）
 
+# 只读巡检信号名清单（17卡③「白名单外零连接」形制沿用——玩家交互可携带写意图的通道全集
+# +本层外发 closed；引擎内部布局生命线信号不计）
+const _OVERLAY_READONLY_SIGNALS: Array[String] = [
+	"pressed", "button_down", "button_up", "toggled",
+	"text_changed", "text_submitted", "value_changed", "item_selected",
+	"gui_input", "focus_entered", "focus_exited", "closed",
+]
+# 视图内白名单方法（fx 切换/应用/重置/模拟/两层调试/关闭/滑条联动——全部视图自身信号外发前置，
+# 零跨对象写；清单外任何新连接一律红须入册）
+const _OVERLAY_VIEW_METHODS: Array[String] = ["_on_fx_toggle", "_apply_btn_pressed", "_reset_btn_pressed",
+	"_emit_simulate_requested", "_emit_debug_levels", "_emit_closed", "_on_slider_value_changed"]
+
 
 func _ready() -> void:
+	OS.set_environment("DS_DEBUG", "1")   # P3 甲断言前提——探针自设调试会话环境（headless 进程内生效）
 	await get_tree().process_frame
 	var main: Node = load("res://presentation/main.tscn").instantiate()
 	add_child(main)
@@ -23,15 +41,15 @@ func _ready() -> void:
 	var base_hp := int(main.db.hero.max_hp)
 	var boosted_atk := base_atk * 2              # 攻击滑条 100 → ×2
 	var boosted_hp := int(round(base_hp * 1.5))  # 生命滑条 50 → +50%
-	# ① 打开可见性（14.5 浮窗形态：悬浮于菜单之上——开始层不隐藏，树序必须在开始层之后 = 绘制在上；
-	# 旧「打开必须隐藏开始层」断言随互斥形态退役）
-	main._show_debug_overlay()
+	# ① 启动即开（18卡⑦ P3 甲——DS_DEBUG=1 会话组合根 _ready 即开；悬浮于菜单之上——开始层不隐藏；
+	# 树序新基准=登记册末位（确认弹窗之后=绘制序最上）；旧「_show_debug_overlay 打开+开始层在屏」
+	# 断言随入口迁宿主换代——打开动作本身移至 ⑨ 角标真实路径承载）
 	if not main.debug_overlay.visible:
-		problems.append("调试浮窗未打开")
+		problems.append("DS_DEBUG=1 启动浮窗未即开（P3 甲失守）")
 	if not main._start_overlay.visible:
 		problems.append("开始覆盖层被隐藏——浮窗应悬浮于菜单之上（14.5 形态失守）")
-	if main.debug_overlay.get_index() < main._start_overlay.get_index():
-		problems.append("调试浮窗树序在开始层之前——遮挡关系失守")
+	if main.debug_overlay.get_index() < main.confirm_dialog.get_index():
+		problems.append("调试浮窗树序不在确认弹窗之后——登记册末位失守")
 	# ② 滑条 → 生效预览联动
 	main.debug_overlay.set_sliders(100, 50)
 	if str(boosted_atk) not in main.debug_overlay.effect_text() or str(boosted_hp) not in main.debug_overlay.effect_text():
@@ -41,7 +59,8 @@ func _ready() -> void:
 	# ④ 重置（重开浮窗 → 重置按钮真实路径；面板百分比归零——下一场战斗生效值回到基线）
 	main._show_debug_overlay()
 	main.debug_overlay.press_reset_for_probe()
-	# ⑤ 批量模拟全链路（N=10——走 level_autoplay 与 headless 扫描同口径；表基线由组合根复位）
+	# ⑤ 批量模拟全链路（N=10——走 level_autoplay 与 headless 扫描同口径；表基线由组合根复位；
+	# 菜单态上下文未锁定=按钮可点，is_running 语义=模拟在跑〔18卡⑦ 与对局禁用态拆分〕）
 	main.debug_overlay.set_sliders(100, 0)
 	main.debug_overlay.set_sim_count(10)
 	main.debug_overlay.press_simulate_for_probe()
@@ -72,9 +91,15 @@ func _ready() -> void:
 	ProbeUiUtil.isolate_save(main, "smoke_tune_probe_save", true, false, false)
 	main.debug_overlay.set_sliders(100, 50)
 	main.debug_overlay.press_apply_for_probe()
+	main.debug_overlay.seed_edit.text = "42"   # 种子钉死（18卡⑦审计🔴——空框=非首局随机，显式优先经真实路径断言 master_seed）
 	main._start_adventure_from_menu()   # 完整冒险路径（唯一试玩入口；_start_single 按语义清零滑条 = 恒基线，不承载加成断言）
 	await get_tree().process_frame
 	await get_tree().process_frame
+	# ⑧b 开冒险路径显式关浮窗（18卡⑦ T2 防护——DS_DEBUG 会话默认开态下开局不带窗，对局中经角标再开）
+	if main.debug_overlay.visible:
+		problems.append("开冒险路径未显式关浮窗（T2 防护失守）")
+	if int(main.adventure.master_seed) != 42:
+		problems.append("显式种子未达冒险（master_seed=%s ≠ 42——真实路径显式优先失守）" % str(main.adventure.master_seed))
 	# 停点前移批 2026-09-23：关卡开始 = 入口选路停点——真实按钮路径选入口候选进首战再读呈现快照
 	if main.level_screen.visible:
 		main.level_screen.press_candidate(0)
@@ -84,11 +109,128 @@ func _ready() -> void:
 	if int(hero.get("atk", -1)) != boosted_atk or int(hero.get("max_hp", -1)) != boosted_hp:
 		problems.append("战斗加成单次生效违例（atk=%s max_hp=%s，期望 %d/%d）" % [
 			str(hero.get("atk", "?")), str(hero.get("max_hp", "?")), boosted_atk, boosted_hp])
+	# ⑨ 对局中可开（18卡⑦ P2 甲/T2 防护——S1+ 停机点回归闸）：战斗屏角标真实信号路径开窗；
+	# 棋盘输入不锁、暂停角标不置灰（旧 has_open 判据在「默认开×遮挡复活」下必锁死的破约回归面）；
+	# 对局中批量模拟/两层调试两钮禁用；当局数据六项与只读访问器逐项一致；关闭钮真实路径收窗恢复
+	var dbg_badge: Button = main.board_zone.debug_badge
+	if dbg_badge == null or not dbg_badge.visible:
+		problems.append("战斗屏调试角标未点亮（P2 甲 DS_DEBUG 门控失守）")
+	else:
+		if dbg_badge.disabled:
+			problems.append("战斗屏调试角标被置灰（T2 排除式判据失守）")
+		dbg_badge.pressed.emit()   # 真实按钮信号路径 → 组合根 _on_debug_badge_pressed → C6 单口
+		if not main.debug_overlay.visible:
+			problems.append("对局中角标开浮窗失败（P2 甲对局中可达失守）")
+		if main._input_locked():
+			problems.append("对局中开浮窗后棋盘输入锁死（T2 防护失守——S1+ 停机点）")
+		if main.board_zone.pause_badge.disabled:
+			problems.append("对局中开浮窗后暂停角标置灰（T2 防护失守——S1+ 停机点）")
+		if main.debug_overlay.is_running():
+			problems.append("对局中上下文锁定误判为模拟在跑（is_running 语义互扰）")
+		if not main.debug_overlay._sim_btn.disabled or not main.debug_overlay._dbg_btn.disabled:
+			problems.append("对局中批量模拟/两层调试按钮未禁用（T2 并存态不开放失守）")
+		# 当局数据六项值对（T3——数值与只读访问器逐项一致；种子=adventure.master_seed 现值非 _seed_value 重算）
+		var rd: Dictionary = main.debug_overlay.run_data_probe()
+		var r = main.adventure.runner()
+		if String(rd.get("seed", "")) != "42":
+			problems.append("当局数据种子 ≠ master_seed 现值（%s）" % str(rd.get("seed")))
+		if int(rd.get("level", -1)) != int(main.adventure.level_index):
+			problems.append("当局数据关卡失对（%s ≠ %s）" % [str(rd.get("level")), str(main.adventure.level_index)])
+		if int(rd.get("node", -999)) != int(r.node_index):
+			problems.append("当局数据节点失对（%s ≠ %s）" % [str(rd.get("node")), str(r.node_index)])
+		if String(rd.get("hp", "")) != "%d/%d" % [int(r.hero_hp), int(r.effective_max_hp())]:
+			problems.append("当局数据 HP 失对（%s）" % str(rd.get("hp")))
+		if int(rd.get("gp", -1)) != int(r.gp):
+			problems.append("当局数据 GP 失对（%s ≠ %s）" % [str(rd.get("gp")), str(r.gp)])
+		if int(rd.get("keystone", -1)) != int(main.adventure.keystone):
+			problems.append("当局数据钥石失对（%s ≠ %s）" % [str(rd.get("keystone")), str(main.adventure.keystone)])
+		var close_btn: Button = ProbeUiUtil.find_button(main.debug_overlay, "关闭", "prefix")
+		if close_btn == null:
+			problems.append("浮窗关闭钮缺失（真实收窗路径中断）")
+		else:
+			close_btn.pressed.emit()
+			if main.debug_overlay.visible or main._input_locked():
+				problems.append("对局中关闭浮窗后态失守（visible=%s locked=%s）"
+					% [str(main.debug_overlay.visible), str(main._input_locked())])
+	# ⑨b 只读巡检（17卡③形制）+零动效契约（17卡③ R5——零 AnimationPlayer+源码零 tween）
+	_overlay_readonly_contract(main, problems)
+	_overlay_zero_motion_contract(main, problems)
+	# ⑩ 种子三分单点断言（18卡⑦ C1——判定只落 _seed_value() 单点；对局态不影响本判定面）：
+	# 显式合法整数全场景优先（含首局）→ 首局（存档布尔 false）恒 42 → 非首局空框引擎熵连抽不全等 42
+	main.debug_overlay.seed_edit.text = "777"
+	if main._seed_value() != 777:
+		problems.append("显式种子输入未优先（_seed_value != 777——C1 ①失守）")
+	var fresh_sm = load("res://core/save_manager.gd").new("user://smoke_tune_probe_seed.json")
+	fresh_sm.load_from_disk()   # 全新空档——first_adventure_done=false（首局态；新档缺省面）
+	var keep_sm = main.save_manager
+	main.save_manager = fresh_sm
+	main.debug_overlay.seed_edit.text = ""
+	if main._seed_value() != 42:
+		problems.append("首局空框种子 != 42（P5 甲失守——教学态可复现破约）")
+	main.save_manager = keep_sm   # 恢复隔离档（非首局态）
+	var draws: Array[int] = []
+	for i in range(4):
+		draws.append(main._seed_value())
+	var all42 := true
+	for d in draws:
+		if d == 42:
+			all42 = all42 and true
+		else:
+			all42 = false
+	if all42:
+		problems.append("非首局空框连抽 4 次全等 42（随机化失守——C1 ③）")
+	main.debug_overlay.seed_edit.text = "42"   # 钉回显式值（现场整洁）
+	for f0 in ["user://smoke_tune_probe_seed.json", "user://smoke_tune_probe_seed.json.tmp"]:
+		if FileAccess.file_exists(f0):
+			DirAccess.remove_absolute(f0)
 	if problems.is_empty():
-		print("[tune_probe] PASS — 打开/联动/应用/重置/模拟/关闭/基线无残留/单次加成 全链路通过（模拟 N=10 输出 %.30s…）" % out)
+		print("[tune_probe] PASS — 启动即开/联动/应用/重置/模拟/关闭/基线无残留/单次加成/对局中可开+当局数据+只读巡检/种子三分 全链路通过（模拟 N=10 输出 %.30s…）" % out)
 		get_tree().quit(0)
 	else:
 		for p in problems:
 			push_error("[tune_probe] FAIL — " + p)
 		print("[tune_probe] FAIL — " + "; ".join(problems))
 		get_tree().quit(1)
+
+
+# 只读巡检（18卡⑦ T3——17卡③「白名单外零连接」形制沿用）：浮窗子树全控件 × 游戏语义信号名清单
+# 全连接巡检——白名单={视图自身七方法 + 组合根 _on_modal_closed（closed 外发消费）}；
+# 当局数据区块=纯标签零连接在此被一并约束（新增任何连接=红须入册审查）。
+func _overlay_readonly_contract(main: Node, problems: Array) -> void:
+	var overlay: Control = main.debug_overlay
+	var stack: Array = [overlay]
+	var conn_count := 0
+	while not stack.is_empty():
+		var n: Node = stack.pop_back()
+		for sig_name in _OVERLAY_READONLY_SIGNALS:
+			for conn in n.get_signal_connection_list(sig_name):
+				conn_count += 1
+				var cb: Callable = conn["callable"]
+				var host: Object = cb.get_object()
+				var m := String(cb.get_method())
+				var ok := (host == overlay and m in _OVERLAY_VIEW_METHODS) \
+					or (host == main and m == "_on_modal_closed") \
+					or (host is VScrollBar or host is HScrollBar)   # 引擎滚动机构内部 drag 接线（RichTextLabel 自动滚动条——17卡③布局生命线同类豁免，零游戏写通路）
+				if not ok:
+					problems.append("[readonly] 非法信号连接 %s.%s → %s.%s（白名单外零连接巡检——18卡⑦ T3）"
+						% [n.name, sig_name, host, m])
+		for ch in n.get_children():
+			stack.append(ch)
+	if conn_count != 10:
+		problems.append("[readonly] 信号连接数=%d 应=10（fx切换/应用/重置/模拟/两层调试/关闭六钮+滑条2+closed 外发+引擎滚动条 drag 1——多连接=写通路嫌疑）" % conn_count)
+
+
+# 零动效契约（17卡③ R5 形制——子树零 AnimationPlayer + 视图源码零 tween/动效包装调用）
+func _overlay_zero_motion_contract(main: Node, problems: Array) -> void:
+	var overlay: Control = main.debug_overlay
+	var stack: Array = [overlay]
+	while not stack.is_empty():
+		var n: Node = stack.pop_back()
+		if n is AnimationPlayer:
+			problems.append("[motion] 浮窗子树含 AnimationPlayer（零动效契约破）")
+		for ch in n.get_children():
+			stack.append(ch)
+	var src := FileAccess.get_file_as_string("res://presentation/views/debug_overlay.gd")
+	for token in ["create_tween", "UiKit.motion"]:
+		if src.contains(token):
+			problems.append("[motion] 浮窗视图源码含「%s」（零动效直开直关破——17卡③契约）" % token)