{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://law.arxo.io/schema/import-inventory.schema.json",
  "type": "object",
  "properties": {
    "format": {
      "const": "arxo.import.inventory/0.1"
    },
    "selection": {
      "type": "array",
      "items": {
        "type": "string"
      }
    },
    "scope": {
      "type": "string"
    },
    "entries": {
      "type": "object",
      "additionalProperties": {
        "type": "object",
        "properties": {
          "module": {
            "type": "string"
          },
          "kind": {
            "enum": [
              "theorem",
              "definition",
              "axiom",
              "instance"
            ]
          },
          "role": {
            "enum": [
              "selected",
              "dependency"
            ]
          },
          "diagnostic": {
            "type": [
              "string",
              "null"
            ]
          }
        },
        "required": [
          "module",
          "kind",
          "role",
          "diagnostic"
        ],
        "additionalProperties": false
      }
    }
  },
  "required": [
    "format",
    "selection",
    "scope",
    "entries"
  ],
  "additionalProperties": false
}