ARM, for example, put a tonne of effort into decoupling their ISA specification from their implementations, and guard this document.
You're seeing how the sausage is made.