Solves the corpus on the current checkout and returns a results map matching the documented JSON shape. Seeds run in parallel across cores. A solve that errors, times out, or an instance that fails to load is recorded as infeasible rather than omitted, so the A/B comparison never loses an instance.