GVSDS/ViperC
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity
597 Commits 1 Branch 2 Tags
67667b10db5b2c2bf3f49b18ec0865e55910d5ee
Commit Graph
594 Commits
Author SHA1 Message Date
TermiNexus 67667b10db fix(class): __before_init__ 定义时复用同名前向声明，消除同模块 declare+define 
本类方法体内构造自身（如 Vec2.__add__ 里 return Vec2(...)）时，构造路径先经 _call_method_on_ptr → _ensure_method_declare 在本模块建好同名 __before_init__ 前向声明（IsDeclared=1）；随后 _generate_before_init 又 create_function 追加一条同名 define，使同一模块 IR 同时出现 declare 与 define → llc 报 invalid redefinition of function（OopInheritTest 根因；④ 改用 full.ll 直喂 llc 后不再被旧 BuildCombinedIR 去重掩盖）。改为按名复用该前向声明（命名首参 %self、校准类型、清 IsDeclared 转 define），与 _generate_method/FuncGenDef 同构。
 2026-10-03 10:26:57 +08:00
TermiNexus 4c114d8875 fix(call): 泛型模板的前向声明占位不再阻断构造期类型实参推断 
注解 vector.Vector | CPtr（无实参）会经 TypeGenResolve 登记不透明前向声明占位 {sha}.Vector（IsForwardDecl=1）。模块限定构造 vector.Vector(...) 在 CallGenMixin 命中该占位后，gen_ctor_entry != None 使泛型推断分支（struct_ty is None and gen_ctor_entry is None）被整段跳过，静默按普通结构体/函数构造并产出裸泛型基类对象 → 后续方法调用触发 D25 接收者 fail-fast（VectorGenericTest 根因）。改为：命中项是前向声明占位且类名为已注册泛型模板时，不锁定 struct_ty/gen_ctor_entry，放行泛型推断按实参（_hint: T）特化；裸名分支与模块限定分支同口径。
 2026-10-03 10:18:29 +08:00
TermiNexus 53ba4e48bd fix(expr): 修正 not 取反的 const_int 参数顺序（bits 在前） 
上一提交 df9a5a9 误把 const_int 参数写成 (value, bits)，实际签名为 const_int(pool, bits, val)。改为 const_int(pool, 1, 0)（i1 false），使 not x 真正降级为 (bool(x)==0)，不再与 1 比较而恒等。对照本文件 663/680 行的 const_int(pool, 1, 0) 用法可确认参数顺序。
 2026-10-03 09:58:35 +08:00
TermiNexus 9bd3ac3dfb refactor(sidecar): 删除 BuildCombinedIR 文本合并死代码（④-d） 
在线模型方案（④-a~④-c）已由 LoadFullIR 取代文本合并，BuildCombinedIR 及其专属辅助（_Seen* 去重表、_RegisterStubLines、_LoadAndAppendStub、_LoadAndAppendTextDeclares、_IsTypeDefLine/_IsIrHeaderLine/HoistTypeDefsBeforeDeclares、_collect_stub_sha1s、_stub_scan_cache_*）已无调用方，一并删除（约 1348 行）；同步改写 #35/TranslatorGenMixin 中引用旧函数的注释。
 2026-10-03 09:13:17 +08:00
TermiNexus df9a5a9beb fix(expr): 修复 not 一元运算未取反（i1 条件与 0 比较） 
not x 的降级此前写成 (bool(x) == 1)，在 i1 上与恒等等价，导致 not r2 不取反（FuncTest Test 7 bool return 失败）。注释本意即 not x = (bool(x) == 0)，改为与 i1 常量 0 比较。
 2026-10-03 09:07:04 +08:00
TermiNexus cc8ea01476 feat(sidecar): 翻译点增写 {sha1}.full.ll，Phase B 改用在线 FULL 产物（④-b/④-c） 
- 翻译点（Phase1Main / Phase2 PhaseA / Phase2 includes 重试）在 dump stub/text/meta 后
  追加 dump_ir(OUTPUT_FULL) → {sha1}.full.ll（FULL 缓冲 16MB = stub+text 2× 余量）
- Phase1 增量跳转新增要求 full.ll 存在（缺失即重译补写）
- 新增 StubMergerBuild.LoadFullIR（与 BuildCombinedIR 同契约：读文件到 out_buf）
- Phase B 三处调用点 BuildCombinedIR → LoadFullIR；COMBINED_IR_SIZE 4MB → 16MB
- 诊断报文/注释同步（读 full.ll 失败）

full.ll 为模型在线时产出的自足单模块 IR（类型定义在声明之前，天然满足 llc 顺序）；
BuildCombinedIR 暂保留（④-d 再删）。未编译验证。
 2026-10-03 08:43:03 +08:00
