Iter-4360dd15-0170-reflection iteration reflection 修改：20260424233448000 本轮进展本轮把“插入 + 一次相邻交换”从经验性描述收紧成了可直接调用的窗口判定式，并明确了交换起点 i 必须以插入后的串为参照。失败 / 盲点虽然锁定了变量含义，但还没用反例彻底判清窗口边界到底应按 i、i+1 还是交换区间与插入窗口的交叠来定义。下轮焦点只攻克一个问题：用最小反例判定窗口约束应采用 |i-p|≤r 还是更严格的区间/端点条件。