diff --git a/App/lib/core/Handles/HandlesMatch.vp b/App/lib/core/Handles/HandlesMatch.vp
index 76282b6..8a48ab0 100644
--- a/App/lib/core/Handles/HandlesMatch.vp
+++ b/App/lib/core/Handles/HandlesMatch.vp
@@ -80,14 +80,12 @@ class MatchHandle(HandlesBase.Mixin):
         if builder is None or func is None:
             return 0
 
-        # 追加90：match merge 可达性重置（下方 br end_bb 处置 1）。
-        # 嵌套语句（case 体内的 If/While 等）翻译时会改写 _ctrl_merge_reachable，
-        # 用局部变量单独记录"本 match 是否有 br 进入 end_bb"，收尾时覆盖，
-        # 消除嵌套控制流污染（_is_opaque_struct 的 case 内 if 无 else + return
-        # 把标志置 1，全 case return 的 match 被误判 merge 可达 → 函数收尾
-        # fail-fast "流程掉出末尾"，见 LLvmLiteTest/__module.vp）。
+        # 追加90：match merge 可达性重置（分派前初始化为 0；各处理函数
+        # renum/sequence/simple 内部用各自的局部标志记录 br end_bb 并在
+        # 收尾覆盖，见 _handle_renum_match/_handle_sequence_match/
+        # _handle_simple_match——切勿把标志声明在 Handle 这里（分派函数），
+        # 否则子函数引用的同名变量会退化为隐式全局，跨 match 互相污染）。
         trans._ctrl_merge_reachable = 0
-        m_merge_reach: int = 0
 
         m_node: ast.Match | t.CPtr = (ast.Match | t.CPtr)(node)
 
@@ -265,6 +263,12 @@ class MatchHandle(HandlesBase.Mixin):
         pool: memhub.MemBuddy | t.CPtr = trans.Pool
         builder: llvmlite.IRBuilder | t.CPtr = trans._cur_builder
         func: llvmlite.Function | t.CPtr = trans._cur_func
+        # 局部记录本 renum match 是否有 br 进入 end_bb，收尾时覆盖
+        # _ctrl_merge_reachable（case 体内嵌套 If 无 else + return 会把全局
+        # 标志置 1，全 case return 的 match 被误判 merge 可达 → 函数收尾
+        # fail-fast "流程掉出末尾"。声明必须在本函数内——放 Handle 分派
+        # 函数里会使本函数引用退化为隐式全局，跨 match 污染）。
+        rm_merge_reach: int = 0
 
         # 0. subject 归一化：确保 subject_ptr 是指向 REnum 结构体的指针
         # (对齐 TPC HandlesMatch.py:238-259 的 _HandleRenumMatchLlvm)
@@ -519,7 +523,7 @@ class MatchHandle(HandlesBase.Mixin):
                     and nb == 0:
                 llvmlite.build_br(builder, end_bb)
                 trans._ctrl_merge_reachable = 1
-                m_merge_reach = 1
+                rm_merge_reach = 1
 
             i = i + 1
 
@@ -530,7 +534,7 @@ class MatchHandle(HandlesBase.Mixin):
             if llvmlite.builder_cur_block_is_terminated(builder) == 0:
                 llvmlite.build_br(builder, end_bb)
                 trans._ctrl_merge_reachable = 1
-                m_merge_reach = 1
+                rm_merge_reach = 1
         else:
             # 有显式 default：翻译 default case body（找到 is_def==1 的 case）
             di: int = 0
@@ -556,13 +560,13 @@ class MatchHandle(HandlesBase.Mixin):
             if llvmlite.builder_cur_block_is_terminated(builder) == 0:
                 llvmlite.build_br(builder, end_bb)
                 trans._ctrl_merge_reachable = 1
-                m_merge_reach = 1
+                rm_merge_reach = 1
 
         # 9. 定位到 end 块
         llvmlite.position_at_end(builder, end_bb)
         # 用本 match 自身的 br 记录覆盖，消除 case 体内嵌套控制流对
         # _ctrl_merge_reachable 的污染（全 case return 时应为不可达）
-        trans._ctrl_merge_reachable = m_merge_reach
+        trans._ctrl_merge_reachable = rm_merge_reach
         return 0
 
     # ============================================================