TermiNexus ec9e950185 fix(gen): 全局初始化器引用跨模块 vtable 时补 external 声明（④-a） 
模块级对象全局的 storage 初始化器以符号名写入依赖类 vtable
（i8* @<dep_sha1>.<Cls>.vtable），此前不建 GlobalVariable ⇒ 单模块
OUTPUT_FULL 缺该符号声明，只能靠 BuildCombinedIR 合并依赖 stub 补入。

现于写初始化器前：跨模块（ModuleSha1 != 当前模块）且模块内无该全局时，
new_global_variable(..., Ptr(i8)) + module_add_global 补 external 声明
（对齐 CallGenLeafKit._make_vtable_ref_i8）。仅跨模块补，本模块类由
_generate_vtable 产出定义，避免同模块重复定义。

去 IR 化步骤④-a（生产者自足，FULL IR 自足化前置）；未编译验证。
 2026-10-03 08:39:13 +08:00
TermiNexus 324a22b6d1 refactor(call): CallGenFd 返回类型精确化改以 vpi 为权威 
返回类型「精确化」原只读定义模块 text.ll；改为先查 vpi 返回注解缓存
（_lookup_method_ret_ty_via_vpi），未命中再回退 text.ll，与 ② 的
vpi→text.ll 口径一致。

去 IR 化遗留收尾；未编译验证。
 2026-10-03 08:28:07 +08:00
TermiNexus 3b0ed04e70 chore(stubmerger): 删除 StubMergerIR 中 6 个无调用方的旧 IR 文本扫描助手 
删除 _IsFuncDeclaredOrDefined / _CommentOutDeclareInBuf / _CommentOutGlobalInBuf /
_HasGlobalInBuf / _CommentOutOpaqueTypeInBuf / _HasFullTypeDefinition —— 全仓无调用方
（去重判定早已迁移到 StubMergerBuild 的 _seen_* 哈希表），保留在用中的
_is_submodule_of_imported。顺带更新本模块头注释（现为 meta sidecar 工具）。

去 IR 化收尾清理；未编译验证。
 2026-10-03 08:26:02 +08:00
TermiNexus 611f49cfb6 refactor(repl): 会话函数签名改从翻译期模型取，去除片段 IR 文本解析 
- 新增 _repl_ty_ptr_token（LLVMType* → tag*1000+bits）与 _repl_model_func_sig
  （按裸导出名查 tr.Module 的 Function，读 RetTy/Params；含 ctx 首形参与 EH 出参判定）
- _repl_precheck_session_funcs / _repl_register_session_funcs 增 mod 形参；
  两处调用点传 tr.Module
- 删除旧 IR 文本解析：_repl_ir_func_sig / _repl_ir_find_define_at /
  _repl_llvm_ty_token / _repl_span_str 及其 scratch ReplTySpan / ReplTySpan3 /
  ReplIrDefOff / _REPL_FN_TY_CAP

去 IR 化步骤⑤；返回码（1/2/3/4/5）与旧实现一致。未编译验证。
 2026-10-03 08:23:45 +08:00
TermiNexus 35f2070d3b feat(sidecar): meta 增写 STRUCT/VTABLE，REPL 布局恢复改读 meta 
- WriteModuleFuncMeta 更名 WriteModuleMeta：追加 STRUCT <name> FIELDS n PACKED 0|1
  （opaque → STRUCT <name> OPAQUE）与 VTABLE <class> SLOTS n；数据源改为
  Module.NamedTypeHead / GlobalHead，不再有任何 IR 文本反推
- VpiReader REPL 布局改读 {sha1}.meta：新增 _meta_atoi / _repl_meta_scan_layout
  按前缀精确匹配解析 STRUCT/VTABLE 行
- 删除旧 .stub.ll 文本解析辅助 _repl_stub_take_name / _repl_stub_body_count
  及其 scratch 缓冲 ReplStubNameBuf / _REPL_STUB_NAME_CAP

去 IR 化步骤③；未编译验证。
 2026-10-03 08:18:15 +08:00
TermiNexus 78d3941f7d refactor(call): 跨模块返回类型解析改以 .vpi 为权威，text.ll 降为回退 
将 8 处跨模块方法/函数返回类型解析的 text.ll → vpi 顺序对调为 vpi → text.ll：
- CallGenProp：属性方法调用
- CallGenMixin：跨模块裸名 CExport、from-import 函数
- CallGenCall：跨模块方法、类方法调用、self 方法调用（含 MRO 祖先链重试段整体搬移）
- CallGenDispatch：__len__ 跨模块、泛型 Mixin 方法

本模块 found_func / local_fn 取当前 IR 声明类型的路径保持不变。
去 IR 化步骤②；未编译验证。
 2026-10-03 08:10:34 +08:00
