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.

[1] https://www.spglobal.com/spdji/en/methodology/article/sp-sha... [2] https://www.spglobal.com/spdji/en/documents/methodologies/me... [3] https://www.spglobal.com/spdji/en/indices/equity/sp-500-shar...