Thanks! I forget to specify that I intend the NMOS version.
Looking in emulators source code I noted that reset code
seems also to clear all registers (a, x and y), and set the Zero
flag. Naturally the stack pointer should be set to 0x01ff.
But I think these are additions in respect to the natural ...