> No document that I could find has ever tried to specify an instruction set independent of an actual implementation.
The most famous example is MIX.
The most famous example is MIX.
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.