[gumby]

> 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.

[weebull]

...because those are normally proprietary documents.

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.