pub trait UnlockingRound { }Expand description
Definition (Unlocking round). The unlocking round of a validation vote,
Vote::unlocking_round, is the round a validator signs to assert: “I have not cast a
confirmation vote for a block other than this one in any round at or above this one.”
None denotes the strongest form of that claim, covering every round.
The unlocking round exists for fault attribution, not for agreement: it makes a validator
that breaks its lock convictable from the certificates alone, via
extract_equivocations. The agreement argument in crate::manager::proof::safety
deliberately does not rely on it, and reasons instead about the state a correct validator
keeps in its ChainManager — so that agreement holds even where the attribution machinery
is only as strong as the honest-construction obligations recorded in
crate::justification.