So it's a purely contractual issue as opposed to an IP issue.
Is a party to this contract allowed to write a disassembler? I can imagine a very nice disassembler feature that would explain in detail how each instruction it decodes works...
Of course no matter how such documentation were to escape, you're still used up by your contractual obligations as far as implementing an emulator, I guess.