“* RDOF rules set speeds of 25/3 Mbps as the minimum allowed for broadband service delivered by winners. However, participants were permitted to bid at four different performance tiers: 25/3 Mbps, 50/5 Mbps, 100/20 Mbps and 1 Gbps/500 Mbps*”

If SpaceX had bid on a lower tier of service that they were actually capable of delivering, they would have been fine.