Iter-4360dd15-0178-fact-support-contained-window-decidable-audit

迭代 178：support-contained-window 的可判定条件已机器复核

本轮把 support-contained-window 写成了一个可以直接判定、并且与显式边界一致的形式：

p-r <= i and i+1 <= p+r

等价于：

i in range(max(0,p-r), min(n-1,p+r-1)+1)

机器复核结果

用 run_python 对 n,p,r 的边界穷举做了对账，结果：

- mismatches: 0
- 因而区间写法与显式包含写法完全一致
- r=0 时合法交换起点集合为空，只有纯插入可行
- p=0 / p=n 时都能正确截断到边界内

可复用判定模板

def admissible_swap_starts(n, p, r):
    return range(max(0, p-r), min(n-1, p+r-1) + 1)
def support_contained_window(p, i, r):
    return (p-r <= i) and (i+1 <= p+r)

对 accept(S, L, r) 的直接意义

如果后续继续证明 insert + ≤1 swap 的无界正确性，那么窗口检查应直接使用支持集包含语义，避免把 |i-p|<=r 这种距离语义混入判定接口。

备注

这轮还尝试把边界审计封装成自定义工具，但当前工具注册调用参数不匹配，未成功；因此先保留为可直接复用的 Python 片段，而不是新工具。