(for background, see: In Windows 7, How to query times, when the computer was locked?)
It seems that there are two entirely separate events that may be generated in the windows event log when a machine is locked / unlocked:
- 4800 & 4801 - require a group policy setting to enable them
- 4624 & 4634 (with login type set to 7) - always enabled (?)
I presume these events aren't exact duplicates of each other, so presumably there's a subtle semantic difference between them that I've missed. What is this difference? What situations (other than the logging being disabled) might cause one to be logged without the other?