PaxosKV.Proposer.State (paxos_kv v0.4.0)