合并(迭代55·QA覆盖余量收口批): 一卡一笔(c41ce9cf, 重塑自原史backup/iter55-20261107-195613)——45真缺口断言落地＋p_perfect读表接线＋豁免登记(ontology 154/controls 19)＋探针扩面十一组＋登记件开发面过滤＋枚举器基类分类修正＋cell_mark_overlay渲染通道(采集态六类型注入, 棋盘三图基线换代经用户过目, 渲染闸绿)；卡修轮2用户裁两处不豁免(渲染通道+开发面出圈——豁免=在范围内特批不做, 出圈面不占豁免)；独立审计U1修复闭合＋增量轮通过。批内凭据: 两探针直跑exit0/coverage_enum 868实体未豁免未补测=0/渲染闸本地全绿; 合回前置检查读数见pre-merge钩子; post-merge钩子推送触发远端CI

game/core/reward_grant.gd

@@ -414,12 +414,15 @@ func grant_clear_reward(ri: int, skip_on_refresh: bool, perfect: bool) -> void:
 	if not (snap is Dictionary):
 		return
 	var first_ok := _grant_clear_identity(snap, ri, "（清图奖励）")
+	# 完美封印追加兑付倍率读表（数值单一事实源——p_perfect 经 ConfigDB settlement_core 行，
+	# 载体域 {100,200}：200=×2 追加第二份、100=×1 单份不发。追加份数结构上限 1 份不变）
+	var perfect_mult := int(db.combat.settlement.core.p_perfect) / 100
 	var second_ok := false
-	if perfect and first_ok:
+	if perfect and first_ok and perfect_mult >= 2:
 		second_ok = _grant_clear_identity(snap, ri, "（完美第二份）")
 	if perfect and first_ok:
 		emit_cb.call({"type": "highlight", "source_class": "clear_reward", "origin_cell": Vector2i(-1, -1), "highlight": "perfect_sweep"},
-			ri, "完美封印！清图奖励 ×2", (2 if second_ok else 1), {})
+			ri, "完美封印！清图奖励 ×%d" % perfect_mult, (1 + (1 if second_ok else 0)), {})
 
 
 # 清图奖励 = 整图独立对象（不属于任何一格）：兑付形态按其 cell_type 的正向字典形态走，

game/probe/board_shot_probe.gd

@@ -23,6 +23,73 @@ var _level_readings := {}   # 关 → 双帧比对读数（实现报告读数表
 var _cur_settlement = null   # 当关 settlement（身份回调读取面——仿生产 run_scope.settlement 现值；
 # 不用 Callable.bind 传参：bind 的 Callable 动态派发时对类型化参数做 Object 硬校验，
 # 报「Cannot convert argument 2 from Object to Vector2i」——直接方法引用+成员现值无此坑）
+var _cur_mark_counts := {}   # 当关 cell_mark_overlay 绘制域逐类型格计数（注入后读数——V14 采集态核对）
+
+
+func _probe_settlement_getter():
+	return _cur_settlement
+
+
+# 绘制域缺型注入（确定性直构——每关固定选格，同种子同态可复现）：
+# 真视框=首个未开未封印雷格；预读徽章=身份查询命中的未开格（循环挑到命中，全空记零）；
+# 移除退色=remove_mines_in 真实写口移除一个未揭示雷格；点迹/高亮=英雄格 face 直设定格。
+func _mark_domain_inject(view: Node, settlement: Object) -> void:
+	var ms = settlement.minesweeper
+	var board = ms.current_board()
+	var reveal_cell := Vector2i(-9, -9)
+	var preview_cell := Vector2i(-9, -9)
+	var remove_cell := Vector2i(-9, -9)
+	for y in board.height:
+		for x in board.width:
+			var c := Vector2i(x, y)
+			if ms.is_revealed(c) or ms.has_seal(c) or ms.is_removed(c):
+				continue
+			if board.is_mine(c):
+				if reveal_cell.x < 0:
+					reveal_cell = c
+				if remove_cell.x < 0:
+					remove_cell = c
+			elif preview_cell.x < 0 and _probe_identity_lookup(c) != null:
+				preview_cell = c
+	if remove_cell.x >= 0:
+		ms.remove_mines_in([remove_cell])
+	view.set_treasure_overlays([reveal_cell] if reveal_cell.x >= 0 else [],
+		[preview_cell] if preview_cell.x >= 0 else [])
+	view.refresh()
+	var hero: Vector2i = ms.hero_pos()
+	var cells: Dictionary = view.cells_probe()
+	if cells.has(hero):
+		(cells[hero] as Node2D).face.dot_visible = true
+		var nb: Vector2i = hero + Vector2i(1, 0)
+		if not cells.has(nb):
+			nb = hero + Vector2i(0, 1)
+		if cells.has(nb):
+			(cells[nb] as Node2D).face.hl_visible = true
+	_cur_mark_counts = {"injected": {"reveal": str(reveal_cell), "preview": str(preview_cell),
+		"remove": str(remove_cell), "dot": str(hero)}}
+
+
+# 逐类型格计数读数（off 帧呈现态——face 现值直读，CellUnit 在册探针读口同面）
+func _mark_domain_counts(view: Node, tag: String) -> Dictionary:
+	var counts := {"mutation_mark": 0, "treasure_mark": 0, "badge_glyph": 0,
+		"dot_visible": 0, "hl_visible": 0, "removed_dim": 0}
+	var cells: Dictionary = view.cells_probe()
+	for c in cells:
+		var f = (cells[c] as Node2D).face
+		if String(f.mutation_mark) != "":
+			counts["mutation_mark"] = int(counts["mutation_mark"]) + 1
+		if String(f.treasure_mark) != "":
+			counts["treasure_mark"] = int(counts["treasure_mark"]) + 1
+		if String(f.badge_glyph) != "":
+			counts["badge_glyph"] = int(counts["badge_glyph"]) + 1
+		if bool(f.dot_visible):
+			counts["dot_visible"] = int(counts["dot_visible"]) + 1
+		if bool(f.hl_visible):
+			counts["hl_visible"] = int(counts["hl_visible"]) + 1
+		if bool(f.removed_dim):
+			counts["removed_dim"] = int(counts["removed_dim"]) + 1
+	print("[board_shot] mark_domain %s: %s" % [tag, counts])
+	return counts
 
 
 func _ready() -> void:
@@ -120,7 +187,17 @@ func _ready() -> void:
 		# 双帧比对空转、PASS 假绿）。现值经 _cur_settlement 成员读入
 		# （仿生产 run_scope.settlement；bind 传参有 Callable 类型校验坑，见成员注）。
 		view.set_identity_resolver(_probe_identity_lookup)
+		# 变异角标 resolver（生产同源——main_ui_build:262 set_variant_mark_resolver 接线同款）：
+		# 裸视图不接 = mutation_mark 恒空 = L3 伤害型变异角标缺帧。rebuild 前接（paint 链读回调）。
+		var resolvers = load("res://presentation/board_resolvers.gd").new(db, null, _probe_settlement_getter)
+		view.set_variant_mark_resolver(resolvers.variant_mark_lookup)
 		view.rebuild(settlement.minesweeper.current_board(), settlement.minesweeper)
+		# ---- cell_mark_overlay 绘制域采集态注入（卡修轮 2 V14——确定性直构，缺型补进采集态）----
+		# 五类型注入全走真链/生产同源：真视框与预读徽章=set_treasure_overlays（生产呈现链）；
+		# 移除退色=remove_mines_in（核心真实写口——移除集=未揭示无封印是雷，判定基线零回溯）；
+		# 点迹/高亮=u.face 直设（CellUnit 探针读口同面的写侧，交互瞬态的定格化）。
+		_mark_domain_inject(view, settlement)
+		var mark_counts := _mark_domain_counts(view, tag)
 		# 进挖掘相位（生产态 = hud_presenter.set_dig_glow_enabled(not settling) 接线——裸视图默认
 		# _dig_glow=false，接触带与类型微光同源门控都不渲染；golden 基线即捕获于
 		# 该裸态。双帧取证要求生产默认态，故显式开——两帧均含静态接触带（motion_scale=0.5 停格），
@@ -342,7 +419,8 @@ func _check_dual_frames(tag: String, view, glow_cells: Dictionary, off_img: Imag
 						if first_outside == "":
 							first_outside = "%s 非生效格" % str(c2)
 	_level_readings[tag] = {"glow_cells": glow_cells.size(), "changed_total": changed_total,
-		"changed_outside": changed_outside, "band_px": band_px}
+		"changed_outside": changed_outside, "band_px": band_px,
+		"mark_domain": _cur_mark_counts}
 	print("[board_shot] %s 双帧读数 glow=%d changed=%d outside=%d band=%.0fpx"
 		% [tag, glow_cells.size(), changed_total, changed_outside, band_px])
 	if changed_outside != 0:

game/probe/probe_coverage_recorder.gd

@@ -14,6 +14,11 @@
 #   锚（具名节点用其名、带脚本节点用脚本文件名；@ 临时名段整体不入键），控件本体记 类#钮面文本，
 #   同键控件按接线遍历序追加 #序位。键在确定构建序下可复现；UI 构建序变更会平移同键序位——
 #   表现为键漂移而非静默丢失，属测量面可接受代价。
+# 开发面边界（2026-11-07 用户裁——调试面不入玩家可达对账宇宙，登记层过滤、不产豁免条目）：
+#   DebugOverlay 浮窗（class_name 声明，main_ui_build 装配注「玩家画面零常驻调试件」）＋
+#   ui.screens.debug_badge 调试角标＋ui.screens.inter_overlay 调试两层模式专用层
+#   （main.gd _on_battle_finished「仅调试模式接线」——正常冒险层间推进归 AdventureRunner）。
+#   依据＝test-conventions「调试注入两层」调试面发布态恒隐条款；过滤为纯减法（玩家可达面零影响）。
 # 用法：探针 _ready 里 `_recorder = ProbeCoverageRecorder.new()` → `attach(main, "<探针名>")`；
 #   收尾 `dump_js()`。探针共用面不入 S 系扫描面（code-conventions §4.13 分档）。
 extends RefCounted
@@ -29,6 +34,8 @@ var _node_keys: Dictionary = {}          # 接线时分配的节点键（instanc
 var _key_seen: Dictionary = {}           # 基键出现次数（同键控件按遍历序追加序位）
 var _wired: Dictionary = {}              # 已连 pressed 的按钮实例 id → true（防重连）
 var _skipped_temp := 0                   # 临时名命中笔数（不入 key，只计数）
+var _dev_roots: Array[Node] = []         # 开发面根（DebugOverlay 浮窗／调试角标／inter 调试专用层）——整棵子树不入账
+var _dev_skipped := 0                    # 开发面接线跳过笔数（观测面——dump meta 携带）
 
 
 # ---- 装载与接线 ----
@@ -37,10 +44,32 @@ func attach(main: Node, probe_name: String) -> void:
 	_main = main
 	_probe_name = probe_name
 	ProbeUiUtil.coverage_hook = self   # 共用件真输入口统一过旗标（push_click/push_click_at/push_motion）
+	_resolve_dev_roots()
 	_wire_buttons()
 	_wire_camp_scene()
 
 
+# 开发面根解析（三处成员引用/脚本身份单点，见头注边界声明）——解析仅 attach 时一次，
+# 解析不到的根跳过（无独立计数；attach 后重建的开发面根会漏滤）——漏滤方向由 seen 集
+# 「开发面键 0」核对兜住（开发面键再现＝过滤失守），玩家可达面零误滤风险（早退只命中三根）。
+func _resolve_dev_roots() -> void:
+	var overlay := _find_by_script(_main, "debug_overlay")
+	if overlay != null:
+		_dev_roots.append(overlay)
+	var ui: Object = _main.get("ui")
+	if ui != null:
+		var screens: Object = ui.get("screens")
+		if screens != null:
+			for prop in ["inter_overlay", "debug_badge"]:
+				var n: Node = screens.get(prop)
+				if n != null:
+					_dev_roots.append(n)
+
+
+func _is_dev_root(n: Node) -> bool:
+	return _dev_roots.has(n)
+
+
 # 懒重扫：每次真输入 push 前接线一遍新入树的按钮（开层重建的钮行在下次点击前接上）；
 # 已释放按钮的连接随节点释放失效，登记表按 instance_id 清扫。
 func mark_real_input() -> void:
@@ -63,6 +92,9 @@ func _wire_buttons() -> void:
 
 
 func _wire_into(node: Node) -> void:
+	if _is_dev_root(node):   # 开发面整棵子树不入账（接线与命中双断——pressed 沿都不连）
+		_dev_skipped += 1
+		return
 	if node is BaseButton:
 		var id := node.get_instance_id()
 		if not _wired.has(id):
@@ -184,6 +216,9 @@ func enumerate_seen() -> Array[String]:
 
 
 func _seen_into(node: Node, keys: Array[String]) -> void:
+	if _is_dev_root(node):   # seen 枚举与登记同源同滤——开发面不入「存在但零覆盖」缺口面
+		_dev_skipped += 1
+		return
 	if node is BaseButton:
 		var id := node.get_instance_id()
 		var key := String(_node_keys.get(id, ""))
@@ -228,6 +263,8 @@ func dump_js() -> void:
 			"hits_total": total,
 			"seen_total": seen.size(),
 			"skipped_temp_names": _skipped_temp,
+			"dev_face_roots": _dev_roots.size(),
+			"dev_face_skipped": _dev_skipped,
 		},
 		"hits": _hits,
 		"seen": seen,

game/probe/probe_ui_util.gd

@@ -198,16 +198,30 @@ static func window_panel(view: Control) -> PanelContainer:
 # 判据：钮 rect 整体落在窗板内（上缘留 8px、下缘让开底栏 64px——返回营地钮带高约 56px）。
 # 保险丝 60 次滚叶防异常内容死循环；窗板缺失或钮句柄失效即返回（调用方前置断言兜底）。
 static func scroll_button_into_view(main, view: Control, btn: Control) -> void:
-	var panel := window_panel(view)
+	if btn == null:
-	if panel == null or btn == null:
+		return
+	# 可视区基准=按钮最近的 ScrollContainer 祖先（滚动裁剪的真实可视域）；
+	# 无滚动祖先时回退窗壳面板（旧基准——按钮不在滚动容器内的窗体形态）。
+	# 修因（迭代 55）：秘宝匣 _ws_scroll 336px 高于窗壳面板内部——以面板为基准时
+	# 裁剪区外按钮被误判「在视」，滚轮零滚动、真点落空（实证：购买 25/装配/升级 零命中）。
+	var panel: Control = null
+	var anc: Node = btn.get_parent()
+	while anc != null and anc is Control:
+		if anc is ScrollContainer:
+			panel = anc
+			break
+		anc = anc.get_parent()
+	if panel == null:
+		panel = window_panel(view)
+	if panel == null:
 		return
 	var guard := 60
 	while guard > 0:
 		var r := btn.get_global_rect()
 		var pr := panel.get_global_rect()
-		if r.position.y >= pr.position.y + 8.0 and r.end.y <= pr.end.y - 64.0:
+		if r.position.y >= pr.position.y + 8.0 and r.end.y <= pr.end.y - 8.0:
 			return
-		var down := r.end.y > pr.end.y - 64.0
+		var down := r.end.y > pr.end.y - 8.0
 		push_wheel(main, pr.get_center(), 1 if down else -1)
 		guard -= 1
 		await main.get_tree().process_frame

game/probe/ui_click_probe.gd

@@ -42,6 +42,9 @@ var _locktest_cell := Vector2i(-9, -9)
 var _locktest_frames := 0
 var _stoptest_state := 0           # 停手钮定型化覆盖段状态机（0=待命 1=已点击待核效 2=完结）——每 run 一次
 var _stoptest_frames := 0
+var _tested_node_continue := false   # 迭代 55 B5 扩面——节点继续钮真输入一次性段
+var _tested_curio_refresh := false   # 迭代 55 B5 扩面——三选一刷新钮真输入一次性段
+var _tested_shop_buy := false        # 迭代 55 B5 扩面——商店购买+刷新钮真输入一次性段
 
 
 func _ready() -> void:
@@ -139,6 +142,47 @@ func _ready() -> void:
 					iso_fk.load_from_disk()
 					if String(iso_fk.meta_state.tree_state().fork_sides.get("fg_posture", "")) != "b":
 						_problems.append("Fork 切态未持久（reload 后激活态 != b）〔句柄子容器批 V1〕")
+				# ---- 树面高档钮扩面段（迭代 55 B5——购买0/20/40/60 档经调试注钥后真点＋先手压制 A 侧回切）----
+				# 判据出处: design/gdd/systems/跨局循环/天赋树.md:198 （营地购买段——购买面真输入扩面组）
+				iso_c.meta_state._add_keystone(9999)
+				main.ui.modals.camp.tree.refresh_camp(main._camp_data())
+				await get_tree().process_frame
+				for target_id in ["forge_workshop", "att_socket2", "att_socket3"]:
+					var hi_btn: Button = null
+					for card in main.ui.modals.camp.tree._tree_buy_btns:
+						if String(card.node_id) == target_id:
+							hi_btn = card.btn
+					if hi_btn == null:
+						_problems.append("树面 %s 购买钮缺失（高档扩面驱动中断）〔QA余 V13〕" % target_id)
+					elif hi_btn.disabled:
+						_problems.append("树面 %s 购买钮置灰（注钥后仍不可达——前置链失守）〔QA余 V13〕" % target_id)
+					else:
+						var price_hi: int = int(main.db.crossrun.meta_tree.row_by_id(target_id).get("price", 0))
+						var bal_hi: int = iso_c.meta_state.keystone_balance()
+						await ProbeUiUtil.scroll_button_into_view(main, main.ui.modals.camp.tree, hi_btn)
+						ProbeUiUtil.push_click(main, hi_btn)   # 真点高档购买（forge_workshop=购买 0 钥石档）
+						await get_tree().process_frame
+						main.ui.modals.camp.tree.refresh_camp(main._camp_data())
+						await get_tree().process_frame
+						if int(iso_c.meta_state.keystone_balance()) != bal_hi - price_hi:
+							_problems.append("树面 %s 购买未出账（%d→%d 应 −%d）〔QA余 V13〕" % [target_id, bal_hi, iso_c.meta_state.keystone_balance(), price_hi])
+						if int(iso_c.meta_state.tree_state().nodes.get(target_id, 0)) != 1:
+							_problems.append("树面 %s 购买落点失守（节点未点亮）〔QA余 V13〕" % target_id)
+				# 先手压制 A 侧回切（先手压制=fg_posture A 侧名——购买默认 A 后既有段切至 B，A 侧钮零真输入命中）
+				var side_a: Button = null
+				for fk in main.ui.modals.camp.tree._tree_fork_btns:
+					if String(fk.group) == "fg_posture" and String(fk.side) == "a":
+						side_a = fk.btn
+				if side_a == null:
+					_problems.append("Fork A 侧切换钮缺失（先手压制回切驱动中断）〔QA余 V13〕")
+				else:
+					await ProbeUiUtil.scroll_button_into_view(main, main.ui.modals.camp.tree, side_a)
+					ProbeUiUtil.push_click(main, side_a)   # 真点先手压制（B→A 回切）
+					await get_tree().process_frame
+					var iso_fk2 = load("res://core/save_manager.gd").new("user://smoke_click_probe_camp_slot_1.json")
+					iso_fk2.load_from_disk()
+					if String(iso_fk2.meta_state.tree_state().fork_sides.get("fg_posture", "")) != "a":
+						_problems.append("先手压制回切未持久（reload 后激活态 != a）〔QA余 V13〕")
 			# ---- 营地灰字取色断言（迭代36 wc4——四子界面拆分后按视图分扫；卡④ T5 迁移）：
 			# 图鉴锁文→codex 视图（锚随形态订正去『柜台』）；秘宝行未解锁/同调形态/档位/刷新行→treasure 视图
 			# _workshop_holder 子树。font_color 逐处 == STONE_DEEP；树链段已闭树界面。
@@ -193,6 +237,116 @@ func _ready() -> void:
 			else:
 				ProbeUiUtil.push_click(main, treasure_back)   # 真点返回（closed 同源钮）
 			await get_tree().process_frame
