@Morac, this (very insightful) solution assumes that Stolen Device Protection (SDP) is automatically reset to a disabled state as a consequence of the restore operation. That may be (and hopefully would be) the case, especially since Face ID itself is disabled and needs to setup anew after restoring a phone from a backup.
Nonetheless, have you had an occasion to test the approach, to verify that it works as expected in practice?
Since both the passcode and FaceID are reset on a restore I have no reason to doubt this will work.
In practice though, no one is going to go through the hassle to restore a broken phone. They will get a new one and restore a backup to it.