chore(禁写变更记录批): 版本历史节/日期批注全面废除——gdd_lint R4 反转禁设＋三工具去豁免＋48 文档删节＋game/README 流水段删＋代码注释 900 余行轨迹标签清偿（约束句保留）＋规约/skills 五层指令面同批改指 git 沿革

game/presentation/modal_stack.gd

@@ -6,10 +6,10 @@ extends RefCounted
 
 var _list: Array[Control] = []   # 登记序 = z 遮挡序（低 → 高）
 var _occluded := {}     # modal → 被其隐藏的上方层（关闭恢复）
-var _tags := {}         # modal → 排除组标签集（迭代 27 T4——互斥域随层登记；P2-7 开态谓词收口）
+var _tags := {}         # modal → 排除组标签集（互斥域随层登记）
 
 # 排除组封闭词表（组合根登记用——新标签=改此处+评审，防调用点拼装回潮）
-const TAG_NON_LOCKING := "non_locking"   # 开态不计入棋盘输入锁与角标置灰（调试浮窗——迭代 18 卡⑦ T2 防线：调试浮窗默认开×遮挡复活×has_open 组合=棋盘永久锁死）
+const TAG_NON_LOCKING := "non_locking"   # 开态不计入棋盘输入锁与角标置灰（调试浮窗默认开×遮挡复活×has_open 组合=棋盘永久锁死）
 const TAG_SCREEN_STATE := "screen_state" # 常驻屏态（关卡地图屏——自身开态不计入本屏角标判据）
 
 
@@ -38,7 +38,7 @@ func close(m: Control) -> void:
 	_occluded.erase(m)
 
 
-# 开态查询（T3 模态收口批 2026-10-02——组合根输入锁唯一判据：登记册上是否有任一层处于开态；
+# 开态查询（组合根输入锁唯一判据：登记册上是否有任一层处于开态；
 # 可见性即开态，与 open/close 记账同源——组合根不再手工罗列各层）
 func has_open() -> bool:
 	for m in _list:
@@ -47,9 +47,9 @@ func has_open() -> bool:
 	return false
 
 
-# 排除组开态查询（迭代 27 T4——P2-7 模态协议内聚：原「调用点排除式拼装」has_open_excluding/
-# has_open_excluding_any 退役，排除语义随层登记（register tags），查询按组名集合表达。
-# 只读查询零副作用——登记序/开合记账语义零改动；空标签集=全计（与旧 has_open 同形）。
+# 排除组开态查询（模态协议内聚：排除语义随层登记（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: