GVSDS/ViperC
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity
468 Commits 1 Branch 2 Tags
424dbd737966cd4be2df7a3b543252cb3d149a37
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
TermiNexus 424dbd7379 chore(gen): 加 [MODSHA1] 临时诊断定位 string.split 模块名解析失败（定位后删除） 
在 translate_call 的模块限定分支加两条探针：

- [MODSHA1]：mod_ret_sha1 为 None 时打印 mod_path_ret / func_name / exact / suffix / ctrl_stdint（对照模块，必在 includes）——可区分 store 整体为空 与 store 有内容但缺该模块。

- [MODSHA1-D]：裸名兜底分支里，若 cl.func 仍是 Attribute（模块限定却解析不出模块的异常组合）则打印 mod_path_ret 与 func_name——覆盖 mod_path_ret 为 None 的情形。

同时把 mod_path_ret 的声明从 if 块内移到 if 外（与 mod_ret_sha1 一致），避免下游分支读未声明局部取到栈垃圾。

证据链：报错来自本函数 861 行（全仓唯一 fatal_if_unknown=1 的调用点），条件恒为 _resolve_module_sha1 对 string 返回 None；但 _sha1_map.txt 有 includes/string.vp、其 vpi 有 def split -> int、Phase1Main:390 是唯一写 map 处 ⇒ 静态无法解释，需运行时诊断。
 2026-09-27 12:52:03 +08:00
TermiNexus 87f5b1026c chore(gen): 删除 CallGenDispatch 的 [MDISP] 临时探针及其专用 import stdio 
该探针（并排取证 __with_ctx.__enter__ 与 pool.alloc 的 H6 判据命中差异）为定位 MpoolOopTest 的「跨模块调用 pool.alloc 找不到模块 SHA1」临时加入，现缺陷已定位，探针与其唯一使用者 import stdio 一并移除；非 local 对象分派逻辑不变。
 2026-09-27 12:32:52 +08:00
TermiNexus 9455db0eec feat(gen,type): callable[] / callable[[]] / callable[[A,B],R] 与 t.Callable 逐点等价 
- 判据单一真源：_SubscriptAttrIsCallable 扩为 _IsCallableSubscriptValue，同时认 Attribute(attr=Callable) 与裸名 Name(callable | Callable)。

- Subscript 分支在 Name 路径（泛型特化 / CArray / builtins typedef 兜底）之前拦截裸名 callable/Callable → i8*；否则 callable[] 会先撞 slice=None 的 fail-fast、callable[[]] 会被当泛型类名查空。

- TypeGenErr.try_extract_callable_ret 改用同一判据：callable[[A, B], R] 现在也会注册返回类型 R（可间接调用），无签名形态（[]、[[]]）仍返回 None。
 2026-09-27 12:30:47 +08:00
TermiNexus a76cf55a2d feat(gen,type): 注解位置的小写裸名 callable 等价 t.Callable（i8*） 
支持 func: callable = 函数名 的写法：Name 分支兜底 map_t_type 命中 callable → Ptr(Int8)，与 t.Callable / t.Callable[] / t.Callable[[]] 同一 LLVM 表示（无签名函数指针，只取地址不作间接调用）。

同时明确大写裸名 Callable 同时服务 from t import Callable 与 Attribute 分支的 t.Callable。
 2026-09-27 12:28:58 +08:00
TermiNexus c387926977 feat(gen,type): 支持无签名函数指针 t.Callable / t.Callable[] / t.Callable[[]] 
三种写法统一解析为 i8*（与带完整签名的 t.Callable[[A,B], Ret] 同表示；函数值按 TPV 惯例 bitcast 为 i8* 存储）：

- map_t_type 新增 Callable → Ptr(Int8)：裸 t.Callable 此前落空导致 AnnAssign 注解类型解析失败。

- resolve_annotation_type 的 Subscript 分支：slice 为 None 时先放行 Callable（t.Callable[] 走空下标解析），其它类型仍 fail-fast 缺少 slice。

- 新增 _SubscriptAttrIsCallable 判据。

无签名形态不注册返回类型（try_extract_callable_ret 对非 Tuple slice 返回 None）⇒ 只适用于取地址/内联汇编操作数，不作编译器间接调用。
 2026-09-27 12:25:52 +08:00
TermiNexus 7c53a8744d fix(gen,match): 穷尽 match 不再误报流程掉出末尾；default 臂直译不再经 def_arr 反查 
现象：函数末句为 match 且含 case _: 穷尽臂、各臂均 return 时，仍报 TypeError 函数流程掉出函数末尾（ioctl 4 具体臂 + case _）。

- FuncGenDef / ClassGenVTable：收尾判据由「_ctrl_merge_reachable == 0」扩为「或末句 match 含无 guard 的 case _ 通配臂」。穷尽 match 不存在全臂不命中的路径，与 If/While 全分支 return 同语义，应生成 unreachable 而非 fail-fast。

- MatchGenMixin 新增 MatchHasWildcardArm / _IsWildcardPattern：识别 MatchAs(pattern=None)（含 as/or 组合），带 guard 的 case _ if c 不算穷尽。

- MatchGenMixin：_handle_simple_match / _handle_renum_match / _handle_sequence_match 三条路径改为 pass1 显式记录 default_case_node，default 块直译该节点；原实现经 def_arr[di] 反查 cases_list[di]，collected 下标与原始下标在「有臂被跳过」时错位 → default_bb 空转 → merge 误判可达（同时 case _ 臂不生成 IR）。
 2026-09-27 12:17:14 +08:00
TermiNexus cf815b17de feat(gen): volatile 构造写入落 LLVM volatile（逐字段 store + 构造三方法屏障） 
值位置 volatile 前缀（a: int = volatile f() / a: S = volatile S(...)）此前只在调用点无落点。LLVM 的 call 指令没有 volatile 限定符，故语义只能落在内存存取上：

- AssignGenMixin：赋值目标的结果槽按 volatile 存取（本次 store 立即带 volatile，并登记 VarEntry.IsVolatile 使后续 load/store 亦带）；对已存在的 global/nonlocal/mod_glob 条目在分支前统一登记。

- CallGenCtor：_translate_struct_ctor / _translate_struct_ctor_kw / _translate_renum_construct / _apply_struct_defaults 增加 is_volatile 参数，清零、tag、默认值、逐字段 store 全部带 volatile；_translate_generic_ctor_call 直接从 cl.IsVolatile 取。

- CallGenCall._call_method_on_ptr 增加 is_volatile 参数：__new__/__before_init__/__init__ 的写入发生在被调函数内部，调用点无法逐条附加 volatile，故在调用后对该 self 指针追加一次 i8 volatile load 作为内存屏障，使构造写入不被优化器消除或跨越重排。

- CallGenMixin / CallGenDispatch：结构体、关键字、泛型、REnum 构造调用点统一透传 cl.IsVolatile。
 2026-09-27 12:01:22 +08:00
TermiNexus 7d28c9649e feat(gen,err): CastError 定位到出错表达式；vpi 生成 fail-fast；函数属性接受直接形态 
- ExprGenBase：新增 _cast_fail_where，指针/整数隐式转换失败时打印出错表达式与列号（多实参调用可定位到具体实参，如 Name 'toggle_ptr'）

- Converter：import / from-import 别名列表为空、Alias 指针为空、name 为空分别 fail-fast，不再写出 import ,  这类残缺 vpi 行（该残缺会让包重导出注册失效，报出与根因无关的 NameError）

- FuncGenBase.extract_func_attrs：接受直接 @t.attr.<name> 装饰器形态（与类侧 _has_decorator 同口径），使 inline def 在无 import c 的文件里也生效

- 附：CallGenDispatch 内保留一处临时 [MDISP] 探针（MpoolOopTest pool.alloc 定位用）
 2026-09-27 11:41:11 +08:00
TermiNexus f084da7c01 feat(gen): 重复声明改为无条件失败（不再比较类型），global 后再注解同样报错 
- 判据改为：模块级已有同名变量 + 函数内再次用注解声明同名变量 ⇒ TypeError 重复声明，不再比较注解类型是否与全局一致（此前仅在类型不一致时报错）

- 有 global/nonlocal 声明后再带注解声明同名变量也报错（注解与既有全局声明重复）

- 检查点前移到注解解析之前（紧跟 REPL 分支），保证优先于 coerce_to_type 报错

- 合法写法只剩两种：global + 无注解赋值修改全局；或换不重名的局部变量
 2026-09-27 08:55:08 +08:00
TermiNexus 78fc7313fb feat(gen): 同名全局 + 注解冲突优先报重复定义 
- translate_annassign: 函数内（无 global/nonlocal、非模块级）再次注解同名变量时，若注解类型与模块级变量类型内容不一致 ⇒ TypeError 重复定义 fail-fast，不再延后到 RHS 的 coerce_to_type 报无关的「指针隐式转整数」（PointerTest/App/main.vp:46 _g_ptr: int = None，全局已是 t.CUInt32T | t.CPtr）

- 注解与全局一致时仍按 Python 语义遮蔽为独立局部变量（既有行为不变）

- 该检查走 _stg_ty_equal 内容比较（TypePrint），非地址比较，避免 Int32()/Ptr() 新实例造成误判
 2026-09-27 08:50:18 +08:00
TermiNexus f0309e4904 fix(gen,renum): 指针操作符目标写入落盘 + REnum tag 三侧口径统一，修 kind() CastError 
- AssignGenMixin: 补 UnaryOp(Deref) 赋值目标分支（*p = v / *&x = *&y），非 Deref 的 &x/-x/~x fail-fast；*p += v 真正实现；Tuple/List 目标合并

- CallGenDispatch: kind() 改四级 REnum 判据（变体表 / struct __tag / pointee 带 __tag / X.field 声明类型反推）；修正 build_load 第一参数误传指针类型 rk_tag_p（生成 load i32*, i32* 使返回值 Ty 为 i32*，导致 CallGenLib.vp:355 vk_a: int = val.Ty.kind() 报指针隐式转整数的 CastError），rk_load 分支同步改 rk_ty.Pointee

- CallGenCtor / MatchGenMixin: __tag 读/写/比统一取字段声明类型 FieldEntry.Ty

- Test/FieldReadTest: 字段读取探针
 2026-09-27 00:19:44 +08:00
TermiNexus bcf66edebe fix(vpi): 防环访问表表满不再静默丢标记，改为 ×2 扩容 + fail-fast 
表满时曾静默 return（丢标记）⇒ 防环失效 ⇒ 递归闭包反复重解析同一批 .vpi，每个 vpi 的 Lexer/Token/AST 都从池分配且本段不回收 ⇒ 单次 translate 吃数百 MB ⇒ 1 GiB 主池 OOM

改为可扩容（ResetVpiTypedefVisited 同步复位容量），分配/扩容失败立即报错终止
 2026-09-26 21:25:23 +08:00
TermiNexus 373a20c3e5 perf(prof,gen): 编译热点优化 + 内存池 OOM 诊断接线 + REnum 指针载荷修正 
CallGenBase: 模块返回类型文本表改单趟登记+查找，find_func_in_module 合并为单趟链表遍历（PROF 热点）

BuildPipeline: ensure_dir 增加快速路径（已存在目录直接返回）

AssignGenMixin/Translator: alloc 失败打印 Pool/PermPool 统计与阶段上下文（SetAllocCtx）

CallGenCtor: REnum 指针载荷补显式 build_ptrtoint 再 coerce/store；新增 DebugInfoGen.vp

其余为历史累积改动一并入库
 2026-09-26 19:27:23 +08:00
TermiNexus 676c19c362 feat(asm,err,typedef): 支持 __asm__/__llvmir__ 裸名与 typedef 语法糖；解析报错统一 Python 风格 traceback 
CallGenCBuiltin/CallGenDispatch: __asm__/__llvmir__ 裸名调用，asminp/asmout/irinp/irout 与裸 ASM_DESCR。

AssignGenMixin: 支持 define NAME: T = V 形式的 CDefine 浮点值恢复；负浮点(-1e308)剥一层 UnaryOp(USub)。

Phase1Main/Phase2: AST 解析失败改调 GenApi.dump_parse_traceback（Traceback + File/行 + 源码行 + caret）。

TypeGenResolve/TypeGenCType: typedef 文本扫描统一支持 typedef 语法糖（builtins/库/单文件三处共用同一解析）。
 2026-09-25 13:11:16 +08:00
TermiNexus a7af34bd7e 修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善 2026-09-23 17:41:49 +08:00
TermiNexus 951b89be36 修正了部分代码的表达方式，最后可用版本，正在为 mlirlite 做准备 2026-09-23 16:09:32 +08:00
TermiNexus a5ceb3d4eb 增加 JIT REPL 2026-09-21 16:17:19 +08:00
TermiNexus 9910e05760 修复了一些错误，更改了一点语法 2026-09-18 20:00:40 +08:00
TermiNexus 9e2ccbfab7 将部分 | t.CPtr 修正为 rawptr[T] 2026-09-18 17:56:24 +08:00
TermiNexus eb01a45024 修复了一些问题 2026-09-17 14:51:18 +08:00
TermiNexus cb0836de8a 清理了 t.CVoid 2026-09-16 16:06:48 +08:00
TermiNexus 9a191daa8d 错拼 rowptr 改为 rawptr 2026-09-16 11:42:28 +08:00
TermiNexus 7cba4cbc95 chore: 清理超长历史注释，并一并提交并行会话的代码改动 
注释清理（65 文件 / 约 -2578 行 / 约 516 处）：删除/压缩叙述式历史注释——多行根因叙事、工作代号段（D25/D30/N11/B5/S4/阶段E 等）、改前改后与先例叙述、逐条推导块，压成一行讲清作用信息；契约类注释（用途、参数与返回、关键约束与不变量、IR 结构说明）与被注释掉的代码一律保留

存疑 标记 6 处一字未动：StubMergerStore.vp、VpiReader.vp、VLogger.vp、AssignGenMixin.vp、CallGenLib.vp、CallGenLeafKit.vp

本次一并带入并行会话的代码改动（同批文件，按文件粒度无法拆分）：fileio.File -> rowptr[fileio.File] 等

已知副作用/残留：① CallGenDispatch.vp 有 2 行非注释行的行尾被 LF->CRLF 规范化（纯字节变化，无文本改动）；② core/Gen 区约 24 处压缩因并行会话整文件覆写被写回原样，尚未生效（StmtGenCifMixin/ClassGenVTable/FuncGenDef/ClassGenEnum/StructGenMixin/TypeSpec 等）

清单与复跑判据见 Debugger/comment_cleanup_summary.md（该目录不受版本控制）
 2026-09-16 11:27:05 +08:00
TermiNexus b28f20cce7 chore: 清理调试打印与失效 import 
CallGenCall.vp: 前次清理 DBG 打印后 import stdio 已无使用者，删除（该文件全文无 stdio. 调用，亦无经本模块的外部访问）

Test/App/nested_match_test.vp: 删除 _init_mbuddy 与 test_single_match 中的 8 处 [DBG] 进度打印；该测试的判定只看 --- Test N --- / OK / FAIL 行，test_main.vp 亦只取返回码，无断言引用这些文本

未改动任何逻辑（保留 FAIL: malloc for arena failed 等错误分支的真实输出）
 2026-09-16 10:32:40 +08:00
TermiNexus 429de97083 fix(call): 泛型特化类跨模块 declare 按模板 vpi 注解对齐形参口径 
特化名（{sha}.list[str].__init__）在 vpi 参数注解缓存中无精确键——键段取自 class 行文本，只存模板 list[T]——定义侧形参注解取不到，调用点 declare 停在调用点实参口径（elem_size 字面量 i32 vs 定义侧 t.CSizeT=i64；池实参 MemBuddy*/i8* vs 定义侧 MemManager*），并经 .stub.ll 传播到未调用该函数的消费方模块

新增 VpiReader._resolve_vpi_param_annot_seg_template：按 {sha1}.{base}[T].{method} 定位模板条目、用特化实参替换段内类型形参 token 后再解析，未命中返回 None 不兜底；_coerce_args_to_def_params 在精确键未命中且类名含 [ 时改走模板退查并置 tpl_src，使 _coerce_arg_value_to_ty 对同为具体结构体指针但基类型不同补 bitcast；_call_method_on_ptr 的跨模块分支补建 declare 前的 coerce（先例 a83d183 的三处调用点）

同时把 {sha}.{cls}.{method} 的切分由首个 . 改为末个 .（CallGenLib/CallGenBase 两处）：method 不含 .，首个 . 会把含模块限定名的类型实参截断（list[3571eabe5a83d798.AST|t.CPtr] 截成无 ] 的类名 ⇒ 模板退查必 miss）

另修 VpiReader 一处 double-free：_subst_template_arg 早退分支返回入参本身，替换前释放原缓冲需先判同一性（三条路径各释放一次）

效果: 危险级签名不一致 TransPyV 8->4->0、Test/AstTest 6->2->0，ZlibTest/WebTest/FakeDuckTest/ListTest/GenericTest2/VectorGenericTest 保持 0；4 个目标符号 define/declare 共 148 处全部统一为 MemManager*+i64（0 处旧口径）；自举达全树逐字节不动点（exe sha256 相同、temp/** 635 文件零差异）；AstTest 及既有测试全 PASS 且无 ASan 报告
 2026-09-16 09:31:57 +08:00
TermiNexus a83d183abb fix(gen/call): 跨模块调用 SSA 整型实参按定义侧形参扩宽 
declare 由调用点实参链建立，而 _coerce_arg_value_to_ty 对非常量(SSA)整型此前原样返回，导致 declare/call 停在调用点窄宽度(string.strncpy 第三参 i32)，与定义侧(vpi 注解 n: t.CSizeT => i64)不一致，并经 .stub.ll 传播到未调用该函数的消费方模块

现按源符号性 zext/sext 扩宽(真源 ExprGenBase._zext_or_sext_val，先例 CallGenCtor._translate_t_type_cast)，实参 AST/trans 下传；self_off 模块级 0、方法 1

效果: WebTest 危险级签名不一致 1 => 0
 2026-09-15 23:58:40 +08:00
TermiNexus 31b8dccffd fix(stub): declare 侧识别 t.CPtr[...] 段，与定义侧指针层级口径对齐 
t.CUInt8T | t.CPtr[t.CPtr] 在定义侧(TypeGenResolve._is_cptr_subscript)按指针层级合并得 i8**，但声明侧段判据只认整段等于 t.CPtr/CPtr，下标段落入普通段解析后取首段 => i8，造成跨模块 define/declare 签名不一致(实参 1 字节 vs 写入 8 字节)

新增 t.CPtr[/c.CPtr[ 段的识别与递归解析(与同文件 rowptr[...] 分支同构)，数外层 Ptr 层数 N 后按 Ptr^N 合并；裸 t.CPtr 段路径未动，未放宽 fail-fast

注: TPC 侧 LLVMTypeMapper._resolve_bitor 与 SymbolUtils.IsCPtrNode 同源缺陷未改，两套编译器需同时修以免产物分叉
 2026-09-15 23:58:39 +08:00
TermiNexus de86a1ed70 fix(gen/for): 负数字面量 stop 的 range 循环退回有符号谓词，修复 _find_provider 死循环 
stop 边界为负数字面量(如 range(top - 1, -1, -1))时，3.6 的边界推导把无符号 start(UINT64 字段)判为无符号循环，负步长分支随即由 sgt 覆盖为 ugt；而比较在 stop 类型(i32)上进行，-1 在无符号域是 UINT32_MAX，条件恒假 => 循环体成为死代码。_withcontent._find_provider 因此恒返回 NULL，with 上下文的 __mbuddy__ 注入永不生效(FakeDuckTest Test 9 FAIL，随后 _str.upper 解引用 NULL vtable 触发 ASan READ)

新增 3.7: stop 为负数字面量时撤销无符号谓词(判定与既有 step_neg_const 同口径)，退回 slt/sgt；正步长非负 stop 的既有 ult 优化与 range(stop) 单参形态不受影响
 2026-09-15 22:45:28 +08:00
TermiNexus 296f6a739e fix(gen/renum): REnum 补齐 Assign 形式无载荷变体的变体表注册 
根因: _translate_renum_def / _register_renum_variants 只认嵌套 ClassDef 变体，Empty = 1 / None_ = 0 这类无载荷 Assign 变体既不计入 variant_count 也不写变体表 => match 查不到 tag(-1) => 本会话硬校验 fail-fast，此前则静默丢 case(Test\EdgeCaseTest 旧产物 ac0d686cb2cc783b.text.ll:117-119 仅 1 个 case，臂体 match.case.11.1 结构性不可达)

修复: 按 TPC 口径(HandlesClassDef._EmitREnumLlvm / SymbolExtractor)两遍处理——先取 Assign 显式值上界，ClassDef 变体从 max(显式值)+1 起编号(避免与显式值撞号)，Assign 变体 tag = 显式整数值；表槽号与 tag 值解耦。纯 ClassDef REnum(含 LLVMType)生成结果不变。硬校验保留不动
 2026-09-15 22:45:28 +08:00
TermiNexus 617d4ea911 fix(gen/assign): 模块级与 nonlocal 分支补写赋值注解上下文通道 
模块级 AnnAssign 的 mod_glob 分支与 global 语句分支、以及 nonlocal 分支此前均未写入 trans.CurAssignAnnot/CurAssignNode，导致模块级/闭包内 s: Stack[int] = Stack() 在泛型裸名构造处 fail-fast、x: int = c.Deref(p) 退化为 i8 单字节读取

按主分支既有先例(AssignGenMixin set 在 RHS 翻译前 / clear 在返回前)在三处分支补齐同款 set/clear，并覆盖全部分支的提前 return 与末尾出口，避免通道残留污染后续 c.Deref 读取宽度与泛型构造类型实参推断

影响面: 全仓 模块级/global/nonlocal 的 X: T = c.Deref(...) 与 X: Generic[...] = Ctor(...) 均 0 处，属纯增量
 2026-09-15 21:52:42 +08:00
TermiNexus 5a59432733 fix(gen): 泛型裸名构造补齐注解上下文与关键字实参两条推断来源 
- 赋值目标/返回注解上下文作为最后一级类型实参来源(s: Stack[int] = Stack()、-> Stack[int] 里 return Stack())，注解解析复用 _extract_type_args_from_slice，以 CurAssignNode/CurRetNode identity 限定直接值避免嵌套误用

- 仅关键字实参构造按 __init__ 形参名定位槽位(Box(v=42)、Pair(b=string, a=1) 乱序)，泛型构造码生成不再静默丢弃 cl.keywords(此前会生成少一个实参的错误调用)；形参名查无/槽位空洞 fail-fast

- 抽取共用 __init__ 形参遍历(_get_ctor_init_params)，位置对齐语义保持不变
 2026-09-15 21:52:41 +08:00
TermiNexus 6394ea30e2 fix(call): 泛型类裸名构造按 __init__ 签名对齐类型实参并禁止静默默认 int 
- 删除按序号消费「过滤纯 int 的 hint 列表」的压缩逻辑(整型实参被剔除后 hint 下标与形参序号错位，Pair(1,字符串) 被误判为 Pair<str,str>)，改为取 __init__ 中注解为该类型形参的形参位次所对应的位置实参推断(Vector[T].__init__(self,pool,capacity,_hint:T) => T 对齐第 3 个实参)

- _infer_generic_ctor_type_arg 对 Name/Attribute 实参改取真实类型(变量注解类名/字段注解类名)，取不到即 fail-fast，不再回退 int
 2026-09-15 21:33:54 +08:00
TermiNexus b27633c86e fix(Gen/Type): long/unsigned long 按目标平台取宽，Windows 对齐 TPC LLP64(ULONG/LONG => i32) 
- map_t_type 对 CLong/CUnsignedLong 原为硬编码 Int64(64 位平台假设)，导致 Windows 目标下 ULONG/LONG 出成 i64：83 个 Win32/posix 声明的 long 形参宽度错误，且 CRITICAL_SECTION 等结构体布局为 48B(正确 40B，真实 Win64 ABI)

- 新增 _long_llvm_ty：target triple 含 windows/win32/mingw/msvc => Int32，其余(LP64/裸机 ELF)保持 Int64；规则对齐 TPC lib/includes/t.py configure_platform；triple 嗅探写法对齐 StmtGenCifMixin.vp:95-109

- 定义侧与 stub/declare 侧共用同一 map_t_type，单点改动两侧同变；未改 includes/stdint.vp(ULONG=t.CUnsignedLong 的意图正确，错在宽度)
 2026-09-15 20:56:52 +08:00
TermiNexus 813f0157e3 fix(Gen/Expr): 类名不再被当模块级全局变量制造引用，消除 ASan 构建 undefined symbol 
ExprGenAttr._resolve_module_attribute_global 在未命中已注入全局时会新建 @<sha>.ClassName = external global i8* 并 load；该 load 无使用者，非 ASan 构建被 llc 删除，ASan 插桩后其全局地址参与 shadow 检查无法删除 => ld.lld: undefined symbol 481fd55266ff1187.LLVMType (.refptr)。若属性名是已注册类/结构体/REnum(StructGen.find_struct 命中)则直接返回 None，交给类/REnum 路径。
 2026-09-15 20:47:15 +08:00
TermiNexus 592400a1ea fix(asan): 并行 llc 任务在 ASan 模式下改用插桩后的 .asan.ll 作输入 
Phase B 的 init_llc_task 先前用未插桩的 ir_path 拼 LlcCmd，opt 产出的 .asan.ll 只写进 OptCmd，worker 先跑 opt 再跑 llc 却读回原 .ll，导致 App 侧 76/76 个 obj 无 __asan 符号(ASan 内存排查半盲)。现将 llc 输入统一为 compile_input，与串行路径 compile_ll_to_obj 及 TransPyC 参考实现同口径；非 ASan 分支命令逐字不变。
 2026-09-15 20:47:14 +08:00
TermiNexus 8312e653e8 fix(CodeGen): 裸结构体形参按 C ABI 按值、修正 |t.CPtr 指针层级，对齐 TPC 并消除签名发散 
- FuncGenDef/VpiReader._AggregateParamTy: C ABI 外部声明(t.CExtern/t.State)的裸结构体形参按值 %Struct(可取完整定义时)，真 opaque 降级 i64；TPV 内部函数/方法维持 Ptr(struct)。三处(定义侧/函数注入侧/方法注入侧)同口径

- TypeGenResolve/VpiReader: BinOp(A|t.CPtr) 的指针别名守卫改为 pointee 为已注册 struct 才吸收，否则追加一层 => VOIDPTR|t.CPtr 由 i8* 修正为 i8**(对齐 TPC)

- 效果: SetConsoleScreenBufferSize 等 6 个符号由 i64/%COORD* 双形态收敛为按值，同符号多形态数 193->186
 2026-09-15 20:47:14 +08:00
TermiNexus 31df298341 fix(gen): 修 REnum match case 静默丢弃与 CDefine 负 64 位常量截断，补 void 注解放行、移植类型定义前移 
- MatchGenMixin: 2a 路径查变体 tag 改用裸类名(注解书写形态带模块前缀，与变体表裸名注册口径不一致致 tag=-1、case 被静默丢弃、match 全走 default)，并在 build_switch 前硬校验 应提交 case 数==sw_count，不再静默丢

- ExprGenCdef: _const_int_for_cdefine 补 value < -2147483648 下限判据，修正 (0xA5A5A5A5<<32)|0xA5A5A5A5 等负 64 位模式被物化为 i32(写入 inttoptr 零扩展 vs 比较 sext 不一致，致 MemBuddy canary 假阳性 rc=6)

- FuncGenDef/ClassGenVTable: 掉尾检查新增注解级 void 判据(t.CVoid/裸名 CVoid/None)，不再因 REnum match 退化误判 void 函数缺 return

- StubMergerBuild: 移植 TPC 的 类型定义前移 遍，满足 llc 对 by-value 具名类型需先定义的要求(invalid type for function argument)

- main.vp/Phase1Main.vp/project.vpj: 新增 --detection-deep 深诊断开关与 canary 哨兵、ASan 静态库声明
 2026-09-15 19:11:54 +08:00
TermiNexus 60100fa6af fix(type): 联合类型 A|t.CPtr 判据由白名单改为解析成功即保留，stub 侧同步 
定义侧 TypeGenResolve.resolve_annotation_type 的 BinOp(A | t.CPtr) 分支：裸名
pointee 的保留判据由“硬编码名字白名单 + 必须是已注册 struct”改为“以解析是否
成功为准”——命中统一口径 resolve_typedef_or_map（CTypedef 动态表 → builtins
→ stdint/w32.win32base 库源 → map_t_type）且结果非指针即保留该已解析类型。
于是 sizet | t.CPtr ⇒ i64*（原静默退化为 i8*）。

修复前的故障：TPV2 Phase1 的 includes/ast/tokens.vp _kw_index_put 按 i8* 处理
哈希槽，slot[0] 只做 1 字节读写，指针被截断成低字节 0xd0，随后被当 KwEntry*
解引用 → ASan 读地址 0xd0 崩溃（TPC 侧同 sha 为 alloca i64*/load i64/store i64）。

stub/declare 侧 VpiReader._resolve_vpi_ret_annot_str 同步同一判据：新增
first_td 标记，对裸名（无 '.'）、非白名单、非指针的解析结果复用同一个
GenApi.resolve_typedef_or_map 判定，命中即保留 pointee。声明侧与定义侧现在
同型（sizet/uint64/INT/u32 等别名两侧都得到 i64*/i32*），同型即收敛，
不再需要把 declare 侧坍缩为 i8* 去迁就定义侧。

既有路径行为不变：泛型参数名、内建标量白名单（int/char/str/bytes/bool/float/
double）、解析失败与裸枚举名的 i8* 兜底；指针别名（BYTEPTR/HANDLE/VOIDPTR）
因解析结果为 Ptr(...) 不置位 first_td，仍坍缩 i8*，与定义侧 td_res_is_ptr
守卫对称。
 2026-09-15 13:52:21 +08:00
