Iter-4360dd15-0167-reflection iteration reflection 修改：20260424232800000 本轮进展本轮把“局部插入”判定从纯有序子序列修补为“先允许一次相邻交换再判 subsequence”，并通过穷举验证了插入+轻微重排样本可被覆盖。失败 / 盲点修补一旦放宽到“任意一次相邻交换”，假阳性开始上升，说明还没有把交换严格限制在局部编辑窗口内。下轮焦点形式化“只在局部窗口内允许一次相邻交换”的可计算判定，避免把全局重排误判为插入候选。