Official report: Full market adjustment - Social media rumors: Partial adjustment - Game-time announcement: Final adjustment