{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "type": "object",
  "additionalProperties": false,
  "properties": {
    "batchNo": {
      "type": "integer",
      "format": "int32",
      "description": "Batch identifier"
    }
  }
}