TermiNexus 94d2bf5047 feat(sidecar): 落盘 {sha1}.meta 函数定义清单，声明文件判定改读结构化 sidecar 
- 新增 WriteModuleFuncMeta：翻译期从 Module.FuncHead + Function.IsDeclared 产出 FUNC <mangled> DEF|DECL（与 dump_ir 的 stub/text 判据同源）
- 新增 _MetaHasDef / 重写 IsDeclOnlyModule：不再扫 text.ll 的 define 行，改读 meta
- Phase1/Phase2 落盘点紧随 text.ll 写出 meta；Phase1 增量跳转额外要求 meta 存在
- Phase2 内联 is_decl_mi 与 PhaseC 判定统一走 IsDeclOnlyModule

去 IR 化步骤①（sidecar 最小闭环），全后端统一，默认行为不变。
 2026-10-03 08:06:39 +08:00
TermiNexus 0ebe2e0752 feat(backend): 新增 MLIR 后端开关/产物隔离/降级管线/模块别名（默认 llvm 逐字不变） 
- Config: BackendTarget/BackendIsMlir/set_backend/is_mlir_backend/backend_dir_suffix/alias_module_name；读取 options.backend（回退 options.target）

- main.vp: 新增 --backend llvm|mlir（CLI 优先级最高，默认 llvm），加载工程后、resolve_paths 前生效

- 产物隔离: temp/output 追加 _mlir 后缀；includes 缓存追加后端后缀（.binary[_asan][_mlir]）

- BuildPipeline: MLIR 降级 mlir-opt(校验) -> mlir-translate --mlir-to-llvmir，覆盖串行/并行/--phase2command，且置于 ASan opt 之前；LlcTask 增 MlirOptCmd/MlirTranslateCmd 字段

- 别名: ResolveModuleToPath 与 _FindSha1ByModName 经 Config.alias_module_name 把 llvmlite 重定向到 mlirlite（调用点零改动）
 2026-10-03 07:53:04 +08:00
TermiNexus 4eec3f0908 feat(dunder): 补齐 dunder 协议（__bool__/__call__/__str__/__abs__/__del__/**/增量/反向） 
- __bool__：ExprGenOps.coerce_cond_to_bool 统一 if/while/and/or/not/三元/协程条件的真值归一，优先调度 __bool__

- __call__：obj(args) 分发到 obj.__call__（CallGenMixin 裸名分支）

- __str__：str()/print/f-string 调度（CallGenDispatch/CallGenLeafKit/ExprGenFstr）

- __abs__：abs(obj) 调度（CallGenMixin）

- __del__/__delete__：del obj → __delete__；del obj.attr 无 property deleter 时回退对象 __del__

- ** / __pow__：新增 llvm.pow 内联（整数按常量指数回写），_binop_to_dunder 补 Pow

- 增量赋值：__iX__ 优先、缺失回退 __X__（新增 _aug_op_to_dunder）

- 反向运算符：新增 _rbinop_to_dunder，lhs 无 dunder 时调度 rhs.__rX__
 2026-10-03 00:40:00 +08:00
TermiNexus a3bb62f2c3 feat(switch): switch 允许重复 case 标签（match 仍禁止） 
- HandlesMatch / MatchGenMixin：值标签去重仅对 match 生效；switch 允许重复 case
  标签（按书写顺序，先出现者生效）；通配臂多个（default / case _）仍 fail-fast
- wiki/07-control-flow.md 同步该语义
 2026-10-03 00:18:55 +08:00
TermiNexus fabd92adc7 feat(switch): 新增 switch 语句并禁止 match 内 fallthrough 
- MatchGenMixin：case 体按 node.is_switch 置 _in_switch_case；_has_no_break 只认 FallThrough 节点（去掉 c.NoBreak() 兼容路径）
- StmtGenDeclMixin：translate_fallthrough 只在 switch 的 case 体内合法，match/switch 之外 fail-fast
- Translator：_in_match_case 更名 _in_switch_case（语义 = 当前 case 体属于 switch）
- FuncGenDef / FuncGenMixin：函数体 / 嵌套函数 / lambda 入口隔离并恢复 _in_switch_case
- 因 match 改为硬关键字，重命名同名局部变量 match -> Matched（StubMergerStore / ImportsGenMixin / ExprGenAttr / CallGenBase）
 2026-10-02 23:15:43 +08:00
TermiNexus 38860a6313 feat(match): 重名 case 标签 fail-fast 
MatchGenMixin._translate_match_impl 新增前置检查（任何 IR 产出之前）：新增
_case_label_same / _value_label_same 比较 switch 标签（常量 / 名字 / 属性链 /
MatchSingleton / MatchClass 变体名 / MatchOr 子模式），标签重复或出现多个
`case _` 时 fatal_error 终止（C switch 不允许重复 case 标签）。
 2026-10-02 22:44:34 +08:00
