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