{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "#/components/schemas/RunSummary",
  "title": "RunSummary",
  "type": "object",
  "properties": {
    "total": {
      "type": "integer"
    },
    "changed": {
      "type": "integer"
    },
    "new": {
      "type": "integer"
    },
    "removed": {
      "type": "integer"
    },
    "unchanged": {
      "type": "integer"
    },
    "unresolved": {
      "type": "integer"
    },
    "tolerated_matched": {
      "type": "integer"
    }
  },
  "required": [
    "changed",
    "new",
    "removed",
    "total",
    "unchanged"
  ]
}