Поэтому напрашивается самое простое поведение: всегда набирать код и толкать дверь. Она зажужжит и откроется одинаковым образом, независимо от того, была она заперта или нет. И думать об этом не надо.
Но я не всегда так поступаю; наоборот, обычно я пытаюсь толкнуть дверь, а уже когда она не поддается, набираю код. А если все же набираю код первым делом - например, потому что руки заняты пакетами и так удобнее, или задумался о чем-то, или отвлекся на разговор - то иногда сразу после этого испытываю мимолетное чувство сожаления и досады. Потому что теперь, когда я набрал код, я уже никогда не узнаю, была дверь заперта или нет. Эта информация словно исчезла из мира навсегда, и я тому виной.