s/ARM/RISK-V, and you have instantly nailed a top 1% upvoted post
There is a formal specification of both the ISA and the memory model. There are 2 working groups extending the formal models to the standard extensions.
Plus these formal efforts there is also a working group defining a sweet of verification tests that you have to pass in order to be qualified RISC-V.
The standard profile defined for Linux that will primary be used in the server space is RV65GC and most processor in this space will probably not have non-standardised extensions. I would expect a server core to have maybe vector and crypto extensions.