{
  "title": "Independent failure reproduction",
  "type": "object",
  "additionalProperties": false,
  "properties": {
    "status": {"type": "string", "enum": ["reproduced", "not_reproduced", "blocked"]},
    "minimal_reproduction": {"type": "string"},
    "expected": {"type": "string", "minLength": 1},
    "observed": {"type": "string", "minLength": 1},
    "commands": {
      "type": "array",
      "maxItems": 30,
      "items": {
        "type": "object",
        "additionalProperties": false,
        "properties": {
          "command": {"type": "string", "minLength": 1},
          "exit_code": {"type": "integer"},
          "observation": {"type": "string", "minLength": 1}
        },
        "required": ["command", "exit_code", "observation"]
      }
    },
    "test_files": {"type": "array", "items": {"type": "string"}, "maxItems": 20, "uniqueItems": true},
    "hypotheses": {"type": "array", "items": {"type": "string"}, "maxItems": 20},
    "limitations": {"type": "array", "items": {"type": "string"}, "maxItems": 20}
  },
  "required": ["status", "minimal_reproduction", "expected", "observed", "commands", "test_files", "hypotheses", "limitations"],
  "allOf": [
    {"if": {"properties": {"status": {"const": "reproduced"}}, "required": ["status"]}, "then": {"properties": {"minimal_reproduction": {"minLength": 1}, "commands": {"minItems": 1}, "test_files": {"minItems": 1}}}},
    {"if": {"properties": {"status": {"const": "blocked"}}, "required": ["status"]}, "then": {"properties": {"limitations": {"minItems": 1}}}}
  ]
}