TermiNexus f2f3e5b7bf fix(TypeGenResolve): 裸名内建类型统一为 t.X/c.X，消 CPtr 与 t.CPtr 的分裂与误报 ERROR ...

内建伪模块 t/c 没有模块 SHA1（规则 5 的模块名→sha1 表查不到），于是 from t import CPtr 之后的裸名 CPtr 被原样保留，而规则 3 保留的是 t.CPtr ⇒ 同一类型两种票名（list[CPtr] 与 list[t.CPtr] 分裂），并额外刷 ERROR [类型实参归属] 裸类名 CPtr 保留裸名（现场 Test/NewAstTest/App/main.vp，log 里 from_imports 明写 CPtr:t）。新增规则 5.2：from_imports 命中模块 t/c 且 map_t_type 认该名 ⇒ 返回 t.X/c.X（规则 3 已定的规范形）。只对"本名就是 t/c 已知内建类型名"生效，别名写法不猜真实符号名、维持原样。

2026-09-30 22:59:01 +08:00

..

core

fix(TypeGenResolve): 裸名内建类型统一为 t.X/c.X，消 CPtr 与 t.CPtr 的分裂与误报 ERROR

2026-09-30 22:59:01 +08:00

Phase

fix(TransPyV): 指针 cast 的跨层 idiom 修正：(str | t.CPtr)(x) → rawptr(x)

2026-09-28 18:43:59 +08:00

Projectrans

修正了部分代码的表达方式，最后可用版本，正在为 mlirlite 做准备

2026-09-23 16:09:32 +08:00

Stub

fix(泛型实参 T* 形): 补齐 T* 消费侧（VpiReader 段解析 / AnnotClassName 提取 / 构造推断）

2026-09-30 21:16:48 +08:00

__init__.vp

修正了部分代码的表达方式，最后可用版本，正在为 mlirlite 做准备

2026-09-23 16:09:32 +08:00