I'm interested in their Planner -> Implementer -> Reviewer -> Verifier process they used for this transition to Rust. I've see similar but curious how they actually implemented this.

Curious how this could be applied to greenfield coding rather than just making a copy in a new language or performance optimizing.