next morning status:
there was a "system has been updated" notification that is instructing us to reboot. i assume it remained there in spite of the multiple reboots because the update is only applied if the storage is decrypted, i.e. the pin properly entered to unlock it.
the major WTF: the phone unlocked with the first 4 digits of the otherwise 6 digit pin that used to work for months.
this is baffling, because we did try yesterday to enter only the first 4 digits (because of the comments under the linked posts), and it did not work yesterday. we also rebooted multiple times in the process.
overnight the phone was left there lying freshly booted, i.e. it was waiting for the first unlock code to decrypt the storage.
today it seems to work consistently with the first 4 digits of the unlock code.
and what i very much don't understand (i.e. my understanding is inaccurate): if the pin is used to decrypt the storage -- hence it always needs to be entered after a fresh reboot --, then how on earth did a 4 digit version of the originally 6 digit pin unlock the storage this morning?!
wild guess: i suspect that this baffling behavior is related to installing a recent update.