> Imagine a world where all software is written using formal methods
(emphasis mine)
I would be much more agreeable to enforcing higher quality for more important things, including ex. systems that store PII for large numbers of people.
And they were still breached. "gross negligence" definitely comes to mind.
Now we have strict building codes and thousands of buildings with dozens upon dozens of floors that can resist hurricanes and earthquakes.
Software development is barely 3 generations old. One day we will have sound engineering and fairly solid systems on a scale we can't even fathom today. But it will take a lot of collective learning. For now rickety systems can hoover enough value for their owners that they are still getting built all over the place.