TermiNexus c1859a111c fix(tpv): 撤销 llc 输出重定向，回归继承父控制台并保留 GetLastError 与退出码诊断 
病因：_run_cmd_wait 置 STARTF_USESTDHANDLES 后所有 llc 均无法启动（CreateProcessA 返回 0，GetLastError=87 ERROR_INVALID_PARAMETER），整条构建被阻断。已逐项核对生成的 IR 并排除：STARTUPINFOA 布局（偏移 80/88/96、size 104 正确）、si.cb=104、GEP 字段索引 11/15/16/17 正确、CreateFileA 的 access/share/disposition/flags 正确、dwFlags=256 正确、CreateProcessA 十个参数正确；静态证据无法再推进，故撤回重定向。

移除：_run_cmd_wait 的 log_path 形参、CreateFileA 打开 .llc.log、STARTF_USESTDHANDLES 与三个 hStd 句柄赋值、父侧 CloseHandle 守卫；连带删除失效链路 _log_captured_output、CMD_OUTPUT_MAX、LlcTask.LogPath 及其 init/free 与成功路径 DeleteFileA。进程创建回到继承父控制台（dwFlags 保持 memset 的 0），llc 输出直接外显。

保留诊断（用户要求）：CreateProcessA 失败后立即取 GetLastError 并以 VLogger.warning 打印（worker 线程内不能用 error，它会 sys.exit）；串行 compile_ll_to_obj 与并行 run_llc_parallel 失败时均打印 模块sha1、退出码、完整命令；LlcTask.ExitCode 保留。
 2026-09-14 23:02:59 +08:00
TermiNexus 05d5bfbf37 fix(tpv): 修 CreateProcessA 重定向未启动外部命令，并把捕获输出移到 error 之前 
主因：_run_cmd_wait 置 STARTF_USESTDHANDLES 时只设了 hStdOutput/hStdError，hStdInput 仍是 memset 后的 NULL(0)；Windows 要求三个句柄都有效且可继承，故 CreateProcessA 直接返回 0（表现为 exit=4294967295 即 -1，且 .llc.log 恒空、一次也没有 llc 输出）。日志文件改以 GENERIC_WRITE|GENERIC_READ 打开并令 hStdInput 同指该文件（llc 不读 stdin），三态句柄均不泄漏；无重定向时不置 USESTDHANDLES、退回继承控制台的行为不变。

另在 CreateProcessA 失败处立即取 w32.win32base.GetLastError 并以 VLogger.warning 打印错误码+命令+重定向文件路径（warning 而非 error：error 会 sys.exit，而此处运行在 llc worker 线程内）。

同时修正一处使功能完全失效的顺序问题：_log_captured_output 原先排在 VLogger.error 之后，而 error 内部 sys.exit(1)，故捕获到的 llc stderr|stdout 永远不会打印（这正是只看到一行 llc 编译失败、.llc.log 留空的原因）。串行 compile_ll_to_obj 与并行 run_llc_parallel 两处均改为先打印捕获输出、再报错。
 2026-09-14 22:14:45 +08:00
TermiNexus 82f16127c0 fix(tpv): llc 日志文件句柄初始化改用 NULL，避免整数常量赋给指针类型 
_run_cmd_wait 里 log_fh 原以 w32.win32base.INVALID_HANDLE_VALUE 初始化，而该常量是 CDefine = -1（整数），赋给 HANDLE 指针类型触发"整数隐式转指针已禁止"的 fail-fast（BuildPipeline.vp 原 595 行）。

改为以 None(NULL) 初始化；仓库既有惯例是只把 INVALID_HANDLE_VALUE 用于比较（全仓 20 余处同写法），故其余比较判断不变。因 NULL 与 INVALID 都不应参与关闭，父侧 CloseHandle 增加 None 守卫，避免对 NULL 调 CloseHandle。
 2026-09-14 21:19:20 +08:00
TermiNexus 785741026f fix(tpv): llc 失败日志附带 stderr|stdout、退出码与完整命令 
此前 llc 失败只打 模块sha1 与命令行：llc 的 stdout/stderr 因继承控制台而外显，程序拿不到文本，导致无法定位 verifier 报错。

_run_cmd_wait 新增可选 log_path：非空时用可继承安全属性把子进程 stdout|stderr 重定向到临时文件（不用管道：写文件不会因缓冲满阻塞、天然无死锁；且 worker 线程禁用池分配，故不复用 includes/subprocess.vp），CreateProcessA 成功后立即关闭文件句柄；log_path 为空时行为与原先逐字节一致。

LlcTask 末尾追加 LogPath/ExitCode（构造点均按 __sizeof__ 与整体 memset 处理，既有字段偏移不变）；worker 记录退出码；run_llc_parallel 与串行 compile_ll_to_obj 在失败时打印 模块sha1、退出码、完整命令 与捕获输出（上限 8KB，带截断标记；输出为空/打开失败/无文件 三态如实打印，不伪造），成功时删除捕获文件、零额外输出。

包装层（compile_module_to_obj 摘要、run_pipeline 的 ErrorMsg、Phase2 PhaseB/PhaseB+ 聚合终止语）本身拿不到输出，保持不动，详情由深层打印。
 2026-09-14 20:21:57 +08:00
TermiNexus 51daf28297 fix(expr): 三元表达式 else 分支按 then 的指针类型下传目标类型 
VpiReader.vp:1963 的 rel_path_rt if rel_path_rt is not None else 单字符问号 触发 CastError（探针 kind=35 IfExp、val.Ty=i32、target_ty=i8*）。根因并非跨模块函数返回类型未解析：then 分支 rel_path_rt 已是 i8*（解析成功，赋值处与已有 fail-fast 均未触发，三条独立证据）；真正的整数来自 else 分支——单引号单字符字面量在词法层被判定为 CONST_CHAR，而 translate_ifexp 翻译 else 时未下传目标类型上下文，遂物化为 i32（63），随后在类型对齐阶段被按 then 的指针类型 coerce，撞上整数隐式转指针的 fail-fast。

改为：仅当 then 分支是指针时，把其类型作为 else 的 target_ty 下传；单字符字面量随即走 ExprGenConst 的指针目标分支物化为 1 字符字符串（对齐 TPC 的引号推断），两分支同为 i8*，不再进入 coerce。非指针 then 不下传，既有常量物化与位宽行为逐字节不变（如 base64.vp 中 then 为 char 的两处不受影响）。

另经核查：模块级函数返回类型并无静默默认 i32 的问题——「依赖已就绪却解析不到」已是 fail-fast（CallGenMixin 跨模块函数路径与方法侧 _fail_method_ret_ty 同构），保留 i32 的仅是多遍收敛中间态的占位，故本次不动。
 2026-09-14 19:26:46 +08:00
TermiNexus 7fabf886fc fix(vpi): 返回注解索引重建的键长常量拼写修正为 VPI_KEY_LEN 
_vpi_rebuild_ret_idx 里把键长写成了不存在的 VPI_RET_KEY_LEN（参数侧另有 VPI_PARAM_KEY_LEN=224，本文件仅定义 VPI_KEY_LEN=224 与 VPI_PARAM_KEY_LEN）。此前该未定义标识符被旧规则按类型零值兜底编成 0，使重放偏移 ri*0 恒为 0（每条键都从第 0 条键位置读取），返回注解索引重建结果错误；因探测用 live 键比较，表现为未命中回退线性扫描——结果仍正确但索引形同无效。

这解释了此前实测中 _lookup_vpi_ret_annot 加索引后仍有约 913K 次 strcmp（返回侧索引一直未生效），而参数侧索引生效并从榜单消失。改为本文件既有且返回侧一致使用的 VPI_KEY_LEN（malloc/memset/查找/写入各处均用该常量）。
 2026-09-14 16:54:36 +08:00
TermiNexus a46391bf42 fix(expr): coerce_to_type 拓宽方向判定改传 builder.Pool，修正未定义实参 pool 
coerce_to_type 作用域内并无 pool（其参数是 builder），L425 却把 pool 作为第 1 个实参传给 _zext_or_sext_val。此前该实参翻译失败会被静默按类型零值兜底，使传给 ExprGenOps.should_zext_widen 的池为空、变量注解符号性判定失效，从而在无符号拓宽时错走 sext（即该处注释所述的无符号扩展缺陷根因）。

改为传 builder.Pool（与同函数内 llvmlite.const_int64(builder.Pool, 0) 等一致，是共同值所处的池）。该未定义实参由本会话新增的「实参翻译失败即 fail-fast」规则暴露。
 2026-09-14 15:48:09 +08:00
TermiNexus b918321f77 perf(callgen): text.ll 存在性改属性查询 + 返回类型按模块一次性缓存 
第 1 项：_dep_text_ll_exists 原以 fileio.File(MODE.R) 只读打开探测存在性（33,244 次调用，占总 create_file_utf8 46.6%，每次约 57us 的开句柄成本）。改用 GetFileAttributesA 并显式排除目录（对齐 IncludesScanner._PathExistsA 先例），无输出缓冲、零句柄。

第 2 项：_LookupMethodRetTyFromTextLL（29,974 次、约 380,505 tick/次、self 11.41e9 即 8.9%）原每次重开加重读加逐字节重扫整份 text.ll（实测约 2.47 tick/字节，均值 154KB）。新增 PermPool 缓存表（mangled 名 到 返回类型文本）：某模块 text.ll 首次成功读入时登记其全部 define 行，同模块后续查询 O(1)；命中后用调用方 pool 经 _ParseLLVMRetTyStr 重建类型，与原路径等价。

关键安全点：只存返回类型文本、绝不存会随每文件 reset_to 失效的 LLVMType*；同名只记首次（保持首个匹配优先）；仅成功读到文件后才回写，未找到或文件暂不存在绝不缓存（Phase A 顺序生成依赖，负缓存会出错）；缓存或分配失败一律回退原扫描。原扫描逻辑一字未改，保留为未命中路径。
 2026-09-14 15:26:10 +08:00
TermiNexus ce612c8e57 perf(lookup): 恢复名字索引可信未命中即确无的短路（Ty 索引保持停用） 
4ed7f39 因 Ty 索引不等价，把名字索引的未命中短路一并回退了，导致 find_struct(8.25M)/lookup_ctypedef(5.64M) 等又回到全表扫描。

