Iter-4360dd15-0185-reflection iteration reflection 修改：20260424235814000 本轮进展本轮把“交换不会碰到 μ”与“交换只局部影响一侧”的不变量进一步收紧，并证伪了把可行性拆成左右独立子序列的过强分解。失败 / 盲点最大的盲点是把局部交换的局部性误升级成左右可分解性，导致在合法 witness 上推出了假的充要条件。下轮焦点证明固定 μ 锚点后，左侧纯字母串中的一次相邻交换可以被独立抽离，并给出不依赖右侧的充要判定。