Comment by pedrocr

What you are describing is what's called free float market cap and is generally what market indices use to weigh stocks. That way you're only trying to replicate the market of stocks that are actually available to trade. There's nothing new about SpaceX in that respect, plenty of companies have float much lower than their total.