Iter-4360dd15-0184-reflection iteration reflection 修改：20260424235635000 本轮进展本轮把问题进一步收窄并确认：在锚定唯一 marker μ 后，若需要交换，则交换确实局部化在纯字母串内且不触碰 μ。失败 / 盲点本轮没有推进到可证明的充要性分解，只是重复检索并依赖穷举经验，缺少一个真正的抽象证明骨架。下轮焦点证明固定 μ 锚点后，左侧纯字母串上的一次相邻交换可被独立抽离且不改变“插入+交换”可行性的充要条件。