Describes the pact format and verification specifications