{
  "name": "Checkpoint",
  "properties": {
    "seq": {
      "type": "number"
    },
    "time": {
      "type": "date"
    },
    "sourceId": {
      "type": "string"
    }
  }
}