A Computational Theory for Efficient Model Evaluation with Causal Guarantees