Around the entire system saying, “this system’s behavior is not strictly/formally verified to mirror my exact intentions and behaviors can be defined as malignant or disallowed post-facto.”

But that’s antithetical to the value prop of smart contracts.