TermiNexus d633a5786f fix(flow): 函数体入口清空 break/continue 目标与 match-case 标记 
- FuncGenDef.translate_function_def：进函数体前保存并清空 _break_bb / _continue_bb /
  _in_match_case，退出恢复
- FuncGenMixin：嵌套函数体与 lambda 体两处同样处理——原实现下嵌套函数体内的
  break/continue 会继承外层函数的跳转目标（跨函数 br，非法 IR）
 2026-10-02 22:40:04 +08:00
TermiNexus fb4175736f fix(flow): 循环/match 外的 break/continue 改为 fail-fast 
- StmtGenDeclMixin：translate_break / translate_continue 增加 node 形参，目标块
  缺失（_break_bb / _continue_bb 为 None）时 fatal_error，不再静默不发跳转
- StmtGenMixin：Break / Continue 分派传入 node（供错误定位）
 2026-10-02 22:35:26 +08:00
TermiNexus 43d25e58b9 feat(match): case 内 break 跳出 match，并落地 fallthrough 
- Translator：新增 _in_match_case（FallThrough 合法性判定用）；_break_bb 注释补充
  case 内 break 语义
- StmtGenDeclMixin：新增 translate_fallthrough（本身不产出 IR；非 case 体内 fail-fast）
- StmtGenMixin：FallThrough 语句分派
- MatchGenMixin：进出 case 体（含 default 臂）时暂存/覆盖 _break_bb = match end_bb，
  使 case 内 break 跳出 match 而非外层循环；_has_no_break 兼容 FallThrough 标记；
  REnum / simple 两条 switch 路径的 fallthrough 由"只留无终结符块"改为显式 br
  下一个 case body（原实现产出非法 IR）
 2026-10-02 22:33:15 +08:00
TermiNexus 0b7f7a50c7 docs(types): 同步 list 相关注释，list[T, N] 不是定长数组 
- TypeGenResolve._is_count_arg_container：说明把 list 纳入判据只是为了历史写法
  list[E, N] 的第 2 实参不被误当类名归一；list 本体是 _list.vp 的堆上 STL 容器
- AssignGenMixin：注释示例由 list[type] / list[type, N] 改为 CArray 形态
 2026-10-02 22:16:30 +08:00
TermiNexus 8d01c01afd feat(viperbuild): 落地 --src 工程模式配置面，并补齐循环 else 与整型 None 比较 
- 新增 lib/core/builtin/ViperBuild.vp：--src Pass 0 依赖闭包扫描 + 宏配置提取 +
  默认值填充 + 写回 Config；main.vp 路由改为工程模式并删除单文件分支
- Translator.vp：写入 triple / datalayout，翻译期擦除 viperbuild 宏语句；
  ImportsGenMixin.vp：对 viperbuild 豁免 SHA1 校验
- StmtGenCifMixin.vp：for / while 的 else 子句在 11 条循环生成路径全部接通
- ExprGenOps.vp：None 比较按 None 所在侧分派，整型 None 隐式为 == 0 / != 0
 2026-10-02 22:07:01 +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 2c33effee1 fix(type): 前向声明补 import-as 别名反查（LookupModNameByAlias） 
_forward_declare_ptr_from_node 的 Attribute 分支此前仅走
ImportsGen.lookup_from_import 反查别名；对 `import X as Y`（from_imports 里存
"Y:X"）补一道 StubMergerStore.LookupModNameByAlias 专用反查，避免别名解析不到
→ 拿不到模块 sha1 → 无法前向声明而退回 Ptr(i8)。现场候选：GenTypes.vp 的
`import lib.core.Gen.Type.TypeSpec as TSpec`，字段 `Spec: TSpec.TypeSpec*`
（ve_i.Spec.PtrLevel 属性访问失败）。
 2026-10-02 11:48:31 +08:00
TermiNexus 4958fd2c14 debug(attr): [DBG-ATTR] 泛化到任意属性访问失败，打印基座/结构体/字段数（用完删除） 
Generator.FuncGenBase 已由前向声明修复；新报错 ve_i.Spec.PtrLevel 属同类症状
（某字段指针的 pointee 不是可查字段的结构体）。去掉 attr=="FuncGenBase" 守卫，
任何属性访问失败都打印 obj_ptr.Ty / struct 名 / 条目 FieldCount / base_class。
仅打印，不改行为。
 2026-10-02 02:50:01 +08:00
TermiNexus 87e2356eea feat(type): rawptr[T]/t.CPtr[T] 下标形也走前向声明，并覆盖同文件前向引用 
承接 c0d3231（X | t.CPtr 已改前向声明）：
- t.CPtr[T] 分支：inner 解析为 None 时先尝试前向声明具名占位并返回
  Ptr(占位.Ty)，保住类身份；无法确定类名/模块时才回 None 交多遍收敛。
  rawptr[T] 经 builtins typedef（rawptr = t.CPtr）兜底归一到本分支，故一并覆盖。
