GVSDS/TransPyC
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
549 Commits 1 Branch 0 Tags
main
Commit Graph
549 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
TermiNexus 5d93692baa feat(vast/ast): 新增 export 软关键字声明 CExport 函数（等价 t.CExport） 
允许 4 种语法（配不配 def 都一样）：export def A(...) / export A(...)，
与 extern 对称。返回注解改写为 <原类型> | t.CExport，复用既有 CExport
路径（符号名裸名、不加模块 SHA1 头）；无 body 形式消费本行 NewLine。
TPC 侧 vast：_ParseExportDef + Unparser 还原（Export=True）；
TPV 侧 includes/ast：Keyword.Export + FLAG_IS_EXPORT=16（追加末尾）+
_is_funcdef_kw/_parse_funcdef 支持。
 2026-08-17 12:12:32 +08:00
TermiNexus 451e7a0391 fix(ast/parser): extern 无 body 形式消费本行 NewLine，修复 Phase1a-pre 7 文件扫描失败 
extern def A(...) -> T（无 ': pass'）解析完返回时 cur 停在 NewLine token，
模块级/类体语句循环只 _skip_nl（Nl）不跳 NewLine，下一轮把 NewLine 当
表达式解析（_parse_atom error_count++）→ parse_tokens 返回 None →
Phase1a-pre 报 7 个文件扫描失败（w32 7 个 extern 文件全挂的根因）。
 2026-08-17 11:57:01 +08:00
TermiNexus a641c7c8da test(w32): 204 个 t.State 声明函数改用 extern 语法 
- win32base/console/file/memory/process/sync/winsock2 七个模块
- def X(...) -> T | t.State: pass → extern def X(...) -> T: pass
- 转换后 vast AST dump 与原声明完全一致（extern 改写 returns 为
  <原类型> | t.State，语义等价），用于 extern 关键字编译测试
 2026-08-17 10:49:39 +08:00
TermiNexus ce568e10b7 feat(vast/ast): 新增 extern 软关键字声明 FFI 函数（等价 t.State） 
TPC 侧 vast：
- extern [def] A(...) [-> T] [: pass] 四种语法解析为 FunctionDef
- 返回注解改写为 <原类型> | t.State，复用 TPC 的 IsState 外部函数路径
- 设 Extern 标记，Unparser 还原 extern 语法（round-trip 一致）

