Инженеры Яндекса (в том числе и ваш покорный слуга немного приложил к этому руку) после атак на дата-центры смогли вернуть доступ к 97,16% клиентских данных в Yandex Cloud. Оставшиеся 2,84% восстановить невозможно из-за критических повреждений оборудования и отсутствия у клиентов бэкапов на платформе.

Доказательства, между прочим, добежали. Клошадь целую неделю держала мою #lab #home_lab в полочку по CPU, отлаживала и ускоряла доказательства. Я бы сам не справился, все же, мой опыт с #Z3 обычно ограничивается "что-то написал - сработало - класс, зависло на вечность - хз что с этим делать". Последний полный прогон бежал почти сутки, и таки сошелся! В процессе нашли и починили 3 настоящие ошибки, так что все не зря!