Formal proof that a categorical phase-skip detector catches what CUSUM/GLR can'tacademia.edu1 pointnicbogaert4 months ago