{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "$id": "https://whetstone-dsl.org/schemas/types/ParseDiagnostic.schema.json",
  "title": "ParseDiagnostic",
  "description": "Represents a parse-time diagnostic with source location",
  "type": "object",
  "properties": {
    "line": {
      "type": "integer",
      "minimum": 0,
      "description": "The line number where the diagnostic occurred"
    },
    "column": {
      "type": "integer",
      "minimum": 0,
      "description": "The column number where the diagnostic occurred"
    },
    "message": {
      "type": "string",
      "description": "The diagnostic message"
    },
    "severity": {
      "type": "string",
      "description": "The severity level of the diagnostic"
    }
  },
  "required": ["line", "column", "message", "severity"],
  "additionalProperties": false
}
