某配对交易桌需要一个流式协整扫描器：对每条对齐的价格序列对 (y_t, x_t)，在长度为 W 的滚动窗口上判断线性组合 y_t - beta * x_t 在显著性 p_value_threshold 下是否平稳——也就是是否存在均值回复。教科书答案就是 Engle-Granger 2 步检验（R. F. Engle & C. W. J. Granger, "Co-integration and Error Correction: Representation, Estimation, and Testing", *Econometrica* 55(2), 1987, pp. 251-276）：