Stability and convergence of high-order WENO-OS scheme for the Allen-Cahn equation | Synapse