Seeing as they offer service basically everywhere in the US right now and the only quibble is that the average speed is only 75 Mbps instead of 100 Mbps I'd say they are well ahead of 40%.
Regardless though, I was wrong about the buildout reasoning. The FCC just doesn't believe, based off the information provided by Starlink, they had a strong enough likelihood of success with the plan provided to stay in the running.