契约写了不等于被机器守住。本文通过三道闸验证，证明结构、语义、同步三类违规能被机器自动拦截，让契约从'规范'变成'被执行的规则'。