It does. The UB is false positives to the question "Is this a valid program".

No one disputes that C++ accepts some invalid programs, I never claimed otherwise. I said that C++'s type system will reject some programs that are in principle correct, as opposed to what Spivak originally claimed about C++ accepting all correct programs as valid.

The fact that some people can only think in terms of all or nothing is really saying a lot about the quality of discourse on this topic. There is a huge middle ground here and difficult trade-offs that C++ and Rust make.

Sorry, then I misunderstood you, do you have an example, of a correct rejected C++ program?

Many cases that require any kind of cast are this.