Now the question is "What does the microarchitecture really look like so we can write our own x86 microcode?"
Intel and AMD almost certainly have compilers/assemblers of sorts that handles turning the microcode assembly-of-sorts into the correct bits, but they’re not portable.