The SpaceX IPO is an element but not the main driver. The market is experiencing a needed pause after parabolic semiconductor moves (up 100% since end of March). This is a pause in a continued upward trend; bull market remains intact as fundamentals haven't changed.
Last week, investors were increasingly concerned about parabolic moves in semiconductors but still had full-steam-ahead enthusiasm for AI. Those two narratives needed to meet, and that's what we're seeing now. Breadth on down days is still promising, with capital rotating from extended areas into other opportunities.