There’s so much perf on the table that I haven’t claimed yet.

I’m just focusing on other things most of the time, like right now I want to actually make a super easy to install memory safe sshd distro.

The perf is more than good enough for that so that’s just a thing I should ship

All of the things you list are either checked or they’re given some kind of safe semantics. Like some kinds of type confusion are just fine and need to work (like int to float bit casts)

Also, the fact that having access to CHERI hardware is a thing you presume I don't have should tell you a lot about how likely CHERI is to ever succeed