TermiNexus 1784eaf906 fix(gen): _WillFreeMergeTag 置位判据写反（is_wf != 0 → == 0），P2 willFree 全面漏检 ...

string.strcmp 相等返回 0，所以 `is_wf != 0` 的含义是"这个标签**不是** willFree"。原来的
`if is_wf != 0: mask |= 1 << idx` 于是：真正标了 willFree 的形参位**永不置位**，而任何别的
标签（noescape/escape/stores/borrows）反而把 willFree 位置 1。

实测证据（本轮编译产物）：
- EscapeXmodTest/.tpv_build/.../73b2b3ff01d73ce2.vpi（stdlib）第 9 行
  `def free(p: rawptr) -> t.State: pass` —— 连尾注都没有（wf_mask 为 0 ⇒ 不写 wf=）；
- EscapeOkTest/.tpv_build/.../4ccdbfc0e006b3d5.vpi 第 44 行 StoreNS（只标了 noescape）
  却写着 `# wf=1 escn=1`（反向误标）。

后果：跨模块 wf= 通道形同虚设 → 调用点从不"标记实参失效" → P2 全面漏检
（NewLifetimeWillFreeTest / WillFreeKwargTest / WillFreeMethodTest / WillFreeAddrTest 静默通过），
同时 NewLifetimeWillFreeOkTest 是**空过**（根本没有标记发生）。反向误标还可能造成假报。

回归来源：fc797da（A1 把三元 guard 扩成五元时把这行一起改反）。本行判据改为 is_wf == 0，
与同文件 @willFree 兼容分支（strcmp(...) == 0 即相等）的口径一致。

2026-10-10 11:55:57 +08:00

..

core

fix(gen): _WillFreeMergeTag 置位判据写反（is_wf != 0 → == 0），P2 willFree 全面漏检

2026-10-10 11:55:57 +08:00

Phase

fix(gen): 修 vpi 生成阶段 is_file_func 读到已回收池的悬垂表（ASan 野读崩溃）

2026-10-10 09:41:15 +08:00

Projectrans

refactor(build): 构建产物目录去掉 _mlir 后缀（temp/output）

2026-10-07 19:03:02 +08:00

Stub

feat(gen): 落地 @life(ret(...)) 返回值生命期契约（A2）

2026-10-09 22:58:33 +08:00

__init__.vp

refactor: 去 t.CPtr(&a) 冗余包装（R15）

2026-10-05 17:55:52 +08:00