经逐处自证不变量后仅恢复名字键索引：名字或键只在注册时写入一次（中和仅置空名，空名查询显式回退扫描）；索引在所有写入路径同步维护，判据 Built==Count 失败即失效回退；探测用 live 键且同键条目沿链按注册顺序排列（无空槽夹层）⇒ 可信未命中即原线性扫描亦无所获，短路逐字节等价。

恢复点：StructGenMixin.find_struct、TypeGenCType.lookup_ctypedef、CallGenLeafKit.find_func_in_table/find_func_entry_global、TypeGenCDef.lookup_cdefine_{constant,double,string}、VpiReader._lookup_vpi_param_annots/_lookup_vpi_ret_annot（后者保留泛型特化归一化兜底）。

find_struct_by_type 的 Ty 索引判定保持停用（事故根因）；首字符预筛、Function.NameLen/FUNC_SIZE、includes 均未改动。
 2026-09-14 12:59:27 +08:00
TermiNexus 4ed7f3909a fix(lookup): 索引未命中一律回退原线性扫描，停用不可信的 Ty 索引判定 
降低「索引可信且未命中即判定确无」语义带来的风险面（该语义是本轮构建 fail-fast 的最高嫌疑）：索引只用于加速命中，未命中一律回退原线性扫描，使各查找函数在所有输入上的返回值与优化前逐字节一致。

StructGenMixin.find_struct：去掉「索引可信且查询名非空则跳过 O(n) 扫描」分支，未命中恢复原精确匹配全表扫描。

StructGenMixin.find_struct_by_type：整体停用 Ty 索引判定 —— 条目 Ty 会被深拷贝改写，槽按注册时 Ty 落位，改写后与 live 键脱钩，命中不保证是原线性首命中（不等价），故恢复原线性精确扫描；get_class_name_by_type（REnum.kind 识别路径）、register_struct 去重、lookup_field 首遍随之回到优化前语义。

CallGenLeafKit.find_func_in_table/find_func_entry_global、TypeGenCType.lookup_ctypedef、TypeGenCDef.lookup_cdefine_{constant,double,string}、VpiReader._lookup_vpi_param_annots/_lookup_vpi_ret_annot：可信未命中不再直接返回，一律落入原线性扫描。

未触碰：Function.NameLen/FUNC_SIZE、各处首字符预筛、includes/string.vp。
 2026-09-14 12:41:27 +08:00
TermiNexus e7f47735ed perf(callgen): find_func_in_module 以 function_get_name_len 替代 strlen 热点 
第二趟后缀匹配对每个函数节点调用 strlen(cur_name)（实测 2373 万次、占全程序 strlen 73.7%）改为读取 Function.NameLen；两处替换点：CallGenBase 约 563 与 597。

并在外部函数返回类型白名单登记 function_get_name_len 返回 i64(CSizeT)，避免 stub 未注入时按默认 i32 导致签名不一致。匹配语义与返回顺序不变。
 2026-09-14 08:26:18 +08:00
TermiNexus cb430bf00a perf(gen): 结构体/CTypedef 查名加索引，热点线性查名补首字符预筛 
StructGenMixin.find_struct：索引可信且查询名非空时，未命中即判定确无同名条目，跳过 O(n) 精确扫描（此前索引只短路命中、未命中仍全表扫描，实测 527 万次逐条 strcmp 即源于此）。

TypeGenCType：新增 CTypedef 名索引（开放寻址、槽存 index+1、Built==len 才可信、不可信或未命中回退线性扫描、clear_ctypedefs 同步复位），消除 lookup_ctypedef 约 445 万次 strcmp。

补首字符预筛：StubMergerIR._FindSha1ByModName、CallGenBase._ensure_method_declare、VarGenMixin.find_var、CallGenLeafKit.find_func_entry_in_table(_owned)（首字符不等即判不等，匹配结果与顺序不变）。
 2026-09-14 04:15:36 +08:00
TermiNexus e8db102b9e perf(gen): 结构体按模块查找与 ctypedef 跨度查找加首字节预筛 
StructGenMixin.find_struct_by_module 的名与 ModuleSha1 两次 strcmp、TypeGenCType.lookup_ctypedef_span 的逐项名比较，均加首字符/首字节必要条件短路（首字节不等即判不等），并省去原逐项 strlen。匹配结果与返回顺序逐字节不变。
 2026-09-14 00:09:06 +08:00
TermiNexus 16472a61d9 perf(lookup): 热点线性查找表加开放寻址名索引，O(n) 降为期望 O(1) 
VpiReader 参数/返回注解键表（查表 + 写去重共用）、CallGenLeafKit 全局函数表、TypeGenCDef CDefine 表：由线性扫描改为开放寻址索引，对应热点约 117M + 17.8M + 10.5M 次 strcmp。

索引槽只存下标+1（不存键/节点指针），键表 realloc/移动后槽下标仍有效，无悬空指针；可信判据 Built==count，每次注册同步维护，不可信或未命中一律回退原线性扫描（正确性保证）。每次注册占一槽以保持首注册优先（探测链首个键相等者即原首个命中）。CallGenLeafKit 快速路径仅限 owner_sha1 为 None 的全局表查询，保持 owner 优先语义不变。
 2026-09-14 00:05:12 +08:00
TermiNexus a9819e4123 fix(gen): 方法分派与 list 内建判定改用接收者实际特化名，根治 list[int].get 截断 
_translate_method_call 原以注解来源 class_name 构造被调名；同一函数作用域内同名变量被声明/赋值两次时该名退化（get_class_name_by_type 的类型后缀匹配会把 list[sha.AST] 误判为元素类 AST），使 list[ast.ASTptr].get 被误绑为 list[int].get（返回 i32）后 inttoptr 截断指针，读垃圾 AST 节点崩溃（MatchGenMixin._handle_renum_match / _handle_simple_match）。

现统一以接收者实际 LLVM 结构体类型名（IR 真值）为准：基名为泛型模板时，含类型实参则以实际特化名覆盖；退化为裸泛型基类则 fail-fast（D25 口径，禁止静默默认 list[int]）。

抽出 CallGenProp._strip_module_sha1_prefix / _resolve_generic_receiver_name / _is_list_builtin_receiver 共用实现；CallGenDispatch 8 处 list 内建判据同步改为基于接收者实际类型（真实 list 命中与 __elem_size__/hit_box 行为不变，实际类型不可得时保留注解名回退）。lookup_name 缓冲改为按精确长度分配。
 2026-09-13 21:11:33 +08:00
TermiNexus 76df3f0225 perf(gen): 结构体/类型查找去线性化并守卫全量遍历残量 
StructGenMixin: 加「名 | Ty 指针值 -> 首注册下标」索引，find_struct/find_struct_by_module/find_struct_by_type 走 O(1) 快速路径；每次注册占槽保序，中和/改名后键不等自然跳过，未命中或索引不可信回退原扫描。并补 _struct_name_hash/_struct_ty_hash（32 位 FNV，常量均小于 2^63 以避开大十进制字面量解析风险）。

TypeSpec.InternSpec: 加「文本键 -> 驻留下标」开放寻址索引，去重由 O(n) 降为期望 O(1)；命中返回原同一实例，注册顺序/容量 fail-fast 语义不变。

register_struct/lookup_field/get_class_name_by_type 的按 Ty 指针首匹配改走 find_struct_by_type；CallGenLeafKit/CallGenCall 的按序号全量遍历补守卫注释（避免后续误改为按名查找）。
 2026-09-13 18:56:16 +08:00
TermiNexus 0dd7511a9b fix(tpv): 修常量折成0致alloc(0)与多处fail-fast，并落地热点优化 
TypeGenCDef: CDefine 表名深拷贝（vpi 注入名为零拷贝指针且 vpi_buf 提前释放，悬空名致常量查出错误值 0）

VpiReader: 模块级 SHA1_LEN(16) 改名 SHA1_HEX_LEN，消除与 Phase1.SHA1_LEN(17) 的跨模块同名冲突

CallGenCall: 实参翻译失败/漏传必需实参改 fail-fast，禁用零值兜底（堵住 SHA1_LEN 未解析变 alloc 0 的通路）

MatchGenMixin: 序列 match 的 case _ 分支补容量守卫（原先会越界写穿 pool 块、破坏空闲链）

Phase1Main/Phase1Scan: 预扫描缓冲分配失败改 fail-fast；加临时取证打点

CallGenBase: find_func_in_module 4 趟链表扫描合并为 2 趟

ImportsGenMixin: import 查找加哈希索引（键为 NUL 结尾副本，未命中回退原扫描）

TypeGenBase/TypeGenResolve: 库 typedef 按模块一次性门禁与缓存

VpiReader: vpi 注解解析补 rowptr[T] 分支
 2026-09-13 17:50:03 +08:00
TermiNexus af2c66e7d7 chore(tpv): 永久池扩容至 1 GiB 
PERM_POOL_SIZE 由 512MB (536871176) 调整为 1 GiB (1073741824)，为 REnum 注册表挂到 PermPool 后留足余量。
 2026-09-12 23:14:52 +08:00
TermiNexus eef84657a1 fix(tpv): 修正 REnum 表按名查找与 match 分派，恢复 str() 指针强转 
str() 对整数(sizet/i64)走 snprintf 十进制格式化(Python 语义)，不是 i8* 强转；用它读 sizet|t.CPtr 联合表元素再 strcmp 永不相等 => _is_renum_class_name 恒 0、变体名查不到(__types.vp:407 bits / :159 Void 根因)。IR 实证 output/a8891afb66d3eda4.text.ll L5551-5558。

- ClassGenEnum: RenumClassNames/RenumVariantNames 读侧统一改 (str)(t.CVoid(x, t.CPtr))；新增 _is_renum_by_entry 与 RenumTableDump；REnum 注册静默早退改 fail-fast

- MatchGenMixin/CallGenMixin: match 分派 2a/2b 与变体构造入口并上 by_entry 判据

- TypeGenResolve: 泛型下标 Phase B 解析不出特化时 fail-fast

- CallGenProp: 泛型特化名末段按括号外点切分

