… At this time, the most widely used languages that meet all three properties are C and C++, which are not memory safe programming languages. Rust, one example of a memory safe programming language, has the three requisite properties above, but has not yet been proven in space systems. …
You need to learn the concept of a “counterexample.” It only takes one website with business hours to prove that the government endorses the practice.
You need to learn the definition of “endorses”.