Not yet, but with these new high-resolution die photos it is only a matter of time. Meanwhile the US4449184 patent [1] referenced in the post's footnotes has a

Not yet, but with these new high-resolution die photos it is only a matter of time. Meanwhile the US4449184 patent [1] referenced in the post's footnotes has a lot of information about how the microcode works (and the meaning of the 21 instruction bits) and, in Tables 7-12, shows the microcode listings for some of the microcoded 8086 instructions. [1] https://patents.google.com/patent/US4449184 https://patents.google.com/patent/US4449184