GVSDS/ViperC
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity
1,036 Commits 1 Branch 2 Tags
main
Commit Graph
47 Commits
Author SHA1 Message Date
TermiNexus 1911f70818 feat(option): reject direct dot access on nullable values 
A field annotated `own T?` / `T?` (and a local declared nullable) now fails fast on `base.field`: it may be None. Use `base?.field` or check against None first. FieldEntry carries a Nullable flag (appended), populated from the annotation during struct registration and inherited by flattened parent fields; both read and write attribute paths check it.
 2026-11-03 15:30:16 +08:00
TermiNexus 782b4d63ff feat(build): 增加 --build-self 与 copyself 
- 新增 copyself：延迟后删除目标并复制文件/目录
- ViperC 新增 --build-self：自举到 __vpcbuild_2__ 后由 copyself 替换 __vpcbuild__
- 同步当前 ViperC 工作区已有的 Gen/Diag/Stub 改动
- .gitignore 忽略 __vpcbuild_* 与 _sha1_map.txt
 2026-10-26 02:09:45 +08:00
TermiNexus 3242560d02 支持 tls 关键字，全面准备清退 t, c 2026-10-17 23:40:06 +08:00
TermiNexus 5d15d01e21 feat(gen): 支持 t.BigEndian / t.LittleEndian 字节序描述符（注解识别 X|marker 并把字节序登记到 FieldEntry.ByteOrder，暂不生成 bswap） 2026-10-13 12:17:02 +08:00
TermiNexus d206abf3e1 chore: 全仓同步 w32→win32 模块改名与 range(int(...)) 显式收窄适配 2026-10-12 20:59:11 +08:00
TermiNexus 2fb648d68a feat(lang): 新增 cif/celif/celse 条件编译与值引用注解 &T/&temp T，assert 改译 testcheck.check 
cif 三件套：StmtGenCifMixin 负责常量求值（含 defined(模块宏) 的 Attribute 形式），链式错配与含运行时变量一律 fail-fast；删掉 c.CIf 家族。值引用：TypeGenResolve 让 CRef/CTempRef 与 t.CPtr 走同一解析路径（&void 折叠为 i8*，删除 t.CNeedPtr），CallGenBase 在调用点按形参模式自动取址（ref 只接受左值，右值 fail-fast；temp 物化临时栈），跨模块经 VpiReader/StubMergerBuild 传递模式。assert：StmtGenMixin 合成 testcheck.check(cond, None, msg)，Translator 检测到 assert 时自动注入 testcheck 导入（带去重与防环），深递归守卫改用 stdio.printf + stdlib.exit（Translator 无 Gen 成员）。
 2026-10-07 19:03:16 +08:00
TermiNexus 7a9bc5ae75 chore(messages): TransPyV 运行时中文字符串英文化 
把 TransPyV/App 下 57 个文件的运行时中文字符串（编译器报错/告警/日志、CLI 帮助与横幅、REPL 提示、Phase1/Phase2 流程日志、Codegen 各 Mixin 的类型与调用报错、Stub/Vpi 诊断等）共 1091 行译为英文。

口径：只改字符串字面量内部文字，行数零变化（+1092/-1092）；printf 格式符与转义序列多重集合校验不变（_strcheck 异常 0）；译文不引入撇号以免干扰单引号字面量解析。验证：三重重编 SUCCESS（136.20s）+ 全量 77/77 顺序回归通过 + VET 编译 SUCCESS / --search-paths 7 条 exit 0；新产物 help/日志输出已为英文。
 2026-10-07 00:03:58 +08:00
TermiNexus cd55a7e214 refactor: rawptr[T] -> T*（R14）+ 修 REnum 前向占位未就地填充 
R14：rawptr[X] -> X*（56 文件 / 834 行改动）；保留 6 处 rawptr[t.CPtr]（存纯裸指针的规范例外）。 修复：class X(t.REnum) 的变体字段写成自引用 X* 时，字段解析在变体扫描期经 ensure_forward_class 建了一个 opaque 前向占位；末尾 register_struct 按 Ty 指针去重会再建第二个同名 entry，而 find_struct 取首个（占位，0 字段）→ X.__sizeof__() == 0，报「已注册但大小为 0（字段链表未填充）」。改为注册前若命中同模块前向占位则就地填充（与 ensure_forward_class 文档口径一致）。TPC 无此问题，属 TPV 侧缺口。 验证：自举三重重编 SUCCESS；全量 77/77 顺序回归通过（修复前卡在 LLvmLiteTest）。
 2026-10-05 17:38:28 +08:00
