anchor.diff:  
   
   
  +== Problems
  +
  +[[PRB-1]]
  +.PRB-1: Locking
  +The focus server must tolerate concurrency without crashing. ↑[<<SRV-1>>, <<A-1>>, <<A-2>>, <<A-3>>]
  +
  +[[PRB-2]]
  +.PRB-2: Buffering
  +The focus server must tolerate fast writers and slow readers. ↑[<<SRV-1>>, <<A-1>>, <<A-2>>, <<A-3>>]
  +
  +[[PRB-3]]
  +.PRB-3: DoS
  +The focus server must tolerate load spikes. ↑[<<N-O-11>>, <<N-I-2>>]
  +
  +[[PRB-4]]
  +.PRB-4: Coverage
  +The focus server's test suite must achieve high test coverage. ↑[<<N-C-3>>, <<N-O-11>>, <<N-I-2>>, <<N-E-10>>]
  +
  +
  +
   
   
   
  
positive.code: 
  [[A-1]]
  .A-1: Latency
  Vaporpad takes more than 1 second to respond to a request.
  
  [[A-2]]
  .A-2: Durability
  Vaporpad loses history.
  
  [[A-3]]
  .A-3: Availability
  Vaporpad gets DoSed.
  
  [[A-4]]
  .A-4: Confusion
  Vaporpad garbles a pad.
  
  === System Limitations
  
  
negative.code: 
  [[PR-4]]
  .PR-4: Memory-Safe Language
  Vaporpad shall be written in a memory-safe language. ↑[<<N-O-11>>, <<N-I-2>>]
  
  [[PR-5]]
  .PR-5: Certified Algorithms
  Where easy, core Vaporpad algorithms (or their cousins) shall be certified correct w.r.t. this specification. ↑<<N-I-2>>
  
  [[PR-6]]
  .PR-6: Protocol Purpose
  