- _forward_declare_ptr_from_node 的 Name 分支补"本文件顶层类"回退：用
  StructGen.register_file_classes 登记的"{名字 → 本文件模块 SHA1}"前向声明，
  覆盖同文件前向引用 / 自我引用（如 JsonValue | t.CPtr 自引用字段）。

无编译验证。
 2026-10-02 02:48:26 +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 d1c0f6754c debug(gen): 补 [DBG-ATTR] 探针——FuncGenBase 处 obj_ptr 类型与注解类名兜底（用完删除） 
已知（1.log 取证）：Generator 结构体登记正确（tbl[337] fcount=47 含 FuncGenBase），
真正问题是 `self.Gen` 字段类型退化成 i8*（lookup_field 收到 struct_ty=<non-struct>）。
本探针在报错点补打印：
- obj_ptr.Ty（确认是否为 i8*）
- base_class（_resolve_attr_field_class 取到的 Gen 字段注解类名）
- 用 base_class 走 lookup_field_by_class 找 FuncGenBase 的字段下标

用于判定"注解类名未记录"还是"按类名查询也失败"。仅打印，不改行为。
 2026-10-02 02:31:09 +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 1ad7abf33d refactor(TransPyV): 统一自举写法（novirtual / define / rawptr→* / 去续行反斜杠） 
- @t.NoVTable class X → novirtual class X
- t.CDefine = N → define N
- rawptr[X]、X | t.CPtr → X*
- t.CPtr → rawptr（裸指针标记）
- t.Callable[...] → callable[...]
- 去掉 if/elif 条件的行续反斜杠（改单行写法）
- w32.win32file.X → win32file.X（已 import as）
- core/__init__.vp 去掉未使用的 import t, c / from stdint import *

涉及：CompilerFactory、IncludesScanner、Repl、core/__init__、
Gen/Call/{CallGenBase,CallGenCBuiltin,CallGenCall,CallGenDispatch,CallGenLeafKit}、
Gen/Class/ClassGenGeneric。
 2026-10-02 02:16:37 +08:00
TermiNexus 7e82ed6940 chore(debug): 移除 [DBG-GEN] 一次性插桩（改走静态分析） 
按用户要求撤掉 lookup_field 里的临时打印，恢复原函数体。
 2026-10-02 02:14:54 +08:00
TermiNexus 1d1efc6288 debug(gen): 一次性插桩打印 Generator.FuncGenBase 字段查找上下文（用完删除） 
AsyncGenMixin.vp:58 `self.Gen.FuncGenBase` 报「属性访问失败」，需确认
lookup_field 收到的 struct_ty 是谁、结构体表里 Generator 条目的 FieldCount/sha1，
以判断是字段缺失、Ty 身份不一致还是按到了空/错误条目。仅打印，不改行为。
 2026-10-02 02:10:58 +08:00
TermiNexus f865986675 fix(stub): App 预注册注入依赖 vpi 时跳过函数/方法 declare，避免打断多遍收敛 
承接上一提交（App 预注册期开始注入依赖 vpi）。注入的依赖 vpi 里，函数/方法
declare 的形参/返回注解可能引用**本遍尚未注册**的类（跨文件注册顺序：被依赖模块
的类可能排在更后，需靠下一遍收敛），resolve 落空会在 declare 注入里 fail-fast，
直接打断 Phase A-pre 的多遍收敛。现场：App 预注册 AssignGenMixin.vp 注入
Translator.vpi 时，InjectTracebackInstallCtor 形参 rawptr[Translator] 解析失败
（Translator 结构体因字段引用尚未注册的 GenTypes 类而本遍未登记）。

改动：VpiReader._ParseVpiIntoModuleImpl 新增 pre_skip_fn_declares（仅当
trans._pre_allow_dep_inject != 0 即 App 预注册时置 1），在「第一遍 B 方法 declare」
与「模块级函数 declare」两处跳过注入。预注册的唯一目的是注册 struct/enum/union
（第一遍 A）与包重导出别名（ImportFrom 段），两者均保留；方法/函数 declare 写在
预注册的瞬时模块里、随即随 mb.reset_to 丢弃，无跨遍作用。全量翻译
（_declare_only==0）不跳过，仍 fail-fast。
 2026-10-02 01:47:18 +08:00
TermiNexus 981af07d5c fix(phase): App 预注册期注入依赖 vpi，修 list[ast.ClassDef*] 票名前缀分裂 
Phase A-pre（App 预注册）此前不做导入处理、不注入依赖 .vpi，导致包重导出
类的字段注解在预注册期只能保留「包前缀」（1abcd…），并被冻结进结构体布局；
阶段 A 构造函数侧却能借包别名 entry 校正为真定义前缀（e70bd…），两处票名
分裂 ⇒「非基本类型指针不可隐式转换」（现场 ClassGenGeneric.vp:92）。