TermiNexus 0f4aeeceff docs(tpv): R11 注释与 docstring 英文化并压缩到 2 行内 
按 wiki/新规范：注释只讲作用、不掺杂历史原因、避免超长、尽可能英文（含三引号 __doc__）。全文 79 个 .vp：# 注释 16269 行（中文 13808）与 docstring（中文 1381 处）全部改英文；超 2 行的注释块（2093）与 docstring（397）全部压到 2 行。运行时可见文本未动（fatal_error/VLogger 的中文报错文案、stdio.printf 的横幅格式串）。校验：屏蔽注释与三引号后逐行比对各文件代码骨架，0 漂移。验证：自举重建 153.48s 通过（跨模块内联完成）；TPV 顺序回归 77/77 全通过。
 2026-10-05 13:38:22 +08:00
TermiNexus f2ef1bb240 refactor(tpv): 新语法 R10 括号内隐式续行并一行（1140 处 / 67 文件） 2026-10-05 07:14:14 +08:00
TermiNexus 4a685d478f refactor(tpv): 新语法 R10 单语句块并一行（7722 处 if/for/while 单语句体） 2026-10-05 03:10:55 +08:00
TermiNexus 30a3da4cd4 refactor(tpv): 新语法 R10（反斜杠续行合并）+ 回退 R5（语义不等价） 
- 反斜杠续行合并为单行（304 处），呼应"尽可能不换行"。
- 回退 c.DerefAs(p, v) → *p = v 两处（StructGenMixin）：原写法是 bitcast 后
  store 指针位，新写法按 pointee 值类型赋值，类型不符（i8* → List 值），
  语义不等价，保留 c.DerefAs。

种子自举通过。
 2026-10-04 22:56:27 +08:00
