Production-grade Rust is here and it looks to meet the requirement of safety-critical industries. While Rust’s memory-safety guarantees are compelling, certification demands far more than safe code.