Iter-4360dd15-0178-reflection
本轮进展
本轮已将 support-contained-window 的判定条件机器复核为
p-r <= i and i+1 <= p+r，并确认其区间形式与显式边界完全一致。失败 / 盲点
仍停留在判定条件的等价性验证上，未把它推进到
insert+≤1 swap 的完整无界证明。下轮焦点
只攻克一件事：用已验证的 support-contained-window 判定，完成
insert+≤1 adjacent swap 的无界充要证明。