Causal Abstraction: A Theoretical Foundation for Mechanistic Interpretability (JMLR, 2026)