+			# ---- 秘宝架扩面段（迭代 55 B5——购买10/购买25/装配/升级30 真点；钥匙门先经树购 ks_workshop 点亮）----
+			# 判据出处: design/gdd/systems/跨局循环/秘宝.md:246 （秘宝匣柜台——购买/装配/升级真输入扩面组）
+			ProbeUiUtil.push_click_at(main, main.ui.modals.camp.scene.get_hotspot_rect(&"dummy").get_center())   # 木桩→树界面
+			await get_tree().process_frame
+			var ks_btn: Button = null
+			for card in main.ui.modals.camp.tree._tree_buy_btns:
+				if String(card.node_id) == "ks_workshop":
+					ks_btn = card.btn
+			if ks_btn == null:
+				_problems.append("树面 ks_workshop 购买钮缺失（秘宝架扩面前置中断）〔QA余 V13〕")
+			else:
+				await ProbeUiUtil.scroll_button_into_view(main, main.ui.modals.camp.tree, ks_btn)
+				ProbeUiUtil.push_click(main, ks_btn)   # 真点（free 行——钥匙门点亮）
+				await get_tree().process_frame
+			var ws_tree_back: Button = ProbeUiUtil.find_button(main.ui.modals.camp.tree, "返回营地")
+			if ws_tree_back != null:
+				ProbeUiUtil.push_click(main, ws_tree_back)   # 真点返回营地
+				await get_tree().process_frame
+			ProbeUiUtil.push_click_at(main, main.ui.modals.camp.scene.get_hotspot_rect(&"chest").get_center())   # 宝箱→秘宝匣（已点亮态）
+			await get_tree().process_frame
+			var tview = main.ui.modals.camp.treasure
+			iso_c.meta_state._add_keystone(9999)
+			tview.refresh_camp(main._camp_data())
+			await get_tree().process_frame
+			var buy10: Button = null
+			var buy25: Button = null
+			for c in tview.find_children("*", "Button", true, false):
+				var cb := c as Button
+				if cb.text.begins_with("购买 10") and not cb.disabled and buy10 == null:
+					buy10 = cb
+				if cb.text.begins_with("购买 25") and not cb.disabled and buy25 == null:
+					buy25 = cb
+			if buy10 == null:
+				_problems.append("秘宝架「购买 10」钮缺失或置灰（真输入可达性失守）〔QA余 V13〕")
+			else:
+				var bal10: int = iso_c.meta_state.keystone_balance()
+				await ProbeUiUtil.scroll_button_into_view(main, tview, buy10)
+				ProbeUiUtil.push_click(main, buy10)   # 真点购买 10
+				await get_tree().process_frame
+				if int(iso_c.meta_state.keystone_balance()) != bal10 - 10:
+					_problems.append("秘宝购买 10 未出账（%d→%d 应 −10）〔QA余 V13〕" % [bal10, iso_c.meta_state.keystone_balance()])
+			if buy25 == null:
+				_problems.append("秘宝架「购买 25」钮缺失或置灰（真输入可达性失守）〔QA余 V13〕")
+			else:
+				var bal25: int = iso_c.meta_state.keystone_balance()
+				await ProbeUiUtil.scroll_button_into_view(main, tview, buy25)
+				ProbeUiUtil.push_click(main, buy25)   # 真点购买 25
+				await get_tree().process_frame
+				if int(iso_c.meta_state.keystone_balance()) != bal25 - 25:
+					_problems.append("秘宝购买 25 未出账（%d→%d 应 −25）〔QA余 V13〕" % [bal25, iso_c.meta_state.keystone_balance()])
+			# 装配/升级段前重开视图（_refresh_attune_segment 的 unlocked 快照仅随 rebuild 刷新——
+			# 购后不重开则新解锁件的装配钮恒禁用；重开=全量重建，快照与解锁集对齐）
+			var ws_back_mid: Button = ProbeUiUtil.find_button(main.ui.modals.camp.treasure, "返回营地")
+			if ws_back_mid != null:
+				ProbeUiUtil.push_click(main, ws_back_mid)
+				await get_tree().process_frame
+			ProbeUiUtil.push_click_at(main, main.ui.modals.camp.scene.get_hotspot_rect(&"chest").get_center())
+			await get_tree().process_frame
+			tview = main.ui.modals.camp.treasure
+			var attune_entry: Dictionary = {}
+			for a in tview._attune_btns:
+				if not (a["btn"] as Button).disabled:
+					attune_entry = a
+					break
+			if attune_entry.is_empty():
+				_problems.append("秘宝架「装配」钮缺失或全置灰（解锁后应可装）〔QA余 V13〕")
+			else:
+				await ProbeUiUtil.scroll_button_into_view(main, tview, attune_entry["btn"])
+				ProbeUiUtil.push_click(main, attune_entry["btn"])   # 真点装配（toggle_attunement 写口）
+				await get_tree().process_frame
+				if not (iso_c.meta_state.attune_state().equipped as Array).has(String(attune_entry["item_id"])):
+					_problems.append("秘宝装配落点失守（%s 未入装配集）〔QA余 V13〕" % String(attune_entry["item_id"]))
+			if tview._refresh_btn == null or tview._refresh_btn.disabled:
+				_problems.append("秘宝架「升级」钮缺失或置灰（Y 刷新升级行可达性失守）〔QA余 V13〕")
+			else:
+				var bal_y: int = iso_c.meta_state.keystone_balance()
+				var ylvl0: int = int(iso_c.meta_state.attune_state().refresh_level)
+				await ProbeUiUtil.scroll_button_into_view(main, tview, tview._refresh_btn)
+				ProbeUiUtil.push_click(main, tview._refresh_btn)   # 真点升级（attune_refresh 同账写口）
+				await get_tree().process_frame
+				if int(iso_c.meta_state.attune_state().refresh_level) != ylvl0 + 1:
+					_problems.append("秘宝升级落点失守（refresh_level %d→%d）〔QA余 V13〕" % [ylvl0, int(iso_c.meta_state.attune_state().refresh_level)])
+				if int(iso_c.meta_state.keystone_balance()) >= bal_y:
+					_problems.append("秘宝升级未出账（%d→%d）〔QA余 V13〕" % [bal_y, iso_c.meta_state.keystone_balance()])
+			var ws_back2: Button = ProbeUiUtil.find_button(main.ui.modals.camp.treasure, "返回营地")
+			if ws_back2 != null:
+				ProbeUiUtil.push_click(main, ws_back2)   # 真点返回（关闭后交还布告板段）
+				await get_tree().process_frame
+			# 树面购买 30 档（ks_refresh——前置 ks_workshop 已随秘宝段点亮；同账路由购 L2 扣 60）
+			ProbeUiUtil.push_click_at(main, main.ui.modals.camp.scene.get_hotspot_rect(&"dummy").get_center())
+			await get_tree().process_frame
+			var ks30_btn: Button = null
+			for card in main.ui.modals.camp.tree._tree_buy_btns:
+				if String(card.node_id) == "ks_refresh":
+					ks30_btn = card.btn
+			if ks30_btn == null:
+				_problems.append("树面 ks_refresh 购买钮缺失（30 档扩面驱动中断）〔QA余 V13〕")
+			elif ks30_btn.disabled:
+				_problems.append("树面 ks_refresh 购买钮置灰（ks_workshop 点亮后仍不可达）〔QA余 V13〕")
+			else:
+				var bal30: int = iso_c.meta_state.keystone_balance()
+				await ProbeUiUtil.scroll_button_into_view(main, main.ui.modals.camp.tree, ks30_btn)
+				ProbeUiUtil.push_click(main, ks30_btn)   # 真点购买 30（同账路由——L2 档扣 60）
+				await get_tree().process_frame
+				if int(iso_c.meta_state.keystone_balance()) != bal30 - 60:
+					_problems.append("树面 ks_refresh 购买未出账（%d→%d 应 −60）〔QA余 V13〕" % [bal30, iso_c.meta_state.keystone_balance()])
+			var tree_back3: Button = ProbeUiUtil.find_button(main.ui.modals.camp.tree, "返回营地")
+			if tree_back3 != null:
+				ProbeUiUtil.push_click(main, tree_back3)
+				await get_tree().process_frame
 			ProbeUiUtil.push_click_at(main, main.ui.modals.camp.scene.get_hotspot_rect(&"board").get_center())   # 布告板→图鉴占位（锁文宿主）
 			await get_tree().process_frame
 			var codex_labels: Array = []
@@ -209,6 +363,38 @@ func _ready() -> void:
 			else:
 				ProbeUiUtil.push_click(main, codex_back)   # 真点返回（closed 同源钮）
 			await get_tree().process_frame
+		# ---- 营地 Esc 浮窗设置动线（迭代 55 B5——Esc 真键唤起浮窗→设置钮真点开设置层）----
+		# 判据出处: design/ux/camp.md:45 （Esc 段组——三出口真输入扩面）
+		var esc_ev := InputEventKey.new()
+		esc_ev.keycode = KEY_ESCAPE
+		esc_ev.physical_keycode = KEY_ESCAPE
+		esc_ev.pressed = true
+		main.get_viewport().push_input(esc_ev, true)   # 真键（营地根态——screen_flow 同款合成路径）
+		await get_tree().process_frame
+		if not main.ui.modals.camp.esc_overlay.visible:
+			_problems.append("营地 Esc 真键未唤起浮窗（扩面驱动中断）〔QA余 V13〕")
+		else:
+			var esc_settings: Button = main.ui.modals.camp.esc_overlay._settings_btn
+			if esc_settings == null:
+				_problems.append("Esc 浮窗「设置」钮缺失〔QA余 V13〕")
+			else:
+				ProbeUiUtil.push_click(main, esc_settings)   # 真点设置（settings_requested 三出口之一）
+				await get_tree().process_frame
+				if not main.ui.modals.menu.settings_overlay.visible:
+					_problems.append("Esc 浮窗「设置」真点击未开设置层（落点判定失守）〔QA余 V13〕")
+				var esc_set_close: Button = ProbeUiUtil.find_button(main.ui.modals.menu.settings_overlay, "返回", "prefix")
+				if esc_set_close != null:
+					ProbeUiUtil.push_click(main, esc_set_close)   # 真点返回收设置层
+					await get_tree().process_frame
+		if main.ui.modals.camp.esc_overlay.visible:
+			var esc_ev2 := InputEventKey.new()
+			esc_ev2.keycode = KEY_ESCAPE
+			esc_ev2.physical_keycode = KEY_ESCAPE
+			esc_ev2.pressed = true
+			main.get_viewport().push_input(esc_ev2, true)   # 再按 Esc 关浮窗（同键单义切换）
+			await get_tree().process_frame
+			if main.ui.modals.camp.esc_overlay.visible:
+				_problems.append("再按 Esc 未关浮窗（扩面收口失守）〔QA余 V13〕")
 		main._on_camp_closed()   # 关层收闭（营地与选档层同收＋开始层恢复——卡④ T3）
 		await get_tree().process_frame
 		if main.ui.modals.camp.scene.visible or not main.ui.screens.start_overlay.visible:
@@ -341,7 +527,7 @@ func _ready() -> void:
 			if motion_btn == null:
 				_problems.append("设置面减动效开关缺失")
 			else:
-				motion_btn.button_pressed = false   # off=快速（减动效开）
+				ProbeUiUtil.push_click(main, motion_btn)   # 真点拨杆（迭代 55 B5 扩面——原 button_pressed 直改绕过真输入命中面；off=快速）
 				await get_tree().process_frame
 				if UiKit.motion_scale != 0.5:
 					_problems.append("减动效开未生效（motion_scale != 0.5）")
@@ -349,10 +535,24 @@ func _ready() -> void:
 				chk.load_settings()
 				if not chk.reduced_motion:
 					_problems.append("减动效开未持久化（设置独立存储失守——卡④ AC⑤）")
-				motion_btn.button_pressed = true   # on=完整回常态
+				ProbeUiUtil.push_click(main, motion_btn)   # 真点回完整（on=完整）
 				await get_tree().process_frame
 				if UiKit.motion_scale != 1.0:
 					_problems.append("减动效关未恢复（motion_scale != 1.0）")
+			# 全屏拨杆真输入段（迭代 55 B5 扩面——settings 两枚 switch_toggle 其二；store 态断言为准）
+			var fs_btn: Button = main.ui.modals.menu.settings_overlay._fs_btn
+			if fs_btn == null:
+				_problems.append("设置面全屏拨杆缺失〔QA余 V13〕")
+			else:
+				var fs0: bool = iso_s.fullscreen
+				ProbeUiUtil.push_click(main, fs_btn)   # 真点全屏拨杆
+				await get_tree().process_frame
+				if bool(iso_s.fullscreen) == fs0:
+					_problems.append("全屏拨杆真点击未翻转 store 态（%s→%s）〔QA余 V13〕" % [str(fs0), str(iso_s.fullscreen)])
+				ProbeUiUtil.push_click(main, fs_btn)   # 真点复原
+				await get_tree().process_frame
+				if bool(iso_s.fullscreen) != fs0:
+					_problems.append("全屏拨杆复原失守〔QA余 V13〕")
 			# 音量实时生效（卡④ AC①）：滑杆 30% → master bus db 与 store 双读
 			var vol: HSlider = main.ui.modals.menu.settings_overlay._volume
 			vol.value = 30
@@ -412,7 +612,7 @@ func _ready() -> void:
 				_problems.append("生涯页关闭后未恢复开始层")
 	# 换回全新零档（营地购买态不泄入后续冒险段——确定性；档案残留下次段首清理兜底）
 	ProbeUiUtil.isolate_save(main, "smoke_click_probe_reset", true, false, true)   # 零档换注（继续上局钮已随三入口化撤出——卡② mn8）
-	main.ui.modals.menu.debug_overlay.set_sliders(400, 200)   # 高加成保 L1 可完成——L2 岔路选路段只能经冒险推进到达（单关直入口退役）
+	main.ui.modals.menu.debug_overlay.set_sliders(2000, 2000)   # 高加成保 L1 可完成——L2 岔路选路段只能经冒险推进到达（单关直入口退役）
 	main.ui.modals.menu.debug_overlay.seed_edit.text = "42"   # 种子钉死（种子框默认为空=非首局随机，行为走查确定性禁依赖默认分支）
 	var t1 := Time.get_ticks_msec()
 	main._start_adventure_from_menu()
@@ -451,7 +651,17 @@ func _ready() -> void:
 		action_budget -= 1
 		await get_tree().process_frame
 		if main.ui.modals.run.node_overlay.visible:
-			ProbeUiUtil.push_click(main, main.ui.modals.run.node_overlay._btn)
+			# 节点继续一次性落点断言（迭代 55 B5 扩面——休息停点真输入继续，落点=overlay 关闭回到战斗屏）
+			if not _tested_node_continue:
+				_tested_node_continue = true
+				if not main.ui.flow.locks_input():
+					_problems.append("节点信息浮窗打开时输入未锁定〔QA余 V13〕")
+				ProbeUiUtil.push_click(main, main.ui.modals.run.node_overlay._btn)   # 真点「继续」
+				await get_tree().process_frame
+				if main.ui.modals.run.node_overlay.visible:
+					_problems.append("节点「继续」真点击后浮窗未关（落点判定失守）〔QA余 V13〕")
+			else:
+				ProbeUiUtil.push_click(main, main.ui.modals.run.node_overlay._btn)
 			_seals_placed.clear()
 			continue
 		if main.ui.modals.run.curio_overlay.visible:
@@ -475,6 +685,17 @@ func _ready() -> void:
 					_problems.append("奖励节点战报文案未换代（卡⑤ wr2——旧话残留或新话缺失）")
 			if not main.ui.flow.locks_input():
 				_problems.append("三选一停点打开时输入未锁定")
+			# 三选一刷新钮一次性真输入段（迭代 55 B5 扩面——重抽意图经 refresh_requested 信号走组合根
+			# on_refresh；落点=停点仍开且候选重投喂，零崩零关）
+			if not _tested_curio_refresh and main.ui.modals.run.curio_overlay._refresh_btn.visible \
+					and not main.ui.modals.run.curio_overlay._refresh_btn.disabled:
+				_tested_curio_refresh = true
+				var cards_before: int = (main.ui.modals.run.curio_overlay._bcards as Array).size()
+				ProbeUiUtil.push_click(main, main.ui.modals.run.curio_overlay._refresh_btn)   # 真点刷新图标钮
+				await get_tree().process_frame
+				if not main.ui.modals.run.curio_overlay.visible \
+						or (main.ui.modals.run.curio_overlay._bcards as Array).size() != cards_before:
+					_problems.append("三选一刷新钮真点击后停点未保持重投喂形态（落点判定失守）〔QA余 V13〕")
 			if main.ui.modals.run.curio_overlay._continue_btn.visible:
 				ProbeUiUtil.push_click(main, main.ui.modals.run.curio_overlay._continue_btn)
 			elif main.run_scope.adventure != null and not main.run_scope.adventure.stop()._node_pending.is_empty():
@@ -498,6 +719,39 @@ func _ready() -> void:
 			if shop_leave == null:
 				_problems.append("商店「离开商店」钮缺失（真输入化驱动中断）")
 			else:
+				# 商店购买+刷新一次性真输入段（迭代 55 B5 扩面——购买写口经 buy_requested 信号，
+				# 刷新经 refresh_requested→on_shop_refresh MC-1；测试通道注 GP 保可达，行为序列零依赖）
+				if not _tested_shop_buy:
+					_tested_shop_buy = true
+					var rnr_shop = main.run_scope.runner
+					if rnr_shop != null and int(rnr_shop.gp) < 500:
+						rnr_shop.gp = 500   # 测试通道：注 GP 使购买与付费刷新可达（探针行为序列不依赖本注记）
+					await get_tree().process_frame
+					var buy_btn: Button = null
+					for c in main.ui.modals.menu.shop_overlay.find_children("*", "Button", true, false):
+						var cb := c as Button
+						if cb.text.begins_with("购买") and not cb.disabled:
+							buy_btn = cb
+							break
+					if buy_btn == null:
+						_problems.append("商店「购买」钮缺失或全置灰（真输入可达性失守）〔QA余 V13〕")
+					else:
+						var gp_before: int = int(rnr_shop.gp)
+						ProbeUiUtil.push_click(main, buy_btn)   # 真点购买
+						await get_tree().process_frame
+						if int(rnr_shop.gp) >= gp_before:
+							_problems.append("商店购买真点击未出账（GP %d→%d）〔QA余 V13〕" % [gp_before, int(rnr_shop.gp)])
+					var shop_refresh: Button = main.ui.modals.menu.shop_overlay._refresh_btn
+					if shop_refresh != null and not shop_refresh.disabled:
+						var gp_r: int = int(rnr_shop.gp)
+						ProbeUiUtil.push_click(main, shop_refresh)   # 真点刷新（重抽货架）
+						await get_tree().process_frame
+						if not main.ui.modals.menu.shop_overlay.visible:
+							_problems.append("商店刷新真点击后覆盖层异常关闭（落点判定失守）〔QA余 V13〕")
+						if int(rnr_shop.gp) > gp_r:
+							_problems.append("商店刷新未出账反涨（GP %d→%d）" % [gp_r, int(rnr_shop.gp)])
+					else:
+						_problems.append("商店刷新钮缺失或置灰（MC-1 投喂可达性失守）〔QA余 V13〕")
 				ProbeUiUtil.push_click(main, shop_leave)   # 真点离店（leave_pressed 同源钮）放行选路
 			_seals_placed.clear()
 			continue
@@ -534,13 +788,21 @@ func _ready() -> void:
 					_problems.append("地图屏加成帽未换代为「属性值提升」（wa2）")
 			# 选路定向（卡⑤ d4——wa4 转正的必达前提）：候选含奖励节点优先选（真实
 			# press_candidate 命中路径零变化，只改索引策略）；无奖励候选回退交替（岔路使用率观测面保留）
+			# 迭代 55 B5 扩面——节点继续段未测时休息候选最优先（node_overlay 仅休息停点开启）
 			var pick := _route_clicks % 2
 			if main.run_scope.runner != null:
-				for nd in main.run_scope.runner.nodes():
+				if not _tested_node_continue:
-					var nd_id: int = main.run_scope.runner.node_id_of(nd)
+					for nd in main.run_scope.runner.nodes():
-					if String(nd.get("type", "")) == "reward" and main.ui.modals.run.level_screen._cand_ids.has(nd_id):
+						var nd_id_rest: int = main.run_scope.runner.node_id_of(nd)
-						pick = main.ui.modals.run.level_screen._cand_ids.find(nd_id)
+						if String(nd.get("type", "")) == "rest" and main.ui.modals.run.level_screen._cand_ids.has(nd_id_rest):
-						break
+							pick = main.ui.modals.run.level_screen._cand_ids.find(nd_id_rest)
+							break
+				if pick == _route_clicks % 2:
+					for nd in main.run_scope.runner.nodes():
+						var nd_id: int = main.run_scope.runner.node_id_of(nd)
+						if String(nd.get("type", "")) == "reward" and main.ui.modals.run.level_screen._cand_ids.has(nd_id):
+							pick = main.ui.modals.run.level_screen._cand_ids.find(nd_id)
+							break
 			ProbeUiUtil.push_click_at(main, main.ui.modals.run.level_screen.candidate_rect(pick).get_center())
 			_route_clicks += 1
 			_seals_placed.clear()
