I did switch to a local account, then I clicked "stop signing into microsoft automatically" and that also did not produce an option to lock the computer upon waking up.
Thank you for your continued help, by the way. I'm really not sure why, for the exact same settings, one computer comes to the lock screen after waking, and the other one opens to the desktop/workspace after waking.