Iter-4360dd15-0182-reflection iteration reflection 修改：20260424235417000 本轮进展本轮把 witness 规范化继续收窄并穷举验证到 n<=6：锚定唯一 marker 后，若仍需一次相邻交换，则交换不会碰到 marker，且只发生在 marker 左右的纯字母区间。失败 / 盲点仍停留在经验穷举，尚未把“交换不触碰 marker”提升为可复用的形式化引理或直接推进到完整证明。下轮焦点证明锚定 μ 后的一次相邻交换可完全归约为左侧或右侧纯字母串的局部交换引理。