GVSDS/ViperC
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity
874 Commits 1 Branch 2 Tags
main
Commit Graph
856 Commits
Author SHA1 Message Date
TermiNexus e196d6a28a fix(类型): 模块限定注解支持 from-import 重导出解析 
现场：Test/ThreadingTest/App/main.vp:184 `lock: vthreading.Lock = vthreading.Lock()` 报「变量类型注解解析失败」。vthreading.Lock 是重导出（includes/vthreading.vp `from lock import Lock`），Lock 真定义在 lock.vp；普通模块的 from-import 重导出不像包 __init__ 那样登记别名 entry（VpiReader._inject_reexport_class_declare 仅对包 __init__ 触发），故按 vthreading sha1 查 Lock 恒落空。

resolve_annotation_type 的 Attribute 模块限定分支此前未做真定义模块校正：先按原 sha1 查（既有命中情形逐字不变），未命中时再经 _class_true_def_sha1（唯一真源，已在 _normalize_type_name 规则 4b 使用）校正后重查一次，无证据时原样返回不改变行为。
 2026-10-03 15:44:49 +08:00
TermiNexus c035a82394 fix(类型): str/bytes 聚合指针检查豁免字符数组衰减，并统一判据真源 
误报现场：includes/os/_win32.vp:207 `name: str = find_data.cFileName`。WIN32_FIND_DATAA.cFileName 是 [260 x i8]，字段访问得到 Ptr(Array(i8,260))，其指针在 C 语义下天然衰减为 char*/str，属合法赋值，原判据把 Ptr(Array) 一律当真而误杀。

新增 ExprGenBase._str_rejects_ptr_kind（单一真源：1=结构体/类/联合指针、2=非字符数组指针、3=函数指针、0=可接受；[N x i8] 豁免）供 fail_if_str_annot_agg_ptr 与 CallGenLib 跨模块实参检查共用，消除两处重复的 kind 判定，避免同规则两处演化。
 2026-10-03 15:40:01 +08:00
TermiNexus bf2f38acd2 fix(generic): 修正 SpecToLLVMText 返回值判据倒置，恢复内建标量实参的泛型类型实参推断 
_infer_scalar_type_name_from_spec 把 SpecToLLVMText 的『0=成功』误判为失败（写成 == 0 就 return None），使该函数对任何内建标量都恒返回 None —— 泛型函数隐式推断中『实参来自内建标量形参/字段』的路径（Name/Attribute 分支）永远推不出，报『无法从实参推断泛型函数 ... 禁止静默默认 int』（现场：GenericOopTest fxi 体内 fxi2(a, b, ...)，a: double）。判据改为 != 0（与 ClassGenVTable 同约定）。

同时收紧位宽映射：i16/i64/f16 在 Viper 没有等位宽裸名别名（裸 int=int32、裸 float=float32），原映射 i16/i64->int、half->float 会静默窄化/扩宽位宽（i64->int 即 i64->i32），违反『禁止静默默认/兜底』原则；改为只映射位宽精确对应的形态（i1->bool、i8->char、i32->int、f32->float、f64->double），其余返回 None 交给调用方 fail-fast 提示显式标注。
 2026-10-03 15:28:02 +08:00
TermiNexus 09ea7283f9 fix(类型): str/bytes 不再作通用指针通配，补齐实参/赋值/返回三处隐式转换 fail-fast 
规则：void*/t.CPtr/rawptr 允许隐式转为任意指针类型，str/bytes 不允许（即便两者在 IR 层同为 i8*）。此前 coerce_to_type 的规则 1（通用指针通配）会把指向结构体/类/数组/函数的指针静默 bitcast 到 str 目标（反向亦然）。

- ExprGenBase：新增 _annot_name_is_bare_str/_annot_is_bare_str（裸 str/bytes 判定，组合段如 str|t.CPtr 不受影响）、fail_if_str_annot_agg_ptr（值是指向聚合类型的指针则 fail-fast，消息 CastError）、fail_if_str_annot_ast_agg_ptr（AST 注解入口）。

- 返回路径 StmtGenCifMixin.translate_return：在类型转换分支之前用 trans.CurFuncRetAnnot 判定，避免被规则 1 静默 bitcast。

