I disagree. We build happy paths for our designs, but there are plenty of vectors for attack and modification outside of things like exposed APIs and other "con

I disagree. We build happy paths for our designs, but there are plenty of vectors for attack and modification outside of things like exposed APIs and other "contracts" we bake into systems. You see this all the time with viruses, jailbreaks, virtualization, and hardware hacking. If we had instrumentation that allowed us to poke and prod at microscopic integrated circuits, there would be a lot of attack vectors exposed there, too. After all, our abstractions are built upon implementation details, and if you can play with the implementation itself, those abstractions and contracts are up for grabs when it comes to modifications.