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/).
Should we rename fruit as well just in case?
Should we rename fruit as well just in case?