Specification commit