TermiNexus 185a2196ca refactor(tpv): 迁移新语法 R1/R2/R7/R8/R3/R4/R5（指针 T*、短别名、define、&/*、__asm__） 
按 wiki/新规范：
- T | t.CPtr → T*（无 | 标准）
- t.CInt/t.CUInt64T/t.CChar/t.CDouble 等 → int/uint64/char/double 等短别名
- X: t.CDefine = Y → define X = Y
- c.Asm → __asm__，c.AsmInp/c.AsmOut → asminp/asmout，t.ASM_DESCR. → ASM_DESCR.
- c.Addr(x) → &x，c.Deref(p) → *p，c.DerefAs(p, v) → *p = v

种子自举通过（96s）。
 2026-10-04 22:49:01 +08:00
TermiNexus 7b3e814524 refactor(backend): 单端 MLIR —— 发射器全树改名 mlirlite 并删除 --backend 开关 
- App/Test 的 .vp 中 llvmlite 全部改名为 mlirlite（import、限定名、类型注解、注释）

- 删除后端开关：Config.set_backend/is_mlir_backend/alias_module_name、BackendTarget/BackendIsMlir、CLI --backend、options.backend/options.target 读取，以及 IncludesScanner/StubMergerIR 的模块别名调用

- BuildPipeline 的 mlir-opt -> mlir-translate 降级管线去掉开关门，改为恒执行

- backend_dir_suffix 改名 mlir_dir_suffix 并恒返回 _mlir：TempDir/OutputDir/includes 缓存继续落在 *_mlir，避免复用旧 LLVM 后端的 .ll/obj

- project.vpj 删除已失效的 options.target
 2026-10-03 19:26:24 +08:00
TermiNexus da18dd39a4 fix(classdef): 已注册类早退路径补字段类型完整定义 
上一条（96dad30）只改了"全新定义"路径的字段扫描循环，但 includes 在 Phase A 预注册、Phase B 重新翻译时走的是 existing 早退分支（ClassGenDef 117-167，只 module_add_named_type 后即 return 0），字段循环根本不执行 ⇒ includes/condition.vp 的 Condition 仍内嵌 opaque 成员、自身 unsized，llc 仍报 base element of getelementptr must be sized。

物证：同一构建里 ThreadingTest 的 main.vp（fb785af4a2aa1a46.ll）因按需调 ensure_struct_def_in_module，已正确拷入 CRITICAL_SECTION/CONDITION_VARIABLE/SRWLOCK 的完整定义；而定义它们的 condition.vp 自身（de351f55b29d33a3.ll）没有 ⇒ 只有定义模块自身体内 GEP 时才暴露。

修复：早退分支在 module_add_named_type 后补调 _ensure_field_types_in_module（Struct/Array 值类型递归补完整定义、Ptr 补 opaque），与全新定义路径同口径。
 2026-10-03 16:05:24 +08:00
TermiNexus 96dad309ac fix(classdef): 值类型字段补完整结构体定义，修复跨模块嵌套结构体 unsized 导致 llc GEP 报错 
现场：Test/ThreadingTest 编译 includes/condition.vp 时 llc 报「base element of getelementptr must be sized」：getelementptr %Condition, %Condition* %1, i32 0, i32 1。

根因：ClassGenDef 定义类时对字段类型一律只调 module_ensure_opaque_for_type（仅 opaque 声明）。当字段是**值类型**跨模块结构体时，本类体内嵌的成员在 IR 中仍是 opaque ⇒ 成员 unsized ⇒ 本类 unsized ⇒ 本模块内对本类做带字段下标的 GEP 时 llc 报错。现场物证：condition.vp 的 .ll 里 CONDITION_VARIABLE/CRITICAL_SECTION = type opaque，而 Condition = type {CV, CS}。

修复：指针字段维持 opaque（指向物无需在本模块有体）；非指针（值类型结构体/结构体数组）改调 ensure_struct_def_in_module 复制完整定义，并配合 _ensure_field_types_in_module 覆盖数组元素。
 2026-10-03 15:58:48 +08:00
TermiNexus 15b416b527 fix(type): 统一注入期类归属与导入上下文记账，修占位表爆与属性标记误解析 
- StubMergerStore 新增共享导入上下文记账（AppendImportedModule / AppendFromImport /
  ImportCtx / AllocImportCtx / NotePlainImport），ImportsGenMixin 与 VpiReader 共用同一份
  口径；顺带移除 add_from_import 的 256 缓冲静默截断，VpiReader 删除两份私有副本

- 注入窗口按「名字归属」判据解析（is_module_class + CurDefModuleSha1）：
  _forward_declare_ptr_from_node 的 Name 分支、resolve_annotation_type 的 Name/Attribute
  分支均补齐，使同一 stub 内先声明/先引用的类产出**具名占位**而不是 Ptr(i8)，并新增
  _is_tattr_marker 让 t.attr.* 属性标记不参与类型联合竞争

- VpiReader._inject_class_struct_declare：命中前向声明占位时不再早退，改为「占位 Ty
  原地写入」（对齐 ClassGenDef.fill_fwd），修 StructTable 爆表（table full, cannot
  register Translator）

- 清除全部一次性探针：[DBG-GEN]（VpiReader / StructGenMixin / ClassGenDef）、
  [DBG-ATTR]（ExprGenAttr）、[MODSHA1]（CallGenMixin）

根因记录：vpi 注入期漏记 `import X as Y -> from_imports "Y:X"`，使 GenTypes.VarEntry.Spec
（TSpec.TypeSpec | t.CPtr）取不到模块 SHA1、退化为 i8* 并被永久冻结
（CallGenCtor.vp:897 .PtrLevel 属性访问失败）。
 2026-10-02 17:29:38 +08:00
TermiNexus c0d3231e02 fix(type): 未注册类指针改前向声明（具名不透明占位）+ 定义侧原位填充 
对齐 TPC 语义（未注册类 → 具名空 CStruct 占位 + 后续 set_body 填充）。
此前 TPV 对"指向尚未注册类的指针"回退匿名 Ptr(i8)，丢类身份且被冻结后
无法修复：现场 CallGenBase.Gen: Generator.Generator* 与 Generator 构成
循环依赖（Gen→Generator，Generator.CallGenBase→CallGenBase），Gen 先于
Generator 注册 ⇒ 冻结成 i8* ⇒ self.Gen.FuncGenBase 属性访问失败
（1.log 取证：Generator 条目本身正确 fcount=47，但 lookup_field 收到
struct_ty=<non-struct>）。

- GenTypes.StructEntry 新增 IsForwardDecl 标记（占位条目）。
- StructGenMixin.ensure_forward_class：按"类名 + 定义模块 SHA1"登记具名
  不透明结构体 {sha}.Class 占位（名称与定义侧 ClassGenDef 同口径，持久池
  分配），幂等；定义侧据此按名定位原位填充。
- TypeGenResolve._forward_declare_ptr_from_node（Attribute/Name 两形，经
  from_imports 与模块名表求 sha1，再 _class_true_def_sha1 校正）+ BinOp
  (X|t.CPtr) 未注册回退：优先返回 Ptr(占位.Ty)；仅在无法确定类名/模块时
  才退回 Ptr(i8) 由 AnnotClassName 恢复。
- ClassGenDef：命中前向声明占位时不早退，把新构建的字段体**原位写入同一
  Ty 对象**（*existing.Ty = Struct(...)，指针身份不变），登记条目沿用占位
  条目；declare_only 1/0 均适用。所有已发出的 Ptr(占位.Ty) 引用在填充后
  自动指向完整定义。

TPC 侧核对：TPC 本就是"具名占位 + set_body"模型（TypeAnnotationResolver
.CreateFromTypeName / BaseGen._get_or_create_struct / StructGen op 占位），
并有 fail-fast 拒绝类引用降级为 void**，无需改动。
 2026-10-02 02:40:05 +08:00
TermiNexus 01e95b51cf debug(gen): 一次性取证插桩——Generator 结构体登记/查找全链路（用完删除） 
覆盖点（全部以 [DBG-GEN] 为前缀，仅打印不改行为）：
- StructGenMixin.register_struct：IN（name/sha1/ty/StructCount）、DEDUP（命中条目）
- StructGenMixin.add_field：逐字段打印写入 Generator 条目的字段名与下标
- StructGenMixin.find_struct_by_module：IN / HIT / MISS
- StructGenMixin.lookup_field（field=FuncGenBase）：struct_ty 名、按 Ty 指针命中条目的
  全字段名、以及结构体表内所有含 "Generator" 的条目
- VpiReader._inject_class_struct_declare：IN / EXISTING / RENUM-SKIP / EMPTY /
  FIELD-FAIL / REGISTERED
- ClassGenDef.translate_class_def：EXISTING / REGISTER / DONE

目的：一次重建即可判定 Generator.FuncGenBase 查不到是"命中空/旧条目""Ty 错配"
还是"字段名悬空"，并看清是哪条登记路径产出的条目。
 2026-10-02 02:18:55 +08:00
TermiNexus c3f554f1f5 feat(struct): 嵌套 class/struct 发射为独立结构体 {外类}_{内类} 
用户 2026-10-01 定：struct 内允许叠加 struct（与 class 内写 class 同口径）。
此前类体里的嵌套 ClassDef 被**静默丢弃**（字段循环只认 AnnAssign、
_translate_oop_methods 只认 FunctionDef），现按 TPC 侧 union/renum 的
`{ClassName}_{Nested}` 命名先例发射为独立结构体，与 TPC 提交 5eef845e 同源。

- ClassGenDef.vp：新增 _translate_nested_classdefs —— 在 enum/union/renum/泛型/
  异常分派之后、existing 检查之前（所有提前 return 之前，故 declare_only=1/0 都递归）
  遍历类体 ClassDef 子节点，把子节点 name 临时改写为扁平名后递归
  translate_class_def（本模块所有名字派生点都读 cd.name ⇒ 改名即全链路一致）。
  两个护栏：扁平名分配在 PermPool（跨 Phase 存活）；递归后还原 CurDefModuleSha1/
  CurDefClassName（内层 mark_module_class 会覆盖，否则外层字段解析误判当前定义类）。
- TypeGenResolve.vp：新增 _resolve_nested_class_type 并在 Attribute 分支的
  "base 不是模块" 出口前接上 —— 限定名 `外类.内类` 按扁平名查结构体表即可命中
  （裸名 `外类_内类` 走既有 Name 分支天然命中）。判据两道：base 是已知类
  （find_struct 命中，或正处于该类的定义窗口内）；扁平名条目存在且 Ty 非空。

引用两种写法都可用：`外类.内类`、`外类_内类`；多层嵌套递归为 A_B_C。
 2026-10-01 23:30:15 +08:00
TermiNexus 2f6db41b11 fix(void): 形参与字段注解禁止 void，改为编译期 fail-fast 
void 只允许用于 void* 与 typedef 不透明结构体别名（用户 2026-10-01 定）。
此前 def f(p: void) / class C: x: void 不走 translate_annassign，会按 LLVM void
直接建形参/字段槽，生成非法 IR 拖到 llc 阶段才暴露。现补 6 处形参落点
（FuncGenDef 前向声明/外部声明/函数体/alloca 各一、ClassGenVTable 签名/alloca 各一）
与 1 处字段落点（ClassGenDef），统一编译期 TypeError。
void* 已在上游归并为 i8*，不受影响。
 2026-10-01 21:43:11 +08:00
TermiNexus 868d48ae22 fix(transpyv): 自引用字段的特化名不再留在裸名（新增"本模块声明类"归属表） 
类别：a（编译器缺陷 —— 字段类型在类注册前被冻结成裸名版特化名）

现场（上一轮未修掉的那一处）：includes/ast/base.vp:357
    if self.children is None: self.children = list[rawptr[AST]](self.pool, 8)
CastError：源 %"7e2b6dda6e423bfb.list[rawptr[d1ed020479454541.AST]]"*
       → 目标 %"7e2b6dda6e423bfb.list[rawptr[AST]]"*

根因：字段 children: list[rawptr[AST]] | t.CPtr 写在**类 AST 自己体内**（自引用），
其类型在 translate_class_def 的字段循环里解析，而本类的 register_struct 在该函数
**末尾**才执行 ⇒ 解析时 struct 表里没有 AST ⇒ 上一轮 5.5 的两条查法
（find_struct 按名 / find_struct_by_module）全部落空 ⇒ 实参仍留裸名 rawptr[AST]，
字段类型被冻结成 list[rawptr[AST]]（第一遍 A-pre 即发生）；而 :357 的构造调用发生在
类注册之后 ⇒ 带 SHA1 ⇒ 两侧分裂。（同一分裂在 stmts.vp:60 表现为形参侧/实参侧，
本处表现为字段侧/构造侧。）

改动：
1. StructGenMixin 新增"本模块声明类"归属表 ModuleClasses（键 "{模块SHA1}.{类名}"）
   与 CurDefModuleSha1（正在定义类所属模块 SHA1，登记时同步记录）：
   - mark_module_class(pool, sha1, name) / is_module_class(pool, sha1, name)
   - 键含 SHA1 ⇒ 与翻译顺序/模块切换无关、无需每文件重置，也不会把别的模块的类
     错认成本模块。
2. ClassGenDef 类定义入口（add_visible_struct 之后、枚举/联合分派之前）登记
   mark_module_class(pool, trans.ModuleSha1, class_name)，覆盖 class/enum/union/
   renum 全部类种类。
3. TypeGenResolve 规则 5.5 补齐证据链：① 按名取 StructEntry.ModuleSha1；
   ② struct 表暂无条目时用 CurDefModuleSha1 走 find_struct_by_module；
   ③ 仍无条目（正是自引用窗口）时查归属表 ⇒ 加 SHA1 前缀。
   CurDefModuleSha1 取代 CurrentModuleSha1 作为"当前定义模块"真源——后者在
   A-pre/StubMerger 路径未设置或留着上一文件旧值（只有 Translator.ModuleSha1 权威）。

影响面：ABI 可见（特化名）；需 TPV 自举重建 + 回归验证。
 2026-09-29 18:47:35 +08:00
TermiNexus 1f93550b6d revert(transpyv): 还原 *existing.Ty = <boxed 变体构造>（c.DerefAs 是绕过自家检查） 
a9e4aaf 把 `*existing.Ty = llvmlite.LLVMType.Struct(...)` 改写成
c.DerefAs(existing.Ty, ...)。但 DerefAs ≡ *p = a（_HandleCDerefAsLlvm 的
「整对象拷贝」分支就是 load + store），二者语义完全等价 —— 换写法只是绕开了
*槽 = <boxed 变体> 触发的严格规则③，并未解决根因。

根因在编译器侧：「构造物化」豁免漏了 REnum 变体构造这一形态。已在 TPC 侧修好
（fix(tpc): 「构造物化」豁免覆盖 REnum 变体构造），本处源码随之还原为直白的
`*槽 = <boxed 变体>` 写法，不再用内建绕开严格检查。
 2026-09-28 23:21:36 +08:00
TermiNexus a9e4aafae1 fix(transpyv): ClassGenDef 用 c.DerefAs 物化 REnum 变体（替代 *ptr = <boxed 构造>） 
c 源码违规：`*existing.Ty = llvmlite.LLVMType.Struct(...)` 把 **boxed 变体指针**
赋给了值槽（指针→值，严格规则禁止）。REnum 变体构造返回 boxed 指针，仓库既定
写法是用 c.DerefAs(ptr, <boxed 变体>) 做整对象物化（includes/llvmlite/__types.vp:195
的同款 `c.DerefAs(ptr, LLVMType.Struct(fields, fcount, name))`），
_HandleCDerefAsLlvm 的"整对象拷贝"分支正是为此（HandlesExprCall.py:4718-4740）。

用 DerefAs 而非改成 `existing.Ty = <新指针>`：本段的目的就是修 Phase 1a 遗留的
**悬空 Name**（注释 L97-101），Phase A 已把该指针登记进 named-type 表；换指针会让
旧条目继续指向悬空 Name，in-place 覆盖才保留指针同一性、真正修掉悬空。

现场报错：非基本类型的值/指针隐式转换已禁止（构造物化除外）：
  不能把指针类型 %"50741ad4b4b0934d.LLVMType"* 隐式转为值类型
  %"50741ad4b4b0934d.LLVMType"
 2026-09-28 23:15:46 +08:00
TermiNexus aa52cf157d revert(transpyv): 回滚跨模块链表 Next 改访问器（改由编译器沿继承链解析字段名） 
回滚 13080f6 的 110 处访问器调用，恢复裸字段访问 `x.Next`。

理由：该批访问器是把访问移到定义模块内执行，**绕开**了"继承字段名解析"，
属于规避而非修复；缺陷本体在 TPC 侧（导入侧继承展平把泛型基类的继承字段
记成 __inherited_N 占位名，名字丢失）。TPC 已按语义修正：
  · e6451a07 继承展平沿继承链取真实字段名（泛型特化回退模板名），
    展平表直接落 `[("Next", <槽位类型>), ...]`，属性访问是普通表命中；
  · 3ca46c01 顺带修掉 _get_or_create_struct 里"同名枚举成员遮蔽类定义"的 i32 出口。
因此源码侧恢复为唯一写法（裸字段访问），由编译器负责解析。

注：本 commit 只回滚访问器；13080f6 里夹带的 CallGenProp.vp 续行合并（非访问器改动）
已在工作区保留（未提交）。
 2026-09-28 21:48:53 +08:00
TermiNexus 13080f646f fix(transpyv): 跨模块链表 Next 字段改用访问器（消除 __inherited_N 占位名 fail-fast） 
c 源码违规：llvmlite 的 Value/ParamNode/Function/Param/GlobalVariable/PhiIncoming/
SwitchCase 的 Next 继承自泛型基类 GSListNode[T]，而其泛型特化体不在任何 .vpi 中
⇒ 导入侧 class_members 只有 __inherited_N 占位名；严格属性解析（回退已移除）下
裸写 `x.Next` fail-fast。现场：CallGenCall.vp `cur_fb = cur_fb.Next` 报
"[fast-fail] 属性 Next 在类 ParamNode 中找不到（class_members=[__inherited_0, Ty]）"。

按仓库既有约定（_Type.md：链表遍历用 paramnode_get_next/paramnode_set_next；
VarGenMixin/TypeSpec/StructGenMixin/VpiReader 等已如此书写）统一改为访问器：
  value_get_next/value_set_next、paramnode_get_next/paramnode_set_next、
  function_get_next、param_get_next、globalvariable_get_next、
  phiincoming_set_next、switchcase_set_next
覆盖 24 个文件共 110 处（含 CallGenProp.vp:122 的嵌套读 cur_arg_pc.Next）。

访问器在 includes 侧为定义模块内直通实现（None 守卫 + x.Next），语义等价、零行为
变化。已全量扫描 core\Gen 全 47 文件与 Stub/Phase/core/main：App 侧已无裸继承字段
访问（剩余 .Next 命中全部在注释里）。
 2026-09-28 21:20:58 +08:00
TermiNexus 825fe6d326 fix(TransPyV): 指针 cast 的跨层 idiom 修正：(str | t.CPtr)(x) → rawptr(x) 
c 类（源码违规）：(str | t.CPtr)(x) 按既定语义 = i8**（char**，指针的指针），

而这些位置要的是 i8*。TPC 的 return/赋值检查现在按声明精确校验（本次即

TypeGenResolve.vp:1221 `return (str | t.CPtr)(v)` 声明返回 i8* 却 return i8** 被抳下），

该 idiom 在旧的无条件 bitcast 下一直不可见。

改法：86 处 (str | t.CPtr)(X) → rawptr(X)（rawptr 是 t.CPtr 的内置名，同为 i8*；

整数操作数走 inttoptr，指针操作数走 bitcast）。不用 str(X)：整数操作数会编译成 itoa

（Gen/FuncGenMixin.vp:1159 注释已记录该陷阱），精确类型仍由使用处的 `: str` 标注承担。

保留 4 处本就该是 i8** 的用例（未改）：Converter.vp:820（_g_pyi_cdef_names 声明为

str | t.CPtr 的指针数组）、CallGenCBuiltin.vp:1194/1215（声明即 str | t.CPtr）、

1411（先 cast 再 [0] 取首元素）。

另：Gen/Type/TypeGenResolve.vp:1221 手工改为 return t.CPtr(v)（该文件含你的未提交改动，未一并提交）。
 2026-09-28 18:43:59 +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 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 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 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 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 82eea2719f refactor(tpv): rowptr[T] 迁移 + D 表定长缓冲改精确分配 + SHA1 前缀判定收敛（D1/D3/D4/D5/D6/D7/C10） 2026-09-12 11:09:35 +08:00
TermiNexus cfb92e5da5 初步清理 t. 类型异味 2026-09-11 18:36:32 +08:00
TermiNexus 6b368b46a7 feat(tpv): App 与 TPVAppBK 新代版本对齐（rowptr 配套实现全套） 
把 TransPyV/App 覆盖为 TPVAppBK 内容（39 文件）：6 参注册式 _BuildReachableSha1Set 全套（StubMergerBuild/Store/Collect/__init__/IncludesScanner/Phase1Scan 等）、CallGen 与 TypeGenResolve 等新代实现。配套根 includes 为 rowptr 工作区（另有 includes_rowptr_bk 备份）。
 2026-09-05 14:13:03 +08:00
TermiNexus c2b9a26c62 fix(tpv): vpi 注入完整类型定义 + list elem_size + 路径修复，清理临时诊断 
- VpiReader: 值 struct 全局/数组元素/函数返回类型注册完整定义，修复 llc use of undefined type；vpi 注入类后补 add_field 字段表（LARGE_INTEGER.QuadPart 恒 0 根因）
- TypeGenResolve: list[str](pool, elem_size) 语义修复（参数个数误当 elem_size，Mat4 崩溃根因）；t/c 内置命名空间 Subscript 特判
- Config: _join_path 防双份路径
- GenApi: 新增 add_field 代理
- 移除 DBG-VK/PHASEADBG/GAP-DIAG/DBG-EMP 临时诊断
 2026-08-29 17:27:29 +08:00
TermiNexus b7eeb504ee fix(tpv): 空类 FieldCount=0 中和重建 + 移除 [ATTR]/[DET] 调试打印 
1) WIN32_FIND_DATAA 等空类（FieldCount=0）字段访问：模块限定路径补 FC==0 容忍（返回 None 交 pending，对齐裸名路径）；ClassGenDef 空类不再 pending 延迟（多遍死锁），改为中和旧 entry 走完整注册重建。2) 用户要求移除 [ATTR]（FuncGenBase/FuncGenDef）与 [DET]（CallGenCtor）无条件调试打印。3) 拓宽 [DBG-REG]/[DBG-ADDF] 过滤器到 WIN32_FIND_DATAA 定位空类注册来源。
 2026-08-29 10:44:43 +08:00
TermiNexus 0a84ca8db3 debug(tpv): 临时诊断定位 SECURITY_ATTRIBUTES 空类注册来源 
- register_struct/add_field 打印 [DBG-EMP]（SECURITY_ATTRIBUTES 过滤）
- ClassGenDef 空类报错改为 pending + 打印（定位期间不中断编译）
- 定位后移除
 2026-08-29 08:42:26 +08:00
TermiNexus 85e7011b6c refactor(tpv): INTPTR/UINTPTR 去硬编码，依赖 stdint.vp CTypedef 声明 
- map_t_type 删除 INTPTR/UINTPTR = Ptr(i32) 硬编码（与 stdint.vp L10/L14 声明重复）

- INTPTR = t.CInt|t.CPtr、UINTPTR = UINT|t.CPtr 由 CTypedef 动态查表解析（L1377 先于 map_t_type 兜底）

- stdint.vp 成为单一事实源；语义不变（INTPTR 是 int* 历史命名，非 C 标准 intptr_t 整数）
 2026-08-28 15:33:45 +08:00
TermiNexus 24ae2dc966 refactor(tpv): 删除 Handles 目录，核心逻辑合并进 Gen 
- 新建 Gen/Translator.vp：Translator 类 + Mixin + 常量 + _mbuddy 自 HandlesTranslator 迁入（删 7 个委托壳与 _g_gen）

- GenApi 下沉 7 个 global/nonlocal 管理委托（add/is_global_name、add/is_nonlocal_name、get_nonlocal_type/index、clear_scope_names）+ update_global_func_typestr

- CallGenLeafKit 并入 ExprCallHandle 类，NewExprCallHandle 改本地引用

- 删除 Handles/HandlesExpr/ExprCallTable/HandlesBase（60+ 委托零消费者/纯委托壳）与 Handles 目录整体

- 全 App 56 文件 import 改指 lib.core.Gen.*，清理死 import，委托调用改 GenApi，main/BuildPipeline _g_gen 注入删除
 2026-08-28 14:29:25 +08:00
TermiNexus d99b6268de refactor(tpv): Gen 目录按前缀分组迁移子目录 + REnum.kind() 编译期转 __tag 
- Gen/*.vp 按前缀分组迁入 Call/Class/Expr/Func/Stmt/Type 子目录，import 同步更新（BuildPipeline/Generator/StructGenMixin 等）

- CallGenDispatch: REnum.kind() 前置拦截 → bitcast i32* + load（读 __tag），杜绝方法查找兜底误绑 AST.kind（this 偏移语义错误）

- 留根：Assign/Async/Base/Imports/Match/Struct/Translator/Var 单文件前缀 + GenApi/GenTypes/Generator/__init__
 2026-08-28 14:16:03 +08:00