@@ -720,6 +982,54 @@ func _ready() -> void:
 	# 卡④大门 T5 接收，两头登记禁静默删除；续玩钮已退役，主菜单确认链已摘 mn6）。
 	# ① 战斗收口断点写盘断言保留（上方——冒险流直调中间态 mn10）。
 
+	# ---- 迭代 55 B5 扩面收尾段（地图放弃动线——主循环流不定达放弃，独立新局确定性驱动）----
+	# 判据出处: design/ux/level-map.md:11 （主循环选路段——放弃二击真输入组）
+	ProbeUiUtil.isolate_save(main, "smoke_click_probe_expansion", true, false, true)
+	main.ui.modals.menu.debug_overlay.set_sliders(2000, 2000)   # 高加成上限（与主循环同口径——层速推进保放弃停点快达）
+	main.ui.modals.menu.debug_overlay.seed_edit.text = "44"
+	main._start_adventure_from_menu()
+	await get_tree().process_frame
+	await get_tree().process_frame
+	var ab_guard := 4000
+	var ab_done := false
+	while ab_guard > 0 and not ab_done:
+		ab_guard -= 1
+		await get_tree().process_frame
+		if main.ui.modals.run.end_overlay.is_open():
+			break   # 败退先至——放弃动线未达（问题行呈报）
+		if main.ui.modals.run.curio_overlay.visible:
+			if main.ui.modals.run.curio_overlay._continue_btn.visible:
+				ProbeUiUtil.push_click(main, main.ui.modals.run.curio_overlay._continue_btn)
+			elif main.run_scope.adventure != null and not main.run_scope.adventure.stop()._node_pending.is_empty():
+				ProbeUiUtil.push_click_at(main, (main.ui.modals.run.curio_overlay._bcards[0] as Control).get_global_rect().get_center())
+				await get_tree().process_frame
+				ProbeUiUtil.push_click(main, main.ui.modals.run.curio_overlay._confirm_btn)
+			else:
+				ProbeUiUtil.push_click(main, main.ui.modals.run.curio_overlay._continue_btn)
+			continue
+		if main.ui.modals.run.node_overlay.visible:
+			ProbeUiUtil.push_click(main, main.ui.modals.run.node_overlay._btn)
+			continue
+		if main.ui.modals.run.level_screen.visible:
+			var ab_btn: Button = ProbeUiUtil.find_button(main.ui.modals.run.level_screen, "放弃", "prefix")
+			if ab_btn != null:
+				ProbeUiUtil.push_click(main, ab_btn)   # 真点「放弃」一击（3s 确认窗）
+				await get_tree().process_frame
+				ProbeUiUtil.push_click(main, ab_btn)   # 真点二击确认（窗内）
+				for i in 10:
+					await get_tree().process_frame
+				if main.ui.modals.run.end_overlay.is_open():
+					print("[click_probe] 放弃动线落点=终局面（地图放弃真输入）")
+				else:
+					_problems.append("放弃二击后未达终局面（落点判定失守）〔QA余 V13〕")
+				ab_done = true
+	if not ab_done:
+		_problems.append("扩面收尾段放弃动线未达（guard 耗尽或败退先至）〔QA余 V13〕")
+	# 终局面返回开始菜单（大门段菜单前提归位——句柄沿断点段同源 _btn，文本查找零命中实证）
+	if main.ui.modals.run.end_overlay.is_open() and main.ui.modals.run.end_overlay._btn != null:
+		ProbeUiUtil.push_click(main, main.ui.modals.run.end_overlay._btn)   # 真点「返回」（_btn=继续/返回共用句柄——断点段同款）
+		await get_tree().process_frame
+
 	# ---- 大门两分支断言段（卡④ T5 接收——卡② 移交落点；V3 断言面）----
 	# 判据出处: design/ux/camp.md:16 （大门段——点大门先出确认组）
 	# 驱动=营地场景根点选信号（真实路由）→组合根 _on_camp_object_pressed→确认弹窗。
@@ -906,7 +1216,15 @@ func _run_modal_probes_once() -> void:
 ", "|"))
 		if not legend_has_seal:
 			_problems.append("图例缺『封印』格态条目（格态图例基线）")
-		main.ui.modals.run.legend_overlay.close()
+		# 图例关闭走真输入关闭钮（迭代 55 B5 扩面——原 .close() 函数直调绕过关闭钮命中面；
+		# 本函数为主循环内同步调用（协程化会与主循环双分派竞态）——push_click 的 release
+		# 同帧触发关闭处理器，断言同帧读数，零 await）
+		var legend_close_btn: Button = ProbeUiUtil.find_button(main.ui.modals.run.legend_overlay, "关闭")
+		if legend_close_btn == null:
+			_problems.append("图例「关闭」钮缺失（真输入关闭路径驱动中断）〔QA余 V13〕")
+			main.ui.modals.run.legend_overlay.close()
+		else:
+			ProbeUiUtil.push_click(main, legend_close_btn)   # 真点「关闭」收图例
 		if main.ui.modals.run.legend_overlay.is_open() or main.ui.flow.locks_input():
 			_problems.append("图例关闭后未恢复输入/可见性")
 	# ②/②b 明细回看模态无探针（M9/P-C7——冒险中回看归「生涯」，06 登记）
@@ -1001,6 +1319,13 @@ func _run_modal_probes_once() -> void:
 					_problems.append("状态槽 tooltip 未随移出隐藏")
 				break
 	# ④ 弃图刷新确认链（pattern 7 异位：确认 chips 与常规确认不同位 + 显式代价文案）
+	# 迭代 55 B5 扩面——确定性前置：RAP 不足时经 grant_reserve_ap 注足（测试通道——探针行为序列
+	# 不依赖本注记；零注记时本链只在停手转存积累 RAP≥8 的偶发轮触发=覆盖不稳定实证）
+	if not _tested_refresh_chain and main.run_scope.settlement != null \
+			and main.run_scope.settlement.action_economy.phase == "Active" \
+			and not main.run_scope.settlement.can_refresh() \
+			and int(main.run_scope.settlement.action_economy.rap) < 8:
+		main.run_scope.settlement.action_economy.grant_reserve_ap(8 - int(main.run_scope.settlement.action_economy.rap))
 	if not _tested_refresh_chain and main.ui.battle.board_zone.ap_bar.is_refresh_ready():
 		_tested_refresh_chain = true
 		var rap_before: int = int(main.run_scope.settlement.action_economy.rap)

game/tests/golden/README.md

@@ -18,7 +18,7 @@
 
 ## 时效判定纪律
 
-基线冻结于 2026-09-30；关卡视口两 Shot（lmap_entry/lmap_boss）冻结于 2026-11-05——两 Shot 面口径（只对拍入口停点与 Boss 节点）见上文现持清单行。**判定先于动作**：每代换代面（视觉/素材/布局改动）
+基线冻结于 2026-09-30；关卡视口两 Shot（lmap_entry/lmap_boss）冻结于 2026-11-05；棋盘三图 2026-11-07 换代（采集态扩型——cell_mark_overlay 六绘制域入帧，需求卡片「QA覆盖余量收口批」卡修轮 2 V14 渲染通道裁定，新帧用户过目后重制）——两 Shot 面口径（只对拍入口停点与 Boss 节点）见上文现持清单行。**判定先于动作**：每代换代面（视觉/素材/布局改动）
 跑批时先跑一次渲染闸看差异落不落在裁剪区与容差内——
 
 - **判有效**（changed 远低于 2% 阈值）：基线**留在位**，不得顺手重制；

game/tests/run_all.gd

@@ -169,6 +169,7 @@ func _suites() -> Array:
 		# 样板件占位断言跑绿没有信息量，且占据「27 套件」计数。文件保留作模板（同类先例见下 fog_lantern 摘除行）。
 		{"path": "res://tests/unit/data_config/config_db_test.gd", "expect": 0},
 		{"path": "res://tests/unit/data_config/forge_table_test.gd", "expect": 0},   # 六路线 schema 正反（V1）+特效留空（V11）+几何价格梯（V2 半边）
+		{"path": "res://tests/unit/schema_vocab_violation_test.gd", "expect": 0},   # schema 词表违约词拒绝路径集中面（十七词族七检查——迭代 55 卡 T1〔QA余 V1〕；validate 诊断面直调非负面套件）
 		{"path": "res://tests/unit/data_config/level_gen_params_test.gd", "expect": 0},   # 参数档 schema 正反＋访问器读回（节点图生成器核心批 卡① V2〔fv2〕）
 		{"path": "res://tests/unit/data_config/config_db_fatal_oob_test.gd", "expect": 1},
 		{"path": "res://tests/unit/data_config/treasure_target_violation_test.gd", "expect": 1},   # 真视窄域护栏

game/tests/unit/battle_settlement/round_flow_skill_pool_test.gd

@@ -42,6 +42,7 @@ func _init() -> void:
 	_smoke_counter_buckets()
 	_smoke_extended_rows()
 	_smoke_enemy_buff_targets_self()
+	_check_defensive_stance_values()
 	quit(Kit.finish("round_flow_skill_pool_test"))
 
 
@@ -1156,3 +1157,69 @@ func _smoke_enemy_buff_targets_self() -> void:
 			break
 	Kit.check("蓄力施放种子可达（恰一次 cast=charge，seed=%d）" % found_seed, found_seed > 0)
 	Kit.check("敌方增益技自体落点：施放者 output 池 = 蓄力幅度（%d，实测 %d）、他敌恒 0〔个体化批 V5〕" % [emp_mag, carrier_pool], found_ok)
+
+
+# ---- G6 状态行值断言（迭代 55「QA覆盖余量收口批」T6/V9——defensive_stance 生产行：减伤/持续/叠层）----
+# 真实入口=战斗结算编排链（技能施放）：begin_battle → 压低施法者 HP 触发 desperate_guard
+#（self_hp_pct lte 35 非 latched）→ stop 推进结算 → 施放行 duration 与施法者个体状态池读数。
+# 种子狩猎沿 _smoke_enemy_buff_targets_self 同款；叠层行为=容器级再授（roll_multiplier 先例形态）。
+
+func _check_defensive_stance_values() -> void:
+# 判据出处: design/engineering/test-conventions.md:56 （判定上报通道——验证函数组）
+	var row: Dictionary = _db.combat.status_effects.row_by_id("defensive_stance")
+	Kit.check("defensive_stance 生产行值：magnitude=-25 percent／duration_settlements=2／accumulate max_stack=1〔QA余 V9〕",
+		int(row.get("magnitude", 0)) == -25 and String(row.get("unit", "")) == "percent"
+		and int(row.get("duration_settlements", 0)) == 2 and String(row.get("stack_policy", "")) == "accumulate"
+		and int(row.get("max_stack", 0)) == 1)
+	var sc_script = load("res://core/status_container.gd")
+	var found_seed := -1
+	var cast_dur := -1
+	var eff_val := 999
+	var keep_settlement = null
+	var keep_key := ""
+	for s in range(1, 401):
+		var rg = load("res://core/rng_service.gd").new()
+		rg.set_master_seed(s)
+		var settlement = load("res://core/battle_orchestrator.gd").new(_db, rg)
+		var rows: Array = []
+		settlement.step_row.connect(func(r): rows.append(r))
+		if not settlement.begin_battle({"level_index": 1, "node_depth": 3, "hero_hp": int(_db.combat.hero.max_hp)}):
+			continue
+		for turn in range(4):
+			if settlement.battle_result != "":
+				break
+			for u in settlement._enemy_system.all_enemies():
+				u.hp = mini(int(u.hp), maxi(1, int(u.max_hp) * 35 / 100))   # 测试通道：压至触发阈内（弱形式登记）
+			settlement.minesweeper.settle_batch([{"action": "stop"}])
+			if settlement.battle_result != "":
+				break
+			var cast_seen := false
+			for r in rows:
+				if String(r.get("type", "")) == "cast" and String(r.get("skill_id", "")) == "desperate_guard":
+					cast_seen = true
+					cast_dur = int(r.get("duration", -1))
+			if cast_seen:
+				for u in settlement._enemy_system.all_enemies():
+					var okey: String = sc_script.owner_key_for(u)
+					for eff in settlement._status_effects.query_active(okey):
+						if String(eff.get("effect_id", "")) == "defensive_stance":
+							found_seed = s
+							eff_val = int(eff.get("effective_value", 999))
+							keep_settlement = settlement
+							keep_key = okey
+			if found_seed > 0:
+				break
+		if found_seed > 0:
+			break
+	Kit.check("种子狩猎命中（真实链施放 desperate_guard——401 种子内）〔QA余 V9〕", found_seed > 0)
+	Kit.check("减伤==生产行值：施法者个体池 effective_value==-25（L×m·max_stack1 单层）〔QA余 V9〕", eff_val == -25)
+	Kit.check("持续==生产行值：施放行 duration==2（buff_duration 表值）〔QA余 V9〕", cast_dur == 2)
+	# 叠层行为：max_stack=1 accumulate 下容器级再授（生产 dur=行值 2）→ effective 仍单层 -25 不叠加
+	if keep_settlement != null:
+		var src := {"source_class": "enemy_action", "origin_cell": Vector2i(-1, -1), "round_index": 1}
+		Kit.check("叠层再授受理", bool(keep_settlement._status_effects.apply_effect("defensive_stance", keep_key, src)))
+		var eff2 := 999
+		for eff in keep_settlement._status_effects.query_active(keep_key):
+			if String(eff.get("effect_id", "")) == "defensive_stance":
+				eff2 = int(eff.get("effective_value", 999))
+		Kit.check("叠层行为：max_stack=1 再授后 effective_value 仍==-25（不翻倍）〔QA余 V9〕", eff2 == -25)

game/tests/unit/battle_settlement/seal_polarity_test.gd

@@ -40,6 +40,8 @@ func _init() -> void:
 	_smoke_seal_irreversible_quadrants()
 	_smoke_negative_dictionary()
 	_smoke_resource_surface()
+	_check_enemy_alert_production_row()
+	_check_ap_drain_production_row()
 	quit(Kit.finish("seal_polarity_test"))
 
 
@@ -827,3 +829,44 @@ func _smoke_resource_surface() -> void:
 
 
 # 五段全序断言（战斗结算 验收"五段全序"+ 行型封闭 10 类）：逐轮行相位序 = 授予 → 增益/减益 → 战斗 → 衰减 → 判定。
+
+
+# ---- G8 reward 行读值改断（迭代 55「QA覆盖余量收口批」T8/V12——生产行驱动兑付链，替代内联合成行主证）----
+# 现役断言（上方 action 型负向段）为内联合成行——行值变更零失败；本组读生产 reward 行对象走同一兑付链，
+# 断言真值依赖生产行值（行值变更即红）。合成行旧断言保留并存（零删除）。
+
+func _check_enemy_alert_production_row() -> void:
+# 判据出处: design/engineering/test-conventions.md:133 （真实入口断言——生产行值驱动）
+	var row: Dictionary = _db.run.reward.row_by_id("enemy_alert")
+	Kit.check("enemy_alert 生产行值：blast 负向 effect=alert power0 weight0（不入池警觉行）〔QA余 V12〕",
+		String(row.get("cell_type", "")) == "blast" and String(row.get("polarity", "")) == "negative"
+		and String(row.get("effect_id", "")) == "alert" and int(row.get("power", -1)) == 0
+		and int(row.get("weight", -1)) == 0)
+	var rg = load("res://core/rng_service.gd").new()
+	rg.set_master_seed(20261108)
+	var settlement = load("res://core/battle_orchestrator.gd").new(_db, rg)
+	Kit.check("警觉生产行驱动：战斗启动", bool(settlement.begin_battle({"level_index": 1, "node_depth": 3, "hero_hp": int(_db.combat.hero.max_hp)})))
+	settlement.reward_grant().grant_routed(row, String(row.get("polarity", "negative")),
+		{"source_class": "mine_hit", "cell": Vector2i(0, 0), "ri": 1})
+	var alert_ok := false
+	for eff_a in settlement._status_effects.query_active_side("enemy"):
+		if String(eff_a.effect_id) == String(row.get("effect_id", "")):
+			alert_ok = true
+	Kit.check("警觉兑付随生产行：effect_id=alert 状态在敌侧池（行 effect_id 变更即红）〔QA余 V12〕", alert_ok)
+
+
+func _check_ap_drain_production_row() -> void:
+# 判据出处: design/engineering/test-conventions.md:133 （真实入口断言——生产行值驱动）
+	var row: Dictionary = _db.run.reward.row_by_id("ap_drain")
+	Kit.check("ap_drain 生产行值：action 负向 power=1 weight0〔QA余 V12〕",
+		String(row.get("cell_type", "")) == "action" and String(row.get("polarity", "")) == "negative"
+		and int(row.get("power", -1)) == 1 and int(row.get("weight", -1)) == 0)
+	var rg = load("res://core/rng_service.gd").new()
+	rg.set_master_seed(20261109)
+	var settlement = load("res://core/battle_orchestrator.gd").new(_db, rg)
+	Kit.check("迟滞生产行驱动：战斗启动", bool(settlement.begin_battle({"level_index": 1, "node_depth": 3, "hero_hp": int(_db.combat.hero.max_hp)})))
+	var d0: int = settlement.action_economy.pending_ap_delta()
+	settlement.reward_grant().grant_routed(row, String(row.get("polarity", "negative")),
+		{"source_class": "mine_hit", "cell": Vector2i(0, 0), "ri": 1})
+	Kit.check("迟滞兑付随生产行：排队增量==-row.power==-1（行 power 变更即红）〔QA余 V12〕",
+		settlement.action_economy.pending_ap_delta() == d0 - int(row.get("power", 0)))

game/tests/unit/battle_settlement/variant_placement_test.gd

@@ -28,8 +28,9 @@ func _init() -> void:
 	# 套执行序沿源编排（基点 _run_core_smoke 调用序——本组套的相对序）
 	_smoke_variant_placement(1)
 	_smoke_variant_placement(2)
-	_smoke_global_variant()
+	_smoke_global_variant()   # 审计 U1 修复恢复（T7 编辑回退分支误删调用——33 条在役断言复归执行）
 	_test_pack_min_from_table()
+	_test_l3_rockfall_minedust_rows()
 	quit(Kit.finish("variant_placement_test"))
 
 
@@ -368,4 +369,82 @@ func _test_pack_min_from_table() -> void:
 			found_diff = true
 			break
 	vt.pack_min = saved_min
