diff --git a/App/lib/core/Gen/Call/CallGenBase.vp b/App/lib/core/Gen/Call/CallGenBase.vp index 6599d86..9ecd831 100644 --- a/App/lib/core/Gen/Call/CallGenBase.vp +++ b/App/lib/core/Gen/Call/CallGenBase.vp @@ -1,6 +1,7 @@ import lib.core.Gen.GenTypes as GenTypes import lib.core.Gen.Generator as Generator import lib.core.Gen.GenApi as GenApi +import lib.core.Gen.Translator as HT import t, c from stdint import * import ast @@ -1273,6 +1274,34 @@ class CallGenBase: stdlib.free(line) pf.close() + # ============================================================ + # _MarkDepsPending - `_deps_pending` 置位的**唯一入口**（S4 触发面收敛） + # + # `_Type.md` D7-1 清点的 14 处置位点，此前各自重复「置标志 + [DEPDBG] + + # 持久化 _phaseA_pending.log」三连，触发面散落、无法统一量化/收紧。 + # 现全部改经此一处实现；`kind` 即触发面标签： + # attr_read / attr_write / method_ret / mro_ret / mro_anc / special_ret / + # prop_ret / dispatch_ret / dispatch_sp / func_ret / func_mangled / + # global_stub / class_parent / class_field_ty + # ============================================================ + def _MarkDepsPending(self, trans: HT.Translator | t.CPtr, kind: str, + cls_name: str, method_name: str, + dep_sha1: str, extra: str) -> None: + """标记 Phase A 依赖未就绪（下遍重译）：置标志 + 滚动 DEPDBG + 持久化明细""" + if trans is None: + return + trans._deps_pending = 1 + m_sha: str = trans.ModuleSha1 + # [DEPDBG] 临时诊断（用后移除）：统一格式，按 kind 过滤统计触发面命中数 + stdio.printf("[DEPDBG] pending(%s): mod=%s cls=%s method=%s dep=%s extra=%s\n", + kind, m_sha if m_sha is not None else "?", + cls_name if cls_name is not None else "-", + method_name if method_name is not None else "-", + dep_sha1 if dep_sha1 is not None else "-", + extra if extra is not None else "-") + if m_sha is not None: + self._AppendPhaseAPending(m_sha, kind, cls_name, method_name, dep_sha1, extra) + # ============================================================ # 属性方法（@property/@x.setter/@x.deleter）与静态/类方法调用辅助 # diff --git a/App/lib/core/Gen/Call/CallGenCall.vp b/App/lib/core/Gen/Call/CallGenCall.vp index a69265e..2a202b2 100644 --- a/App/lib/core/Gen/Call/CallGenCall.vp +++ b/App/lib/core/Gen/Call/CallGenCall.vp @@ -389,18 +389,9 @@ class CallGenCall(CallGenBase.CallGenBase): if cls_sha1 is None \ or (cls_sha1 is not None and self._dep_text_ll_exists(pool, cls_sha1) == 0): - if trans is not None: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：方法返回类型解析依赖未就绪即 pending 的根因（用后移除） - dbg_ms1: str = trans.ModuleSha1 if (trans is not None and trans.ModuleSha1 is not None) else "?" - stdio.printf("[DEPDBG] pending(method_ret): mod=%s cls=%s method=%s sha1=%s\n", - dbg_ms1, class_name, method_name, - cls_sha1 if cls_sha1 is not None else "none") - # 持久化（用后移除）：供 Phase2 收敛失败最终诊断按调用方过滤 - if trans is not None and trans.ModuleSha1 is not None: - self._AppendPhaseAPending( - trans.ModuleSha1, "method_ret", class_name, - method_name, cls_sha1, "-") + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self._MarkDepsPending( + trans, "method_ret", class_name, method_name, cls_sha1, "-") # 依赖未就绪：保持默认 i32（build_call(Void) 返回 None 会 # 破坏表达式翻译；pending 文件本遍不写盘，下遍重译） call_ret_ty = llvmlite.Int32(pool) @@ -1108,23 +1099,15 @@ class CallGenCall(CallGenBase.CallGenBase): if ret_anc_sha1 is None \ or (ret_anc_sha1 is not None and self._dep_text_ll_exists(pool, ret_anc_sha1) == 0): - if trans is not None: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：方法祖先模块依赖未就绪即 pending 的根因（用后移除） - dbg_ms2: str = trans.ModuleSha1 if (trans is not None and trans.ModuleSha1 is not None) else "?" - stdio.printf("[DEPDBG] pending(mro_ret): mod=%s cls=%s method=%s ret_sha1=%s text=%d\n", - dbg_ms2, class_name, method_name, - ret_anc_sha1 if ret_anc_sha1 is not None else "none", - self._dep_text_ll_exists(pool, ret_anc_sha1) if ret_anc_sha1 is not None else -1) # 持久化到 _phaseA_pending.log，供 Phase2 收敛失败最终诊断按调用方过滤 txt_s: str = "text=-1" if ret_anc_sha1 is not None: txt_s = "text=0" if self._dep_text_ll_exists(pool, ret_anc_sha1) != 0: txt_s = "text=1" - self._AppendPhaseAPending( - dbg_ms2, "mro_ret", class_name, method_name, - ret_anc_sha1, txt_s) + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self._MarkDepsPending( + trans, "mro_ret", class_name, method_name, ret_anc_sha1, txt_s) # 依赖未就绪：保持默认 i32 继续而非 Void——build_call(Void) # 返回 None，方法调用结果喂进表达式（if 条件/比较）时 fatal # "if 条件表达式翻译失败"（ExprGenAttr._get_cderef_attr_base @@ -1154,17 +1137,9 @@ class CallGenCall(CallGenBase.CallGenBase): break mi_p2 += 1 if anc_missing_p2 != 0: - if trans is not None: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：MRO 祖先模块依赖未就绪即 pending 的根因（用后移除） - dbg_ms3: str = trans.ModuleSha1 if (trans is not None and trans.ModuleSha1 is not None) else "?" - stdio.printf("[DEPDBG] pending(mro_anc): mod=%s cls=%s method=%s anc=%s anc_sha1=%s\n", - dbg_ms3, class_name, method_name, - anc_p2 if anc_p2 is not None else "none", - anc_sha1_p2 if anc_sha1_p2 is not None else "none") - # 持久化到 _phaseA_pending.log，供 Phase2 收敛失败最终诊断按调用方过滤 - self._AppendPhaseAPending( - dbg_ms3, "mro_anc", class_name, method_name, + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self._MarkDepsPending( + trans, "mro_anc", class_name, method_name, anc_sha1_p2, anc_p2 if anc_p2 is not None else "none") # 依赖未就绪：保持默认 i32（同上，build_call(Void) 返回 # None 会破坏表达式翻译，pending 文件本遍不写盘） @@ -2110,19 +2085,10 @@ class CallGenCall(CallGenBase.CallGenBase): # 绝不 fail-fast 中断多遍收敛；真实错误由收敛检查兜底。 if anc_sha1_sp is None \ or self._dep_text_ll_exists(pool, anc_sha1_sp) == 0: - if trans is not None: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：特殊方法依赖未就绪即 pending 的根因（用后移除） - dbg_ms4: str = trans.ModuleSha1 if (trans is not None and trans.ModuleSha1 is not None) else "?" - stdio.printf("[DEPDBG] pending(special_ret): mod=%s cls=%s method=%s sha1=%s\n", - dbg_ms4, anc if anc is not None else "?", - method_name, - anc_sha1_sp if anc_sha1_sp is not None else "none") - # 持久化（用后移除）：供 Phase2 收敛失败最终诊断按调用方过滤 - if trans is not None and trans.ModuleSha1 is not None: - self._AppendPhaseAPending( - trans.ModuleSha1, "special_ret", anc if anc is not None else "-", - method_name, anc_sha1_sp, "-") + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self._MarkDepsPending( + trans, "special_ret", anc if anc is not None else "-", + method_name, anc_sha1_sp, "-") # 依赖未就绪：保持默认 i32（build_call(Void) 返回 None # 会破坏表达式翻译；pending 文件本遍不写盘，下遍重译） ret_ty_sp = llvmlite.Int32(pool) diff --git a/App/lib/core/Gen/Call/CallGenDispatch.vp b/App/lib/core/Gen/Call/CallGenDispatch.vp index 74d9bf2..e2f4b94 100644 --- a/App/lib/core/Gen/Call/CallGenDispatch.vp +++ b/App/lib/core/Gen/Call/CallGenDispatch.vp @@ -1423,18 +1423,10 @@ class CallGenDispatch(CallGenBase.CallGenBase): # MRO 链找到 AssignGenMixin → 精确解析。真正不存在的 # 类/方法由 Phase A 收敛检查兜底，绝不在此 fail-fast # 中断多遍收敛（对齐追加77/77b 类 defer 原则）。 - if trans is not None: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：方法返回类型解析依赖未就绪即 pending 的根因（用后移除） - dbg_ms6: str = trans.ModuleSha1 if (trans is not None and trans.ModuleSha1 is not None) else "?" - stdio.printf("[DEPDBG] pending(dispatch_ret): mod=%s cls=%s method=%s sha1=%s\n", - dbg_ms6, cls_nm2, func_name, - sha1_fc if sha1_fc is not None else "none") - # 持久化（用后移除）：供 Phase2 收敛失败最终诊断按调用方过滤 - if trans is not None and trans.ModuleSha1 is not None: - self.Gen.CallGenBase._AppendPhaseAPending( - trans.ModuleSha1, "dispatch_ret", cls_nm2, - func_name, sha1_fc, "-") + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self.Gen.CallGenBase._MarkDepsPending( + trans, "dispatch_ret", cls_nm2, + func_name, sha1_fc, "-") # 依赖未就绪：保持默认 i32（build_call(Void) # 返回 None 破坏表达式翻译；本遍不写盘） ret_ty3 = llvmlite.Int32(pool) @@ -1460,17 +1452,10 @@ class CallGenDispatch(CallGenBase.CallGenBase): obj_ptr4: llvmlite.Value | t.CPtr = llvmlite.build_load( builder, i8_ptr_ty4, obj_var) if obj_ptr4 is not None: - if trans is not None: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：特殊方法依赖未就绪即 pending 的根因（用后移除） - dbg_ms7: str = trans.ModuleSha1 if (trans is not None and trans.ModuleSha1 is not None) else "?" - stdio.printf("[DEPDBG] pending(dispatch_sp): mod=%s cls=%s method=%s\n", - dbg_ms7, cls_nm2, func_name) - # 持久化（用后移除）：供 Phase2 收敛失败最终诊断按调用方过滤 - if trans is not None and trans.ModuleSha1 is not None: - self.Gen.CallGenBase._AppendPhaseAPending( - trans.ModuleSha1, "dispatch_sp", cls_nm2, - func_name, "-", "-") + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self.Gen.CallGenBase._MarkDepsPending( + trans, "dispatch_sp", cls_nm2, + func_name, "-", "-") if hit_box is not None: hit_box[0] = 1 return self.Gen.CallGenCall._translate_method_call( diff --git a/App/lib/core/Gen/Call/CallGenMixin.vp b/App/lib/core/Gen/Call/CallGenMixin.vp index cec3304..6c22728 100644 --- a/App/lib/core/Gen/Call/CallGenMixin.vp +++ b/App/lib/core/Gen/Call/CallGenMixin.vp @@ -891,17 +891,9 @@ class CallGenMixin(CallGenBase.CallGenBase): else: if trans is not None and trans._declare_only == 0: if self._dep_text_ll_exists(pool, mod_ret_sha1) == 0: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：跨模块函数返回类型依赖未就绪即 pending（用后移除） - dbg_fr: str = trans.ModuleSha1 if trans.ModuleSha1 is not None else "?" - stdio.printf("[DEPDBG] pending(func_ret): mod=%s func=%s mod_sha1=%s\n", - dbg_fr, func_name, - mod_ret_sha1 if mod_ret_sha1 is not None else "none") - # 持久化（用后移除）：供 Phase2 收敛失败最终诊断按调用方过滤 - if trans.ModuleSha1 is not None: - self._AppendPhaseAPending( - trans.ModuleSha1, "func_ret", "-", func_name, - mod_ret_sha1, "-") + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self._MarkDepsPending( + trans, "func_ret", "-", func_name, mod_ret_sha1, "-") # 已标记 _deps_pending，下遍重译会收敛（依赖 text.ll 就绪后 # 走精确解析）→ fatal_if_unknown=0，本遍仅临时占位。 call_ret_ty = self.Gen.CallGenLib._infer_external_func_ret_ty(pool, func_name, node, 0) @@ -1591,16 +1583,9 @@ class CallGenMixin(CallGenBase.CallGenBase): "TypeError") else: if trans is not None: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：跨模块 mangled 函数依赖未就绪即 pending（用后移除） - dbg_mg: str = trans.ModuleSha1 if trans.ModuleSha1 is not None else "?" - stdio.printf("[DEPDBG] pending(func_mangled): mod=%s func=%s cf_sha1=%s\n", - dbg_mg, call_name, cf_sha1) - # 持久化（用后移除）：供 Phase2 收敛失败最终诊断按调用方过滤 - if trans.ModuleSha1 is not None: - self._AppendPhaseAPending( - trans.ModuleSha1, "func_mangled", "-", call_name, - cf_sha1, "-") + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self._MarkDepsPending( + trans, "func_mangled", "-", call_name, cf_sha1, "-") if VLogger._nowarn_register == 0: VLogger.warning(f"跨模块函数 '{call_name}' 依赖模块 text.ll 尚未生成（Phase A 顺序），" "标记重试，本遍保持默认类型", "HandlesExprCall") diff --git a/App/lib/core/Gen/Call/CallGenProp.vp b/App/lib/core/Gen/Call/CallGenProp.vp index dace6f4..a27eefa 100644 --- a/App/lib/core/Gen/Call/CallGenProp.vp +++ b/App/lib/core/Gen/Call/CallGenProp.vp @@ -114,18 +114,9 @@ class CallGenProp(CallGenBase.CallGenBase): # 绝不 fail-fast 中断多遍收敛；真实错误由收敛检查兜底。 if cls_sha1_rt is None \ or self._dep_text_ll_exists(pool, cls_sha1_rt) == 0: - if trans is not None: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：属性方法依赖未就绪即 pending 的根因（用后移除） - dbg_ms8: str = trans.ModuleSha1 if (trans is not None and trans.ModuleSha1 is not None) else "?" - stdio.printf("[DEPDBG] pending(prop_ret): mod=%s cls=%s method=%s sha1=%s\n", - dbg_ms8, class_name, method_name, - cls_sha1_rt if cls_sha1_rt is not None else "none") - # 持久化（用后移除）：供 Phase2 收敛失败最终诊断按调用方过滤 - if trans is not None and trans.ModuleSha1 is not None: - self.Gen.CallGenBase._AppendPhaseAPending( - trans.ModuleSha1, "prop_ret", class_name, - method_name, cls_sha1_rt, "-") + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self.Gen.CallGenBase._MarkDepsPending( + trans, "prop_ret", class_name, method_name, cls_sha1_rt, "-") # 依赖未就绪：保持默认 i32（build_call(Void) 返回 None # 会破坏表达式翻译；pending 文件本遍不写盘，下遍重译） call_ret_ty = llvmlite.Int32(pool) diff --git a/App/lib/core/Gen/Class/ClassGenDef.vp b/App/lib/core/Gen/Class/ClassGenDef.vp index 53c1598..fdcca32 100644 --- a/App/lib/core/Gen/Class/ClassGenDef.vp +++ b/App/lib/core/Gen/Class/ClassGenDef.vp @@ -239,17 +239,10 @@ class ClassGenDef(ClassGenBase.ClassGenBase): # 整类 defer（不注册）+ 标记 _deps_pending 下遍重译；模块级 # 变量/函数参数解析失败静默降级 i32（handle_module_level_var # L422-426 / FuncGenMixin L482-483），不致命，本遍文件不写盘。 - if trans is not None: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：父类未注册即 pending（用后移除） - dbg_p: str = trans.ModuleSha1 if trans.ModuleSha1 is not None else "?" - stdio.printf("[DEPDBG] pending(class_parent): mod=%s cls=%s parent=%s\n", - dbg_p, class_name, pname if pname is not None else "none") - # 持久化（用后移除）：供 Phase2 收敛失败最终诊断按调用方过滤 - if trans.ModuleSha1 is not None: - self.Gen.CallGenBase._AppendPhaseAPending( - trans.ModuleSha1, "class_parent", class_name, - "-", "-", pname if pname is not None else "-") + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self.Gen.CallGenBase._MarkDepsPending( + trans, "class_parent", class_name, + "-", "-", pname if pname is not None else "-") return 0 pfc: int = parent_entry.FieldCount for pfi in range(pfc): @@ -404,17 +397,10 @@ class ClassGenDef(ClassGenBase.ClassGenBase): # _deps_pending 下遍重译，不在本遍以残缺字段注册结构体。 # 真正的类型错误由 Phase A 收敛检查暴露（"Phase A 无法完成 # 翻译: ，请检查依赖模块是否已编译/注册"），不静默掩盖。 - if trans is not None: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：字段注解类型未注册即 pending（用后移除） - dbg_f: str = trans.ModuleSha1 if trans.ModuleSha1 is not None else "?" - stdio.printf("[DEPDBG] pending(class_field_ty): mod=%s cls=%s field=%s\n", - dbg_f, class_name, tgt.id if tgt.id is not None else "none") - # 持久化（用后移除）：供 Phase2 收敛失败最终诊断按调用方过滤 - if trans.ModuleSha1 is not None: - self.Gen.CallGenBase._AppendPhaseAPending( - trans.ModuleSha1, "class_field_ty", class_name, - tgt.id if tgt.id is not None else "-", "-", "-") + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self.Gen.CallGenBase._MarkDepsPending( + trans, "class_field_ty", class_name, + tgt.id if tgt.id is not None else "-", "-", "-") return 0 # 旧行为：fast-fail NameError（已移除——Phase A 依赖未就绪时 # 误报真实错误，中断多遍收敛；真实错误交给收敛检查兜底） diff --git a/App/lib/core/Gen/Expr/ExprGenAttr.vp b/App/lib/core/Gen/Expr/ExprGenAttr.vp index 669e7e2..083cca1 100644 --- a/App/lib/core/Gen/Expr/ExprGenAttr.vp +++ b/App/lib/core/Gen/Expr/ExprGenAttr.vp @@ -973,17 +973,10 @@ class ExprGenAttr(ExprGenBase.ExprGenBase): # stub 空类 FieldCount=0，如 LARGE_INTEGER）→ 标记 pending 下遍 # 重译（对齐写路径 get_attribute_ptr；lookup_field_by_class 已对 # 空 stub 返回 None 而非 fatal）。真实错误由 Phase A 收敛检查暴露。 - if trans is not None: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：读属性字段缺失即 pending（用后移除） - dbg_ar: str = trans.ModuleSha1 if trans.ModuleSha1 is not None else "?" - stdio.printf("[DEPDBG] pending(attr_read): mod=%s field=%s\n", - dbg_ar, at.attr if at.attr is not None else "none") - # 持久化（用后移除）：供 Phase2 收敛失败最终诊断按调用方过滤 - if trans.ModuleSha1 is not None: - self.Gen.CallGenBase._AppendPhaseAPending( - trans.ModuleSha1, "attr_read", "-", - at.attr if at.attr is not None else "-", "-", "-") + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self.Gen.CallGenBase._MarkDepsPending( + trans, "attr_read", "-", + at.attr if at.attr is not None else "-", "-", "-") # Phase A 依赖未就绪（_deps_pending，父类/依赖类未注册致字段缺失）： # 跳过本属性访问交给下遍重译（对齐 get_attribute_ptr L5541-5547）， # 避免 fail-fast 中断多遍收敛；依赖就绪后仍缺失则走下方真实报错。 @@ -1265,17 +1258,10 @@ class ExprGenAttr(ExprGenBase.ExprGenBase): # 下遍重译（对齐 translate_attribute 读路径；lookup_field_by_class # 已对空 stub 返回 None 而非 fatal）。真实错误由 Phase A 收敛检查 # 暴露（"Phase A 无法完成翻译"），不在此 fail-fast 中断多遍收敛。 - if trans is not None: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：写属性字段缺失即 pending（用后移除） - dbg_aw: str = trans.ModuleSha1 if trans.ModuleSha1 is not None else "?" - stdio.printf("[DEPDBG] pending(attr_write): mod=%s field=%s\n", - dbg_aw, at.attr if at.attr is not None else "none") - # 持久化（用后移除）：供 Phase2 收敛失败最终诊断按调用方过滤 - if trans.ModuleSha1 is not None: - self.Gen.CallGenBase._AppendPhaseAPending( - trans.ModuleSha1, "attr_write", "-", - at.attr if at.attr is not None else "-", "-", "-") + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self.Gen.CallGenBase._MarkDepsPending( + trans, "attr_write", "-", + at.attr if at.attr is not None else "-", "-", "-") # Phase A 依赖未就绪（_deps_pending，父类/依赖类未注册致字段缺失， # 如 Generator.vp 先于 TypeGenMixin.vp 编译时 self.TraceFrames）： # 跳过本属性写入交给下遍重译（对齐 HandlesAssign L69-78）， diff --git a/App/lib/core/Gen/Expr/ExprGenName.vp b/App/lib/core/Gen/Expr/ExprGenName.vp index 43a5973..7fe7e7d 100644 --- a/App/lib/core/Gen/Expr/ExprGenName.vp +++ b/App/lib/core/Gen/Expr/ExprGenName.vp @@ -341,20 +341,12 @@ class ExprGenName(ExprGenBase.ExprGenBase): # 重试（对齐 CallGenMixin 跨模块依赖未就绪处理）。真实错误由 # Phase A 收敛检查暴露，不在此 fail-fast——否则清缓存后 # lexer 先于 tokens 翻译必然误报 "stub 未注入"。 - if trans is not None: - trans._deps_pending = 1 - # [DEPDBG] 临时诊断：全局 stub 未注入即 pending 的根因（用后移除） - dbg_ms9: str = trans.ModuleSha1 if (trans is not None and trans.ModuleSha1 is not None) else "?" - stdio.printf("[DEPDBG] pending(global_stub): mod=%s name=%s mod_src=%s sha1=%s\n", - dbg_ms9, nm_id, fi_mod_cut2, - StubMergerStore.LookupSha1ByModName(fi_mod_cut2) if fi_mod_cut2 is not None else "none") - # 持久化（用后移除）：供 Phase2 收敛失败最终诊断按调用方过滤 - if trans is not None and trans.ModuleSha1 is not None: - self.Gen.CallGenBase._AppendPhaseAPending( - trans.ModuleSha1, "global_stub", "-", nm_id, - StubMergerStore.LookupSha1ByModName(fi_mod_cut2) - if fi_mod_cut2 is not None else None, - fi_mod_cut2) + # 触发面唯一入口（S4 收敛）：置 _deps_pending + 诊断 + 持久化 + self.Gen.CallGenBase._MarkDepsPending( + trans, "global_stub", "-", nm_id, + StubMergerStore.LookupSha1ByModName(fi_mod_cut2) + if fi_mod_cut2 is not None else None, + fi_mod_cut2) return None if ref_fi is not None and ref_fi.Ty is not None: lty_fi: llvmlite.LLVMType | t.CPtr = ref_fi.Ty.Pointee