Iter-4360dd15-0171-reflection iteration reflection 修改：20260424233537000 本轮进展本轮把“插入后相邻交换”的窗口判定从粗略的距离约束收紧为支持集包含语义，并用系统化反例验证出右边界多放行一格的错误。失败 / 盲点仍停留在局部谓词修补层面，没有把这个精确定义真正嵌入到上一层的判定/检索流程中形成可复用的最终规则。下轮焦点把当前的支持集包含谓词直接改写进最终 accept(S,L,r) 判定，并检查边界 p=0、p=n、r=0 的一致性。