-	Kit.check("同种子 pack_min=3 vs 1 布置产物互异（下界进 randi_range——改值可观测）〔架构整改 V10〕", found_diff)
+	Kit.check("同种子 pack_min=3 vs 1 布置产物互异（下界进 randi_range——改值可观测）〔架构整改 V10〕", found_diff)
+
+# ---- G7 L3 变异行（迭代 55「QA覆盖余量收口批」T7/V11——rockfall／mine_dust 第三关布置与效果通道）----
+# 真实入口=变异布置段（begin_battle L3→deep_underdark 候选池→真实布置）；rockfall 效果通道=
+# 授予段地形批（on_open 兑现 flat_damage）；mine_dust=信息型遮蔽解析数据面（board.variant_ids×表行 effect）。
+
+func _test_l3_rockfall_minedust_rows() -> void:
+# 判据出处: design/gdd/systems/排雷循环/地形变异.md:63 （L3 布置段门控与效果兑现组）
+	var pool := {}
+	for r in _db.combat.variation.variant_pool(3, "deep_underdark"):
+		pool[String(r.variant_id)] = r
+	Kit.check("L3 deep_underdark 候选池含 rockfall 行（flat_damage 3·on_open）〔QA余 V11〕",
+		pool.has("rockfall") and String((pool["rockfall"] as Dictionary).get("effect", "")) == "flat_damage"
+		and int((pool["rockfall"] as Dictionary).get("effect_value", -1)) == 3)
+	Kit.check("L3 deep_underdark 候选池含 mine_dust 行（hide_number）〔QA余 V11〕",
+		pool.has("mine_dust") and String((pool["mine_dust"] as Dictionary).get("effect", "")) == "hide_number")
+	var rock_seed := -1
+	var dust_seed := -1
+	var rock_settlement = null
+	var dust_settlement = null
+	for s in range(1, 201):
+		var rg = load("res://core/rng_service.gd").new()
+		rg.set_master_seed(s)
+		var st = load("res://core/battle_orchestrator.gd").new(_db, rg)
+		if not st.begin_battle({"level_index": 3, "node_depth": 0, "hero_hp": int(_db.combat.hero.max_hp)}):
+			continue
+		var b = st.minesweeper.current_board()
+		if b == null or String(b.board_type) != "deep_underdark":
+			continue
+		var ids := {}
+		for c in b.variants.keys():
+			for vid in (b.variants[c] as Array):
+				ids[String(vid)] = true
+		if ids.has("rockfall") and rock_seed < 0:
+			rock_seed = s
+			rock_settlement = st
+		elif ids.has("mine_dust") and dust_seed < 0:
+			dust_seed = s
+			dust_settlement = st
+		if rock_seed > 0 and dust_seed > 0:
+			break
+	Kit.check("rockfall 放置可达（L3 真实布置段 variants 命中——200 种子内）〔QA余 V11〕", rock_seed > 0)
+	Kit.check("mine_dust 放置可达（同链）〔QA余 V11〕", dust_seed > 0)
+	# rockfall 效果通道：挖开变异格 → 授予段地形批兑付 flat_damage 3（伤害行 display 落石·值 3）
+	if rock_settlement != null:
+		var rows: Array = []
+		rock_settlement.step_row.connect(func(r): rows.append(r))
+		var b2 = rock_settlement.minesweeper.current_board()
+		var target := Vector2i(-1, -1)
+		for c in b2.variants.keys():
+			if not b2.is_mine(c):
+				target = c
+				break
+		Kit.check("rockfall 变异格在板（可挖）", target != Vector2i(-1, -1))
+		if target != Vector2i(-1, -1):
+			rock_settlement.minesweeper.fx_reveal(target)
+			rock_settlement.minesweeper.settle_batch([{"action": "stop"}])
+			var hit_val := -1
+			var hit_name := ""
+			for r in rows:
+				if String(r.get("type", "")) == "damage" and String(r.get("display_name", "")).contains("落石"):
+					hit_val = int(r.get("value", -1))
+					hit_name = String(r.get("display_name", ""))
+			Kit.check("rockfall 效果通道命中：挖开即伤兑付行值==3（表行 effect_value 驱动）〔QA余 V11〕",
+				hit_val == 3 and hit_name != "")
+	# mine_dust 效果通道：变异格经遮蔽解析数据面命中 hide_number 行（信息型不进结算——呈现读取）
+	if dust_settlement != null:
+		var b3 = dust_settlement.minesweeper.current_board()
+		var masked := false
+		var unmasked_clean := true
+		for c in b3.variants.keys():
+			for vid in (b3.variants[c] as Array):
+				if String(_db.combat.variation.row_by_id(String(vid)).get("effect", "")) == "hide_number":
+					masked = true
+		for c in b3.safe_cells():
+			if (b3.variants.get(c, []) as Array).is_empty() and not (b3.variant_ids(c) as Array).is_empty():
+				unmasked_clean = false
+		Kit.check("mine_dust 效果通道：变异格 hide_number 行命中（遮蔽解析数据面真值）且无变异格零遮蔽〔QA余 V11〕",
+			masked and unmasked_clean)

game/tests/unit/core/adventure_feats_test.gd

@@ -577,6 +577,7 @@ func _smoke_feats() -> void:
 			offered = true
 			break
 	Kit.check("A6 概率面存在（chance=20% 200 展示内必出现——零触发=概率面失守）", offered)
+	_check_ticket_quota_exhausted(a_t)   # A6-补 配额满分支（迭代 55 T3/V4——生产配额值驱动恒 false）
 	a_r.stop()._pending = {"candidates": [{"kind": "relic", "tier": "rare", "feat_id": "x3"}, {"kind": "gp", "tier": "common"}], "payload": {}}
 	Kit.check("relic 兑付：入持有集 + 牌库摘牌（选中踢池——池库存 %d→%d）" % [deck_relic, deck_relic - 1], a_r.stop().pick_curio("relic", "rare", "x3") and (a_r.feats_held() as Array).has("x3") and a_r.deck().pool_stock("relic") == deck_relic - 1)
 	# 断点往返三条（基点 1420–1426：relics 快照/计数器键/余库逐枚还原）按主会话裁决②改判跨系统闭环宿主——
@@ -915,3 +916,26 @@ func _fresh_rng(seed_val: int):
 func _level_active_nodes(level_index: int) -> Array:
 	var gen = NodeMapGenerator.new(_fresh_rng(42))
 	return (gen.generate(_db.run.level_gen_params.row_by_level_index(level_index), 42) as Dictionary).get("nodes", [])
+
+
+# A6-补 配额满分支（迭代 55「QA覆盖余量收口批」T3/V4）：ticket_appeared 达生产配额后恒不再出现——
+# 生产 feat_ticket_quota==2 读表驱动；保底同置满使 false 只能来自配额分支（先于概率掷点）。
+# 真实入口链 = node_curio_candidates→draw_candidates("reward_node")→feat_ticket_consider。
+func _check_ticket_quota_exhausted(a_t) -> void:
+# 判据出处: design/engineering/test-conventions.md:133 （真实入口断言——配额满分支售满后恒 false）
+	Kit.check("生产配额值在役：feat_ticket_quota==2〔QA余 V4〕", int(a_t.db.run.adventure.feat_ticket_quota) == 2)
+	a_t.stop()._deck.ticket_appeared = int(a_t.db.run.adventure.feat_ticket_quota)   # 配额满注入（A6 同款测试通道直填）
+	a_t.stop()._deck.ticket_pity = int(a_t.db.run.adventure.feat_ticket_pity_step)   # 保底同置满——false 唯一来源=配额分支
+	var rg_q: RandomNumberGenerator = a_t.rng.open_stream("reward_pick")
+	Kit.check("配额满后 consider 恒 false（保底已满仍拒——分支先于概率掷点）〔QA余 V4〕", not a_t.deck().feat_ticket_consider(rg_q))
+	for i in 3:
+		var cands: Array = (a_t.stop().node_curio_candidates().get("candidates", []) as Array)
+		var has_ticket := false
+		for cd in cands:
+			if String((cd as Dictionary).get("kind", "")) == "feat_ticket":
+				has_ticket = true
+		Kit.check("配额满后第 %d 次停点候选零专长凭证（注入链零凭证）〔QA余 V4〕" % (i + 1), not has_ticket)
+	Kit.check("配额满分支零记账（ticket_appeared 停在配额值——不随展示递增）〔QA余 V4〕",
+		int(a_t.stop()._deck.ticket_appeared) == int(a_t.db.run.adventure.feat_ticket_quota))
+	a_t.stop()._deck.ticket_appeared = 0   # 夹具还原（后续段零污染）
+	a_t.stop()._deck.ticket_pity = 0

game/tests/unit/core/meta_progression_forge_test.gd

@@ -42,6 +42,10 @@ func _init() -> void:
 	_test_blessing_no_forge_leak()
 	_test_default_axes_pre_key()
 	_test_armor_switch_dual_axes()
+	_check_ks_workshop_row()
+	_check_ks_refresh_row()
+	_check_fork_rows()
+	_check_fork_side_projection()
 	quit(Kit.finish("meta_progression_forge_test"))
 
 
@@ -56,7 +60,9 @@ const _META_SMOKE_PATHS := ["user://smoke_meta_buy.json", "user://smoke_meta_dry
 	"user://smoke_meta_career_v5.json", "user://smoke_meta_treasure_unlock.json", "user://smoke_meta_treasure_blank.json",
 	"user://smoke_meta_forge.json", "user://smoke_meta_forge2.json", "user://smoke_meta_forge3.json",
 	"user://smoke_meta_forge4.json", "user://smoke_meta_forge5.json",
-		"user://smoke_meta_reject.json", "user://smoke_meta_blessing.json", "user://smoke_meta_axesw.json"]
+		"user://smoke_meta_reject.json", "user://smoke_meta_blessing.json", "user://smoke_meta_axesw.json",
+		"user://smoke_meta_ks_workshop.json", "user://smoke_meta_ks_refresh.json",
+		"user://smoke_meta_fork_rows.json", "user://smoke_meta_fork_side.json"]
 
 
 func _meta_smoke_cleanup() -> void:
@@ -852,3 +858,115 @@ func _test_armor_switch_dual_axes() -> void:
 		return
 	Kit.check("甲型双轴：切回 light 复原（AC 10+0）且 heavy 等级保留（Lv1 不丢）〔断言补齐批 V16〕",
 		int(adr2.runner().effective_ac()) == 10 and sv.meta_state.forge_state().levels.get("heavy", 0) == 1)
+
+
+# ---- G5 天赋树行与投影断言（迭代 55「QA覆盖余量收口批」T5——ks_workshop／ks_refresh／fork 两行／侧投影＋spine 读行）----
+
+func _check_ks_workshop_row() -> void:
+# 判据出处: design/gdd/systems/跨局循环/天赋树.md:30 （钥匙门行——前置/零价/柜台展开）
+	var row: Dictionary = _db.crossrun.meta_tree.row_by_id("ks_workshop")
+	Kit.check("ks_workshop 行值：keystone 脉络 unlock 行且前置=[sp_hp]（脊柱生命第 1 级）〔QA余 V7〕",
+		String(row.get("vein", "")) == "keystone" and String(row.get("kind", "")) == "unlock"
+		and (row.get("requires", []) as Array) == ["sp_hp"])
+	Kit.check("ks_workshop 零价行值：currency=free 且 price=0（初始零购零币可点亮族）〔QA余 V7〕",
+		String(row.get("currency", "")) == "free" and int(row.get("price", -1)) == 0)
+	var sv = _meta_new_save("user://smoke_meta_ks_workshop.json")
+	var mp = load("res://core/meta_progression.gd").new(_db, sv)
+	sv.meta_state._add_keystone(1000)
+	Kit.check("前置未满足不可购（sp_hp 未点亮——钥匙门锁定）", not mp.tree_buy("ks_workshop"))
+	Kit.check("脊柱生命 L1 购买受理（前置行）", mp.tree_buy("sp_hp"))
+	Kit.check("购买前投影 level=0（锁定态行在投影）", _ks_row_level(mp, "ks_workshop") == 0)
+	var bal_pre: int = sv.meta_state.keystone_balance()
+	Kit.check("ks_workshop 购买受理（零价 free）", mp.tree_buy("ks_workshop"))
+	Kit.check("购买后投影 level=1（钥匙门开——柜台展开判据）且零币（余额差分零）",
+		_ks_row_level(mp, "ks_workshop") == 1 and int(sv.meta_state.keystone_balance()) == bal_pre)
+	_meta_smoke_cleanup()
+
+
+# 树面投影行 level 读数（_check_ks_workshop_row／_check_ks_refresh_row 共用读数面）
+func _ks_row_level(mp, node_id: String) -> int:
+	for r in (mp.tree_camp_status()["rows"] as Array):
+		if String((r as Dictionary).get("node_id", "")) == node_id:
+			return int((r as Dictionary).get("level", 0))
+	return -1
+
+
+func _check_ks_refresh_row() -> void:
+# 判据出处: design/gdd/systems/跨局循环/天赋树.md:30 （刷新升级行——同账路由与零刷新分支）
+	var row: Dictionary = _db.crossrun.meta_tree.row_by_id("ks_refresh")
+	Kit.check("ks_refresh 行值：rule 行 keystone 币 price=30 cap=2 前置=[ks_workshop]〔QA余 V7〕",
+		String(row.get("kind", "")) == "rule" and String(row.get("currency", "")) == "keystone"
+		and int(row.get("price", -1)) == 30 and int(row.get("cap", -1)) == 2
+		and (row.get("requires", []) as Array) == ["ks_workshop"])
+	var sv = _meta_new_save("user://smoke_meta_ks_refresh.json")
+	var mp = load("res://core/meta_progression.gd").new(_db, sv)
+	sv.meta_state._add_keystone(1000)
+	var bal0: int = sv.meta_state.keystone_balance()
+	Kit.check("ks_refresh 购买受理（tree_buy 同账路由→buy_attune_refresh）", mp.tree_buy("ks_refresh"))
+	Kit.check("同账写读：refresh_level=1（树上＋秘宝匣装配段双入口同一账本）", int(sv.meta_state.attune_state().refresh_level) == 1)
+	Kit.check("同账币值：扣 meta 行 L1 keystone_cost=30（非树行 price 面定夺）", int(sv.meta_state.keystone_balance()) == bal0 - 30)
+	Kit.check("树节点账零写入（同账语义——nodes 无 ks_refresh）", int(sv.meta_state.tree_state().nodes.get("ks_refresh", 0)) == 0)
+	Kit.check("第二次购买受理（L2 keystone_cost=60）", mp.tree_buy("ks_refresh") and int(sv.meta_state.attune_state().refresh_level) == 2)
+	var bal2: int = sv.meta_state.keystone_balance()
+	Kit.check("零刷新分支：L2 后再购被拒（attune_refresh_row(3) 空返——升级行族耗尽）〔QA余 V7〕", not mp.tree_buy("ks_refresh"))
+	Kit.check("零刷新分支零消费零升账", int(sv.meta_state.attune_state().refresh_level) == 2 and int(sv.meta_state.keystone_balance()) == bal2)
+	Kit.check("同账投影：树面 ks_refresh 行 level 读 Y 账本（=2）", _ks_row_level(mp, "ks_refresh") == 2)
+	_meta_smoke_cleanup()
+
+
+func _check_fork_rows() -> void:
+# 判据出处: design/gdd/systems/跨局循环/天赋树.md:30 （fork 一节点双态行——行值经购买面驱动）
+	for spec in [{"id": "fork_sense", "group": "fg_sense", "na": "锋", "nb": "守"},
+			{"id": "fork_economy", "group": "fg_economy", "na": "聚", "nb": "散"}]:
+		var row: Dictionary = _db.crossrun.meta_tree.row_by_id(String(spec["id"]))
+		Kit.check("%s 行值：fork 行 price=25 前置=[att_socket1] 组=%s〔QA余 V7〕" % [spec["id"], spec["group"]],
+			String(row.get("kind", "")) == "fork" and int(row.get("price", -1)) == 25
+			and (row.get("requires", []) as Array) == ["att_socket1"]
+			and String(row.get("fork_group", "")) == String(spec["group"]))
+		Kit.check("%s 侧名行值：name_a=%s / name_b=%s〔QA余 V7〕" % [spec["id"], spec["na"], spec["nb"]],
+			String(row.get("name_a", "")) == String(spec["na"]) and String(row.get("name_b", "")) == String(spec["nb"]))
+	var sv = _meta_new_save("user://smoke_meta_fork_rows.json")
+	var mp = load("res://core/meta_progression.gd").new(_db, sv)
+	sv.meta_state._add_keystone(1000)
+	Kit.check("同调位 1 购买受理（fork 前置行——根节点无前置）", mp.tree_buy("att_socket1"))
+	var bal0: int = sv.meta_state.keystone_balance()
+	Kit.check("fork_sense 购买受理（tree_buy_fork 真链——解锁＋默认 A 态）",
+		mp.tree_buy_fork("fork_sense") and int(sv.meta_state.tree_state().nodes.get("fork_sense", 0)) == 1
+		and String(sv.meta_state.tree_state().fork_sides.get("fg_sense", "")) == "a")
+	Kit.check("fork_economy 购买受理（同链）",
+		mp.tree_buy_fork("fork_economy") and int(sv.meta_state.tree_state().nodes.get("fork_economy", 0)) == 1
+		and String(sv.meta_state.tree_state().fork_sides.get("fg_economy", "")) == "a")
+	Kit.check("两 fork 行扣币共 50（表行 price 驱动）", int(sv.meta_state.keystone_balance()) == bal0 - 50)
+	_meta_smoke_cleanup()
+
+
+func _check_fork_side_projection() -> void:
+# 判据出处: design/gdd/systems/跨局循环/天赋树.md:30 （组侧投影与脉络行板——真实表行读出）
+	var sv = _meta_new_save("user://smoke_meta_fork_side.json")
+	var mp = load("res://core/meta_progression.gd").new(_db, sv)
+	sv.meta_state._add_keystone(1000)
+	Kit.check("投影夹具：同调位 1＋fork_economy 购买受理", mp.tree_buy("att_socket1") and mp.tree_buy_fork("fork_economy"))
+	var fg_entry: Dictionary = {}
+	for g in (mp.tree_camp_status()["fork_groups"] as Array):
+		if String((g as Dictionary).get("group", "")) == "fg_economy":
+			fg_entry = g
+	Kit.check("fg_economy 组投影在册：display_name=财富之道 owned=true active_side=a〔QA余 V7〕",
+		String(fg_entry.get("display_name", "")) == "财富之道" and bool(fg_entry.get("owned", false))
+		and String(fg_entry.get("active_side", "")) == "a")
+	var sides: Array = fg_entry.get("sides", []) as Array
+	Kit.check("侧名投影：A 侧=聚（economy_hoard）／B 侧=散（economy_spend）〔QA余 V7〕",
+		sides.size() == 2 and String((sides[0] as Dictionary).get("display_name", "")) == "聚"
+		and ((sides[0] as Dictionary).get("effects", {}) as Dictionary).has("economy_hoard")
+		and String((sides[1] as Dictionary).get("display_name", "")) == "散"
+		and ((sides[1] as Dictionary).get("effects", {}) as Dictionary).has("economy_spend"))
+	Kit.check("A 态规则键=economy_hoard（聚）", (mp.tree_rules() as Dictionary).has("economy_hoard"))
+	Kit.check("切 b 受理（零币换侧）", mp.tree_toggle_fork("fg_economy", "b"))
+	Kit.check("B 态规则键=economy_spend（散）且 A 键退场〔QA余 V7〕",
+		(mp.tree_rules() as Dictionary).has("economy_spend") and not (mp.tree_rules() as Dictionary).has("economy_hoard"))
+	var spine_names := {}
+	for r in (mp.tree_camp_status()["rows"] as Array):
+		if String((r as Dictionary).get("vein", "")) == "spine":
+			spine_names[String((r as Dictionary).get("node_id", ""))] = String((r as Dictionary).get("display_name", ""))
+	Kit.check("spine 脉络投影读行：sp_hp=生命淬炼／sp_hit=命中淬炼（生产表行名非夹具喂值）〔QA余 V7〕",
+		String(spine_names.get("sp_hp", "")) == "生命淬炼" and String(spine_names.get("sp_hit", "")) == "命中淬炼")
+	_meta_smoke_cleanup()

game/tests/unit/core/treasure_effects_test.gd

@@ -144,6 +144,7 @@ func _init() -> void:
 	ae6c.request_stop()
 	ae6c.finish_round_stop(125)
 	Kit.check_quiet(ae6c.rap == 3, "储备罐边界：3 AP→3（floor 3.75——不越参数面直改停手结算）")
+	_test_rap_transfer_row_e2e(db)   # ⑥-补 生产行 e2e（迭代 55 T2——装配链行值主证，替上文字面量路径作主证并存）
 
 	# ⑦ 巢穴预告（装板后一次报数量——明细行经 step_row 信号收集）
 	var rng7 = load("res://core/rng_service.gd").new(); rng7.set_master_seed(271)
@@ -417,3 +418,26 @@ class StubAutoInvRunner:
 		extends RefCounted
 		func query_inventory(_cb: Callable) -> Array:
 			return []
+
+
+# ⑥-补 储备罐生产行 e2e（迭代 55「QA覆盖余量收口批」T2/V5）：装配链行值主证——上文字面量路径（125 直调）
+# 保留并存；本函数断言全链依赖生产行值：add_item 入库→装配集直注（套件既定调试注入口径）→attune 参数和
+# ==行值 125→转存兑付按 grant_segment 生产入参形态（装配面读数为入参）兑现。行值变更即红。
+func _test_rap_transfer_row_e2e(db) -> void:
+# 判据出处: design/gdd/systems/跨局循环/秘宝.md:246 （秘宝逐件行为——储备罐转存率行值）
+	var inv = load("res://core/treasure_items.gd").new()
+	var got: Dictionary = inv.add_item("reserve_jar", "clear_reward", Vector2i(-1, -1), 0)
+	Kit.check_quiet(not got.is_empty() and String(got.get("item_id", "")) == "reserve_jar",
+		"储备罐 e2e：add_item 入库（真实入口——受理记录 item_id 命中）〔QA余 V5〕")
+	var rng = load("res://core/rng_service.gd").new(); rng.set_master_seed(281)
+	var ob = load("res://core/battle_orchestrator.gd").new(db, rng)
+	Kit.check_quiet(bool(ob.begin_battle({"level_index": 1, "node_depth": 0, "hero_hp": int(db.combat.hero.max_hp), "attunement": ["reserve_jar"]})),
+		"储备罐 e2e：装配集直注起战〔QA余 V5〕")
+	Kit.check_quiet(int(ob.attune_param_sum("rap_transfer_mult")) == 125,
+		"储备罐 e2e：装配→attune 参数和==生产行值 125（行值主证）〔QA余 V5〕")
+	var ae = ob.action_economy
+	var ap_left: int = int(ae.ap)
+	Kit.check_quiet(bool(ae.request_stop()), "储备罐 e2e：停手记账受理〔QA余 V5〕")
+	ae.finish_round_stop(int(ob.attune_param_sum("rap_transfer_mult")))   # grant_segment 生产入参形态（装配面读数→转存率入参）
+	Kit.check_quiet(int(ae.rap) == ap_left * 125 / 100,
+		"储备罐 e2e：转存增量==行值倍率（%d AP→RAP %d=125%% 整除口径；行值或接线变更即红）〔QA余 V5〕" % [ap_left, int(ae.rap)])

