{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$defs": {
    "Space": {
      "properties": {
        "root_id": {
          "type": "string",
          "pattern": "^rt_[0-9a-f]{32}$"
        },
        "space_id": {
          "type": "string",
          "pattern": "^spc_[0-9a-f]{32}$"
        },
        "path": {
          "items": {
            "type": "string"
          },
          "type": "array"
        }
      },
      "additionalProperties": false,
      "type": "object",
      "required": [
        "root_id",
        "space_id",
        "path"
      ],
      "description": "Space is a space's identity together with its path from the root."
    }
  },
  "properties": {
    "space": {
      "oneOf": [
        {
          "$ref": "#/$defs/Space"
        },
        {
          "type": "null"
        }
      ]
    }
  },
  "additionalProperties": false,
  "type": "object",
  "required": [
    "space"
  ],
  "title": "ResolveResult",
  "description": "ResolveResult is the space, or null when the path is unoccupied."
}