Unifying Model Explainability and Robustness via Machine-Checkable Concepts