Сбой в распределённой системе Raft: две реплики разошлись, несмотря на safety-свойства

Специалист, тестировавший свою TypeScript-реализацию Raft в симулированной среде, обнаружил критическую ошибку. Несмотря на то, что все пять заявленных safety-свойств алгоритма выполнялись, на двадцать пятом прогоне симуляции две реплики применили разные значения. Это означает потерю консистентности данных в распределённой системе.

Симуляция проводилась в контролируемых условиях: каждый «тик» времени, задержки сообщений и отказы узлов генерировались на основе фиксированного сида. Такой подход позволил точно воспроизвести условия сбоя. Особое внимание автор уделяет тому, что сам баг не был главной проблемой, а то, как именно проверка его обнаружила, и вопросы к надёжности других проверок.