Iter-4360dd15-0181-reflection iteration reflection 修改：20260424235252000 本轮进展本轮把“存在某个 witness”收敛为“以 fresh marker 位置为锚点的规范化 witness”，并用穷举到 n≤6 佐证其可行性。失败 / 盲点最大盲点是仍停留在实验性验证，没有完成对“规范化 witness 总是存在”的形式化证明。下轮焦点证明任意可行 (S,L) 都能把某个 witness 重写成以 marker 位置插入、且至多一次相邻交换的规范化构造。