{
  "$id": "https://schemas.ump.dev/v1/interval.json",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "additionalProperties": false,
  "properties": {
    "hi": {
      "title": "Hi",
      "type": "number"
    },
    "level": {
      "default": 0.9,
      "exclusiveMaximum": 1,
      "exclusiveMinimum": 0,
      "title": "Level",
      "type": "number"
    },
    "lo": {
      "title": "Lo",
      "type": "number"
    },
    "method": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Method"
    },
    "segments": {
      "anyOf": [
        {
          "items": {
            "maxItems": 2,
            "minItems": 2,
            "prefixItems": [
              {
                "type": "number"
              },
              {
                "type": "number"
              }
            ],
            "type": "array"
          },
          "type": "array"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "description": "Spec \u00a75: an `hdi` region that is not one interval, as ordered, non-overlapping [lo, hi] segments inside [lo, hi] (note MULTIMODAL_HDI).",
      "title": "Segments"
    }
  },
  "required": [
    "lo",
    "hi"
  ],
  "title": "Interval",
  "type": "object"
}