game/tests/unit/data_config/table_structure_guard_test.gd

@@ -50,6 +50,10 @@ func _init() -> void:
 	_smoke_nine_types_gp_stream()
 	_smoke_adventure_table()
 	_smoke_meta()
+	_check_settlement_pin_values()
+	_check_meta_per_level_pins()
+	_check_curio_cap_segment_pins()
+	_check_reward_row_pins()
 	quit(Kit.finish("table_structure_guard_test"))
 
 
@@ -660,3 +664,73 @@ func _test_feat_cap_required() -> void:
 	var cap_v: int = int(some_feat["cap"])
 	Kit.check("V12 cap_ok 在场行直索引读 cap（首行 %s cap=%d——零兜底路径）〔架构整改 V12〕" % [String(some_feat["feat_id"]), cap_v],
 		deck.cap_ok("relic", String(some_feat["feat_id"])) == (int(deck.taken.get("relic:" + String(some_feat["feat_id"]), 0)) < cap_v))
+
+
+# ---- G2 结算数值钉（迭代 55「QA覆盖余量收口批」T2——equivalence_ref_damage/p_perfect 钉＋p_perfect 读数活性）----
+
+func _check_settlement_pin_values() -> void:
+# 判据出处: design/engineering/test-conventions.md:119 （表值钉值——漂移即红）
+# 判据出处: design/gdd/systems/战斗循环/战斗结算.md:124 （完美第二份兑付读表——接线后该句由声称变属实）
+	var core = _db.combat.settlement.core
+	var roll = _db.combat.settlement.damage_roll
+	Kit.check("equivalence_ref_damage 钉 4（离线审计镜像 tools/clear_dominance_audit.py D_REF 同源——表值漂移即审计口径静默失效）〔QA余 V2〕",
+		int(roll.equivalence_ref_damage) == 4)
+	Kit.check("p_perfect 钉 200（完美兑付载体域 {100,200} 在役档）〔QA余 V2〕", int(core.p_perfect) == 200)
+	# 读数活性断言：注入域内另一档 p_perfect=100 → 完美兑付份数随表值变化（防「接线但弃用」死接线假绿）。
+	# 构造沿 seal_polarity 零兑付段同款（真实编排器；敌人存活首份必兑付——弱形式登记：直调 grant_clear_reward
+	# 构造完美谓词，真值在正常流由封印判定累加）。表值注入限本函数作用域、读后即还原（同进程后续断言免污染）。
+	var old_pp: int = int(core.p_perfect)
+	core.p_perfect = 100
+	var rng = load("res://core/rng_service.gd").new()
+	rng.set_master_seed(20261107)
+	var s = load("res://core/battle_orchestrator.gd").new(_db, rng)
+	var rows: Array = []
+	s.step_row.connect(func(row): rows.append(row))
+	Kit.check("活性断言构造战斗启动（level_index 1 / depth 4 / boss）", bool(s.begin_battle({"level_index": 1, "node_depth": 4, "hero_hp": 80, "hero_max_hp": 80, "node_type": "boss"})))
+	s._facts.perfect_hit_true = 1
+	s._facts.perfect_hit_false = 0
+	s.reward_grant().grant_clear_reward(1, s._facts.board_from_midround, s.perfect_sweep_earned())
+	var dmg := 0
+	for r in rows:
+		if String(r.get("type", "")) == "damage" and String(r.get("source_class", "")) == "clear_reward":
+			dmg += 1
+	Kit.check("p_perfect=100 注入 → 清图奖励单份兑付（clear_reward 伤害行 ×1——第二份不随 perfect 谓词发出）〔QA余 V2〕",
+		dmg == 1)
+	core.p_perfect = old_pp
+	Kit.check("p_perfect 表值还原 200（共享面注入窗口闭合）〔QA余 V2〕", int(_db.combat.settlement.core.p_perfect) == 200)
+
+
+# ---- G10 换算率钉（迭代 55「QA覆盖余量收口批」T2——per_level_shift_pct 三关档 6/9/1）----
+
+func _check_meta_per_level_pins() -> void:
+# 判据出处: design/engineering/test-conventions.md:119 （表值钉值——漂移即红；离线 verifier 消费端同源）
+	var pins := {"max_hp": 6, "atk": 9, "armor_class": 1}
+	for attr in pins.keys():
+		var row: Dictionary = {}
+		for r in (_db.crossrun.meta.conversion as Array):
+			if String(r.get("attr", "")) == String(attr):
+				row = r
+		Kit.check("per_level_shift_pct 钉：%s==%d（换算率三关档——balance_verifier CONVERSION 同源）〔QA余 V16〕" % [String(attr), int(pins[attr])],
+			not row.is_empty() and int(row.get("per_level_shift_pct", -1)) == int(pins[attr]))
+
+
+# ---- G3 cap 段七槽钉值（迭代 55「QA覆盖余量收口批」T3——与 gp/attack 同款占位形态）----
+
+func _check_curio_cap_segment_pins() -> void:
+# 判据出处: design/engineering/test-conventions.md:119 （表值钉值——漂移即红）
+	for kind in ["ap", "armor", "heal", "max_hp", "rap", "refresh", "time_sand"]:
+		Kit.check("curio_cap 七槽钉值：%s==99（案②提前退役占位——99=实质无上限，实数归调参批）〔QA余 V3〕" % kind,
+			int(_db.run.adventure.curio_cap(String(kind))) == 99)
+
+
+# ---- G8 reward stacks 行钉（迭代 55「QA覆盖余量收口批」T8——生产行 stacks 值面，合成行键未读生产行的缺口补钉）----
+
+func _check_reward_row_pins() -> void:
+# 判据出处: design/engineering/test-conventions.md:119 （表值钉值——漂移即红）
+	Kit.check("reward 行扫描面非空（18 行在册——防空表静默绿）", (_db.run.reward.rows as Array).size() > 0)
+	var stacks_drift: Array[String] = []
+	for row in _db.run.reward.rows:
+		if int(row.get("stacks", 1)) != 1:
+			stacks_drift.append(String(row.get("reward_id", "")))
+	Kit.check("reward 生产行 stacks 全 1（schema 缺省值面——合成行 stacks 键的行值主证；行值面变更须自觉换代本钉）〔QA余 V8〕",
+		stacks_drift.is_empty())

game/tests/unit/presentation/stage_background_test.gd

@@ -37,6 +37,8 @@ func _run() -> void:
 	await _test_background_fallback()
 	await _test_ground_layer_geometry()
 	_test_beams_retired()
+	_test_ap_bar_height_from_table()
+	_test_log_band_settle_height()
 	quit(Kit.finish("stage_background_test"))
 
 
@@ -170,3 +172,30 @@ func _test_beams_retired() -> void:
 	var usrc := uf.get_as_text() if uf != null else ""
 	Kit.check("菜单斜光带 beams_rect 仍在（不在退役面）〔舞台背景 V5〕",
 		usrc.contains("beams_rect"))
+
+
+# ---- G4 布局字段断言（迭代 55「QA覆盖余量收口批」T4——AP 条高/结算带高经生产读点读表装配）----
+
+func _test_ap_bar_height_from_table() -> void:
+# 判据出处: design/ux/battle.md:124 （D 区 AP 条高读 ap_bar_h）
+# 判据出处: design/ux/battle.md:118 （分区几何唯一事实源=battle_layout.tres——文档不复写数值）
+	var layout = load("res://data/tables/battle_layout.tres")
+	var bar = load("res://presentation/views/ap_bar_view.gd").new(layout)
+	root.add_child(bar)
+	Kit.check("AP 条高读表装配：视图几何==ap_bar_h==44（生产读点 ApBarView._init 经 layout.ap_bar_h）〔QA余 V6〕",
+		int(bar.custom_minimum_size.y) == 44 and int(layout.ap_bar_h) == 44)
+	bar.queue_free()
+
+
+func _test_log_band_settle_height() -> void:
+# 判据出处: design/ux/battle.md:122 （结算明细带挖掘期收起读 log_band_h_dig、结算期展开读 log_band_h_settle）
+# 判据出处: design/ux/battle.md:118 （分区几何唯一事实源=battle_layout.tres——文档不复写数值）
+	var layout = load("res://data/tables/battle_layout.tres")
+	var log_view = load("res://presentation/views/battle_log_view.gd").new(null, layout)
+	root.add_child(log_view)
+	Kit.check("结算带缺省 dig 态几何==log_band_h_dig（收起摘要形态）〔QA余 V6〕",
+		int(log_view.custom_minimum_size.y) == int(layout.log_band_h_dig))
+	log_view.set_mode("settle")
+	Kit.check("结算带 settle 态几何==log_band_h_settle==84（生产读点 BattleLogView._init 经 layout.log_band_h_settle）〔QA余 V6〕",
+		int(log_view.custom_minimum_size.y) == 84 and int(layout.log_band_h_settle) == 84)
+	log_view.queue_free()

game/tests/unit/schema_vocab_violation_test.gd

