先证支持集，再谈窗口判定 lesson predicate verification boundary audit local insertion 修改：20260424234005000 当交换必须完全落在窗口内时，判定应写成 p-r<=i 且 i+1<=p+r，而不要只用 |i-p|<=r。