{
  "$schema": "http://json-schema.org/draft/2020-12/schema",
  "$id": "embedfs://job-metric-statistics.schema.json",
  "title": "Job statistics",
  "description": "Format specification for job metric statistics",
  "type": "object",
  "properties": {
    "unit": {
      "description": "Metric unit",
      "$ref": "embedfs://unit.schema.json"
    },
    "avg": {
      "description": "Job metric average",
      "type": "number",
      "minimum": 0
    },
    "min": {
      "description": "Job metric minimum",
      "type": "number",
      "minimum": 0
    },
    "max": {
      "description": "Job metric maximum",
      "type": "number",
      "minimum": 0
    }
  },
  "required": [
    "unit",
    "avg",
    "min",
    "max"
  ]
}