абсолютно все модели игнорируют какой-то кусок реальности, в том числе и бытовое восприятие, это же не повод их не использовать? и таймер по идее никуда кроме крипты не протекает
дело не в том, что таймер протекает только в крипте, дело в том, что концепции последовательности IO работают только в замкнутом мире, а реальный мир открыт