That's sufficient to write an emulator at the instruction set level. However, I want to light the console lights accurately. This requires implementation of the internal registers and the microcode, which varies from model to model and isn't documented in the Principles of Operation.
