The governance architecture for mission-critical AI — formal verification meets enterprise deployment.