TermiNexus
eea8111e61
失效表原为平坦单调全局表，无分支合流语义：if 分支体内 free(x) 会把失效态泄漏到合流之后，于是 fileio.vp 的 if ...: free(buf); return None 之后 return buf 误报 LifetimeError（1784eaf 修好 free 的 wf 位后才暴露）。新增 freed_capture/freed_restore/freed_join（pool 快照 + 求交），并在 if（结合 then/else 是否到达合流）与 while/for 的既有 life_* 同点位接入：只有所有到达合流的路径都失效才算失效。