{
  "title": "Matched isolated implementation candidate",
  "type": "object",
  "additionalProperties": false,
  "properties": {
    "contract_sha256": {"type": "string", "pattern": "^[0-9a-f]{64}$"},
    "summary": {"type": "string", "minLength": 1},
    "files": {"type": "array", "items": {"type": "string"}, "minItems": 1, "maxItems": 50, "uniqueItems": true},
    "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"]}},
    "benchmark": {"type": "object", "additionalProperties": false, "properties": {"command": {"type": "string", "minLength": 1}, "exit_code": {"type": "integer"}, "measurement": {"type": "number", "minimum": 0}, "unit": {"type": "string", "minLength": 1}}, "required": ["command", "exit_code", "measurement", "unit"]},
    "maintainability_evidence": {"type": "array", "items": {"type": "string"}, "maxItems": 30},
    "risks": {"type": "array", "items": {"type": "string"}, "maxItems": 30}
  },
  "required": ["contract_sha256", "summary", "files", "commands", "benchmark", "maintainability_evidence", "risks"]
}