A Quantitative, Explainable, and Reproducible Model for Card Auditing | Synapse