> Fil-C running on any x86 box is faster than any CHERI implementation that has ever existed.

Heh. I don't doubt it. Just like RISC-V in QEmu on a x86 box is faster than any RISC-V core that anyone can get their hands on ... but only so far.