{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://law.arxo.io/schema/query-result.schema.json",
  "title": "LawQL queryResult",
  "type": "object",
  "additionalProperties": false,
  "required": ["kind", "schemaVersion", "manifest", "columns", "rows", "warnings", "explain"],
  "properties": {
    "kind": {"const": "queryResult"},
    "schemaVersion": {"const": "0.1"},
    "manifest": {
      "type": "object",
      "additionalProperties": false,
      "required": ["queryHash", "corpus", "materializationEngine", "materializations"],
      "properties": {
        "queryHash": {"type": "string", "pattern": "^sha256:[0-9a-f]{64}$"},
        "corpus": {
          "type": "array",
          "items": {
            "type": "object",
            "additionalProperties": false,
            "required": ["package", "semanticHash"],
            "properties": {
              "package": {"type": "string"},
              "semanticHash": {"type": ["string", "null"]}
            }
          }
        },
        "materializationEngine": {"type": ["string", "null"]},
        "materializations": {"type": "integer", "minimum": 0}
      }
    },
    "columns": {"type": "array", "items": {"type": "string"}},
    "rows": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": ["values", "provenance"],
        "properties": {
          "values": {"type": "object"},
          "provenance": {
            "type": "object",
            "additionalProperties": false,
            "required": ["nodes", "proof"],
            "properties": {
              "nodes": {"type": "array", "items": {"type": "string"}},
              "proof": {"type": "array", "items": {"type": "string"}}
            }
          }
        }
      }
    },
    "warnings": {"type": "array", "items": {"type": "object"}},
    "explain": {
      "type": "object",
      "additionalProperties": false,
      "required": ["funnel", "emptyAt"],
      "properties": {
        "funnel": {
          "type": "array",
          "items": {
            "type": "object",
            "additionalProperties": false,
            "required": ["clause", "rows"],
            "properties": {
              "clause": {"type": "string"},
              "rows": {"type": "integer", "minimum": 0}
            }
          }
        },
        "emptyAt": {"type": ["string", "null"]}
      }
    }
  }
}