No this all happened during the formation lap. So teams could clearly push settings changes live.

The problem happened during the formation lap. They red-flagged the race and brought all the cars off the track. I don't know any more about the update mechanism than you do, but GP's theory is plausible.