I'm not including internal temporaries that are not exposed in any way either. But depending on how your hardware is wired, the NMI edge detect flop can have substantial influence on how you write your interrupt handler. Thus it is in fact programmer visible, though not as much as e.g. the Z-80's R register.