"If we want more systems software to benefit from memory safety, we need better ways to reduce the cost and risk of migration."

What about using CHERI or Memory Tagging? Rewriting an established and mature codebase seems like the wrong approach.

This seems less like "We want to prevent memory errors." and more like "We hate C, we want Rust."