- CompilerFactory/ClassGenBase: REnum 注册表改挂编译期单例

- ClassGenDef: CEnum/REnum 分派歧义 fail-fast
 2026-09-12 23:14:23 +08:00
TermiNexus e0e024ee93 fix(tpv): 注解裸名按 from-import 归属查找（D26 闭环） 
stub 注入注解时 trans.ModuleSha1 是正在翻译的文件，而注解里的类归属 stub 源模块；仅靠当前模块 sha1 加全局可见性在 App 严格模式下查不到（AsyncGenMixin 未 import ast.Expression），导致 ast/__init__.vpi 的 parse_expression -> rowptr[Expression] 返回类型解析失败 fail-fast。TypeGenResolve 的 Name 分支在 own 之后、可见性之前插入 from_imports 归属查找（LookupModNameByAlias 到 LookupSha1ByModName 到 find_struct_by_module）。TPV 自举 Phase1 从 28/53 推进到 40/53
 2026-09-12 19:37:55 +08:00
TermiNexus ea2abba574 refactor(tpv): 删除 _deps_pending 置位面与 Phase A pending 多遍收敛机制 
69 个工程成功编译且 _phaseA_pending.log 恒 0 字节，证实 14 个置位点全部零命中。删除 14 个 _MarkDepsPending 调用点（原「依赖未就绪」分支保留默认类型或原报错路径）；删除 _MarkDepsPending 与 _AppendPhaseAPending 及 _phaseA_pending.log 读写；删除 Phase A 出口「pending 则不写盘、回滚 MethodsEmitted、continue」整段；删除 _deps_pending 与 _pf_dbg_pend_flagged 字段及全部读取分支；清理遗留探针 [PF-DBG] 与 [METHDBG]。16 files changed, +37 / -558
 2026-09-12 19:24:52 +08:00
TermiNexus 17f109e204 fix(tpv): 修复 vpi 重导出包前缀与 D25 变量名悬垂，补齐 fatal_error 刷盘 
VpiReader 包 __init__ 重导出补包前缀，类注册与方法声明两遍化，按需注入依赖 vpi（先登记后注入防环，失败撤销登记）；VarGenMixin 的 add_var 深拷贝变量名，符号表条目不再依赖 AST tree 生命周期；CallGenCall 的 list 内建与泛型基类判定类名来源回退到接收者实际 struct 名；TypeGenErr 的 fatal_error 退出前 fflush；StubMergerBuild 每模块重置 vpi 注入去重表
 2026-09-12 19:00:19 +08:00
TermiNexus 626f79cbd1 fix(tpv): vpi 相对导入补回包前缀（D26） 
- vpi 只存 module=base（前导点记在 level），from-import 映射写字面 base 时，解析端按精确 LookupSha1ByModName 查不到 ast.base ⇒ 裸类名（AST 等）解析失败 ⇒ rowptr[AST] 等注解 fail-fast（TPV→TPV 自举 includes/ast/parser.vp parse 根因）

- 按 stub 自身相对路径还原包名（ast/parser.vp → ast），level==1 拼成 ast.base 再登记；_stub_add_imported 与 _stub_add_from 两处同步
 2026-09-12 15:59:37 +08:00
TermiNexus 3c45895878 fix(tpv): alloca 退化守卫收窄到「裸泛型模板基类」形态（避免误杀同名重声明换类型） 
- parser.vp:964 'node: rowptr[AST] = Slice(...)' 命中上一版守卫（旧 alloca 是 Tuple*）——但 Tuple* vs AST* 是同名重声明换具体类，两者都是 8 字节指针槽，属合法用法，不该 fatal

- 收窄判据：仅当旧 alloca 的 pointee 是**裸泛型模板基类**（剥 sha1 前缀后不含 '[' 且 _find_generic_template 命中）时才 fail-fast —— 这正是 D25 的退化形态（丢类型实参 → 方法调用按错误元素类型特化 → 截断）
 2026-09-12 15:24:23 +08:00
TermiNexus 590a6a2bbe fix(tpv): 复用的 alloca 与注解类型不一致时 fail-fast（D25 alloca 退化根治） 
- get_or_create_sym 只用「名字+作用域」复用（ty 不参与判定），可能命中类型不同的旧 alloca（同名重声明 / 退化 alloca，如裸 list* 对上 list[ast.ASTptr]*）→ alloca 类型与使用点注解类型分裂 → 方法调用按错误元素类型特化 → inttoptr 截断

- 只比较「双方都是指针且 pointee 都是结构体」这一最典型退化形态：结构体名不同即 fatal_error，报出变量名与两个类型，直接暴露退化点（不兜底）
 2026-09-12 15:13:41 +08:00
TermiNexus b206e7d9c1 fix(tpv): 泛型类型实参禁止静默默认 int（D25 fail-fast 两处） 
- CallGenMixin: 裸名泛型构造推断不出类型实参时不再默认 int，改 fatal（与 _infer_generic_ctor_type_arg 注释「绝不默认 int」对齐）

- CallGenCall._translate_method_call: 泛型模板基类（剥 sha1 前缀后不含 '['）上的非 list 内建方法调用改 fatal —— 此前静默按默认 list[int] 特化，元素按 i32 处理 → 方法返回 i32 → inttoptr 截断指针 → 读垃圾 AST 节点（D21/D25 崩溃族）

- list 内建方法仍走内联路径（运行时 __elem_size__），不受影响
 2026-09-12 14:52:23 +08:00
TermiNexus ced50bd78b fix(tpv): 注解 mangled 名算键统一——补回丢失的 from_imports（D25 根因第 1 步） 
- extract_class_name_from_annotation 的 Subscript 分支递归取 base 时漏传 from_imports（同函数其余调用点都传了），导致同一注解在「派发名 / 查表键 / 注册键」三处算出不同 mangled 名

- 症状：MatchGenMixin._handle_renum_match 两遍对同一裸 list* alloca 分别按 list[ast.ASTptr] 与 list[ast.ClassDefptr] 解释 → .get 误分派 → 节点指针被截断 → StmtGenMixin._translate_stmt_impl ASan 崩溃（D21 复发，见 Debugger/_Type.md D25）
 2026-09-12 14:32:57 +08:00
TermiNexus 967095df5b refactor(tpv): _deps_pending 置位收敛到唯一入口 _MarkDepsPending（S4 第一步） 
- CallGenBase 新增 _MarkDepsPending(trans,kind,cls,method,dep,extra)：一处实现「置标志 + 统一格式 [DEPDBG] + 持久化 _phaseA_pending.log」三连

- 14 处置位点（D7-1 清单：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）全部改经该入口

- 行为不变；DEPDBG 行格式统一为 pending(<kind>): mod=.. cls=.. method=.. dep=.. extra=..，供下一步按 kind 统计命中数、删除死点
 2026-09-12 13:53:20 +08:00
TermiNexus 7e68e76ec4 refactor(tpv): SHA1 前缀判定收敛到 GenApi 唯一真源（C10/D3 收尾） 
- CallGenCall: list 泛型前缀剥离(719) 与类型名提 sha1(907/1190) 改 GenApi.sha1_prefix_len，不再盲取前 16 字节当 sha1

- CallGenCBuiltin._asm_name_is_mangled / CallGenLib._is_sha1_mangled_call: 改真源（去大写 A-F、去扫描任意位置 '.'）

- CallGenFd: 类型名提 sha1 加前缀格式校验（裸名不再误取前 16 字节）

- CallGenMixin: CExport declare 前缀判定改真源

- StructGenMixin / TypeGenResolve: 类型名、模块段判定改真源；StructGenMixin 补漏掉的 GenApi import（L596/L943 引用原会 fail-fast）
 2026-09-12 12:59:01 +08:00
TermiNexus 471bedbcf4 fix(tpv): 去掉条目指针数组往返，改上界/量长直写（修自举 ASan strcat -1 崩溃） 2026-09-12 12:43:08 +08:00
TermiNexus 82eea2719f refactor(tpv): rowptr[T] 迁移 + D 表定长缓冲改精确分配 + SHA1 前缀判定收敛（D1/D3/D4/D5/D6/D7/C10） 2026-09-12 11:09:35 +08:00
TermiNexus 7471cc64f9 docs(tpv): 精简 CompilerFactory 装配设计注释块 2026-09-12 10:52:00 +08:00
TermiNexus 679758c05b refactor(tpv): 删无符号判定的旧字符串兜底，真源唯一（S4 去字符串化收尾） 
删 _type_name_unsigned_legacy / _annot_str_unsigned_scan / _annot_str_unsigned_legacy / _last_dot_tail / _is_simple_ident；_type_name_unsigned 与 _annot_str_unsigned 变为真源唯一（spec_sign_of_annot）。

依据：真源已含顶层 | 分段、去括号/空白、IDENT[INNER] 取元素、去模块前缀、精确名白名单、CTypedef 链展开，旧路径能力是它的真子集（S2 已把旧路径修到与真源一致），差异面就是假阳性区 —— strstr 子串扫描正是 A4/A5 根因（BYTEPTR 含 BYTE、任何含 uint32 的 mangled 名都被判无符号）。现语义：真源 UNKNOWN=不表态 => 返回 0；若日后发现漏判，补白名单/补 CTypedef，不恢复子串扫描。
 2026-09-12 10:26:51 +08:00
TermiNexus cc17a8f8db refactor(tpv): 去掉函数内懒导入，改用顶层 import 
Viper 的 import 是编译期的，懒导入在编译型语义下毫无作用，模块环不需要也不应该用它规避。

TypeSpec 顶层 import GenApi（GenApi→GenTypes→TypeSpec 成环但编译期无碍）；CallGenLib 的既有懒导入（VpiReader）一并改顶层（VpiReader 不反向依赖 Call 层，无环）。
 2026-09-12 10:23:08 +08:00
TermiNexus 7fbf69ae63 fix(tpv): InternSpec 表满改为 fatal（不再返回 None 静默丢类型信息） 
表容量超限原实现只是 return None，但注释声称 fail-fast：None 会沿调用链传到 entry.Spec，条目静默失去类型信息（_entry_spec_unsigned 恒返回 0 ⇒ zext/sext 方向取错），属静默数据损坏。

