[happyopossum]

iOS alarms continue to work after overnight upgrades which involve a reboot, and also work when you plug in a dead phone before bed, so they’ve apparently figured this out.

[kmeisthax]

AFAIK there's (private?) API surface to request a container that isn't encrypted to your PIN specifically for the lock screen to work.