{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "type": "object",
  "additionalProperties": false,
  "$id": "crash-injection.schema.json",
  "title": "Crash injection record",
  "required": [
    "schema_version",
    "run_id",
    "case_id",
    "seam",
    "seam_revision",
    "fire_count",
    "resolution",
    "blind_retry",
    "verdict"
  ],
  "properties": {
    "schema_version": {
      "const": "1.0.0"
    },
    "run_id": {
      "type": "string",
      "minLength": 1
    },
    "case_id": {
      "type": "string",
      "minLength": 1
    },
    "seam": {
      "type": "string",
      "minLength": 1
    },
    "seam_revision": {
      "type": "string",
      "minLength": 1
    },
    "fire_count": {
      "const": 1
    },
    "resolution": {
      "enum": [
        "not-started",
        "exact-committed-outcome",
        "rejected-reused",
        "safe-indeterminate"
      ]
    },
    "blind_retry": {
      "const": false
    },
    "verdict": {
      "enum": [
        "PASS",
        "FAIL",
        "BLOCKED"
      ]
    }
  }
}
