I don't see how this is relevant. This purely puts control into the hands of application developers. It lets them know exactly what correctness, portability, an

I don't see how this is relevant. This purely puts control into the hands of application developers. It lets them know exactly what correctness, portability, and integrity guarantees their application has. The application developer STILL can "fix their phone", but they have to enable it at the command line. It pevents library developers from making decisions for application developers without them knowing.