CFEngine

Mark Burgess shipped CFEngine in 1993, formalized promise theory with Siri Fagernes around 2005, and published *In Search of Certainty* in 2015, but four generations of infrastructure tools—Chef, Pupp…

Terraform, Chef, Puppet, and CFEngine users were never declaring state — they were manually observing their infrastructure and writing those observations into files for tools that could not see for th…