Maybe that says something about kubernetes. Software systems that are complex enough to be intractable should probably be regarded as too complex to operate safely.
No, most software is this way.
I don't fully understand what you're objecting to. Are you saying it's not possible to build a formally verified container orchestration thing?
I do think that most software out there is unsafe. That doesn't make it useless, but if the effort required to exploit vulnerabilities is decreasing we will probably need to stop building things that way.