Has there ever been a retroactive no-hitter?
The new CBA makes it possible, perhaps. Screwed up a hitting streak, after all.
I bet the official scorer might reconsider it in a few innings, depending on how things look at that point. Let's hope it doesn't come to that