Turns out powers tools work well on non-Turing complete locks too.
The interesting part of the threat model for smart locks are cases where a physical attacker is _not_ present.
The interesting part of the threat model for smart locks are cases where a physical attacker is _not_ present.
The point is that people in the market for smart locks need to additionally vet the company that makes them for their proficiency in physical security, not just in software security. A competent company that has made non-smart locks for a while would not make this same mistake.
More advanced locks jam when drilled through. There are also materials that emit lots of smoke when drilled through, mostly used in safes.