Status: IN
A `(view, seq)` pair can transition to "prepared" at most once per node, enforced by the `prepared_requests` set guard at the top of `_check_prepared`.
Source: entries/2026/05/29/byzantine-fault-tolerance-pbft-_check_prepared.md
JSON