Causal Abstraction: A Theoretical Foundation for Mechanistic Interpretability (Journal of Machine Learning Research, 2026)