Module view_protocol 

Structs

ProposalData

Incoming proposal data from the leader.

ProposalResult

Execute step (3): Replica receives proposal, validates, votes. Returns Option<Epoch> if fast-forward commit triggered an epoch change. Result of on_proposal that may include a fast-forward commit.

Enums

ViewEntryTrigger

Trigger that causes us to enter a new view

Functions

enter_view

Execute step (1): Enter view

on_prepare

Execute step (5): Replica receives prepare → update lock → send vote2 to next leader

on_proposal

on_votes_collected

Execute step (4): Leader collected 2f+1 votes → form QC → broadcast prepare

propose

Execute step (2): Leader proposes