A compiler for generating reliability artifacts from service expectation definitions.