- 赋值路径 AssignGenMixin.translate_annassign：四个分支（global / nonlocal / mod_glob / 局部）在 coerce 前用 aa.annotation 判定。

- 同模块实参 CallGenMixin.translate_call：在参数循环前一次性确保本模块 .vpi 参数注解缓存就绪（同跨模块 CallGenLib 键式：模块级函数 cls=None、段下标==形参下标），循环内按 _vpi_param_annot_seg_is 判定裸 str/bytes。
 2026-10-03 14:46:57 +08:00
TermiNexus 8af967db7f fix(generic): 泛型类模板类型参数名补缺 + 空上下文 fail-fast，修复特化方法体 T 变 NameError 2026-10-03 14:34:55 +08:00
TermiNexus 98ee53340f feat(call): 跨模块实参加 str/bytes 形参的 fail-fast（str 不作通用指针通配），并加 vpi 注解段等值判定 2026-10-03 14:23:12 +08:00
TermiNexus feb29fa7a3 fix(generic-func): 发射特化调用改传符号名（callee: str）而非 Function*，修复生成空 @ 的非法 IR 2026-10-03 14:18:14 +08:00
TermiNexus df1ffa4c2a refactor(subscript): 删除调用侧下标 zext 与 _zext_index_to_i32，统一交给 build_gep（单一真源） 2026-10-03 13:35:36 +08:00
TermiNexus bcbc7142be fix(subscript): 指针下标 GEP 补 zext，修复 i8 下标被符号扩展（uint8ptr[200] -> p[-56] 越界），zlib 漏计字节>=128 根因 2026-10-03 13:20:11 +08:00
TermiNexus ab0ee723b3 fix(classgen): 补 import llvmlite，修复 llvmlite.LLVMType/Int32 解析不一致导致的指针隐式转换 fast-fail 2026-10-03 13:01:42 +08:00
TermiNexus 2868798f58 fix(classgen): 补声明 GenericFunc* 五个类字段，修复 GenericFuncKeys 成员查找 fast-fail 2026-10-03 12:54:56 +08:00
TermiNexus 63acb2bf4d fix(fstring): 使用点按需补 @snprintf declare，f-string 不再依赖显式 import stdio 2026-10-03 12:46:30 +08:00
TermiNexus f2b65f57ec fix(match): case A | B 的 OR 模式注册全部备选（switch 仅取首个） 
_handle_simple_match 的 MatchOr 分支此前只把 pats[0] 译成 case 值 → switch value: case 1 | 2 中 2 落 default（LogicFlowTest SwitchMultiValueTest(2) != 10）。改为按臂记录 MatchOr 节点，建 sw 链时逐备选 new_switch_case 挂同一 body（等价 C 的 case 1: case 2:）；_handle_guarded_simple_match 同款：cond 改为各备选 subj==cv 的 OR 再与 guard 取与。非 MatchOr 路径逐字不变；非值备选改为 fail-fast（原为静默丢弃）。
 2026-10-03 12:11:43 +08:00
TermiNexus 3b465121cd fix(call): kwargs 调用路径补齐省略形参的默认值 
_translate_call_with_kwargs 此前对「位置/关键字均未提供的形参」直接跳过 → 调用实参数 < define 形参数，被调函数按 ABI 读未写寄存器/栈槽（remote.one(x = 1) 的 cap 读成 0，DefaultArgTest 断言失败）。改为：按 found_func mangled 名前缀取定义模块 SHA1，用全局默认表 find_func_defaults 取定义处默认值快照补齐（右对齐索引）；取不到默认值时 fail-fast，绝不静默漏参/填零。跨模块默认值通道本就通（vpi 带默认值），无需改产物格式。
 2026-10-03 12:08:32 +08:00
TermiNexus 692998820c feat(generic): 泛型函数类型实参推断与单态化 
支持 def f[T](x: T) -> T 及 f(x)/f[T](x)：模板注册（Phase1Scan/Phase2 顶层 FunctionDef，键 {sha1}.{name}）、按形参注解对齐从实参推断类型实参（无来源即 fail-fast，不静默默认 int）、克隆模板并 set_generic_context 后翻译生成特化体（名字 {sha1}.f[int]，规范化复用 _mangle_generic_class_name）、同签名去重、跨模块按模板签名补 declare。泛型函数模板不再发 vpi（模板签名含未绑定 T），也不再发射 int 兜底版本。已知限制（未静默）：bound [T: bound] 解析期已被丢弃；t.CExport/t.CExtern/t.State 泛型函数、关键字/默认参数调用、mod.f[T](x) 显式下标等暂 fail-fast 或走既有报错。
 2026-10-03 11:59:26 +08:00
