**Additivity.** SHAP values sum to the model's prediction minus the base value. - **Consistency.** If a feature contributes more in model A than model B for every possible subset, its SHAP value is higher in model A. - **Local accuracy.** The explanation exactly matches the model's output for each i