锚点固定后先局部化,再做单侧交换

lesson method principle predicate verification witness normalization

修改:20260425011113000

当 witness 里存在唯一锚点时,先固定锚点不动,再把修改限制在其左右的纯字母局部窗口内,通常能把复杂判定压成单侧可复用的局部接口。若左侧影响还能被一个整数 k 概括,就不要继续保留更细的切分信息。