p 217: However, this section discusses a good summary metric: the number of divergent versions seen by the application in a live production environment. (#)
p 219: The production use of Dynamo for the past year demonstrates that decentralized techniques can be combined to provide a single highly-available system (#)
"I think this is a special case of a broad class of verification that can be done on the running system that goes far far deeper than what is traditionally considered either monitoring or testing. Call it unit testing in production, or self-proving systems, or next generation monitoring, or whatever, but I think this kind of deep verification is something that makes turning the theoretical claims a design makes into measured properties of the real running system." (#)