{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://stellaops.org/benchmark/reachability/coverage.schema.json",
  "title": "Reachability Benchmark Coverage Artifact",
  "type": "object",
  "oneOf": [
    {
      "required": ["files"],
      "properties": {
        "files": {
          "type": "object",
          "additionalProperties": {
            "type": "object",
            "required": ["lines_covered", "lines_total"],
            "properties": {
              "lines_covered": {
                "type": "array",
                "items": { "type": "integer", "minimum": 1 }
              },
              "lines_total": { "type": "integer", "minimum": 1 }
            },
            "additionalProperties": false
          }
        }
      },
      "additionalProperties": false
    },
    {
      "required": ["files"],
      "properties": {
        "files": {
          "type": "array",
          "items": {
            "type": "object",
            "required": ["path", "coverage"],
            "properties": {
              "path": { "type": "string" },
              "functions": {
                "type": "array",
                "items": { "type": "string" }
              },
              "coverage": { "type": "number", "minimum": 0, "maximum": 1 }
            },
            "additionalProperties": false
          }
        }
      },
      "additionalProperties": false
    }
  ]
}