改为 GenApi.fatal_error(InternalCompilerError)；TypeSpec 与 GenApi 互为依赖（GenApi→GenTypes→TypeSpec），故函数内懒 import 破环（同 CallGenLib.vp:220 既有模式）。仅当 fatal_error 无 gen 通道时退化为不驻留返回完整实例，守住不返回 None 的底线。SPEC_INTERN_MAX 仍为 8192（当前未触发）。
 2026-09-12 10:21:27 +08:00
TermiNexus 1039969f69 refactor(tpv): CPtr 标记语义定为注解基名精确比较（第 5 处收敛） 
CallGenMixin 闭包 vs 函数指针分派：原 strstr(注解名, CPtr) 子串匹配改为 SpecTypeNameBaseIs(fp_annot, CPtr)。

语义：CPtr 标记 = 注解基名精确等于 CPtr（裸 t.CPtr / from t import CPtr）。不能改用 Spec 判定——t.Callable[[A], R] 解析结果同样是 Ptr(i8)（TypeGenResolve.vp:2525-2531），与 t.CPtr 完全同型，类型层无区分度，故标记只能由注解名承载，不新增 Spec 字段。副作用：含 CPtr 子串的类名（如 CPtrHolder）不再被误判为闭包指针。已知局限（与改造前一致）：Foo | t.CPtr 的 SourceName 只留 Foo，该形态判为非标记。
 2026-09-12 10:12:01 +08:00
TermiNexus ae63f4f6ab refactor(tpv): 容器判断改基名精确比较（SpecTypeNameBaseIs） 
TypeSpec 新增 SpecTypeNameBaseIs(name, base)：基名 = 截断第一个 '[' 起的泛型实参后，取最后一个 '.' 之后（去模块名 / LLVM 注册名的模块 sha1 前缀），再精确比较；零分配，复用 _spec_name_eq。

4 处容器判断改写：StmtGenCifMixin:1133/1142/1498（读注解名）、CallGenDispatch:1685（读 LLVM 注册名）。原 strstr 子串匹配会误命中 MyDictHelper / playlist；副作用是 GSList 等用户类不再被误判为内置 list，改由 OOP __iter__/__next__ 路径处理。第 5 处 CallGenMixin:973 的 CPtr 属标记判断（SourceName 会丢掉联合里的标记），需先定标记语义，本次不动。
 2026-09-12 10:10:14 +08:00
TermiNexus 19fca19ca7 refactor(tpv): get_llvm_type_bits 双副本收敛到 TSpec.SpecTypeBits 
TypeSpec 新增 SpecTypeBits 作为「LLVMType → 整数位宽」块的唯一实现（对齐 SpecTypePtrLevel 的收拢先例）；ExprGenBase/TypeGenErr 两份同码副本改为委托，TypeGenErr 补 TypeSpec 导入（无环）。

保留方法名与 self. 调用点：@t.NoVTable 静态绑定下 Mixin 内部大量 self.get_llvm_type_bits 依赖其存在，只换实现体不动签名。副本分叉会导致同一类型两处算出不同位宽的隐蔽不一致。
 2026-09-11 23:14:51 +08:00
TermiNexus 41c5908c5e refactor(tpv): Y 类兜底改 fail-fast（vpi 声明返回/形参 + vpi 类型文本） 
新增 GenApi.fatal_error：VpiReader/Converter 等模块级函数无 self.Gen，统一经此报错通道；GenApi._g_gen 为空时回退 Generator._g_gen（Phase 1 vpi 生成早于 BuildPipeline 注入 GenApi._g_gen）。

VpiReader._inject_function_declare/_inject_method_declare 共 4 处：有注解却解析不出类型 → fatal；无注解的 i32 返回/i8* 形参合法默认保留。Converter._PyiTypeStr 未知节点类型不再静默写 int。
 2026-09-11 22:46:39 +08:00
TermiNexus db8220801c refactor(tpv): Z 类兜底改 fail-fast（返回类型/模块级变量/枚举成员） 
- ClassGenVTable 方法返回：有注解但解析失败即 fatal；State/CExport/CExtern 标记归一为 Void
- TranslatorGenMixin 模块级变量：有注解但解析失败即 fatal（保留无注解合法默认）
- ClassGenEnum._resolve_enum_member_type 4 处：Attribute 缺失名/Name 缺失 id/两处解析失败均改 fatal
  （无注解与 t.State 标记的 i32 默认保留）
 2026-09-11 22:17:45 +08:00
TermiNexus cc3359faea refactor(tpv): 形参类型注解解析失败改 fail-fast（不再静默用 i32） 
- FuncGenDef 前向声明形参 / 定义签名形参：resolved is None 即 fatal
- FuncGenBase create_function 形参：同上（暴露调用方未传 trans 上下文）
- ClassGenVTable _translate_method 形参：同上（签名/调用点/实现体三方一致）
- TypeGenCDef 整数 CDefine 值缓冲分配失败改 fatal（对齐同文件浮点/字符串分支）
- FuncGenMixin._type_byte_size 类型缺失改 fatal（case _ 保留 8，注释说明无布局查询能力）
 2026-09-11 22:14:10 +08:00
TermiNexus 22c71388d4 docs(tpv): 更新 TypeSpec 注释（IsPtrElement 已删，仅容器种类待后续） 2026-09-11 22:09:32 +08:00
TermiNexus a4bc5dc0ce refactor(tpv): 删除 IsPtrElement 字段，指针元素语义承载于 Spec.ElemBits 
- TypeSpec 抽 _spec_clone（消除 SpecWithSign/Source/ElemBits 三处重复逐字段拷贝）
- 新增 SpecWithElemBits：覆盖元素槽位宽（独立副本不驻留，ElemBits 不在驻留键内）
- set_var_ptr_element 改写 Spec.ElemBits=64；Spec 不可承载（非指针/缺失）即 fail-fast
- 新增 var_is_ptr_element（PtrLevel>=1 且 Elem.Bits==8 且 ElemBits==64，排除真实 i64* 与纯 str）
- ExprGenName 4 处下标读写切读该入口；GenTypes 删 VarEntry.IsPtrElement
 2026-09-11 22:09:18 +08:00
TermiNexus e55ec5fde0 docs(tpv): 更新 TypeSpec 设计注释至 S4 现状（TypeStr/AnnotClassName 已删） 2026-09-11 22:06:20 +08:00
TermiNexus 9e461d21cb refactor(tpv): 删除 AnnotClassName 字段，注解类名统一承载于 Spec.SourceName 
- GenTypes 删 VarEntry.AnnotClassName / FieldEntry.AnnotClassName
- set_var_annot_class_name / add_field 改为写入 Spec（Spec 为 None 时建 TS_UNKNOWN 承载，
  不表态具体类型，等价原 Spec 缺失）；删 1b 的 AnnotClassName 专属深拷贝
- var_annot_class_name / get_field_annot_class_name 去旧字段回退分支
- 剩余 7 处直读（StmtGenCifMixin list/dict 5 处、CallGenMixin CPtr 2 处）改走封装
 2026-09-11 22:06:00 +08:00
TermiNexus 95133d8483 refactor(tpv): 变量/字段注解类名读取统一走 Spec.SourceName 封装 
- VarGenMixin 新增 var_annot_class_name（SourceName 优先，回退 AnnotClassName）
- 变量侧类名恢复与诊断读取切读：ExprGenAttr(5) / ExprGenOps(6) / ExprGenName(1)
  / CallGenDispatch(3) / CallGenCall / CallGenProp / CallGenVt / ExprGenCls / AssignGenMixin / MatchGenMixin
- ExprGenAttr 字段侧直读改走 get_field_annot_class_name
 2026-09-11 22:02:28 +08:00
TermiNexus 8aad248c25 fix(tpv): SpecWithSign 不复制 SourceName，避免驻留表来源名污染 
InternSpec 键不含 SourceName，若带来源名的副本入表，后续同键查找会把该来源名
污染给无关条目（键相同必须语义相同 ⇒ 表内实例 SourceName 恒为 None）
 2026-09-11 21:54:29 +08:00
TermiNexus 029a423f55 feat(tpv): Spec 增 SourceName 承接注解来源名（类名块基础设施） 
- TypeSpec 新增 SourceName 字段：注解书写形态名（裸名/模块限定名/t.XXX attr/mangled），
  与 BaseName（LLVM 注册名）命名域不同；不参与驻留键，避免条目暴增与线性查找变慢
- 新增 SpecWithSource（独立副本、不驻留、幂等）/ SpecSourceName 读取入口 / _spec_set_source_name
- set_var_annot_class_name 与 add_field 注解侧填 SourceName
- get_field_annot_class_name 切读 SourceName 优先（3 个调用点自动生效）
 2026-09-11 21:54:10 +08:00
TermiNexus 7028399366 refactor(tpv): 无符号判定切读 Spec（条目级 TS_UINT 优先） 
- 新增 _entry_spec_unsigned：Spec.Kind==TS_UINT 为注解明确无符号的强信号
- _node_type_unsigned 的 Name/Subscript 分支、Attribute 字段分支切读 Spec 优先
- 只切无符号方向（TS_INT 含未表态，不可反推 SIGNED，仍走字符串真源）
 2026-09-11 21:51:11 +08:00
TermiNexus 7fedf8daad feat(tpv): Spec 注解侧填符号性（SpecWithSign + 变量/字段接入） 
- TypeSpec 新增 SpecWithSign：整数 TS_INT↔TS_UINT 切换 + 驻留（SpecToText 键区分符号）
- set_var_annot_class_name 接入：注解类名提取符号性，补 Spec 无符号性
- add_field 接入：字段注解类名提取符号性，补 Spec 无符号性
 2026-09-11 21:48:23 +08:00
TermiNexus 0a108e6289 refactor(tpv): 删除 FuncEntry.TypeStr 旧路径，函数类型文本改由 Spec 派生 
- 删 FuncEntry.TypeStr 字段、_build_func_type_str 生产者、_check_func_spec_text 闸门
- update_global_func_typestr 改名 update_global_func_spec，仅填 Spec（去 pool 参数）
- ClassGenVTable vtable 合并 func_valid 分支，统一 SpecToLLVMText 派生
- 同步 FuncGenDef/ClassGenVTable/GenApi/VpiReader 调用点
 2026-09-11 21:33:58 +08:00
