Spent way too long looking into this, and I don't think the plain S&P 500 Shariah would exclude SpaceX, I spent a while reading through the methodology [1][2] of the index and I don't see why it would be. I do think the S&P 500 Shariah Industry Exclusions Index [2][3] would be the one that excludes SpaceX as it excludes Aerospace, while no such exclusion exists for the plain S&P 500 Shariah.