Please explain how to softproof to an CMYK profile in LR or export an image with an CYMK profile
There is no CMYK anything in the ACR
engine that LR uses.
There
were older versions of LR that did soft proof and convert to CMYK, they were removed (for good reason).
There is CMYK in Photoshop, however, which can convert to CMYK from ACR.
I have no idea why anyone would even think of doing this directly from raw data to CMYK and neither did the LR team (for good reason).
Hopefully, you'll note that in ACR, there is
no CMYK numbers either but sure, soft proof.
Edit In External editor doesn't limit any RGB conversions unless you apply a parametric edit in LR. You can open an RGB document in an RGB color space that isn't listed in the preferences so, if its in ColorMatch RGB and you simply ask to open in that external editor, LR simply hands of ColorMatch RGB. Unlike what you suggested, when using "Edit in" an external editor, LR allows any RGB profiles to be honored UNLESS you apply proprietary, parametric edits just like it would with raw.