'Summit' at least was confirmed to be GPT-5 (but maybe that doesn't fully resolve this, as it looks like some of the speculation was that 'lobster' and some of the other codenames were submodels of GPT-5)

@Muskwalker Hmm... Regretting not putting out more robust resolution criteria. I guess i'll wait a while.