Iter-4360dd15-0183-reflection iteration reflection 修改：20260424235519000 本轮进展本轮把“锚定 μ 后的一次交换不碰到 marker”强化为：交换严格局部化到 μ 左侧或右侧纯字母串，且另一侧前后缀完全不变，并用 n<=6 穷举确认无反例。失败 / 盲点仍停留在经验验证，尚未给出“左侧局部交换引理”以及其对可行性判定等价性的形式化证明。下轮焦点证明固定 μ 锚点后，左侧纯字母串上的一次相邻交换可被独立抽离而不改变“插入+交换”可行性的充要条件。