TermiNexus
0ef4ba9634
在 R12 保守判定基础上放宽两处（仍保证语义等价）：1) 允许 <= 条件，改写为 range(expr + 1)（while 结束后计数器为 n+1、for range 后为 n，已被「循环后不引用计数器」守卫覆盖）；2) 初始化行只要求是「同块内最近一次对计数器的写入」，不再要求紧贴 while（中间不得读写该计数器）。 其余守卫不变：界表达式必须裸（无 and/or/比较）、体内无 continue、体内仅末尾一次 += 1、无嵌套重绑定、无 while-else、循环后同一函数内不再引用计数器。TransPyV 侧同步 12 处。 验证：bootstrap 三重重编 SUCCESS（无 vast_c 解析回退）；全量 77/77 顺序回归通过。