改动（只放开 App 预注册，不动 includes 预注册那条防依赖环自锁的约束）：
- Translator 新增 _pre_allow_dep_inject 开关，并在导入处理门拆成两道：
  ①导入处理 + 自动容器可见性 + LoadDepVpiIntoModule —— 全量翻译与 App 预注册共用；
  ②模块级变量预注册 + 函数前向声明 —— 仍只在全量翻译做。
- BuildPipeline.TranslateFileGetTrans 新增 pre_allow_dep_inject 参数并写入 Translator。
- Phase2 App 预注册调用点传 1；includes 预注册保持默认 0。
 2026-10-02 01:03:31 +08:00
TermiNexus 57f8c655c8 chore(debug): 移除 [DBG-P7] 一次性插桩（根因已定位） 
定位结论见 Debugger/debug-nested-class-struct.md 的 P7：不是别名登记失败，而是
Phase A-pre（预注册 struct/enum/union，declare_only）解析类字段注解时，被 import
模块的 vpi 一概尚未注入 ⇒ 包重导出别名 entry 不存在 ⇒ 字段侧票名保留包前缀并被
冻结进结构体布局，与阶段 A 构造函数侧的真定义前缀分裂。

删除 96c1102 / 3b8a2b2 引入的全部临时打印（VpiReader.vp / TypeGenResolve.vp /
CallGenCtor.vp 三处），代码回到插桩前状态（-108/+0）。
 2026-10-02 00:59:44 +08:00
TermiNexus acd6c9a615 docs(expr): 去掉指向已删除的 wiki/14-oo-refactor.md 的注释引用 
该文档（对象化重构计划）已完成并从 wiki 删除，注释只保留「对象化 P3」的来源标记，
避免留下悬空文档引用。
 2026-10-02 00:47:17 +08:00
TermiNexus 3b8a2b225f debug(stub): 补全 [DBG-P7] 插桩覆盖所有票名产生路径（定位后删除） 
在 96c1102 基础上把"可能产出该票名"的路径一次打全，保证一次重建即可定死根因：

- TypeGenResolve._class_true_def_sha1：MISS 时额外 dump 结构体表里所有名字含
  ClassDef 的条目（下标/名字/归属 sha1/Ty 的 IR 名前缀）——直接看出别名 entry
  到底有没有、挂在哪个 sha1 上。
- TypeGenResolve.extract_class_name_from_annotation：AnnotClassName 通道算出的
  泛型票名（含 ClassDef 才打）。
- TypeGenResolve._resolve_generic_subscript_ty：注解/字段侧算出的泛型特化名
  gen_mangled（含 ClassDef 才打）。
- CallGenCtor._extract_type_args_from_slice：构造函数侧实参串的 raw/norm 两态。
- VpiReader._inject_class_struct_declare：进入 + 各出口
  （already / renum_skip / field_unresolved / zero_fields / registered）。
- VpiReader._inject_reexport_class_declare：调用现场与四个出口
  （already / no_src_entry / alias_reg_fail / alias_ok）。
 2026-10-02 00:34:38 +08:00
TermiNexus 96c110242e debug(stub): 一次性插桩定位 ast.ClassDef 票名前缀分裂（定位后删除） 
9994d2e 改判据后现象不变，需要在一次重建里同时看到三处事实，避免反复猜：
- TypeGenResolve._class_true_def_sha1：cls 含 "ClassDef" 时打印 HIT/MISS 与候选
  sha1、命中条目的 IR 名前缀（用 strstr 以便同时捕获 "ClassDef*" 形态）；
- VpiReader._inject_reexport_class_declare：src/local 为 ClassDef 时打印调用现场
  的「源 entry 是否已注册 / 别名是否已存在」（src_entry=0 ⇒ 别名必然建不起来）；
- VpiReader 的 ImportFrom 分支：判定为包 __init__ 时各打印一行（模块名、包前缀、
  子模块名与解析出的 sha1），确认包判定与子模块解析是否成立。

全部带 [DBG-P7] 前缀，便于 grep 与事后清除。
 2026-10-02 00:32:05 +08:00
