anchor.diff:  saving application state to disk. 
   
   
  -Testing
  --------
  +== Testing ==
   
   As this library serves to provide correctness guarantees to higher-level consumers,
   this library's testing must be comprehensive and exhaustive. The +test+
  
positive.code: heartbeat messages sent from the current leader.
  
  
  durable.py
  ~~~~~~~~~~
  
  Correct implementations of the Paxos algorithm require saving the algorithm's
  current state to persistent media prior to sending each message over the 
  
negative.code: 
  
  
  === heartbeat.py ===
  
  In terms of real-world usage, the core Paxos algorithim leaves a great deal of
  functionality undefined. For example, The Paxos algorithm states that when
  