The cfengine-augeas tool is where promise theory meets bidirectional transformation.