Audita modelos de ML: contradições vs regras de negócio, comparação multi-modelo, drift de explicação e fairness — via SHAP