TPV 侧 includes/ast（自举前端）：
- Keyword.Extern 枚举与 intern，_is_funcdef_kw 软判定
  （extern def / extern Name+'( 或 '['）
- _parse_funcdef 支持无冒号声明、FLAG_IS_EXTERN 标记、
  returns 改写为 <原类型> | t.State（vpi 含 State → 定义端裸名 + 不生成函数体）
 2026-08-17 10:41:44 +08:00
TermiNexus aa9042173e fix(vast): 修复 match 类模式与 or 模式解析与 CPython 不一致 
- case ClassName.attr(...) 类模式：扫描属性链末尾判断 '('，
  此前只查首 token 后 '('，LLVMType.Ptr(...) 被误解析为
  MatchValue(Call) → TPC 对 renum match 走值模式分支，对枚举
  构造表达式运行时求值生成 ptrtoint SSA，LLVM switch 报
  'case value is not a constant integer'
- case 0 | 1 值模式：字面量/符号不再消费顶层 '|'，留给
  _ParsePattern 组 MatchOr（此前 ParseExpr 吞掉 '|' 成 BinOp）
 2026-08-17 10:22:29 +08:00
TermiNexus d7213d2197 fix(vast): 修复 Tokenizer 行号登记与 import/f-string 位置属性与 CPython 不一致 
- _ScanStringBody 三引号内引号对 Pos+=1 后未 continue，双重自增
  跳过一个字符，若恰为换行则漏登 _LineStarts 行首，导致其后所有
  行号偏移 -1、字面量 col_offset 超行尾，TPC 引号判断失败将
  单引号单字符误推断为 i8*（1.LOG 编译错误根因）
- alias 节点位置改为名称起始（asname 结束），与 CPython 一致
- f-string 内部表达式绝对偏移补上 FSTRING token 源码起始
 2026-08-17 10:08:43 +08:00
TermiNexus 920c0ba677 fix(vast): 修复分号分隔语句误将 AST 节点传给 _FixLoc 导致 AttributeError 
ParseModule/_ParseSuite 的分号分隔分支曾用 stmt 节点调用 _FixLoc，
应传入 Token。改为不补位置（extra 由内部解析器自设位置），
修复 'Assign' object has no attribute 'Line' 崩溃。
 2026-08-17 09:38:00 +08:00
TermiNexus 6fc9e19e24 feat(vast): 新增自研 Viper/Python 语法解析器取代标准库 ast 
TPC 侧取缔对 Python 标准库 ast 模块的依赖，改用 lib/vast 包：
- Nodes: 与 CPython 3.12 ast 完全同构的 131 个节点类(含抽象基类继承)
- Tokenizer: 词法分析(缩进/字符串/f-string/数字/运算符/软关键字)
- ExprParser: 表达式递归下降解析(优先级/lambda/推导式/f-string/切片)
- Parser: 语句解析(def/class/if/for/try/with/match/import/注解)
- Utils/Unparser: walk/dump/unparse/copy_location/literal_eval 等辅助
- 软关键字 fn/fun/func/function 并入解析器, 废除 ExpandSoftKeywords 预处理
- lib/_bootstrap 将 lib 目录加入 sys.path, import vast as ast 零修改替换
- 52 个文件 import ast 替换为 import vast as ast; 94 文件差分测试 0 失败
 2026-08-17 09:36:38 +08:00
TermiNexus a7bbd68507 fix(parser/lexer): 支持括号内行首 or/and、类基类跨行、CRLF 反斜杠续行（追加69/70/71） 2026-08-16 11:19:16 +08:00
TermiNexus 5e6a80c9f6 refactor(zlib): 裸 stdlib/string 函数调用改为 namespace 限定形式 
free/malloc/calloc/realloc→stdlib.*, memcpy/memset/strncpy→string.*;
修复 pyzlib.vp L177 free 未定义且未导入; zhuff.vp 补 import string;
方法形态(self.pool.free/self.free/def free)不受影响
 2026-08-16 07:32:07 +08:00
TermiNexus 995faf8a9c test(NumpyTest): c.Timer() 改为 timer_sec()(GetTickCount64), 修复链接 undefined symbol: Timer 
c.Timer() 无编译器支持(TPC/TPV 均无该内建), bench_numpy_perf 链接期 undefined; 改用 Win32 单调时钟
 2026-08-16 06:48:53 +08:00
TermiNexus a641cbff63 test(NumpyTest): numpy.ndarray 裸泛型注解改为显式类型参数 numpy.ndarray[t.CDouble] 
裸泛型类名注解(Foo 无 [T])在 TPC/TPV 均不被支持(TPC 静默降级 i32, TPV fail-fast 报 struct 未注册); 与 SimdTest 已验证模式对齐
 2026-08-16 05:53:56 +08:00
TermiNexus 9b190ac73e fix(TPC): --asan 假生效修复 —— opt -passes=asan 需先 forceattrs 加 sanitize_address 属性（LLVM>=20 只插桩带属性函数） 2026-08-15 13:25:12 +08:00
TermiNexus e400a1c0a7 fix(JsonTest): write string hello 断言改用 strcmp（追加14 遗留，i8* == 是指针地址比较） 2026-08-15 13:12:12 +08:00
TermiNexus 396e0a54be fix(SysLibTest): CDefine 大整数全链路 64 位化 + Win32 结构体 ULONG→DWORD 
- maxsize=9223372036854775807 曾全链路 32 位截断成 4294967295：
  StubGen/Converter 与 register_cdefine_constant 改 %lld、lookup 改
  atoll、extract_cdefine_int_value/_lookup_cross_module_cdefine 改
  CInt64T，新增 _const_int_for_cdefine（超 0xFFFFFFFF 才升 i64，
  0xFFFFFFFF 保持 i32 -1 语义）
- subprocess stdout 为空根因 STARTUPINFOA/PROCESS_INFORMATION/
  MEMORY_BASIC_INFORMATION ULONG 字段（i64 占 8 字节）布局错位致
  CreateProcess 读不到 STARTF_USESTDHANDLES，改 DWORD 对齐 Windows 布局
- 移除 syslibtest_impl.vp 调试 DBG 标记
 2026-08-15 13:11:25 +08:00
TermiNexus 5844e6e725 fix(TPC): range for 循环 body 以 break 终结时不再发射死代码 load(游离指令致 opt expected instruction opcode) 
根因: HandlesFor.py L229-233 在 body 使 _reg_values[循环变量] 失效后,
于当前 builder 位置重新 load 循环变量(该值实际未被使用, 死代码)。
当 body 最后一条语句是 break 时当前块已带 terminator, load 落在
br for.end 之后 → 非法 IR → opt/llc 报 'expected instruction opcode'。
触发场景: 装饰器扫描循环 body 内 list[ASTptr].get 调用触发泛型特化
重入编译(_EmitFunctionLlvm L1647 整体清空 _reg_values 且不恢复)。
修复: else 分支加 is_terminated 守卫, 终结时跳过死 load(语义不变)。
 2026-08-15 07:36:40 +08:00
TermiNexus 8112e0d66f fix(_withcontent): 移除 wdbg 运行时诊断（已定位根因） 
根因在 TPV 编译器 range 负 step 条件（HandlesFor.vp 固定 ICMP_SLT），
_withcontent 侧保留 strcmp 匹配 + _tls_index 守卫双保险即可。
 2026-08-15 06:59:20 +08:00
TermiNexus 5f6dd8615a debug(_withcontent): find 诊断增强（names[i] 地址/内容 + strcmp 对比） 
第一轮诊断显示 TLS/栈/top 全正常但 strcmp 未命中，增强 find 循环内
打印 names[i] 指针与 %s 内容，直接观察 push 存的字段字符串是否损坏。
 2026-08-15 06:55:26 +08:00
TermiNexus dc9a2848c1 debug(_withcontent): 临时 [wdbg] 诊断 provider 栈运行时状态 
TLS 守卫/strcmp/IR 均正确但 Test 9 仍 find 返回 NULL，加运行时诊断：
get_stack 打印 tls 索引与栈指针（观察是否每次 NEW）、push 打印 field/ptr/top、
find 打印 field/top/HIT。重编 Test 跑一轮后删除。
 2026-08-15 06:51:50 +08:00
TermiNexus 5d660a5448 docs(_withcontent): _init_tls 守卫注释更新为双保险 
TPV 已正式实现 @t.TLS（FuncGenMixin.translate_function_def 与
ClassGenMixin._translate_method 生成 __tls_init_done 全局标志 +
skip/cont 块，对齐 TPC HandlesFunctions.py L1763-1792）；此判重
守卫保留以兼容未重建的旧 TPV.exe。
 2026-08-15 06:42:30 +08:00
TermiNexus 6759406a7e fix(_withcontent): _init_tls 加 _tls_index==0 守卫（TPV 未实现 @t.TLS 一次性语义） 
TPV 编译器没有 @t.TLS 的首次执行守卫（TPC 有：全局标志+跳过块），
_init_tls 每次调用都重新 TlsAlloc → _get_stack 每次拿到新 TLS 索引和
新空栈 → push/find 各用各的栈，provider 永远匹配失败（Test 9 注入仍
FAIL 的根因）。_tls_index 初始为 0（TlsAlloc 成功不会返回 0），判重即
等价 TLS 语义。待办：TPV 函数翻译对齐 TPC HandlesFunctions.py L1763
实现 @t.TLS。
 2026-08-15 06:36:53 +08:00
TermiNexus ba16d54f32 fix(_withcontent): _find_provider 字段匹配改 strcmp 内容比较 
TPV 对每次 create_global_string 生成独立字符串常量（不去重），push 存的
字段名指针与 find 传入的指针地址不同，指针 == 永假 → provider 匹配失败 →
with 上下文 __mbuddy__ 注入不上（Test 9 FAIL）+ 后续 upper() 解引用 NULL
崩溃（0xC0000005）。改为 string.strcmp 内容比较，TPC/TPV 均健壮。
 2026-08-15 06:28:43 +08:00
TermiNexus 3fe985648e chore: 更新 TODO/toast 脚本/测试源 
TODO 补编译器实验方向；toast 通知改 list 泛型方法修复完成；DecoratorTest 补 global _call_count 声明；LLvmLiteTest ConstFloat 断言改十六进制位模式。
 2026-08-15 06:24:22 +08:00
TermiNexus 2b074dfb48 fix(llvmlite): Struct name 参数默认 None；移除 GEP 降级 printf 
Struct() 的 name 参数改为可选（默认 None），简化无名字段结构体构造；IRBuilder 的 GEP 遇非指针 base 直接返回 None，不再打印降级日志（噪音）。
 2026-08-15 06:24:17 +08:00
TermiNexus 46b7cbc4ba fix(memhub): 非 2 的幂 arena 二进制分解 + reset 重建 + OOM 诊断增强 
主池 1.2GB（非 2 幂）不再被 _largest_pow2_le 砍成 1GB：整个区域按二进制分解拆成多个 2 的幂空闲块压入对应 free list，buddy 合并跨分解边界因 order 不匹配自然停止；reset/_rebuild_free_lists 重建同样分解格局。新增 big_alloc_count 计数与 alloc 失败 self_check/free_bytes 诊断、mark 异常 fail-fast。BuddyTest 断言改为初始分解块数。
 2026-08-15 06:24:13 +08:00
TermiNexus 31d7602368 fix(memhub): checkpoint 记录栈初始容量 64K→2M + realloc 失败诊断 
单文件翻译（parse AST + 生成 IR）可产生几十万次 alloc，64K 初始容量
在首个大文件就触发 realloc 扩容；realloc 失败时该块不再记录到
checkpoint 栈 → reset_to 无法回收 → 渐进泄漏 → 1GB 主池 OOM
（NewAstTest Phase2 Phase A 根因，used 精确到 2^30 吻合）。

初始容量加大到 2M 条目（16MB stdlib，惰性分配）覆盖单文件峰值，
避免扩容；realloc 失败分支打印 cap/depth 诊断（fail-fast 暴露而非
静默泄漏）。
 2026-08-14 18:13:29 +08:00
TermiNexus 50795b63f1 chore: 更新 TODO/toast 脚本/IsinstanceTest 测试源 2026-08-14 04:02:27 +08:00
TermiNexus fd3254cdd4 fix(TPC): 模块名与类名同名时 X.func() 按模块函数解析 
import lib.core.X as X 且模块内有同名 class X 时，X.func() 此前被
is_class_name 判定拦截走 _HandleStaticMethodCallLlvm，用模块函数签名
生成带类前缀的 {sha1}.X.func 声明，而 define 是 {sha1}.func，导致
链接 undefined symbol（CompilerFactory.get_perm_pool）。现加模块别名
优先规则：SymbolTable 命中 IsModuleAlias 时跳过类静态方法路径，让位
模块函数调用；类构造 X.X(args) 仍走 struct 路径。同时移除
_HandleExternalCallLlvm 中误加的 else: return None 截断。

includes/llvmlite/__types.vp：DeepCopyType 各层分配源改由调用方传入
pool 参数（传 perm_pool 即持久），includes 层不依赖 App 工厂。
 2026-08-14 04:02:22 +08:00
TermiNexus 2c7f563dda test(generic): GenericOopTest 补字段注解并改用 int 实例化 
- 补 A/Pair/Calculator/Container 字段注解触发字段拦截验证
- calc2 改 Calculator(2)，适配 TPV 泛型函数 int-only 限制
 2026-08-13 17:32:00 +08:00
TermiNexus 409296a84c chore: 更新 toast 脚本内容（Vector 隐式泛型推断修复通知） 2026-08-13 08:30:52 +08:00
TermiNexus 97fdc72405 chore: 更新 toast 脚本内容（vpi CArray count 修复通知） 2026-08-13 08:11:49 +08:00
TermiNexus 74d32a166c chore: 清理测试源码 DBG 插桩，.gitignore 忽略 wiki 目录 
AstTest/LLvmLiteTest/SysLibTest 移除定位阶段残留的 printf/testcheck 插桩
（DBG1-DBG14），SlotsBugTest 空行清理；.gitignore 追加 /wiki/，TODO 更新。
 2026-08-13 07:51:56 +08:00
TermiNexus 921820b26a chore: 纳入 toast 脚本、Sequential 回归测试与诊断产物文件 
_toast_gen.py（完成通知 toast 脚本）、Test/SequentialRegressionTest.py
（TPV bootstrap 回归测试脚本）、handles_expr_HEAD.vp 与 output.s
（历史诊断/反汇编产物）入库保存。
 2026-08-13 07:51:33 +08:00
TermiNexus 2f0b741d55 fix(gen): TPC 治本——struct opaque 具化、多返回值 fail-fast、with MRO 修复 
1. HandlesExprCall: vtable 分派前 _EnsureReceiverStructConcrete 主动具化 struct
   body（stub + class_members 双路径），消除元数据已注册、本体仍 opaque 的
   撕裂状态，失败即 fail-fast 暴露上游 stub 加载时序问题；
2. HandlesImports: stub 加载后仍 opaque 时不保留成功缓存（可重试），
   避免 opaque 状态被固化导致 vtable 分派 GEP 崩溃；
3. HandlesAssign: 跨模块多返回值 CReturnTypes 恢复（LiteralStructType 回退）
   + 解析失败 fail-fast，不再静默跳过致目标变量未初始化触发堆损坏；
4. HandlesWith: MRO 继承方法解析跳过无函数体的 stub declare（Phase1 继承
   包装声明），bitcast 目标改用函数签名参数类型避免 opaque 占位对象。
 2026-08-13 07:51:27 +08:00
TermiNexus a99f126cfa feat(parser): 支持 Viper 软关键字 fn/fun/func/function 展开为 def 
行首缩进+软关键字+空白+标识符形态的函数定义（fn foo(): / function bar()）
展开为 def，行号不变，供 ast.parse 使用；变量名/调用/注解中的 fn 不受影响。
Converter 同步改为 stub 语法错误直接终止（fail-fast），不再生成残缺 vpi
被全局缓存命中后以 undefined symbol 形式爆发。
 2026-08-13 07:51:21 +08:00
TermiNexus 6a672037c2 fix(attr): 修复联合类型转换 (X | t.CPtr)(arg) 后属性访问被丢弃 
TPC 联合转换对非 CType 类（ast.Name/ast.Call 等类名）目标类型解析失败，
结果退回 Ptr(i8) 或错误类型，_handle_attr_call_result 的
find_struct_by_pointee 失败后返回 None，属性访问被静默丢弃——
((ast.Name|t.CPtr)(ov)).id 编译产物 store 0 次（TPV with 语句 asname
未绑定、pool 未定义根因）。修复：从联合 BinOp 提取真实基础类并
bitcast 到 Ptr(类) 再定位成员偏移；新增 _extract_union_base_class
辅助（跳过 CPtr/存储类/限定符修饰符）。
 2026-08-13 07:44:43 +08:00
TermiNexus 4c39db17c6 fix(project): 适配 lld 链接器（clang 22 环境） 
- 移除 -Wl,--unresolved-symbols=ignore-in-object-files（GNU ld 专用，lld 报 unknown argument）
- 移除 -latomic（clang64 无 libatomic；x86_64 原子均 lock-free）
- 保留 -Wl,--allow-multiple-definition（lld 支持）
- 47 个 Test project.json 统一更新
 2026-08-12 21:45:41 +08:00
TermiNexus 0e93f40289 fix(includes): 导出 llvmlite 缺失符号 + 移除临时 DBG 
- llvmlite.__init__ 导出 get_struct_fields/get_struct_fcount/DeepCopyType（HandlesAssign tuple 解包与 ClassGenMixin 深拷贝调用 fast-fail 符号未定义）
- 移除 string.vp [ATOF-DBG]、ast/parser.vp [LKP-DBG] 临时插桩（保留查表逻辑）
 2026-08-12 21:13:36 +08:00
TermiNexus 8ccf5d2c18 fix(TPC/includes): 泛型特化 linkonce_odr + None 全局 common + includes 前缀 
- TPC HandlesFunctions/HandlesClassDef: 泛型特化类方法（类名含 '['）设
  linkonce_odr，消除 GSList[NameEntry].__before_init__ 等 duplicate symbol
- TPC HandlesAssign: None 初值模块级全局用 common linkage，合并 _g_gen 等
  跨模块同名全局重复定义
- includes: binascii/hashlib 裸调用加 stdlib./string. 前缀（malloc/free/memset/memcpy）
- llvmlite: FunctionPrint 泛型特化方法输出 define linkonce_odr；__module 调整
- 删除 wiki/01-overview.md
 2026-08-12 18:18:22 +08:00
TermiNexus b4567ffb9a fix(llvmlite): opaque与空结构体区分(fcount哨兵)；ast表达式节点调整 2026-08-12 01:27:24 +08:00
TermiNexus 99bf970452 test(ForAndLoopTest): 去除 fakeduck 依赖,list 改用 list[T](bd)+append 构造 
移除 str.split/__mbuddy__ 魔法字段扩展依赖,zip/enumerate 输入改为
list[str](bd)+append 构造;保留纯 TPV 内置迭代测试(range/str/zip/enumerate)
 2026-08-11 22:10:15 +08:00
TermiNexus f047f90a72 docs(test): 新增 TestsOverview.md 测试总览（按实现难度排序） 
68 个测试项目一览 + 8 层实现顺序 + 主题分组索引
 2026-08-11 21:21:52 +08:00
TermiNexus 4f59396d5c test(CPythonTest): PyLong_FromLong/AsLong 按 Windows LLP64 long=32 位改用 t.CInt 
TPV 恒映射 t.CLong=i64，而 Windows x64 下 C long 为 32 位：PyLong_AsLong
实际返回 EAX 32 位，按 i64 读负数被零扩展（-999 → 4294966297）导致
比较 FAIL；改用 t.CInt（i32）与 ABI 一致，负数由赋值处 sext 正确扩展
 2026-08-11 18:42:34 +08:00
TermiNexus f3b16c397c test: AstTest Stmt/Expr 运行时区分测试 + BuddyTest CANARY 断言修正 
AstTest main.vp 新增 classify_print/classify_list 递归遍历 parse 树，用 isinstance(vtable 子类集合比较) 区分 STMT/EXPR/OTHER 并附 5 项断言；BuddyTest mbuddytest.vp 按 alloc needed=size+16（8 头+8 哨兵）修正 max_usable 与最小块断言。
 2026-08-11 01:34:10 +08:00
TermiNexus d687216772 fix(TPC): 继承链 vtable 状态追溯 + 默认参数检查信息缺失保护 
- _resolve_class_flags 沿 class_parent 链追溯 vtable 状态：Stmt/ExprNode 空中间基类（@t.CVTable 无方法）跨模块未注册 class_vtable，子类 IsCVTable 误判为 False → __before_init__ base=0 不写 vtable → 实例 vtable=null → 虚调用段错误。改为沿链查找任一祖先有 vtable 即继承。

- 函数调用严格参数检查：默认参数信息缺失（跨模块 stub 加载/并行编译时序未同步）时跳过检查，避免 fatal_error 误报缺少必需参数。
 2026-08-10 23:01:43 +08:00
TermiNexus a941179826 test: 新增 SuperTest 专项测试 + 删除 TpvIsinstanceTest 
- Test/SuperTest：super() 语义 9 断言（构造链/静态绑定/三层继承/MRO）
- TpvIsinstanceTest 移除（isinstance 回归统一用 IsinstanceTest）
 2026-08-10 21:48:41 +08:00
TermiNexus 2120a0a4ab feat(ast): 结构化 Stmt/Expr 中间基类（isinstance 分类支持） 
- base.vp 新增 Stmt/Expr（CVTable，继承 AST），__init__.vp 导出
- stmts.vp 23 个语句类继承 Stmt，exprs.vp 27 个表达式类继承 Expr
- 顶层/辅助/模式/OpNode 保持 AST 直继承（非 Stmt 非 Expr）
 2026-08-10 21:48:41 +08:00
TermiNexus 9c2dc45c03 fix(Translator): 类体 CDefine 预扫描扩展 + CDefine 类型修复（i32） 
- GenerateLlvmDirect 预扫描扩展到类体 AnnAssign，注册类体 CDefine 常量
  （方法内裸名如 ISINSTANCE_CLASS_MAX 不再解析为 0）
- t.py CDefine Size/IsSigned 覆盖为 32 位有符号，修复 stub 生成 void 类型
- 新增 Test/TpvIsinstanceTest（TPV 侧 isinstance 回归测试）
 2026-08-10 21:15:42 +08:00
TermiNexus 1b89225130 feat(TPC): 拓展 isinstance 跨模块支持 
vtable linkage 改默认外部强定义（含 initializer 自动归一为空），跨模块可引用 sha1.Class_Vtable；外部引用声明为 i8* 避免 array 类型不匹配；_ResolveVtableAddr 增加 CVTable 状态检查，NoVTable 类回退编译时静态判断避免坏引用。新增 geom_lib.vp 跨模块测试库，main.vp 增加跨模块继承/运行时多态/NoVTable 场景。
 2026-08-10 19:16:27 +08:00
TermiNexus 8783340385 feat(TPC): 实现 isinstance 内建 + 多继承 this_adjust 字节偏移修复 
isinstance 沿 class_parents 反向 BFS 收集目标类全部子类 vtable，运行时比较对象头部 vtable 指针，修复"目标是实际类祖先"场景误判；this_adjust 改用字节偏移（字段在子类与父类自身布局的字节差）修正第二父类方法体内二次 GEP 越界读。新增 Test/IsinstanceTest 覆盖 5 大场景 14 断言。
 2026-08-10 19:11:18 +08:00