{
    "$schema": "http://json-schema.org/draft/2020-12/schema",
    "$id": "job-metric-statistics.schema.json",
    "title": "Job statistics",
    "description": "Format specification for job metric statistics",
    "type": "object",
    "properties": {
        "unit": {
            "description": "Metric unit",
            "$ref": "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"
    ]
}