锚定后交换只改一侧

lesson predicate verification local insertion witness normalization

修改:20260424235519000

固定唯一 marker 位置后,若 witness 只含一次交换,则交换只能落在 marker 一侧的纯字母串内,另一侧保持不变。