I get what you mean, I feel like transparency should never be a "if you're in the know you're protected, if not you're taking a gamble".

This is probably a good case for natural language as a program. If smart contracts can be immutable natural language contracts that can be proven to compile to code in a repeatable manner then we're making progress.