[duskwuff]

While it's not in quite the same product category, a name change might be in order; this is uncomfortably close to CHERI (cf. https://cheri-alliance.org/).

[0x457]

Should we rename fruit as well just in case?