@@ -0,0 +1,169 @@
+# tests/unit/schema_vocab_violation_test.gd — schema 词表违约词的拒绝路径集中断言面（迭代 55「QA覆盖余量收口批」T1/V1）
+# 覆盖：十七违约词族七检查——①empty_table 八表空行集注入（board_gen/enemy/level/meta/reward/shop/skill/status_effect）
+#   ②settlement missing_segment／pperfect_oob／segorder_violation 三注入 ③feat＋treasure zero_flat 白名单违约注入
+#   ④meta attune_refresh_upgrade keystone_cost 越域注入 ⑤treasure use_phase 出域注入（USE_PHASES=active_dig 枚值面）
+#   ⑥board_gen solver_rules="single" frozen 拒（同钉 single_subset 冻结语义） ⑦meta_tree 彩蛋 4 行（>3）load_bearing 拒
+# 注入形态沿在役先例（meta_progression_forge_test.gd:581 同款）：load(schema).new() 新实例＋真行深拷贝注入——
+# 禁改共享 Resource（共享 Resource 池污染 Gotcha）。违约词经 validate() 诊断面直调取 errs 断言（非致命通道，
+# 不进 manifest negative 名单——本面非运行期致命路径，不触 test-conventions §5.6）。
+# 协议照单元侧惯例：extends SceneTree＋Kit.check 主通道；--script 模式无 autoload，ConfigDB 显式实例化构造注入。
+# 运行：godot --headless --path game --script res://tests/unit/schema_vocab_violation_test.gd（expect 0）
+extends SceneTree
+
+const Kit := preload("res://tests/unit/test_kit.gd")
+const ConfigDBScript := preload("res://core/config_db.gd")
+
+var _db
+
+
+func _init() -> void:
+# 判据出处: design/engineering/test-conventions.md:67 （违约词拒绝路径——validate 诊断面直调断言宿主）
+	_db = ConfigDBScript.new()
+	# 表加载失败不中止（collect_only=true——诊断在此展开，红由具体断言落，沿 guard 套件同款）
+	var load_ok: bool = _db.load_tables("res://data/tables", true)
+	if not load_ok:
+		push_error("[schema_vocab_violation_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])
+	_check_empty_tables()
+	_check_settlement_vocab()
+	_check_zero_flat_guard()
+	_check_keystone_cost_domain()
+	_check_use_phase_domain()
+	_check_solver_frozen()
+	_check_meta_tree_load_bearing()
+	quit(Kit.finish("schema_vocab_violation_test"))
+
+
+# errs 数组按 category（可选 message 子串）命中判定
+func _has(errs: Array, cat: String, needle: String = "") -> bool:
+	for e in errs:
+		if String(e["category"]) != cat:
+			continue
+		if needle == "" or String(e["message"]).contains(needle):
+			return true
+	return false
+
+
+# ---- ① empty_table 八表空行集注入（fresh 新实例 rows/行族全空）----
+
+func _check_empty_tables() -> void:
+# 判据出处: design/engineering/test-conventions.md:67 （空表违约词拒绝路径——validate 诊断面直调取 errs）
+	var schemas := {
+		"board_gen": "res://data/schemas/board_gen_table.gd",
+		"enemy": "res://data/schemas/enemy_table.gd",
+		"level": "res://data/schemas/level_table.gd",
+		"meta": "res://data/schemas/meta_table.gd",
+		"reward": "res://data/schemas/reward_table.gd",
+		"shop": "res://data/schemas/shop_table.gd",
+		"skill": "res://data/schemas/skill_table.gd",
+		"status_effect": "res://data/schemas/status_effect_table.gd",
+	}
+	for table_name in schemas.keys():
+		var t = load(String(schemas[table_name])).new()
+		Kit.check("G1-① 空表注入被拒：%s validate() errs 含 empty_table〔QA余 V1〕" % table_name,
+			_has(t.validate(), "empty_table"))
+
+
+# ---- ② settlement 三注入（missing_segment／pperfect_oob／segorder_violation）----
+
+func _check_settlement_vocab() -> void:
+# 判据出处: design/engineering/test-conventions.md:67 （settlement 三违约词拒绝路径——validate 诊断面直调取 errs）
+	# missing_segment：fresh 新实例 core/damage_roll 段缺失
+	var seg_missing = load("res://data/schemas/settlement_table.gd").new()
+	Kit.check("G1-② settlement 段缺失注入被拒：errs 含 missing_segment〔QA余 V1〕",
+		_has(seg_missing.validate(), "missing_segment"))
+	# pperfect_oob：真表深拷贝改 p_perfect=150（载体域 {100,200} 外——禁改共享 Resource，deep duplicate 隔离）
+	var st = (_db.combat.settlement as Resource).duplicate(true)
+	st.core.p_perfect = 150
+	Kit.check("G1-② p_perfect=150（域 {100,200} 外）注入被拒：errs 含 pperfect_oob〔QA余 V1〕",
+		_has(st.validate(), "pperfect_oob"))
+	# segorder_violation：真表深拷贝改段序（FROZEN_SEGMENT_ORDER 恒等面外）
+	var st2 = (_db.combat.settlement as Resource).duplicate(true)
+	st2.segment_order = PackedStringArray(["verdict", "buff_debuff", "combat", "decay", "grant"])
+	Kit.check("G1-② segment_order 违例注入被拒：errs 含 segorder_violation〔QA余 V1〕",
+		_has(st2.validate(), "segorder_violation"))
+
+
+# ---- ③ zero_flat 白名单违约注入（feat＋treasure 两表）----
+
+func _check_zero_flat_guard() -> void:
+# 判据出处: design/engineering/test-conventions.md:67 （零裸 flat 白名单违约词拒绝路径——validate 诊断面直调取 errs）
+	# feat：真行深拷贝＋白名单外键（ROW_KEYS 外）
+	var feat_row: Dictionary = (_db.crossrun.feats.rows[0] as Dictionary).duplicate(true)
+	feat_row["ghost_flat"] = 1
+	var ft = load("res://data/schemas/feat_table.gd").new()
+	ft.rows = [feat_row]
+	Kit.check("G1-③ feat 行键出白名单注入被拒：errs 含 zero_flat〔QA余 V1〕", _has(ft.validate(), "zero_flat"))
+	# treasure：真行深拷贝＋白名单外键（KEY_WHITELIST 外）
+	var tr_row: Dictionary = (_db.crossrun.treasure_items.rows[0] as Dictionary).duplicate(true)
+	tr_row["ghost_flat"] = 1
+	var tt = load("res://data/schemas/treasure_item_table.gd").new()
+	tt.rows = [tr_row]
+	Kit.check("G1-③ treasure 行键出白名单注入被拒：errs 含 zero_flat〔QA余 V1〕", _has(tt.validate(), "zero_flat"))
+
+
+# ---- ④ meta attune_refresh_upgrade keystone_cost 越域注入 ----
+
+func _check_keystone_cost_domain() -> void:
+# 判据出处: design/engineering/test-conventions.md:67 （keystone_cost 越域拒绝路径——validate 诊断面直调取 errs）
+	var bad: Dictionary = (_db.crossrun.meta.attune_refresh_upgrade[0] as Dictionary).duplicate(true)
+	bad["keystone_cost"] = 1000   # 域 [1,999] 外
+	var mt = load("res://data/schemas/meta_table.gd").new()
+	var bad_family: Array[Dictionary] = [bad]   # Array[Dictionary] 严格型——未类型化字面量赋值会 SCRIPT ERROR 中断
+	mt.attune_refresh_upgrade = bad_family
+	Kit.check("G1-④ meta attune_refresh_upgrade keystone_cost=1000 越域注入被拒：errs 含 domain（keystone_cost 越域）〔QA余 V1〕",
+		_has(mt.validate(), "domain", "keystone_cost 越域"))
+
+
+# ---- ⑤ treasure use_phase 出域注入（覆盖 active_dig 枚值面）----
+
+func _check_use_phase_domain() -> void:
+# 判据出处: design/engineering/test-conventions.md:67 （use_phase 出域拒绝路径——validate 诊断面直调取 errs）
+	var TT = load("res://data/schemas/treasure_item_table.gd")
+	# 枚值面钉：USE_PHASES 单元素 = active_dig（出域注入覆盖的正是该枚值面）
+	Kit.check("G1-⑤ use_phase 枚值面钉：USE_PHASES=[active_dig]〔QA余 V1〕", TT.USE_PHASES == ["active_dig"])
+	var bad: Dictionary = (_db.crossrun.treasure_items.rows[0] as Dictionary).duplicate(true)
+	bad["use_phase"] = "post_clear_x"   # 出域
+	var tt = TT.new()
+	tt.rows = [bad]
+	Kit.check("G1-⑤ treasure use_phase 出域注入被拒：errs 含 enum（use_phase 出域）〔QA余 V1〕",
+		_has(tt.validate(), "enum", "use_phase 出域"))
+
+
+# ---- ⑥ board_gen solver_rules="single" frozen 拒（同钉 single_subset 冻结语义）----
+
+func _check_solver_frozen() -> void:
+# 判据出处: design/engineering/test-conventions.md:67 （solver_rules 冻结语义拒绝路径——validate 诊断面直调取 errs）
+	# 冻结语义正证：真行（single_subset）零 frozen 违例——frozen 只拒 non-single_subset
+	var good: Dictionary = (_db.combat.board_gen.rows[0] as Dictionary).duplicate(true)
+	var bt = load("res://data/schemas/board_gen_table.gd").new()
+	var good_rows: Array[Dictionary] = [good]   # Array[Dictionary] 严格型——未类型化字面量赋值会 SCRIPT ERROR 中断
+	bt.rows = good_rows
+	Kit.check("G1-⑥ 冻结语义正证：solver_rules=single_subset 真行零 frozen 违例〔QA余 V1〕",
+		not _has(bt.validate(), "frozen"))
+	# 冻结拒：single 在 SOLVER_RULES 词表内（enum 合法）但被冻结面拒——注入仅命中 frozen 违约词
+	var bad: Dictionary = (_db.combat.board_gen.rows[0] as Dictionary).duplicate(true)
+	bad["solver_rules"] = "single"
+	var bt2 = load("res://data/schemas/board_gen_table.gd").new()
+	var bad_rows: Array[Dictionary] = [bad]
+	bt2.rows = bad_rows
+	Kit.check("G1-⑥ solver_rules=single（enum 合法、冻结面外）注入被拒：errs 含 frozen〔QA余 V1〕",
+		_has(bt2.validate(), "frozen"))
+
+
+# ---- ⑦ meta_tree 彩蛋 4 行（>3）load_bearing 注入 ----
+
+func _check_meta_tree_load_bearing() -> void:
+# 判据出处: design/engineering/test-conventions.md:67 （彩蛋上限违约词拒绝路径——validate 诊断面直调取 errs）
+	var easter: Dictionary = (_db.crossrun.meta_tree.row_by_id("easter_ley") as Dictionary).duplicate(true)
+	var mt = load("res://data/schemas/meta_tree_table.gd").new()
+	var bad_rows: Array = []
+	for i in range(4):
+		var r: Dictionary = easter.duplicate(true)
+		r["node_id"] = "easter_x%d" % i
+		bad_rows.append(r)
+	mt.rows = bad_rows
+	Kit.check("G1-⑦ meta_tree 彩蛋 4 行（>3）注入被拒：errs 含 load_bearing（彩蛋节点 4 > 3）〔QA余 V1〕",
+		_has(mt.validate(), "load_bearing", "彩蛋节点"))

game/tests/unit/schema_vocab_violation_test.gd.uid

@@ -0,0 +1 @@
+uid://ddk4k0g6tvjh8

reports/iter55-反哺点-2026-11-07.md

@@ -0,0 +1,9 @@
+# 迭代 55 反哺点清单——QA 覆盖余量收口批（2026-11-07）
+
+> 接收方：待办清单条目「QA harness 覆盖余量——B4 本体缺口与 B5 控件零命中缺口复核分流」。
+> 卡 §6 预期：零条（战斗结算.md :124「读表」句接线后由声称变属实，零文本改动义务）。
+
+**反哺点：零条。**
+
+说明：本批两项 L3 停机呈报（cell_mark_overlay 分类前提、进入下一层到达性）的裁决落点属
+B4/B5 复核记录与需求卡片面，不属 GDD/art-bible 反哺——见 `reports/iter55-实现报告-2026-11-07.md` §6。

reports/iter55-实现报告-2026-11-07.md

@@ -0,0 +1,127 @@
+# 迭代 55 实现报告——QA 覆盖余量收口批（2026-11-07）
+
+> 接收方：待办清单条目「QA harness 覆盖遗漏余量——B4 本体缺口与 B5 控件零命中缺口复核分流」（2026-11-07 登记，P0）。
+> 输入合同：`reports/需求卡片-QA覆盖余量收口批-2026-11-07.md`（零待裁点，U0＝iter 技能调用）。
+> 执行形态：整迭代单工作区（`../g-plan2-iter55`，分支 iter55），T0→T11 串行；单卡批。
+> 本报告落盘时点状态：T0–T11＋**卡修续行（轮 2 用户裁决落地，2026-11-07）**已提交施工；两项 L3 呈报已裁决落定（见 §6）；棋盘三图基线换代经用户过目；独立验收审计已落定（见 §7）——待合回。
+
+## 1. 各卡状态
+
+| 任务卡 | 状态 | 凭据（提交＋读数） |
+|---|---|---|
+| T0 开工 | 完成 | worktree 四件套齐；改前读数锚：coverage_enum 870 实体/缺口 211/62 分组 40 组带缺口（与卡逐字同）；screen_flow 探针 exit0（seen 116/hits 19 键 25 次）；ui_click 探针 exit0（seen 91/hits 30 键 43 次，停手钮已随迭代 54 修复在命中集）；单元全套件 all green（86 套件）exit0。读数入 T1 提交信息 |
+| T1 G1 违约词负面断言 | 完成 | 提交（schema_vocab_violation_test 七函数＋manifest 登记）；单件直跑 all green（19 checks）exit0 零脚本错误 |
+| T2 G2 结算钉与 p_perfect 接线 | 完成 | 提交 552bd3b6；硬编码 2↔表值 200 相等＝行为零漂移核对通过；guard 91 checks／treasure 全绿／seal 70 checks（V10 回归面 :330-401 完美双份真实流 ×2 仍绿） |
+| T3 G3 cap 七槽＋配额满 | 完成 | 提交；guard 98 checks／feats 144 checks 全绿 |
+| T4 G4 布局字段断言 | 完成 | 提交；stage_background 23 checks 全绿 |
+| T5 G5 天赋树行与投影 | 完成 | 提交；forge 182 checks 全绿 |
+| T6 G6 defensive_stance 值断言 | 完成 | 提交；round_flow 142 checks 全绿（种子狩猎真实链命中） |
+| T7 G7 L3 变异行 | 完成 | 提交；variant_placement 25 checks 全绿 |
+| T8 G8 reward 行读值改断 | 完成 | 提交；seal 76 checks／guard 100 checks 全绿 |
+| T9 B5 探针扩面＋开发面过滤＋渲染采集态核对 | 完成 | 原提交（353 行，十一组真输入全命中）＋卡修续行 cf08a4ac（登记件开发面过滤——三根解析，两探针复跑 exit0：ui_click seen 80/命中 85 次/开发面键 0，screen_flow PASS seen 107/开发面键 0）＋b5a981ef（采集态六类型注入＋逐类型读数——全入帧零缺型，探针 PASS exit0 双帧 PASS） |
+| T10 豁免登记＋对账工具面修正 | 完成 | 原提交（ontology 154＋controls 登记）＋卡修续行 cf08a4ac（scan_screens 基类分类修正＋controls 开发面 3 条删除）；coverage_enum 复跑 868 实体/缺口 163/未豁免未补测＝0；附录 C 归并口径零命中 9 键全被 controls 19 条覆盖＝0 残留 |
+| T11 产出物落位 | 完成 | 本报告＋反哺点清单＋收尾核对（§5）＋卡修续行报告同步 |
+
+## 2. 实际改动—验收对照表（结果列）
+
+| # | 需求点 | 改动 | 验收测试 | 结果 |
+|---|---|---|---|---|
+| V1 | 十七违约词拒绝路径 | 新增 `game/tests/unit/schema_vocab_violation_test.gd` 七函数＋run_all manifest 登记 | 同文件 7 函数（〔QA余 V1〕×19） | 绿（单件直跑 19 checks exit0） |
+| V2 | equivalence_ref_damage 钉 4＋p_perfect 钉 200＋读数活性 | guard＋`_check_settlement_pin_values`；reward_grant 改读 ConfigDB | 同函数 5 断言＋seal :330-401 既有段 | 绿（91 checks；活性断言 p_perfect=100 单份兑付命中；回归面双份 ×2 仍绿） |
+| V3 | cap 段七槽钉值 | guard＋`_check_curio_cap_segment_pins` | 同函数 7 断言 | 绿（98 checks） |
+| V4 | feat_ticket_quota 配额满分支 | feats＋`_check_ticket_quota_exhausted` | 同函数 6 断言（真实入口链 consider＋node_curio_candidates） | 绿（144 checks） |
+| V5 | rap_transfer_mult 行值端到端 | treasure_effects＋`_test_rap_transfer_row_e2e` | 同函数 5 断言（add_item→装配→参数和 125→转存兑付） | 绿（treasure 全绿） |
+| V6 | AP 条高/结算带高读表 | stage_background＋两函数 | 同文件 3 断言 | 绿（23 checks） |
+| V7 | 树面四行一组断言 | forge＋四函数＋`_ks_row_level` 读数面 | 同文件 12+ 断言（〔QA余 V7〕） | 绿（182 checks） |
+| V8 | reward stacks 行钉 | guard＋`_check_reward_row_pins` | 同函数 2 断言（扫描面非空前置＋全 1 钉） | 绿（100 checks） |
+| V9 | defensive_stance 值断言 | round_flow＋`_check_defensive_stance_values` | 同函数 5 断言（种子狩猎真实链＋容器级叠层） | 绿（142 checks） |
+| V10 | p_perfect 读表接线 | reward_grant.gd:416-422 改读 db.combat.settlement.core.p_perfect | V2 活性断言＋seal 既有真实流段 | 绿（行为零漂移：双份 ×2 仍绿） |
+| V11 | L3 两变异行 | variant_placement＋`_test_l3_rockfall_minedust_rows` | 同函数 6 断言（放置可达＋rockfall 兑付 3＋mine_dust 遮蔽面） | 绿（25 checks） |
+| V12 | enemy_alert/ap_drain 生产行 | seal＋两函数（生产行对象走 grant_routed 同链） | 同文件 4 断言 | 绿（76 checks） |
+| V13 | 十一动线真输入可达 | ui_click_probe 扩面（十一组）＋probe_ui_util 滚辅基准修 | 探针 `_ready` 扩面段＋放弃收尾段 | 绿（exit0 零 FAIL；十一组命中。「进入下一层」组经轮 2 用户裁出圈——开发面，见 §6 L3-2 落定） |
+| V14 | cell_mark_overlay 显示正确性（渲染通道） | board_shot_probe 采集态六类型注入与逐类型读数＋棋盘三图基线换代（b5a981ef，新帧用户过目） | `board_shot_probe.tscn` 三图采集＋渲染闸逐像素（裁剪区加严口径） | 绿（探针 PASS exit0；六类型全入帧零缺型；渲染闸本地全绿——golden 对比全过） |
+| V15 | 豁免登记对账清零 | tools/coverage_exemptions.js 登记（ontology 154＋controls 19——开发面 3 条随轮 2 改判删除） | T10 对账读数 | 绿（未豁免未补测＝0；附录 C 归并口径 controls 覆盖后残留 0） |
+| V16 | per_level_shift_pct 三关档钉 | guard＋`_check_meta_per_level_pins` | 同函数 3 断言 | 绿（91 checks 内） |
+| V17 | 开发面出圈与本体分类修正 | probe_coverage_recorder 三根过滤（cf08a4ac）＋coverage_enum scan_screens 基类分类（cf08a4ac） | 两探针复跑 seen 集开发面键 0＋coverage_enum 复跑 868 实体（cell_mark_overlay/debug_overlay 出圈） | 绿（dev_face_roots=3；ui_click skipped=708/screen_flow skipped=84；开发面键双探针 0；未豁免未补测=0） |
+
+## 3. 实现决定记录（代拍板白名单外事项备案）
+
+1. **主循环滑条 400/200→2000/2000**（探针行为参数）：基线对照实证（stash 前后各一跑）400/200 下 L1 恒败退、零 L1 完成（2026-11-06 登记件同证）；2000 下 L1 完成进 L2。原「高加成保 L1 可完成」注释在 400/200 下已失真。
+2. **probe_ui_util.scroll_button_into_view 可视基准改按钮最近 ScrollContainer 祖先**：秘宝匣 `_ws_scroll` 336px 小于窗壳面板，面板基准把裁剪区外按钮误判「在视」、真点落空（购买 25/装配/升级零命中实证）；树/秘宝两视图同修，既有树面滚点全数保持命中。
+3. **秘宝段购后重开视图**：`_refresh_attune_segment` 的 unlocked 快照仅随 rebuild 刷新（代码注释自证），购后不重开则新解锁件装配钮恒禁用——重开=全量重建对齐快照。
+4. **树面 ks_refresh（购买 30）后置到秘宝段之后**：其前置 ks_workshop 在秘宝段前段点亮（树段时序上尚未购，置灰实证一次）。
+5. **T9 缺一组的到达性结论**：进入下一层组经代码考证定为开发面（见 L3-2）。轮 2 用户裁升级为「出圈非豁免」——覆盖登记层过滤承载，controls 开发面 3 条豁免删除（cf08a4ac）。
+6. **棋盘三图基线换代**（V14 渲染通道）：采集态扩型（变异 resolver 生产同源＋真视/预读 overlay＋移除写口＋点迹/高亮定格）使 cell_mark_overlay 六绘制域全入帧；旧基线判失效（加严口径），`golden_baseline_refresh.sh` 重采集入基线——**新帧经用户过目确认**后换代，渲染闸本地复绿（golden 对比全过）。
+
+## 4. 实机目检总清单（登记不阻塞）
+
+- 探针扩面十一组动线的屏面观感（图例关闭落点、节点继续、三选一刷新重投喂、商店购买/刷新货架态、秘宝架四钮柜台态、树面高档购买与先手压制回切、弃图刷新确认 chips、地图放弃确认窗、Esc 浮窗设置、两拨杆开关态）——机器面已由真输入命中与落点断言承载，真人复看可选。
+- p_perfect 接线后完美封印双份兑付的战内表现（值零漂移——真实流回归面已绿，观感复核可选）。
+
+## 5. 收尾核对（能力行名实）
+
+- 已落地名字与能力行一致：`_check_empty_tables`／`_check_settlement_pin_values`／`_check_curio_cap_segment_pins`／`_check_meta_per_level_pins`／`_check_ticket_quota_exhausted`／`_test_rap_transfer_row_e2e`／`_check_ks_workshop_row`／`_check_fork_side_projection`／`_check_defensive_stance_values`／ui_click 扩面段——逐名 grep 在案。
+- 卡修续行回表（写卡段批 ef5d4679 已落）：能力行「控件动线扩面真输入可达」删「进入下一层」与「cell_mark 模态断言」（十一段）；新增「棋盘格面绘制显示（渲染闸棋盘三图 golden 逐像素）」行，代表用例 `board_shot_probe.gd:_ready` 已落地（采集态注入＋读数段）——名实相符。
+
+## 6. L3 停机呈报（两项；卡 §9 预授权停机点）
+
+### L3-1　cell_mark_overlay 模态断言前提不成立（V14 未落地）
+
+- **分歧点**：卡 V14/T9 要求「ui_struct_probe＋cell_mark_overlay 段：开态 visible＋遮挡物隐藏模态断言（锚 test-conventions §2 模态条款）」。
+- **代码事实**：`game/presentation/views/cell_mark_overlay.gd` 为 **RefCounted 绘制域件**（CellUnit 拆件——变异标记/徽章/封印/点迹的绘制命令持有者），无 visible 属性、无开层动线、无遮挡物语义；`tools/coverage_enum.py:45` 的 VIEW_KIND_RE 按文件名后缀 `overlay$` 将其误分类为「屏与模态」实体（B4 缺口来源）。
+- **两种读法**：①按卡字面造模态断言＝无被测面可绑，判据绑定面落空（禁自造替代证明）；②按实体本相改断言形态（实例化＋绘制旗标）＝实现期改判据（test-conventions §8.5＝上游缺陷停卡）。
+- **建议案**：B4 复核裁决改判——cell_mark_overlay 自「屏与模态真缺口」改豁免（reason=枚举器文件名误分类，实体为 CellUnit 绘制域件；封装纪律由 pres 封装扫描与能力清单承载），V14 行随卡退役；或另立卡对绘制域件立实例化断言规格。现状：豁免清单未登该 id，本体对账留 1 可见缺口（未豁免未补测=1）。
+- **待办清单回退拟稿**：条目状态「已编迭代 55」→「已写卡」（缺口=V14/进入下一层两组裁决后重写卡 §7/§8 对应行）。
+- **裁决落定（2026-11-07 用户裁，卡修轮 2）**：两处均不豁免——测试目的＝验证显示正确性，走渲染通道：V14 改指渲染闸棋盘 golden（锚 test-conventions.md:100），本体清单出圈归枚举器 scan_screens 基类分类修正（T10），采集态缺型注入＋基线换代经用户过目（b5a981ef）——V14 已落地绿。原呈报的「豁免」建议案作废（用户裁：豁免＝在范围内特批不做，出圈面不占豁免）。
+
+### L3-2　「进入下一层」动线到达性失败（T9 第十二组未落地）
+
+- **分歧点**：卡附录 C 将 inter 覆盖层「进入下一层」列为 B5 真缺口动线组（T9 驱动）。
+- **代码事实**：inter 覆盖层仅调试两层模式接线——`main.gd:360 _on_battle_finished` 头注「仅调试模式接线（冒险的关卡结束归 AdventureRunner._on_level_finished——大奖励/冒险终局分派）」；正常冒险 L1→L2 推进零该停点（本批三跑实证：L1 完成→L2 逐位进入，进入下一层键零命中）。入口钮「调试 · 连续关卡两层」本身属附录 C 开发面豁免（发布态恒隐）。
+- **两种读法**：①真缺口——经调试两层模式驱动真点（入口为开发面恒隐钮，驱动链必经豁免面）；②开发面豁免——inter 过渡屏与调试浮窗八钮同族（玩家不可达面），controls 豁免登记即收口。
+- **建议案**：按②改判开发面豁免（已登记，reason 随注）；卡附录 C 该组随裁决改判。若按①，需另立调试模式探针段规格（入口可达性前提先裁决）。
+- **待办清单回退拟稿**：同 L3-1。
+- **裁决落定（2026-11-07 用户裁，卡修轮 2）**：开发面出圈非豁免——覆盖登记件按调试面边界过滤（DebugOverlay 类型＋ui.screens.inter_overlay/debug_badge 引用单点），inter 覆盖层整层调试专用不入玩家可达宇宙；controls 开发面 3 条豁免删除（cf08a4ac）；两探针复跑开发面键 0（V17 绿）。原呈报的「豁免登记」建议案作废。
+
+## 7. 独立验收审计结果与处置
+
+- 审计报告：`reports/iter55-验收审计-2026-11-07.md`（中档深度；审计者=未参与实现的子代理）。
+- **审计结论（初版）：未通过——U1 一项硬伤**：T7 提交（8054f959）的编辑回退分支把
+  `_smoke_global_variant()` 调用行从 variant_placement_test 执行序中误删（函数体留盘成死代码，
+  33 条在役断言退出执行且全仓无第二宿主），违反卡 §4 零删除断言/§14 纯增量且零申报。
+- **处置：已修复**——调用行恢复（执行序回归 master 原序），套件复跑 all green（58 checks＝
+  原 25＋复归 33，恰合）exit0 零脚本错误；提交「iter55 审计修复」。
+- **审计结论（复验后终版＋增量轮）：通过**——E1/E2 随轮 2 用户裁决闭合（见 §6 裁决落定）；
+  增量轮（独立子代理，卡修续行两笔 cf08a4ac/b5a981ef 对照新卡 V13/V14/V15/V17）通过，无硬伤
+  无阻塞项：过滤纯减法、注入全真链、基线换代纪律四要件齐、读数三源互证；F1（README 换代戳）
+  与 F2（登记件头注措辞——注释级零行为改动）已随审计落定修正；**E3 唯一在案例外**＝controls
+  键形实例变体 17 条豁免超卡附录 C 面，随合并呈请用户追认。
+- 观察 O1＝对账叙述算术（164 缺口实例≠唯一 id 数——同 id 跨类重复，机器读数以校验脚本
+  逐 id 比对为准；卡修续行复跑实测未豁免未补测=0，与 O1 判读口径一致）。
+
+## 8. 遗留读数义务
+
+- 零 MC/verifier 义务（p_perfect 接线值相等零漂移，卡 §4 数值面零跑口径；无数值调整禁重跑在案）。
+- 远端 CI：合回后 post-merge 钩子自动全量，`tools/ci_check.sh <合并提交>` 现查（合回零等待纪律）。
+- E3 追认：controls 键形实例变体 17 条豁免（同控件重建实例的旧键形静默——各家族代表实例已真点命中）超卡附录 C 面，随合并呈请用户追认；追认不过＝该 17 条从豁免件移除、键形改造立工程批。
+
+## 9. 批内验证读数汇总（改完即测铁规凭据）
+
+| 套件/探针 | 读数 |
+|---|---|
+| 单元全套件（T0 基线） | all green（86 套件）exit0 |
+| schema_vocab_violation_test | all green（19 checks）exit0 |
+| table_structure_guard_test | all green（100 checks）exit0 |
+| adventure_feats_test | all green（144 checks）exit0 |
+| treasure_effects_test | PASS 全绿 exit0 |
+| seal_polarity_test | all green（76 checks）exit0 |
+| stage_background_test | all green（23 checks）exit0 |
+| meta_progression_forge_test | all green（182 checks）exit0 |
+| round_flow_skill_pool_test | all green（142 checks）exit0 |
+| variant_placement_test | all green（25 checks）exit0 |
+| ui_click_probe | exit0 零脚本错误零 FAIL（十一组真输入命中）；卡修续行复跑 exit0（seen 80/命中 85 次，dev_face_roots=3/skipped=708，开发面键 0） |
+| screen_flow_probe | exit0；卡修续行复跑 exit0 PASS（seen 107，dev_face_roots=3/skipped=84，开发面键 0） |
+| coverage_enum | 870 实体/缺口 211→164；卡修续行复跑 868 实体（cell_mark_overlay/debug_overlay 出圈）/缺口 163/未豁免未补测=0 |
+| 两探针并集零命中 | 116 键→controls 豁免覆盖后 0 残留；卡修续行归并口径（去尾序位＋折叠空锚段）零命中 9 键全被 controls 19 条覆盖=0 残留，开发面键 0 |
+| board_shot_probe | 卡修续行 PASS exit0（六类型全入帧：变异角标 L2×4/真视框×3/徽章 9·3·3/点迹·高亮·退色×3）；双帧比对 PASS |
+| 渲染闸 | 基线换代后本地全绿（golden 对比全过，b5a981ef） |

reports/iter55-验收审计-2026-11-07.md

@@ -0,0 +1,142 @@
+# 迭代 55 验收审计——QA 覆盖余量收口批（2026-11-07）
+
+> **审计身份**：独立验收审计（未参与本迭代实现，只读审计）。仓库 `D:\code\g-plan2-iter55`（分支 iter55，基线 master＝bb6b1726）。
+> **审计输入**：需求卡片 §8 对照表 V1–V16／§4 禁削弱申报／§16 验收档；实现报告 §2 实际对照表／§6 两项 L3 呈报；`git diff master..iter55`（10 笔提交、17 文件，逐文件读过）；测试文件本体与探针文件本体。
+> **验收档：中**（test-conventions §8.7 中档）。**实际执行深度**：对照表逐行全量核对（16/16，逐行 grep 测试文件核实断言存在与形态，不采信实现报告「已全绿」）；判据绑定面抽查 4 行（V9/V10/V11/V12）；测试削弱逐处删行核对（全 diff 删行 19 处逐一过）；直查例外逐条沿先例核对（8 族）；**最窄测试复跑省略**＝以远端 CI 现查读数代证（合回未发生，记「待合回后 CI 代证」，见 §7）。审计动作仅只读 grep／git，未跑任何测试套件，除本报告外零文件改动。
+
+## 1. 对照表逐行核对（V1–V16 全量）
+
+| # | 结论 | 依据（审计自证，非转抄报告） |
+|---|---|---|
+| V1 | **通过** | `game/tests/unit/schema_vocab_violation_test.gd` 在库：七检查函数（`_check_empty_tables`／`_check_settlement_vocab`／`_check_zero_flat_guard`／`_check_keystone_cost_domain`／`_check_use_phase_domain`／`_check_solver_frozen`／`_check_meta_tree_load_bearing`）逐函数读毕，19 处 Kit.check（空表×8＋settlement×3＋zero_flat×2＋keystone×1＋use_phase×2＋solver×2＋load_bearing×1），〔QA余 V1〕尾缀 12 模板行全数 grep 命中；每函数带「判据出处: test-conventions.md:67」注记（卡 T1 义务）；`game/tests/run_all.gd:172` manifest 登记在案（expect=0，非负面套件，符合卡 §4 第 4 条 validate 诊断面通道）；注入形态＝`load(schema).new()`＋真行 deep duplicate（禁改共享 Resource，卡 T1 义务；严格型局部数组注释与 T1 提交的假绿修复记录一致）。真实入口＝各表 schema `validate()` 直调，零绕过。 |
+| V2 | **通过** | `table_structure_guard_test.gd:_check_settlement_pin_values`（:672 起）5 断言读毕：equivalence_ref_damage==4（含审计镜像注记）＋p_perfect==200＋p_perfect=100 活性断言（clear_reward 伤害行 ×1）＋表值还原 200＋构造启动前置。〔QA余 V2〕×4 grep 命中（构造启动为夹具断言无尾缀——报告「5 断言」口径一致）。活性断言的 `s._facts.perfect_hit_true=1` 注入与 `grant_clear_reward` 直调＝master 在役同款（`seal_polarity_test.gd` master :383-386、`feat_vouchers_test.gd` master :207-211 先例），直查例外成立（§4）。 |
+| V3 | **通过** | `_check_curio_cap_segment_pins`（:708 起）七槽 ap/armor/heal/max_hp/rap/refresh/time_sand 逐槽 `curio_cap()` 读表钉 99，〔QA余 V3〕grep 命中，与 gp/attack 既有钉同款。断言文本以槽短名引用故缺口 id 走豁免登记（`coverage_exemptions.js` cap 九槽族 reason 明示）——形态自洽。 |
+| V4 | **通过（微偏差备案）** | `adventure_feats_test.gd:_check_ticket_quota_exhausted`（:926 起）6 断言读毕：生产配额==2 读表、consider 恒 false（保底同置满排除他因）、3 次 node_curio_candidates 零凭证、分支零记账、夹具还原。〔QA余 V4〕×4 grep 命中。`_deck.ticket_appeared/ticket_pity` 直填＝同套件 master :564-573 `_deck.ticket_sold/ticket_pity` 测试通道先例同族（§4）。**微偏差**：卡 V4 真实入口栏写「`AdventureRunner.present_node_curio()` 链」，实现走 `node_curio_candidates()→draw_candidates→consider`（同链上游段）——报告 §2 已如实申报该链名，链族一致，判为备案不判缺漏。 |
+| V5 | **通过** | `treasure_effects_test.gd:_test_rap_transfer_row_e2e`（:428 起）5 断言读毕：add_item 入库→装配直注起战→`attune_param_sum==125`（生产行值主证）→停手转存按 grant_segment 生产入参形态兑付。字面量 125 旧路径**保留并存**（diff 纯增量，:128-146 区域未触碰）——卡 T2「替字面量路径作行值主证」＋报告「保留并存」一致，零削弱。〔QA余 V5〕×5 grep 命中。 |
+| V6 | **通过** | `stage_background_test.gd:_test_ap_bar_height_from_table`／`_test_log_band_settle_height`（:181-201）3 断言读毕：视图几何==ap_bar_h==44、dig 态==log_band_h_dig、settle 态==84；生产读点经 `ApBarView._init`／`BattleLogView._init` 装配链（真实实例化＋add_child）。〔QA余 V6〕×3 grep 命中。 |
+| V7 | **通过** | `meta_progression_forge_test.gd` 四函数（:866-972）＋`_ks_row_level` 共用读数面读毕：ks_workshop 行值/零价/前置拒购/购买前后投影、ks_refresh 同账路由（tree_buy→buy_attune_refresh，扣 meta 行 L1 30 币非树 price 面）/二次购 60/零刷新分支拒＋零消费/fork 两行行值＋侧名/tree_buy_fork 真链/fg_economy 组投影＋切侧规则键换/spine 脉络读生产表行名。〔QA余 V7〕×10 模板行 grep 命中（循环模板展开后实跑断言≈30，报告「12+」为下界口径成立）。存档名册 +4 路径＝纯增量（原 3 路径保留）。 |
+| V8 | **通过** | `_check_reward_row_pins`（:726 起）2 断言：扫描面非空前置（防空表静默绿）＋生产行 stacks 全 1 钉（行值面变更即红）。〔QA余 V8〕grep 命中。 |
+| V9 | **通过** | `round_flow_skill_pool_test.gd:_check_defensive_stance_values`（:1165 起）读毕：生产行值钉（-25 percent／2 settlements／accumulate max_stack 1）＋种子狩猎 401 内真实链施放 desperate_guard（压 HP 触发 self_hp_pct——测试通道弱形式当场标注）＋个体池 effective_value==-25＋施放行 duration==2＋容器级再授不翻倍（卡 T6 明示 roll_multiplier 先例形态；master `roll_multiplier_test.gd:238-255` 同款直查先例成立）。〔QA余 V9〕×5 grep 命中。 |
+| V10 | **通过** | `reward_grant.gd:416-425` 接线读毕：`perfect_mult := int(db.combat.settlement.core.p_perfect)/100` 经 ConfigDB 既有读法（db 句柄，零自建 load），`perfect_mult>=2` 门控第二份，高光计数 `(1+(1 if second_ok else 0))` 与原 `(2 if second_ok else 1)` 在 200 档逐位同＝行为零漂移坐实；p_perfect 字面量零残留（grep 只余注释与换算）。活性断言（V2 内）＋seal :330-401 既有真实流完美双份兑付段未触碰（:331-344 现读在案）。 |
+| V11 | **通过（初版附未通过项 U1，已修复闭合——§10）** | `_test_l3_rockfall_minedust_rows`（:377 起）7 断言读毕：候选池两行值钉＋200 种子真实布置段两行放置可达＋rockfall 经 `fx_reveal`→授予段兑付行值==3（fx_reveal 直调＝master `round_flow_skill_pool_test.gd:1101` 先例）＋mine_dust 遮蔽数据面命中且无变异格零遮蔽。〔QA余 V11〕×6 grep 命中。初版发现同一提交（8054f959）移除了 `_smoke_global_variant()` 调用（U1，见 §3）——复验确认已由 857f24d5 修复闭合。 |
+| V12 | **通过** | `seal_polarity_test.gd:_check_enemy_alert_production_row`／`_check_ap_drain_production_row`（:835 起）4 断言读毕：生产行对象 `row_by_id` 直读、走 `grant_routed` 同链（master :744-774 同款直调先例）、警觉 effect_id 随生产行、迟滞排队增量==-row.power——断言真值依赖生产行值，行值变更即红。**合成行旧断言保留并存**（seal diff 纯增量，master :772-774 合成行段未触碰）——卡 §4 G8 并存申报兑现。〔QA余 V12〕×4 grep 命中。 |
+| V13 | **例外（E2）——十组落地一组未落地，呈报一致** | `ui_click_probe.gd` 扩面段逐段读毕，十组真输入＋落点断言逐段核实：图例关闭（:1200-1225 真点开层＋「关闭」钮真点，原 `.close()` 直调已改真输入——强化）、节点继续（:651-663 一次性落点断言）、三选一刷新（:698-705 落点=停点保持重投喂）、商店购买+刷新（:722-757 出账断言）、秘宝架四钮（购买10/25 出账＋装配入装配集＋升级 refresh_level+1）、树面高档三钮＋ks_refresh 30 档＋先手压制 A 侧回切（reload 持久断言）、弃图刷新确认链（:1321-1341 chips 出现＋RAP8 扣账落点）、地图放弃（:985-1027 独立新局二击落点=终局面）、Esc 真键浮窗设置（:365-390）、减动效+全屏两拨杆（:527-555 store 态断言，原 `button_pressed` 直改已改真点——强化）。〔QA余 V13〕×35 grep 命中。**进入下一层组未落地＝L3-2**（代码事实核实成立：`main.gd:360` 头注「仅调试模式接线」逐字在案，inter_overlay 仅 debug decision `next_layer` 可达——见 §5 E2）。删行九处全部为直改→真输入强化替换或备案参数改（§3）。 |
+| V14 | **例外（E1）——未落地，呈报一致** | `ui_struct_probe.gd` 零触碰（diff 无此件）＝V14 未实施，与报告 §2「未落地——L3-1」一致。代码事实核实成立：`cell_mark_overlay.gd:8` `extends RefCounted`（绘制域件，无 visible/开层动线/遮挡物语义）；`tools/coverage_enum.py:45` `VIEW_KIND_RE=(screen|overlay|panel)$` 按文件名后缀误分类坐实——L3-1 前提「模态断言无被测面可绑」成立（§5 E1）。 |
+| V15 | **通过（附例外 E3）** | `tools/coverage_exemptions.js` 程序计数：ontology 154 条（无重复 id）＋controls 22 条——与报告 §2/T10 提交「154＋22」逐字一致；头注纪律保留（人工维护/禁代码生成/reason 承载=逐族注释照抄卡附录 B）；面板消费面核实：controls 走中缀包含（`coverage_report.html:185` `k.indexOf(e)>=0`）、ontology 精确匹配（:209 `ex.includes`）——文件头注与消费语义一致。**cell_mark_overlay 未入 ontology 豁免**（grep 零命中）＝可见缺口 1，与报告 §2/§6 L3-1 口径一致；**`(root)/Button#进入下一层` 已入 controls 开发面**（随 L3 追认注记），与报告 §3.5/§6 L3-2 口径一致。**例外 E3**：controls 新增「键形实例变体」17 条中缀豁免，超出卡附录 C 豁免面（开发面 9 键＋进程终结 2 键），见 §5。T10 对账读数（缺口 211→164→可见 1；controls 116→0 残留）为实跑申报，审计未复跑——待合回后 CI 代证（§7），纸面算术观察见 §6 O1。 |
+| V16 | **通过** | `_check_meta_per_level_pins`（:694 起）三关档 max_hp 6／atk 9／armor_class 1 逐槽读表钉，〔QA余 V16〕grep 命中。 |
+
+## 2. 判据绑定面抽查（中档 ≥3 行，实抽 4 行）
+
+1. **V10 活性断言**（guard `_check_settlement_pin_values`）：从真实编排器构造进入（begin_battle 真实启动＋`_facts` 完美谓词——master seal :383 同款先例），钉在被测改动特有的提交面＝`grant_clear_reward` 内 p_perfect 读表门控；表值注入 100 后伤害行 ×1、还原 200 有闭合断言——「接线但弃用」死接线在该面必红。绑定成立。
+2. **V12 生产行兑付**（seal 两函数）：`row_by_id` 读生产 reward 行→`grant_routed` 同链兑付→断言真值随行值（effect_id/power）——行值变更即红，判据直接绑「合成行未读生产行」这一被测缺口。绑定成立。
+3. **V11 变异行效果通道**（variant_placement 新函数）：真实布置段（begin_battle L3→deep_underdark 候选池）→放置可达→fx_reveal 挖开→兑付伤害行 display 落石值==3——判据绑「L3 两行零放置零断言」缺口的放置与兑付双面。绑定成立。
+4. **V9 状态行值**（round_flow 新函数）：生产行值钉＋真实施放链（种子狩猎）＋个体池读数＋容器级再授——判据绑「defensive_stance 零值断言」缺口的行值与行为两面。绑定成立。
+
+## 3. 测试削弱检查（全 diff 删行 19 处逐一核对）
+
+删行清单（`git diff master..iter55` 全量 grep `^-`）：reward_grant ×2、probe_ui_util ×4、ui_click_probe ×9、run_all ×0（纯增）、八个测试件中七件纯增、variant_placement ×2、coverage_exemptions ×3（空数组填充＋头注扩展）。逐处结论：
+
+| 删行 | 判定 | 申报面 |
+|---|---|---|
+| reward_grant.gd `if perfect and first_ok:`／`×2` 高光行 | V10 接线替换，行为零漂移已核（§1 V10） | 卡 V10/T2 申报 ✓ |
+| probe_ui_util 滚动基准 4 行（面板基准→ScrollContainer 祖先，64px→8px 让位） | 测量面滚入参数修（代拍板白名单「滚入参数」），修因备案（秘宝匣 336px 裁剪误判） | 报告 §3.2 ✓ |
+| ui_click_probe `motion_btn.button_pressed=false/true` ×2 | 直改→`push_click` 真点，周边断言（motion_scale/持久化）保留 | 报告 §3／T9 提交 ✓（强化） |
+| ui_click_probe `set_sliders(400,200)` | 参数改 2000/2000，基线对照实证备案 | 报告 §3.1 ✓ |
+| ui_click_probe `push_click(node_overlay._btn)` | 原句保留于 else 分支，一次性段新增锁定/落点断言 | T9 ✓（强化） |
+| ui_click_probe reward 优选选路 5 行 | 原逻辑保留于回退分支，前置休息候选优先段为纯增 | T9 ✓（强化） |
+| ui_click_probe `legend_overlay.close()` | 改「关闭」钮真点，`.close()` 降为 null 守卫兜底且前置 `_problems` 呈报 | T9 提交 ✓（强化） |
+| **variant_placement `_smoke_global_variant()` 调用** | **初版未通过项 U1——已修复闭合（857f24d5，§10）**：master :31 在役调用曾被移除，函数体（:150 起）留盘成死代码——33 处 Kit.check 断言退出执行（互锁负样本③–⑦、门控三维、全局决议、Boss 兜底回落、资源面偏斜守恒/白名单/合成序、wr10 三面、确定性对拍——逐行读毕计数），断言字符串全仓 grep 无第二宿主（未搬移）。复验核对：调用行已恢复至执行序 master 原序（iter55 :30，带审计注记），套件复跑 58 checks＝原 25＋复归 33 恰合 exit0。 | 初版申报缺口：卡 §4「测试削弱零申报不发生——本批零删除断言」、§14「纯增量……零删改既有函数」、报告 §2/§3、T7 提交信息均零申报，`game/tests/README.md:90` 能力行仍列该函数为在役代表用例。修复提交（857f24d5）已逐项转记违规事实与读数，实现报告补 §7 审计结果节。 |
+| variant_placement pack_min 断言行 | EOF 缺换行符修复（同文逐字重加），非削弱 | —（无申报义务） |
+| coverage_exemptions 空数组/头注 3 行 | 豁免登记本体（V15 收件面） | 卡 T10 ✓ |
+
+**G8 并存专项**：seal 合成行旧断言（master :772-774）与 treasure 字面量路径（master :128-146）均未触碰——卡 §4「合成行旧断言一律保留」兑现。**阈值放宽**：零（8px/2000/2000 为测量与行为参数，非断言阈值，均有备案）。
+
+## 4. 直查例外核对（逐条沿先例）
+
+| 注入/直查面 | 先例（master 在役） | 判定 |
+|---|---|---|
+| `s._facts.perfect_hit_true/false` 写（V2 活性） | seal_polarity master :383-384/:398-399、feat_vouchers :207-211 | 成立 |
+| `grant_clear_reward` 直调（V2 活性） | seal_polarity master :386/:401 同款形态 | 成立 |
+| `grant_routed` 直调（V12） | seal_polarity master :744-774、level_shop_economy_test :917 | 成立 |
+| `minesweeper.fx_reveal` 直调（V11） | round_flow master :1101 | 成立 |
+| `_deck.ticket_appeared/ticket_pity` 直填（V4） | 同套件 master :564-573 `_deck.ticket_sold/ticket_pity` 测试通道同族 | 成立 |
+| `_status_effects.apply_effect/query_active` 容器级（V9 叠层） | roll_multiplier_test master :238-255（卡 T6 明示先例形态） | 成立 |
+| `meta_state._add_keystone`（探针树面注钥） | ui_click_probe master :84 既有同款（卡 T9「调试注钥」申报面） | 成立 |
+| `rnr_shop.gp = 500`（探针商店可达） | 单元侧先例 curio_refresh_paid_test :52／forge :812；探针侧为该先例族在探针面首次使用，T9 提交信息当场申报「测试通道注GP」 | 成立（备案） |
+
+## 5. 已知例外与例外面核对
+
+- **E1（L3-1，cell_mark_overlay）——申报一致性核实通过**：未落地事实（ui_struct_probe 零触碰）、代码事实（RefCounted 绘制域件、enum 后缀误分类）、报告四处口径（§1 T9 行／§2 V14／§5 名实不符／§6 呈报）、豁免面（ontology 未登记该 id＝可见缺口 1）五点互相一致。属卡 §9 预授权停机点（到达性/前提类），不算审计失败。
+- **E2（L3-2，进入下一层）——申报一致性核实通过**：代码事实核实成立（`main.gd:360` 「仅调试模式接线」头注逐字在案；inter_overlay 唯一显示点为 debug decision `next_layer` 分支）；controls 已按开发面预登记 `(root)/Button#进入下一层`（注记「随迭代 55 L3 呈报呈请追认」）；报告 §3.5/§6 与文件口径一致。属卡 §9 预授权停机点③（到达性失败），不算审计失败。
+- **E3（键形实例变体豁免面扩张）——超卡面，需用户追认**：controls 22 条中「键形实例变体」17 条（save_select 三钮／shop 购买／treasure 四钮／tree 八钮）不在卡附录 C 豁免面（开发面 9＋进程终结 2）内，亦非卡 §10 代拍板白名单或 §9 L2（reason 文案微调）可承载的裁决——附录 C 对这些键的裁决是「真缺口·动线扩面＝T9 真点命中」，不是豁免。T10 提交信息有 breakdown 申报、文件内逐族 reason 在案（键形改造归工程批另登的卡 §5 口径亦抄注），十组扩面真输入与落点断言已核实存在（§1 V13），故不判测试削弱；但该 17 条使登记件旧键形永久静默（watchdog 面收缩），属对账口径裁决，**应随两项 L3 一并呈请用户追认**；报告 §6 未将其升格列呈报点，属呈报完整性缺口。
+- **计数口径微瑕（O2）**：报告 §1 T9 行「十一组动线全数真输入命中——进入下一层组未落地」的「十一组」与卡附录 C 的 V13 十一组（含进入下一层）分组口径不同（提交信息把树面拆「树购/先手」两组凑十一）；实质事实（附录 C V13 十一组中十组落地、进入下一层未落地）两处一致，仅计数口径不一致。
+
+## 6. 观察项（不判未通过，留 CI 代证/追认）
+
+- **O1**：T10 读数纸面算术未对齐——未关联缺口 164−ontology 豁免 154＝10，与「未豁免未补测=1」差 9；豁免为精确匹配语义，纸面推不出该差值的去向。T10 为实跑读数（工具已在真实跑批中执行），判读以实跑为准，**待合回后 CI 复跑代证**；若 CI 读数≠1，按红账处置。
+- **O2**：见 §5 计数口径微瑕。
+- **O3**：卡 T10「验证：面板打开无红示警」在报告 §1 T10 行无对应读数记载（面板 reason 标红机制消费面未在报告留痕）——随 CI 批留痕即可。
+
+## 7. 最窄测试复跑——省略声明（中档）
+
+按卡 §16 与 test-conventions §8.7 中档，最窄复跑省略，以下读数以远端 CI 现查代证（合回未发生，**待合回后 CI 代证**）：单元全套件与各触碰套件绿读数、两探针 exit0 与十一组命中键清单（`game/tests/.gates/coverage/` 不入 git，命中键无法从 diff 核实）、coverage_enum 对账读数（缺口 164/可见 1/controls 0 残留）。审计对断言存在性、形态与绑定面的核实均为静态逐行自证，不依赖上述读数。
+
+## 8. 逐卡验收档与执行深度
+
+| 卡 | 验收档 | 实际执行深度 |
+|---|---|---|
+| T0 开工 | 中 | 中档——读数锚与卡逐字同（报告 §1），审计未复跑（CI 代证） |
+| T1/V1 | 中 | 中档全量——七函数逐行读毕＋manifest 核实＋先例核对 |
+| T2/V2/V10/V16 | 中 | 中档全量——接线逐行读毕＋字面量残留 grep＋回归面在案核实＋活性断言先例核对 |
+| T3/V3/V4 | 中 | 中档全量——七槽与配额满六断言逐行读毕＋直查先例核对 |
+| T4/V6 | 中 | 中档全量——两函数三断言逐行读毕 |
+| T5/V7 | 中 | 中档全量——四函数逐行读毕＋真链入口核实 |
+| T6/V9 | 中 | 中档全量（抽查行①）——值/持续/叠层三面读毕 |
+| T7/V11 | 中 | 中档全量（抽查行③）——七断言读毕；同提交删行曾坐实 U1（已由 857f24d5 修复闭合——§10） |
+| T8/V8/V12 | 中 | 中档全量（抽查行②）——生产行两面读毕＋并存申报兑现核实 |
+| T9/V13 | 中 | 中档全量——十组逐段读毕＋删行九处逐一核对；进入下一层组＝E2；hits 增键 CI 代证 |
+| T9/V14 | 中 | 中档——未落地事实与五点口径一致性核实（E1） |
+| T10/V15 | 中 | 中档——豁免件程序计数（154/22/无重复）＋消费语义核实＋两例外口径核实；工具读数 CI 代证；例外面 E3 |
+| T11 | 中 | 中档——产出物三件在案核对；名实不符申报（cell_mark 段）与 L3-1 一致；初版指出收尾核对漏列 U1 与 README 能力行 `_smoke_global_variant` 名实失守（已随 857f24d5 处置转记——§10） |
+
+## 9. 审计结论（复验后终版）
+
+**通过（E1/E2/E3 例外随 L3 裁决包处理，O1 观察在案）。**
+
+初版未通过项处置（1 项，已闭合）：
+
+1. **U1（测试削弱未申报，违卡 §4 红线）——已修复闭合**：T7 提交（8054f959）曾将 `game/tests/unit/battle_settlement/variant_placement_test.gd` 调用序中的 `_smoke_global_variant()` 移除（master :31→删行），函数体留 :150 成死代码——33 处在役断言（变异表互锁负样本、门控三维、全局决议、兜底回落、资源面偏斜守恒与合成序、wr10 接线三面、确定性对拍）退出执行且全仓无第二宿主，卡 §4「零删除断言」/§14「纯增量」零申报，README:90 能力行名实失守。**窄复验闭合（§10）**：修复提交 857f24d5 恢复调用行至执行序 master 原序（iter55 :30，带审计注记）并逐项转记违规事实；套件复跑 all green 58 checks＝原 25＋复归 33，与本审计 33 条静态计数恰合；实现报告补 §7 审计结果节如实转记初版结论。
+
+例外（3 项，均已在案，随 L3 裁决包处理）：
+
+- E1（L3-1 cell_mark_overlay 未落地）——呈报五点口径一致，待用户裁决（改豁免或另立卡）。
+- E2（L3-2 进入下一层组未落地）——呈报与豁免预登记一致，待用户追认。
+- E3（controls 键形实例变体 17 条豁免超卡附录 C 豁免面）——T10 提交信息与文件 reason 在案，报告未升格呈报，待用户随两项 L3 一并追认。
+
+观察项（2 项）：O1 对账算术纸面未对齐（164−154≠1；实现报告 §7 已补记解释口径「缺口实例数≠唯一 id 数——同 id 跨类重复，机器读数以逐 id 比对为准」，仍待 CI 复跑代证）；O2「十一组」计数口径与卡附录 C 分组不一致（实质一致）。
+
+复跑省略代证项（1 项）：最窄测试复跑省略＋V13 hits 增键＋V15 工具读数——待合回后远端 CI 现查代证。
+
+合并放行条件：U1 已闭合，本审计不再阻塞合并；E1/E2/E3 属卡 §9 预授权停机面的用户裁决事项，裁决前不落实现动作。
+
+## 10. 窄复验记录（2026-11-07，U1 修复后）
+
+复验范围（仅三项，零其余动作；只读 grep/git）：
+
+1. **调用行与提交核对**：`git show 857f24d5`（iter55 分支最新笔）——variant_placement_test.gd 单行恢复 `_smoke_global_variant()   # 审计 U1 修复恢复（T7 编辑回退分支误删调用——33 条在役断言复归执行）`，落位 :30＝`_smoke_variant_placement(2)` 与 `_test_pack_min_from_table()` 之间，与 master 原序（master :29-32）逐位同；提交信息逐项转记违规事实（卡 §4/§14）、修因（编辑回退分支误删）与读数。
+2. **读数闭合核对**：58 checks＝原 25＋复归 33——33 与本审计 §3 对 `_smoke_global_variant` 函数体的静态 Kit.check 计数（33）恰合，闭合成立。
+3. **报告补节核对**：实现报告新增 §7「独立验收审计结果与处置」——初版结论（未通过/U1）、处置（857f24d5）、例外三项与 O1 转记逐项与本报一致。
+
+附记：复验区间内分支另有一笔 4a9c844a（件核补笔）——V4 四断言补挂〔QA余 V4〕、V5 五断言补挂〔QA余 V5〕，diff 逐行核实为纯尾缀追加（断言逻辑零改动）＋复跑读数在案（adventure_feats 144／treasure 全绿 exit0），属卡 §9 L1 自救范畴，不构成削弱；本审计初版 grep 读数即含该尾缀（审计时已在工作树），初版 §1 V4/V5 行结论不受影响。
+
+## 11. 增量轮（卡修续行，2026-11-07）
+
+审计对象＝卡修轮 2（master ef5d4679 版卡片）落地续行两笔 cf08a4ac（登记件开发面过滤＋coverage_enum scan_screens 分类修正＋豁免件删开发面 3 条）与 b5a981ef（board_shot_probe 采集态六类型注入＋逐类型读数＋棋盘三图基线换代）；审计者＝未参与实现与写卡的只读子代理，全结论自读码自证（两笔 diff 逐文件读毕＋.gates 产物实测＋先例核对）。
+
+逐项结论（8 项全过，详据见子代理审计记录）：
+
+1. 提交逐文件 diff 读毕无遗漏；2. 新卡 V13/V14/V15/V17 四行与实现报告 §2 行逐格一致，读数凭据三源互证（提交信息／报告 §9／.gates 实测：dev_face_roots=3、seen 开发面键 0、868 实体缺口 163、三张 PNG 入提交）；3. cf08a4ac 零削弱（登记件纯增量 +36/−0，过滤纯减法；scan_screens 删行＝卡 T10 申报面；豁免删 3 条三处裁决申报在案）；4. b5a981ef 基线换代纪律四要件齐（显式重制/呈报/复闸/触发原因入提交信息），注入四链全真实写口或生产同源（set_treasure_overlays 生产 API、remove_mines_in 核心写口守卫前置、变异 resolver 生产同款构造、face 为每格自建实例非共享 Resource），既有双帧取证语义零削弱；5. 新函数零判定调用＝无注记义务（既有注记位自洽）；6. 过滤语义核验：三根互恰覆盖附录 C 开发面 10 键、seen 与登记同滤、null 分支只漏滤不误滤且有 seen 核对兜底；7. E3（键形实例变体 17 条）核实未处置仍在册——随合并裁决包呈请追认；8. 能力行两行与卡同文、代表用例在码。
+
+发现清单：F1（golden/README 换代戳缺——**已随本审计落定补记**）；F2（登记件头注「解析不到的根跳过并计数」措辞与实码偏差——**已随本审计落定改为注释级修正**，零行为改动、非行为改动备案）；F3＝E3 键形变体 17 条待用户追认（例外，随裁决包）；F4（报告/审计本件待落盘——收口提交承载）；F5（读数口径措辞「控件 51/命中 85 次」vs「seen 80/命中 85 次」各与 meta 语义吻合——备案）。
+
+**增量轮结论：通过——无硬伤无阻塞项，E3 例外随合并裁决包处理。**

tools/coverage_enum.py

@@ -43,6 +43,12 @@ SCHEMA_VAR_RE = re.compile(r"^@?export\s+var\s+(\w+)\s*:", re.M)
 TSCN_NODE_RE = re.compile(r'\[node name="([^"]+)"[^>]*type="(\w*Button\w*)"')
 GUI_INPUT_RE = re.compile(r"^func (_gui_input|_input)\(", re.M)
 VIEW_KIND_RE = re.compile(r"(screen|overlay|panel)$")
+EXTENDS_RE = re.compile(r"^extends\s+(\w+)", re.M)
+CLASS_NAME_RE = re.compile(r"^class_name\s+(\w+)", re.M)
+# 屏与模态按实体本相归类（QA覆盖余量收口批 2026-11-07 用户裁）：
+VIEW_NON_SCENE_BASES = {"RefCounted", "Resource"}      # 绘制域件/数据件出圈（如 cell_mark_overlay），禁文件名后缀近似
+DEV_FACE_CLASS_NAMES = {"DebugOverlay"}                # 调试浮窗按 class_name 声明出圈——开发面不入玩家可达对账宇宙
+                                                       #（登记件 probe_coverage_recorder 头注同款边界，两处单点同源）
 
 
 def scan_tables() -> list[dict]:
@@ -94,10 +100,20 @@ def scan_gui_input_classes() -> list[dict]:
 
 
 def scan_screens() -> list[dict]:
+    # 屏与模态按实体本相归类：场景节点基类才入；RefCounted/Resource 绘制域件出圈；
+    # DebugOverlay 调试浮窗出圈（判据见 DEV_FACE_CLASS_NAMES 注）。
     out: list[dict] = []
     for f in sorted((GAME / "presentation" / "views").glob("*.gd")):
-        if VIEW_KIND_RE.search(f.stem):
+        if not VIEW_KIND_RE.search(f.stem):
-            out.append({"category": "屏与模态", "id": f.stem, "id_field": "view"})
+            continue
+        text = f.read_text(encoding="utf-8", errors="replace")
+        m = EXTENDS_RE.search(text)
+        if m is not None and m.group(1) in VIEW_NON_SCENE_BASES:
+            continue
+        cm = CLASS_NAME_RE.search(text)
+        if cm is not None and cm.group(1) in DEV_FACE_CLASS_NAMES:
+            continue
+        out.append({"category": "屏与模态", "id": f.stem, "id_field": "view"})
     return out
 
 

tools/coverage_exemptions.js

@@ -1,11 +1,107 @@
 /* 覆盖豁免清单——人工维护（S13 基线人工修订同款纪律；面板与工具只读本文件，禁代码生成）。
  * 用途：登记「确认不需要真输入覆盖/不需要断言关联」的条目，B 面板对在册条目亮豁免灯、不亮缺口。
  * 形态：abilities=能力清单行「能力」列原文（精确匹配）；controls=控件登记键或其中缀（包含匹配）；
- *       ontology=本体实体 id（精确匹配）。每条必须带 reason——无理由的豁免条目面板标红示警。 */
+ *       ontology=本体实体 id（精确匹配）。每条必须带 reason——无理由的豁免条目面板标红示警。
+ * reason 承载=逐族注释（族理由照抄需求卡片「QA覆盖余量收口批」附录 B 分组；撤豁免动作随接线批走）。
+ * 登记批=迭代 55（2026-11-07）；登记凭据=重生成缺口集与本卡裁决逐 id 差集＋两探针并集零命中集。 */
 window.__QA_COVERAGE__ = window.__QA_COVERAGE__ || {};
 window.__QA_COVERAGE__.exemptions = {
   "meta": {"note": "人工维护；改后刷新面板即生效，无生成步骤"},
   "abilities": [],
-  "controls": [],
+  "controls": [
-  "ontology": []
+    /* 豁免·双源同物（附录 C 排除面，7 键）：营地自绘物件裸键与场景路径键双源同物——
+       并集后七物件全命中（forge/notebook/campfire 由 screen_flow 承载），登记件键形冗余非缺口。 */
+    "camp_object#",
+    /* 开发面（附录 C 排除面，10 键）不入本清单（2026-11-07 用户裁轮 2 改判）：调试面控件
+       （debug_overlay 浮窗/调试角标/inter 进入下一层）本就不在玩家可达宇宙——覆盖登记件
+       probe_coverage_recorder.gd 按调试面边界登记层过滤（头注声明单点），非豁免条目；
+       原开发面 3 条豁免随改判删除。 */
+    /* 豁免·进程终结（附录 C，2 键）：MenuScreen 退出游戏／camp_esc 退出游戏——真点即杀探针进程，
+       按〔接线断言〕承载（既有结构断言在位）。 */
+    "Button#退出游戏",
+    /* 豁免·键形实例变体（登记件实例序位随 UI 构建序平移——迭代 55 扩面动线已真点各家族代表实例，
+       未命中键=同控件重建实例；键形改造若要做归工程批另行登记，卡 §5 在案）： */
+    "save_select_overlay/Button#删档#",
+    "save_select_overlay/Button#新档#",
+    "save_select_overlay/Button#进档#",
+    "shop_overlay_view//Button#购买#",
+    "treasure_view/Button#升级",
+    "treasure_view/Button#装配",
+    "treasure_view/Button#购买 10",
+    "treasure_view/Button#购买 25",
+    "tree_view/Button#先手压制",
+    "tree_view/Button#稳健拓荒",
+    "tree_view/Button#解锁 25 钥石",
+    "tree_view/Button#购买 0 钥石",
+    "tree_view/Button#购买 10 钥石",
+    "tree_view/Button#购买 20 钥石",
+    "tree_view/Button#购买 30 钥石",
+    "tree_view/Button#购买 40 钥石",
+    "tree_view/Button#购买 60 钥石"
+  ],
+  "ontology": [
+    /* ── 豁免·预留埋点（普查 §2 词表先行内容后接——未来接线内容时撤豁免补验证）── */
+    "chain_ap_cost", "move_ap_cost",             /* action_economy——schema 冻结 0，core 零调用方 */
+    "hero_hp_pct", "neq",                        /* skill——TRIGGER_FACTS/算子词预留在册，tres 零行使用 */
+    "ap_rounds_front", "effective_rounds", "mine_hit_halve", "reflect_damage", "refresh_pick",
+    "reward_weight_bias", "slot_cost", "ap_grant", "risk", "cell_removal",
+                                                 /* treasure——EFFECT_KINDS/MAGNITUDE_KINDS/DIMENSIONS 在册、tres 零行使用 */
+    /* ── 豁免·挂起件（全仓零引用，生涯条目承载处置两途）── */
+    "settlement_review_overlay",
+    /* ── 豁免·假缺口（验证在役、文本关联盲区——按族登记，reason 逐族）── */
+    /* cap 九槽：钉值在役（table_structure_guard_test gp/attack 钉值同款＋迭代 55 V3 七槽钉值扩全九槽——断言文本以槽短名引用） */
+    "curio_cap_ap", "curio_cap_armor", "curio_cap_attack", "curio_cap_gp", "curio_cap_heal",
+    "curio_cap_max_hp", "curio_cap_rap", "curio_cap_refresh", "curio_cap_time_sand",
+    /* quota 段 13 槽＋value 段 13 槽：和锚/逐槽钉值在役（guard 段结构锚＋feat_vouchers_test 逐行断言——文本以槽短名引用） */
+    "curio_quota_ap_rare", "curio_quota_armor_common", "curio_quota_armor_excellent",
+    "curio_quota_attack_common", "curio_quota_attack_excellent", "curio_quota_gp_common",
+    "curio_quota_gp_excellent", "curio_quota_heal_excellent", "curio_quota_max_hp_common",
+    "curio_quota_max_hp_excellent", "curio_quota_rap_rare", "curio_quota_refresh_excellent",
+    "curio_quota_time_sand_rare",
+    "curio_value_ap_rare", "curio_value_armor_common", "curio_value_armor_excellent",
+    "curio_value_attack_common", "curio_value_attack_excellent", "curio_value_gp_common",
+    "curio_value_gp_excellent", "curio_value_heal_excellent", "curio_value_max_hp_common",
+    "curio_value_max_hp_excellent", "curio_value_rap_rare", "curio_value_refresh_excellent",
+    "curio_value_time_sand_rare",
+    /* adventure 表字段/段词：生产消费＋行为承载（feats A6 配额满分支读生产值驱动＋guard 段结构锚在役） */
+    "curio_candidate_count", "feat_ticket_chance", "feat_ticket_limit", "feat_ticket_pity_step",
+    "quota_segment", "value_segment",
+    /* feats 28 行：逐行行为断言＋父专长通用通道读值（adventure_feats_test 逐行段在役） */
+    "blast_accounting", "blood_insight", "blood_tax", "breaker_strike", "chain_traps",
+    "echo_seals", "execution_scholar", "executioner", "field_dressing", "frontier_miner",
+    "fuse_pts", "fuse_wire", "geologist", "hard_hat", "last_drop", "last_stand",
+    "map_exchange", "market_close", "round_blast_spent", "round_digs", "round_instinct_atk",
+    "seal_echo", "seal_stake", "skip_mining", "skip_pts", "smith_seals", "stop_swap",
+    "trap_instinct",
+    /* enemy/skills 四件：池构成与 EV 锚＋键序（round_flow_skill_pool_test 池段＋guard 键序段在役） */
+    "harden", "hook_horror", "shield_bash", "venom_spit",
+    /* reward 四行：负向字典与直伤当量（seal_polarity 负向段＋guard 危险格负向直伤当量段在役） */
+    "gp_lose", "heal_backlash", "magic_recoil", "pierce_snare",
+    /* meta_tree 两行＋四词：forge_test 装配段/彩蛋段行为承载＋tree_rules/tree_requires_level/负面反例
+       承载（迭代 55 V7 树面真链与侧投影断言、探针 40/60 档真输入） */
+    "att_socket2", "att_socket3",
+    "effects_a", "effects_b", "requires_level", "sense_sharp",
+    /* 屏与模态 8 屏：探针真实入口可见性/真输入断言在役（ui_struct/ui_click/screen_flow/reward_overlay 各段） */
+    "battle_end_overlay", "camp_esc_overlay", "curio_pick_overlay", "legend_overlay",
+    "level_map_screen", "node_overlay", "save_select_overlay", "settings_overlay",
+    /* 词表/字段杂项：生产消费＋行为承载（消费点在役、断言文料以行为面引用——消费点逐条在案：
+       pity_threshold/min_safe_count 生成器参数、atk_max/atk_min 敌 AC 带宽、initial_owned/per_level_gain/
+       price_ratio_pct/type_axis 锻造轴、*_ratio 层构成、indeg/terminals 图约束、rest_heal_pct 休息兑付、
+       gp_drops/price_a/pool_shelf 商店面、mult_oor_warning 校验词、round_direction 结算冻结、wall_band/canvas/
+       gate_gap/hud_band_h/hotspot_key/texture_rect 营地布局、per_level_bonus/info_panel_w/info_visible_layers/
+       roll_tier_bounds/roll_tier_discounts/gte/self_hp_pct 校验与触发词——self_hp_pct 触发行为由迭代 55 V9
+       真实链断言承载） */
+    "seal_place_ap_cost", "pity_threshold", "min_safe_count", "atk_max", "atk_min",
+    "initial_owned", "per_level_gain", "price_ratio_pct", "type_axis", "battle_ratio",
+    "fork_ways_max", "rest_ratio", "reward_ratio", "shop_ratio", "indeg", "terminals",
+    "rest_heal_pct", "gp_drops", "price_a", "pool_shelf", "mult_oor_warning",
+    "round_direction", "wall_band", "canvas", "gate_gap", "hud_band_h", "hotspot_key",
+    "texture_rect", "per_level_bonus", "info_panel_w", "info_visible_layers",
+    "roll_tier_bounds", "roll_tier_discounts", "gte", "self_hp_pct", "pool_tag",
+                                                 /* pool_tag=reward 池标签字段——guard 九型封闭与池行计数断言承载 */
+    /* treasure 现役词 12：treasure_effects_test/treasure_target_violation_test/guard 现役承载 */
+    "area_3x3", "board_wide", "dimension_tags", "remove_mines", "passive", "ap_charge_safe",
+    "charge_reset", "charges_per_adventure", "mine_count_preview", "refresh_stock_grant",
+    "shop_refresh_bonus", "unlock_keystone_cost"
+  ]
 };