窗口语义要区分锚点距离与支持集包含

lesson predicate verification local insertion erratum verification

修改:20260424233537000

若要求交换操作完全落在插入窗口内,判定必须用支持集包含而不是仅看交换起点到插入点的距离。