TermiNexus 9994d2e983 fix(stub): 包 __init__ 判定改按模块名，修 ast.ClassDef 票名前缀分裂 
存量缺口：VpiReader 判定"本 stub 是否包 __init__"依赖 sha1→rel_path 反查
（strstr(rel_path, "__init__.vp")）。该反查在部分运行形态下取不到条目 ⇒ 判定恒
false ⇒ 包重导出类的别名 entry 静默不登记 ⇒ `ast.ClassDef` 这类限定名在泛型实参
里保留包前缀（幽灵名 `list[1abcd5277fa442de.ClassDef*]` 全产物恒 opaque），与构造
函数侧的真定义模块前缀（`list[e70bd9b4487d921d.ClassDef*]`）分裂成两个类型，报
「指针隐式转指针已禁止」（现场 ClassGenGeneric.vp:92 的 CastError）。

改法（不再依赖 rel_path 字段，均为模块名表的既有事实）：
- StubMergerStore 新增 LookupModNameBySha1：按 SHA1 反查模块名（只读指针）。
- VpiReader 的 ImportFrom 分支：取 level>0 的兄弟模块 S，用其模块名去掉末段得到包
  前缀 P；又因 Utils.PathToModuleName 把 pkg/__init__.vp 记成 "pkg"，故
  「本 stub 的模块名 == P」即证明本 stub 就是包 P 的 __init__ ⇒ is_pkg_init_rt=1，
  同时直接用 P 拼出子模块全名（不再从 rel_path 反推目录名）。
- 模块名证据不足时仍回退原 rel_path 路线，行为不变。
 2026-10-02 00:07:23 +08:00
TermiNexus b91dfef777 feat(stub): vpi 注入侧递归登记嵌套类为扁平名 {外类}_{内类} 
VpiReader 此前只登记顶层 ClassDef，跨模块引用 `外类.内类` 拿不到类型
（TPC 侧 stub.ll 已递归声明，双端不对齐）。现按定义端
ClassGenDef._translate_nested_classdefs 的命名口径补上：

- _inject_class_struct_declare 增加 name_prefix 形参，非空时算出扁平名
  real_name；REPL 分支、已注册检查、命名结构体类型名、register_struct、
  add_visible_struct 一律改用 real_name。
- 新增 _inject_nested_class_declares：遍历类体内缩进 ClassDef 子节点，
  以 real_name 为前缀递归调用（多层嵌套自然展开为 A_B_C）。
- 嵌套登记后再次调用 mark_module_class 复原"正在定义类"窗口：否则内层
  类名会顶掉 CurDefClassName，使外层字段注解的规则 5.5 自引用证据判错、
  且 `外类.内类` 的守卫①失效。
 2026-10-01 23:39:11 +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 3ccc37ca3f fix(type): 泛型实参归一先剥尾随星号，消除包前缀票名分裂 
_norm_type_arg_name 规则 4 用 strchr('.') 切出 attr 时把尾随 '*' 一起带进了类名
（'ast.ClassDef*' → attr='ClassDef*'），于是 _class_true_def_sha1 按名查不到
entry、真定义模块校正失效，留下包前缀：

  字段侧 ClassGenBase.vp:123 → list[1abcd5277fa442de.ClassDef*]（无定义的幽灵名，
                              全部产物里只有 = type opaque，从无 = type {...}）
  构造侧 ClassGenGeneric.vp:92 → list[e70bd9b4487d921d.ClassDef*]
  ⇒ ClassGenGeneric.vp:92 报「指针隐式转指针已禁止」。

TPC 侧名称域（SymbolUtils.ResolveTypeArgStr 的 BinOp 分支）本就是「先解析基类型 X，
再 AddPointerLayers 追加 '*'」→ {真定义sha}.X*，TPV 与之对齐。

新增规则 1.6：剥掉全部尾随 '*' → 递归归一基名 → 回贴同样多的 '*'。
i8** / int* / T* / 已带 SHA1 前缀的文本逐字不变。
 2026-10-01 22:40:54 +08:00
TermiNexus 02b9429363 fix(type): void* 归并分支的 match 必须守 None，修 ASan 空指针崩溃 
BinOp 的 CPtr 分支里，上一笔为 void* 归并新增的 match other_ty 未判空。
other_ty = resolve_annotation_type(另一边) 在 Phase 1a prescan 时**可以是 None**
（本分支下方既有代码就写着 if other_ty is None: ... 回退 Ptr(i8)，正说明 None 是
期望值）；对 None 做 REnum case 匹配会按其 tag 解引用空指针。

现场：TPV(ASan) 自举 Phase1 报 access-violation on address 0x0（READ），
栈 _prescan_funcdef_signatures → resolve_annotation_type；触发源是用户 WIP 里
新增的 X* 返回注解（parser 把 X* 展开成 BinOp X | t.CPtr，正好走本分支）。

改为 if other_ty is not None: 包住，None 继续走下方既有回退路径。
 2026-10-01 22:07:41 +08:00
