ElasticSearch Correctness and perfOrmance Validator Formally measuring the cost of a query before h…