锚定 marker 后交换可局部化

lesson predicate verification local insertion witness normalization

修改:20260424235417000

先固定唯一 marker 的插入锚点,再把一次相邻交换拆成 marker 左侧或右侧的纯串局部问题。