{
  "title": "Independent source-to-code audit",
  "type": "object",
  "additionalProperties": false,
  "properties": {
    "verdict": {"type": "string", "enum": ["pass", "concerns", "fail", "blocked"]},
    "checked_sources": {"type": "array", "items": {"type": "string", "format": "uri"}, "maxItems": 50, "uniqueItems": true},
    "findings": {
      "type": "array",
      "maxItems": 50,
      "items": {
        "type": "object",
        "additionalProperties": false,
        "properties": {
          "claim": {"type": "string", "minLength": 1},
          "source_url": {"type": "string", "format": "uri"},
          "code_location": {"type": "string", "minLength": 1},
          "evidence": {"type": "string", "minLength": 1}
        },
        "required": ["claim", "source_url", "code_location", "evidence"]
      }
    },
    "conflicts": {"type": "array", "items": {"type": "string"}, "maxItems": 30},
    "blockers": {"type": "array", "items": {"type": "string"}, "maxItems": 30}
  },
  "required": ["verdict", "checked_sources", "findings", "conflicts", "blockers"],
  "allOf": [
    {
      "if": {"properties": {"verdict": {"const": "pass"}}, "required": ["verdict"]},
      "then": {"properties": {"checked_sources": {"minItems": 1}, "findings": {"maxItems": 0}, "blockers": {"maxItems": 0}}}
    },
    {
      "if": {"properties": {"verdict": {"const": "blocked"}}, "required": ["verdict"]},
      "then": {"properties": {"blockers": {"minItems": 1}}}
    }
  ]
}