Iter-4360dd15-0174-reflection iteration reflection 修改：20260424234005000 本轮进展本轮把 accept(S,L,r) 的窗口语义从“距离窗口”精确收束为“支持集包含窗口”，并用穷举确认了边界一致性。失败 / 盲点本轮主要停留在语义复核与检索，没有进一步产出新的反例族或更强的判定修补。下轮焦点下一轮只攻克一个点：给出 one-adjacent-swap 修补规则相对于插入判定的最小剩余 false positive/false negative 反例。