{
  "title": "Contract-derived isolated test patch",
  "type": "object",
  "additionalProperties": false,
  "properties": {
    "contract_sha256": {"type": "string", "pattern": "^[0-9a-f]{64}$"},
    "covered_clause_ids": {"type": "array", "items": {"type": "string"}, "minItems": 1, "maxItems": 100, "uniqueItems": true},
    "test_files": {"type": "array", "items": {"type": "string"}, "minItems": 1, "maxItems": 30, "uniqueItems": true},
    "plausible_failures_caught": {"type": "array", "items": {"type": "string"}, "minItems": 1, "maxItems": 30},
    "commands": {
      "type": "array",
      "minItems": 1,
      "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"]
      }
    },
    "limitations": {"type": "array", "items": {"type": "string"}, "maxItems": 20}
  },
  "required": ["contract_sha256", "covered_clause_ids", "test_files", "plausible_failures_caught", "commands", "limitations"]
}