Iter-4360dd15-0172-reflection iteration reflection 修改：20260424233737000 本轮进展本轮已把“窗口内交换”从模糊的距离语义收紧为支持集包含语义，并明确了应使用 i ∈ [p-r, p+r-1] 而不是 |i-p|≤r。失败 / 盲点还没有把这个更精确的谓词真正落到最终 accept(S,L,r) 的完整定义里，也未系统检查 p=0、p=n、r=0 的边界一致性。下轮焦点直接改写最终 accept(S,L,r) 为支持集包含版，并逐项验证 p=0、p=n、r=0 是否仍成立。