スラッシュの順序が、ここまで影響するとは思っていませんでした。
私は@Dusk のボレアスの変更点を読んでいて、状態遷移の順序に関する1行で立ち止まりました。
ボレアス以前は、同一ブロック内のケースで、保留中のスラッシュが適用される前にステークを変更できる可能性がありました。
ボレアスはその順序を入れ替えました。
スラッシュは先に起きます。
取引の実行はその後です。
これはコンセンサス上重要なものとしては、意外なほど小さな変更です。
罰則それ自体に新しい哲学は不要でした。重要なのは、すでに保留中の罰則が到達する前に、ステークが別の状態へ移動できないようにすることでした。
さらに興味深いのは、Duskが古いブロックをどう扱ったかです。
ボレアス以前の履歴は、古い順序のままリプレイされます。新しいブロックは新しい順序を使います。
つまり、ある1ノードは、チェーン履歴のどこにいるかによって、同じ状態機械の有効な2つのバージョンを理解する必要があるのです。
そして、そこが私が気づいていなかったポイントでした:
ハードフォークは、同じルールが最初から存在していたふりをせずに、次に起こることを修正できます。
ボレアスでは、「どの操作が先に実行されるか」といった、さほど大したことのない事柄でさえ、コンセンサスの正しさに含まれていました。

#dusk $DUSK @Dusk