what makes you think you can unilaterally expand a very well-accepted meaning of a term, especially in a discussion that is basically semantics of the term?
Golden Dome is tens of billions of dollars for extremely limited small-salvo ballistic missile interception. It will get canceled next administration, and for good reason.
A decent amount of mission-critical software undergoes formal verification, like spacecraft flight software (my area of expertise). SparkADA lives on because of not just its safety, but formal verifiability.
I have an old 2020 M1 Macbook Air that is on its last legs because 8GB RAM isn't enough for regular use cases. If this had a 16GB RAM option I'd go for it, but alas.
https://michaelbonnet.github.io/ https://github.com/MichaelBonnet