TermiNexus be14fa5f94 fix(ctor): REnum 变体构造识别取错限定名，导致构造物化豁免失效 
_ctor_call_agg_ty 从被调方沿属性链一路走到链根裸名，三段式
llvmlite.LLVMType.Struct(...) 于是被判成限定名 'llvmlite'（非 REnum 类）⇒
返回 None ⇒ ClassGenDef.vp:128 的 *existing.Ty = LLVMType.Struct(...) 被
「指针 → 非基本类型值」禁令拦下。改为取「变体名左边那一段」：两段式取裸名
（EnumType.Variant）、三段式取属性名（llvmlite.LLVMType.Struct → LLVMType）。
 2026-10-01 21:44:55 +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 59865b2a3a feat(TPV): void 值操作 fail-fast（声明 void 变量 / 把 void 值当值用一律报 TypeError） 
承上一笔（裸名 void = t.CVoid 别名，仅 `void*` 与 `typedef 不透明结构体 = void` 可用）：

- ExprGenBase.coerce_to_type 顶部：void 值被 coerce 到**非 void** 目标（赋值 / 传参 /
  返回 / 二元运算对齐）直接 fatal_error(TypeError)，不再按 LLVM void 硬拼出非法 IR
  （"load void" / "bitcast ... to void"）；void → void 属无值传递，放行。
- AssignGenMixin.translate_annassign：注解解析结果为 void 时禁止声明该变量
  （否则会按 LLVM void 建槽）。
 2026-10-01 21:39:48 +08:00
TermiNexus e0bcf4bcef feat(TPV): 裸名 void 作为 t.CVoid 的别名（void* = i8*） 
用户 2026-10-01 需求：`void` 即 t.CVoid 的别名，只允许两种用法——`a: void*` 与
`typedef 不透明结构体 = void`（后者 `X*` 亦为 i8*）。

- TypeGenResolve 内置名表：新增 "void"（与 "CVoid" 同义 → llvmlite.Void）
- TypeGenResolve._is_cvoid_marker：裸名 "void" 与 "CVoid" 同判
- TypeGenResolve BinOp 联合合并：裸名 "void" 直接置 other_is_cvoid（无需 import t）；
  解析结果本身是 Void 时亦按 void* = i8* 归并，覆盖 `typedef X = void` 的 `X*`
  （否则会拼出非法的 Ptr(void)）
- VpiReader：注解文本里的裸 "void" 段与 "CVoid" 同判（has_cvoid → i8*）；
  has_cptr 分支对解析结果为 Void 的 first_ty 同样归并为 i8*（跨模块侧同口径）

TPC 侧无需改动：HandlesBase 的内置名表已有 'void': (t.CVoid, 0)，
`void*` 经既有 CVoid+CPtr 合并即 i8*。
 2026-10-01 21:37:40 +08:00
TermiNexus 21d5cd1cd1 fix(ExprGenBase): REnum 变体构造纳入「构造物化」豁免；错误报文只报问题本身 
1) _ctor_call_agg_ty 增加 REnum 变体构造识别：`EnumType.Variant(...)` 的变体名不是结构体名
   （find_struct 必 miss）⇒ 取属性链最右裸名，若判为基础枚举则返回该枚举的聚合类型。
   否则 `*槽 = <boxed 变体>` 会被「指针 → 非基本类型值」禁令拦下——
   现场 ClassGenDef.vp:128 `*existing.Ty = llvmlite.LLVMType.Struct(...)`。
2) 按用户要求简化 Error 输出：CastError 只报问题（原因 + 源/目标类型），去掉
   "；出错表达式: <形态>（行/列）源码: ..." 后缀（文件与行号已由 TypeGenErr 的 Traceback
   帧给出，属重复展示），并删除随之失去调用点的 _cast_fail_where / _source_snippet。
 2026-10-01 21:17:49 +08:00
TermiNexus a714ec9d37 fix(VpiReader): 返回/形参注解切分只在顶层 | 处断段（括号感知） 
_resolve_vpi_ret_annot_str 原按裸 `|` 切段，`list[ast.AST | t.CPtr] | t.CPtr` 会被切成
`list[ast.AST` / `t.CPtr]` / `t.CPtr`；首段再经 strrchr('.') 落到 `AST` ⇒ 定义侧类型解析成
`AST*`（元素指针），而正确答案是 list 专化结构体的指针。现场：跨模块调用 coerce 时报
"源类型 list[AST*]* → 目标类型 AST*"（CallGenLib._coerce_args_to_def_params 的 cargs 形参）。

现切分按 `[`/`]` 深度，只在顶层 `|` 处断段（与 _cache_vpi_param_annots_text 的顶层逗号
切分同口径）。改后该段解析不出 ⇒ 落 i8* 通配，与 `list[str] | t.CPtr` 等同形注解的既有
行为一致；配合 CallGen 侧的 bitcast 对齐（见上一笔）即可安全使用。
 2026-10-01 20:45:21 +08:00