The Master Auditor: Enforcing Compile-Time Law