Unrelated to my reservations about this system, I think the idea of computation combined with a git datastore is very interesting and possibly more generally applicable. I like the idea that the snapshot bot enforces additional guarantees on the evolution of the repository, like the ones you're describing here.