ping-request

record ping-request {
  meta: option​<meta>,
  progress-token: option​<progress-token>,
  extras: list​<tuple​<string, json>>,
}