{
  "title": "Adversarial fix verification",
  "type": "object",
  "additionalProperties": false,
  "properties": {
    "verdict": {"type": "string", "enum": ["pass", "fail", "blocked"]},
    "original_failure_fixed": {"type": "boolean"},
    "adjacent_cases_preserved": {"type": "boolean"},
    "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"]
      }
    },
    "findings": {"type": "array", "items": {"type": "string"}, "maxItems": 30},
    "correction_targets": {"type": "array", "items": {"type": "string"}, "maxItems": 30},
    "blockers": {"type": "array", "items": {"type": "string"}, "maxItems": 20}
  },
  "required": ["verdict", "original_failure_fixed", "adjacent_cases_preserved", "commands", "findings", "correction_targets", "blockers"],
  "allOf": [
    {"if": {"properties": {"verdict": {"const": "pass"}}, "required": ["verdict"]}, "then": {"properties": {"original_failure_fixed": {"const": true}, "adjacent_cases_preserved": {"const": true}, "commands": {"minItems": 1}, "findings": {"maxItems": 0}, "blockers": {"maxItems": 0}}}},
    {"if": {"properties": {"verdict": {"const": "fail"}}, "required": ["verdict"]}, "then": {"properties": {"findings": {"minItems": 1}, "correction_targets": {"minItems": 1}}}},
    {"if": {"properties": {"verdict": {"const": "blocked"}}, "required": ["verdict"]}, "then": {"properties": {"blockers": {"minItems": 1}}}}
  ]
}