I’ve mentioned this before but what do people think about replacing T with the gap between the first and second solvers’ objectives? That would solve a lot of the problems around pennying and incentivizing solvers properly while also being simpler to implement and understand than things like the auction scheme. Would be interesting to see some simulations on this!