Provable Length Generalization in Sequence Prediction via Spectral Filtering