CHIP_RESET Register not updating if resetting using PicoProbe

[tjko]

VREG_AND_CHIP_RESET: CHIP_RESET register does not seem to change when Pico (RP2040) is reset using PicoProbe.

Is this correct behavior? Datasheet (2.12.7. Source of Last Reset) seems to give impression, that after reset using debug port (this would include PicoProbe?), bits HAD_RUN and HAD_POR should clear and bit HAD_PSM_RESTART should be set?

(https://forums.raspberrypi.com/viewtopic.php?t=348830&sid=4cd4061209a3e3572ac348488e6575d4)