Verified execution runtime unifying state, persistence, and replication. http://git.yeowoo.org/pure/atom