A specification that defines preconditions and postconditions for tool calls to prevent invalid action sequences.