A pure F# decision core for a Windows auto-lock
PresenceLock locks your Windows session when you step away from the webcam. The lock decision is a pure F# function of state, time, and events, with no clocks and no I/O, so the part that matters is testable without a camera or Windows at all.