A Formal Theory of Structural Explainability and Stability | Synapse