{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://stellaops.org/benchmark/reachability/trace.schema.json",
  "title": "Reachability Benchmark Trace Artifact",
  "type": "object",
  "oneOf": [
    {
      "required": ["entry", "path", "sink"],
      "properties": {
        "entry": { "type": "string" },
        "path": {
          "type": "array",
          "minItems": 1,
          "items": { "type": "string" }
        },
        "sink": { "type": "string" },
        "notes": { "type": "string" }
      },
      "additionalProperties": false
    },
    {
      "required": ["events"],
      "properties": {
        "events": {
          "type": "array",
          "items": {
            "type": "object",
            "required": ["path", "type"],
            "properties": {
              "path": { "type": "string" },
              "type": { "type": "string" },
              "at": { "type": "integer", "minimum": 0 }
            },
            "additionalProperties": false
          }
        },
        "notes": { "type": "string" }
      },
      "additionalProperties": false
    }
  ]
}