I don't see a distributed lock implementation being both 100% correct without any support of the resources guarded by the lock and actually feasible.
For data which absolutely must never violate the lock then the underlying data storage has to be involved. The vast majority of times where a distributed lock is used is where the underlying storage doesn't provide any support and the distributed lock is good enough, failures are exceptional and not disastrous.
If you want perfect correctness then you can just not have auto-release but practically this will cause more problems than it solves.
For data which absolutely must never violate the lock then the underlying data storage has to be involved. The vast majority of times where a distributed lock is used is where the underlying storage doesn't provide any support and the distributed lock is good enough, failures are exceptional and not disastrous.
If you want perfect correctness then you can just not have auto-release but practically this will cause more problems than it solves.