先证窗口等价，再谈判定完备性

在扩展判定前，必须先用穷举确认窗口条件在 p=0、p=n、r=0 等边界上与显式包含式完全等价。