iter52-卡2：迭代52卡②(孤儿函数清退): 判死六件删除(has_effect_on/_bp_read_int/_find_token/has_open/set_feedback_state/stop_resolved)——级联留存复核全≥1在役,六文件新增孤儿扫描零命中,单测域80套件全绿,零残留grep落审计; 验收档中

game/presentation/modal_stack.gd

@@ -9,7 +9,7 @@ var _occluded := {}     # modal → 被其隐藏的上方层（关闭恢复）
 var _tags := {}         # modal → 排除组标签集（互斥域随层登记）
 
 # 排除组封闭词表（组合根登记用——新标签=改此处+评审，防调用点拼装回潮）
-const TAG_NON_LOCKING := "non_locking"   # 开态不计入棋盘输入锁与角标置灰（调试浮窗默认开×遮挡复活×has_open 组合=棋盘永久锁死）
+const TAG_NON_LOCKING := "non_locking"   # 开态不计入棋盘输入锁与角标置灰（调试浮窗默认开×遮挡复活×开态计入输入锁的组合=棋盘永久锁死）
 const TAG_SCREEN_STATE := "screen_state" # 常驻屏态（关卡地图屏——自身开态不计入本屏角标判据）
 
 
@@ -53,18 +53,9 @@ func close(m: Control) -> void:
 	_occluded.erase(m)
 
 
-# 开态查询（组合根输入锁唯一判据：登记册上是否有任一层处于开态；
-# 可见性即开态，与 open/close 记账同源——组合根不再手工罗列各层）
-func has_open() -> bool:
-	for m in _list:
-		if is_instance_valid(m) and m.visible:
-			return true
-	return false
-
-
 # 排除组开态查询（模态协议内聚：排除语义随层登记（register tags），
 # 查询按组名集合表达，禁在调用点拼装 has_open_excluding/has_open_excluding_any。
-# 只读查询零副作用——登记序/开合记账语义不变；空标签集=全计（与 has_open 同形）。
+# 只读查询零副作用——登记序/开合记账语义不变；空标签集=全计。
 func has_open_excluding_tags(exclude_tags: Array) -> bool:
 	for m in _list:
 		if is_instance_valid(m) and m.visible: