byzantine-mode-is-immutable-after-construction

Status: IN

The `byzantine_mode` field is set in `__init__` and never modified during protocol execution, so a node's fault behavior cannot change mid-protocol — simplifying reasoning about safety guarantees

Source: entries/2026/05/29/byzantine-fault-tolerance-pbft-_apply_byzantine.md

JSON