TermiNexus 1fbebb2a62 fix(type): 普通模块 from-import 重导出类的归属模块校正 
_class_true_def_sha1 在 cand 模块下查不到该类时原样返回 cand_sha1；而普通模块（非包 __init__）的 from X import Y 重导出不登记别名 entry（VpiReader._inject_reexport_class_declare 仅对包 __init__ 触发）。于是 vthreading.Lock（vthreading 仅 from lock import Lock）的前向声明被错误建在 vthreading 模块下 → 方法返回类型查询去读 vthreading 的 text.ll/vpi（无 Lock.acquire）→ fail-fast（ThreadingTest 根因）。补：先查全局 re-export 内存表 lookup_reexport，未命中再按需解析 .vpi 的 from-import 定位源模块，取其真定义 SHA1（源为包时按同一 IR 名前缀口径继续校正）；无证据时行为不变。
 2026-10-03 11:37:27 +08:00
TermiNexus 18f4c2326f fix(match): REnum match 变体字段绑定前确保跨模块结构体完整定义 
_bind_variant_fields 对 renum_ty 做带字段下标的 GEP，LLVM 要求被指结构体 sized；而模块内对跨模块 REnum（如 llvmlite.__types.LLVMType）只有签名扫描产生的 type opaque，作 GEP base element 时 llc 报 base element of getelementptr must be sized（LLvmLiteTest 根因）。其它取字段路径在 GEP 前都会调 ensure_struct_def_in_module，唯独 REnum match 绑定漏了。补上该调用（同名原地替换 opaque，非追加；本地非跨模块类型自动跳过）。
 2026-10-03 11:21:41 +08:00
TermiNexus 105456e56e feat(type): 泛型类注解必须带类型实参，裸名 fail-fast 
resolve_annotation_type 入口集中守卫：注解（或其 A | t.CPtr 一侧）的基名（Name.id / Attribute.attr）是已注册泛型模板却没写 [...] 时 fatal_error，报文给出正确写法示例（vector.Vector[CInt]、GSList[G5Node]）。判据复用 _find_generic_template（按项目注册），非泛型同名类（struct_test 的裸 Box、dict）不误报；Subscript 形态不受影响，仍走 _resolve_generic_subscript_ty 与 _fail_on_degenerated_generic_annotation。自举源码 includes/** 与 TransPyV/App/** 已确认无裸泛型注解。
 2026-10-03 11:16:42 +08:00
TermiNexus 8da4550d79 fix(vpi): 全局变量注入补自注入守卫，消除同模块 external global 与定义重名 
循环 import（os/__init__ 导入 os._win32/os._posix，而二者又导入包 os）使 imported_modules 含本模块包名 → LoadDepVpiIntoModule 命中本模块自身 sha1 → _inject_global_variable_declare 为本模块自己的模块级全局发射 @<sha1>.<name> = external global，随后定义端 handle_module_level_var 再发 = global … → llc redefinition of global（SysLibTest 根因）。补上 _inject_function_declare / _inject_method_declare 已有的同款自注入守卫（_declare_only==0 且 src_sha1==trans.ModuleSha1 时早退）。
 2026-10-03 11:08:58 +08:00
TermiNexus 19d7a90c28 feat(match): 支持 match/switch 守卫（case X if cond） 
通配计数只统计无守卫的 case _，允许多个带守卫的 case _ if ...；_handle_simple_match 预扫描 has_guard，有守卫时改走 _handle_guarded_simple_match（按书写顺序的 if-else 比较链，guard 归一为 i1 后与值比较取与，链尾落 default/end），无守卫时保持原 switch 分派路径逐字不变（零回归）；_handle_renum_match 对带守卫臂 fail-fast，避免 switch(tag) 静默忽略 guard。
 2026-10-03 10:58:47 +08:00
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