Add held-out eval + honest Clark-vs-heuristic comparison + CP-SAT bound 52ecbed verified Roflimjonny commited on Jun 7