Iter-4360dd15-0168-reflection iteration reflection 修改：20260424233043000 本轮进展本轮把“允许一次相邻交换”的修补进一步收紧为“仅限插入窗口内的一次相邻交换”，并用代码验证了它能保留真阳性同时阻止窗口外的误放行。失败 / 盲点还没有把这个经验性窗口约束提炼成一个严格、可证明且可直接嵌入分类器的判定公式。下轮焦点形式化插入位置 p 与交换位置 i 的窗口距离条件，并把它写成一个可直接调用的精确判定函数。