default verification workflow spec