feat(tpv): S3 条目双写接线，三个唯一创建点填 TypeSpec

- GenTypes: VarEntry / FieldEntry / FuncEntry 各加 Spec 字段（FuncEntry 合并为单个整签名 Spec，替代设计 D4 的 RetSpec+ParamSpecs，理由见注释）
- VarGenMixin: add_var 新增 _spec_of_var_alloca，用 alloca.Ty 的 pointee 构造 Spec（is_ptr_type 判定）
- StructGenMixin: add_field 统一在两条写入分支之后填 Spec（PermPool 驻留故无需 DeepCopyType）
- CallGenLeafKit: _register_global_func / add_func_to_table 初始化为 None；update_global_func_typestr 新增 _build_func_spec 填整签名 Spec（用 function_get_param_head 两遍遍历，变参取 func.IsVarArg，避免 SpecFromLLVMType 的 Func 分支丢变参）
- 注: 当前尚无读取方；驻留表溢出会导致该条目 Spec=None（已记录，S4 改 fatal）

App/lib/core/Gen/VarGenMixin.vp

@@ -1,5 +1,6 @@
 import lib.core.Gen.GenTypes as GenTypes
 import lib.core.Gen.Generator as Generator
+import lib.core.Gen.Type.TypeSpec as TSpec
 import t, c
 from stdint import *
 import llvmlite
@@ -166,8 +167,30 @@ class VarGenMixin:
         entry.Name = name
         entry.Alloca = alloca
         entry.Used = 1
+        # [S3 条目双写] 值类型 Spec（alloca.Ty 是 Ptr(值类型) ⇒ 取其 pointee）
+        entry.Spec = self._spec_of_var_alloca(alloca)
         return 0
 
+    # ============================================================
+    # _spec_of_var_alloca - 由 alloca 的值类型构造 TypeSpec（S3 条目双写）
+    #
+    # alloca.Ty 为 Ptr(var_ty)（见 _alloca_at_entry / 全局变量 SSAValue 路径），
+    # 故取 pointee 才是变量的**值类型**。失败或类型不适用（Label/Metadata 等
+    # SpecFromLLVMType 不支持者）返回 None —— 后者是设计内的「不适用」，非兜底。
+    # 分配一律 PermPool 驻留 ⇒ 跨文件/跨 1b reset 安全。
+    # ============================================================
+    def _spec_of_var_alloca(self, alloca: llvmlite.Value | t.CPtr) -> TSpec.TypeSpec | t.CPtr:
+        """由 alloca 的值类型构造 TypeSpec，不适用/失败返回 None"""
+        if alloca is None or alloca.Ty is None:
+            return None
+        ty: llvmlite.LLVMType | t.CPtr = alloca.Ty
+        if self.Gen.ExprGenBase.is_ptr_type(ty) != 0:
+            ty = ty.Pointee
+        arena: TSpec.TypeSpecArena | t.CPtr = self.Gen.TypeGenBase.ensure_spec_arena()
+        if arena is None:
+            return None
+        return TSpec.SpecFromLLVMType(arena, ty)
+
     # ============================================================
     # _alloca_at_entry - 在函数入口块生成 alloca（确保支配性）
     #