Linear cost and exponentially convergent approximation of Gaussian Matérn processes on intervals (JMLR, 2026)