TermiNexus a173ba0296 refactor(tpv): ClassGenVTable vtable 类型文本切到 SpecToLLVMText 
- 删除 _format_func_type_str（512 缓冲 + >100 参截断的 TypePrint 重复实现）
- _generate_vtable 当前类方法分支改为 SpecToLLVMText 派生，回退全局表 TypeStr
- Spec/TypeStr 皆失败时 fail-fast
 2026-09-11 21:21:01 +08:00
TermiNexus 0e973d5f23 feat(tpv): SpecToLLVMText 格式化器与函数签名一致性闸门，并修驻留键静默截断 
- SpecToLLVMText/_spec_llvm_text/_spec_llvm_append 逐分支对齐 llvmlite.TypePrint
- CallGenLeafKit.update_global_func_typestr 增 _check_func_spec_text 闸门，不一致即 fatal
- _spec_text_append 溢出返回哨兵；_spec_to_text 各结构分支检查哨兵
- SpecBaseText 前缀先算长度；InternSpec 键装不下返回完整实例不写截断键
 2026-09-11 21:13:28 +08:00
TermiNexus ff7caa57e8 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）
 2026-09-11 20:43:17 +08:00
TermiNexus f0deff931d refactor(tpv): S3 无符号判定切读真源，指针层级收拢到 TypeSpec 
- ExprGenOps: _type_name_unsigned / _annot_str_unsigned 改为真源优先（UNSIGNED->1 / SIGNED->0），仅真源不表态 UNKNOWN 时按需回退旧子串路径（热路径避免双份开销）
- ExprGenOps: 删除 S2 的双写一致性闸门 _spec_sign_check（切读后读即取真源，比对恒等、无意义）
- TypeSpec: 新增 SpecTypePtrLevel -- 指针层级推导的唯一实现，原 get_ptr_level 记录的 match codegen 缺陷规避写法随实现移入
- ExprGenBase: get_ptr_level 删去同码副本，改为委托 TSpec.SpecTypePtrLevel（行为等价）
- TypeGenCType: spec_sign_of_annot 注释更新为无符号判定的读入口
- 注: 值级切读（读 Spec.PtrLevel）仍需条目双写（VarEntry.Spec / FieldEntry.Spec 等）接线，S2 路线 C 未做，留待下一步
 2026-09-11 20:40:26 +08:00
TermiNexus b7100e9dc1 feat(tpv): S2 落无符号判定双写闸门，并修 i8 拓宽丢符号与 WCHARPTR 旧判 
- TypeSpec: 新增 SpecFromLLVMType（LLVM 类型 -> TypeSpec 结构转换器，当前无调用点）；SpecSignFromTypeName 拆出零分配切片版 Span
- TypeGenCType: 新增 lookup_ctypedef_span 与独立符号性真源 spec_sign_of_annot（精确名白名单 + CTypedef 链逐层展开）
- ExprGenOps: 旧判定改名 *_legacy，外层加双写闸门 _spec_sign_check（新真源明确表态且不一致即 fatal；S2 不切读）
- ExprGenOps: 修旧符号性两个洞 -- 子串表补 WORD、裸别名沿 CTypedef 链展开（闸门实测暴露 WCHARPTR 旧判 signed、新真源 unsigned）
- ExprGenOps: should_zext_widen 的 i8 分支补「源注解明确有符号则 sext」例外，修 b8470c1 引入的 TypeCastTest 回归（t.CInt32T(v) 丢符号）；新增 _node_type_signed
- TypeGenBase: 补 import lib.core.Gen.Type.TypeSpec（此前遗漏）并接入驻留表 ensure_spec_arena（PermPool 惰性创建）
- 修两条链接错误: TypeSpec.vp 残留 stdlib.atoi 改 string.atoi；模块别名与模块内类名同名会被误解析为该类静态方法（隐式补 self 实参），四处导入别名统一改 TSpec
 2026-09-11 20:32:55 +08:00
TermiNexus b1090abe70 feat(tpv): 新增 TypeSpec 统一类型描述符（S1，未接线） 
类型信息目前散落在 AnnotClassName/IsPtrElement/TypeStr 等字符串与布尔里，
导致「无符号/指针层级/数组维度/函数签名」到处重复解析且结论不一致
（Debugger/_Type.md 二次盘点 A/C 类）。

新增 App/lib/core/Gen/Type/TypeSpec.vp 作为统一描述符：
- TypeSpec：Kind/Bits/IsSigned/PtrLevel/Elem/ArrayCount/BaseName/Ret/Params/
  ParamCount/IsVarArg/Storage，以及元素语义三元组 ElemBits/IsElemPtr/
  DerefBase（替代单一 IsPtrElement 布尔——同一 Ptr(i8) 下存在两种相反语义）
- TypeSpecArena 驻留表（对象持有，非全局表）+ InternSpec 去重（键=规范文本）
- SpecToText/TextToSpec 规范文本编解码（驻留键/日志/vpi 通道）
- 构造器 NewTypeSpec/NewTypeStruct/NewTypePtr/NewTypeArray/NewTypeFunc
- 访问器 SpecIsPtr/SpecPointedTo/SpecIsUnsigned/SpecBitWidth
- SpecSelfCheck 自检（不参与编译流程）
- 实例与数组一律 PermPool 分配（跨 mark 持久，跨模块可直接传指针）

GenTypes 仅加 import 使该模块参与编译（否则新文件不会被编译、无法验证）；
未改动任何既有调用点，产物 IR 应与上一版一致。
 2026-09-11 20:02:52 +08:00
TermiNexus b8470c1cae fix(tpv): 拓宽方向统一为单一真源，并修 TypeStr 变参与 should_zext_widen 缺参 
三项独立缺陷（均来自类型系统盘点 _Type.md D7）：

1) should_zext_widen 签名缺 trans 形参，函数体内的 trans 退化为隐式全局（恒
   None），而 translate_binop 两处调用早已在传第 5 实参（被静默丢弃）⇒ 注释所
   述「源无符号 → zext」补救从未生效：Name/Subscript 形态的无符号源（uint16/
   uint32 变量、数组元素）在比较/二元路径恒被 sext 扩展（ide.vp/timer.vp 根因）。
   修：should_zext_widen 补 trans 形参并明确为拓宽方向的单一真源；
   translate_compare 两处补传 trans；ExprGenBase._zext_or_sext_val 改为委托
   should_zext_widen（wide_val=None 使「宽侧常量」启发式自然失效）。

2) _translate_t_type_cast 原以「目标类型名符号性」决策整数拓宽，且 target_name
   未知时默认 zext，与 coerce_to_type / should_zext_widen 的默认 sext 极性相反。
   修：统一由源的符号性决定（与 coerce 同源），并删除已无使用点的 target_name
   形参（1 处签名 + 7 处调用点）。

3) TypeStr 生成（FuncEntry.TypeStr 的唯一生产者）与其现算现用副本
   （ClassGenVTable._format_func_type_str）都未打印变参后缀 ...，而 FuncGenDef
   对 *args 会设 IsVarArg=1，且继承方法强制走 TypeStr 回退 ⇒ vtable 中的函数
   指针类型与真实签名不符。修：按 llvmlite IR 打印规则补齐（有参 ", ..."，
   无参 "..."）。
 2026-09-11 19:57:18 +08:00
TermiNexus c71642dca0 清理一部分异 2026-09-11 18:55:33 +08:00
TermiNexus cfb92e5da5 初步清理 t. 类型异味 2026-09-11 18:36:32 +08:00
TermiNexus 4ce55e3ea3 fix(tpv): 泛型注解预特化下沉到 AnnAssign Handle 路径，修 .get() 误分派崩溃 
translate_annassign 解析注解前未先注册泛型特化，`list[ast.AST | t.CPtr]
| t.CPtr` 会退化为裸 list*，随后 body_list.get(i) 被分派到默认
list[int].get（返回 i32）→ inttoptr 截断指针 → 读垃圾 AST 节点，
StmtGenMixin._translate_stmt_impl 崩溃（寄存器指纹与既有潜伏崩溃一致，
IR 实证见 Debugger/ViperOS3.md 第十九节）。

抽出 _prespecialize_generic_annotation 供 pre_scan_allocas 与
translate_annassign 共用（该补救原先只存在于预扫描路径），使两处解析一致。

同批（P1-A）：赋值/返回路径把目标类型作为 target_ty 传入 translate_value，
使 `x: uint64 = 12345` 与 `u64(12345)` 物化出同一条 i64 常量、省去 coerce
的 zext。站点：translate_annassign（global/nonlocal/模块级/局部四处）、
translate_assign（单 Name 目标）、translate_return。target_ty 仅被
Constant 节点消费，不影响调用/二元/属性路径。
 2026-09-11 18:10:19 +08:00
TermiNexus d3690f9143 fix(tpv): 依赖注入期默认参数按定义模块 SHA1 登记，消除跨模块同名函数串味 
N17：VpiReader 注入函数/方法 declare 时显式传入 src_sha1（被依赖模块自身
sha1），add_func_to_table 透传至 _register_global_defaults；调用点默认值查找
改用 find_func_entry_in_table_owned 按 "{owner_sha1}." 前缀限定。修复
usb.uhci.init 误命中 mm.init 的 5 形参/2 默认值而凭空补 2 个 i32 0 的 ABI
错位（IR 实证：call @...init(i16 %4, i32 0, i32 0) → (i16 %4)）。

同轮并入的其他编译器侧改动：
- N11 Converter.vp：无 -> 但带 @c.CReturn 时合成 tuple 返回注解，与 define 对齐
- N12 VpiReader.vp：union 指针（T | t.CPtr）stub 解析与定义侧收敛到 i8*
- N14 ExprGenFstr.vp：f-string 32 位整型不再写 l 修饰符
- N2 撤回 ExprGenOps.vp：删除在 _node_type_unsigned 热点查/填 vpi 缓存的
  _call_ret_annot_unsigned（有副作用，触发 fat32_diskio.vp match 路径崩溃）
 2026-09-11 17:39:21 +08:00