Я НЕ ОЖИДАЛ, ЧТО ПОРЯДОК ДВУХ ОПЕРАЦИЙ НАСТОЛЬКО ВАЖЕН ДЛЯ СЛЭША.
Я читал изменения Boreas от @Dusk и остановился на одной строке про упорядочивание state-transition.
До Boreas был случай в рамках одного блока, когда ставка могла быть изменена до того, как был применён ожидающий слэш.
Boreas поменял этот порядок.
Теперь сначала происходит слэш.
А выполнение транзакции — после.
Это удивительно небольшое изменение для того, что критично для консенсуса.
Сам по себе штраф не требовал новой философии. Важным было обеспечить, чтобы ставка не могла перейти в другое состояние, прежде чем уже ожидающий штраф достигнет её.
То, что делает изменение ещё более интересным, — это то, как Dusk обрабатывал старые блоки.
История до Boreas по-прежнему проигрывается с прежним упорядочиванием. Новые блоки используют новое.
Так что одному узлу приходится понимать две допустимые версии одной и той же машины состояний в зависимости от того, где он находится в истории цепочки.
И вот та деталь, которую я не до конца оценил:
жёсткое форкование может исправить то, что произойдёт дальше, не притворяясь, что то же правило всегда существовало.
Для Boreas даже такая приземлённая вещь, как «какая операция выполняется первой?», входила в корректность консенсуса.

#dusk $DUSK @Dusk