Raft - cool! I'm aware that implementations diverge or do not directly synthesize from their specifications. At least not yet. I'll be poking around more to s

Raft - cool! I'm aware that implementations diverge or do not directly synthesize from their specifications. At least not yet. I'll be poking around more to see if the etcd team has published their own specs for the novel parts of the system. I'm particularly interested in seeing if/how OSS projects are adopting more rigorous "engineering" practices.