{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://git.transaction.science/Transaction-Science/open-standards/raw/branch/main/wai/wai-quantum/schemas/distance.v1.json",
  "title": "wai.quantum.distance/1",
  "description": "A code's distance certificate (quantum_distance): in each sector, a witness logical of the least weight found and every lighter support ruled out by an exhaustive search over connected supports, re-checkable node for node; the code's families hash, the search's bound, the symmetries checked and used, and its reading. Given back to qec_code, it is checked against the code.",
  "type": "object",
  "required": [
    "format",
    "code",
    "n",
    "k",
    "distance",
    "x",
    "z"
  ],
  "properties": {
    "format": {
      "const": "wai.quantum.distance/1"
    },
    "code": {
      "type": "string"
    },
    "n": {
      "type": "integer",
      "minimum": 1
    },
    "k": {
      "type": "integer",
      "minimum": 0
    },
    "families": {
      "type": "string",
      "description": "BLAKE3 of the code's check families, in hex."
    },
    "distance": {
      "type": [
        "integer",
        "null"
      ],
      "description": "The distance, when both sectors settle it; null when the search stopped at its bound first."
    },
    "x": {
      "type": "object",
      "description": "One sector: the least weight of a logical found, a witness of that weight, and the weight below which the search ruled every support out.",
      "properties": {
        "distance": {
          "type": [
            "integer",
            "null"
          ]
        },
        "witness": {
          "type": [
            "array",
            "null"
          ],
          "items": {
            "type": "integer",
            "minimum": 0
          }
        },
        "no_logical_below": {
          "type": [
            "integer",
            "null"
          ]
        },
        "nodes": {
          "type": "integer",
          "minimum": 0
        }
      }
    },
    "z": {
      "type": "object",
      "description": "One sector: the least weight of a logical found, a witness of that weight, and the weight below which the search ruled every support out.",
      "properties": {
        "distance": {
          "type": [
            "integer",
            "null"
          ]
        },
        "witness": {
          "type": [
            "array",
            "null"
          ],
          "items": {
            "type": "integer",
            "minimum": 0
          }
        },
        "no_logical_below": {
          "type": [
            "integer",
            "null"
          ]
        },
        "nodes": {
          "type": "integer",
          "minimum": 0
        }
      }
    },
    "bound": {
      "type": "integer",
      "minimum": 1
    },
    "symmetries": {
      "type": [
        "integer",
        "array",
        "null"
      ]
    },
    "orbits": {
      "type": [
        "integer",
        "array",
        "null"
      ]
    },
    "method": {
      "type": "string"
    },
    "reading": {
      "type": "string"
    }
  }
}