Specification for commit domain