I wonder - did the US government, specifically DARPA, consider CHERI when laying out their "Translating All C to Rust (TRACTOR)" initiative? The two initiatives could be compatible (memory safety at both the software and hardware level), especially since CHERI might be more feasible when it comes to rewriting legacy software.