{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "AGLA_W_PATHSET_MANIFEST.schema.json",
  "title": "Stack W numbered integration pathset manifest",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "$schema",
    "schema",
    "version",
    "status",
    "runtime_available",
    "execution_base",
    "expected_path_count",
    "expected_add_count",
    "expected_modify_count",
    "expected_changed_paths",
    "preserved_no_delta_prefixes",
    "liber_additions",
    "closing_law"
  ],
  "properties": {
    "$schema": {
      "const": "../schemas/W_PATHSET_MANIFEST.schema.json"
    },
    "schema": {
      "const": "AGLA_W_PATHSET_MANIFEST_v1.0.0"
    },
    "version": {
      "const": "1.0.0"
    },
    "status": {
      "const": "CANONICAL_SUPPORT_NON_PROVIDER_NON_RUNTIME_RUNTIME_DISABLED"
    },
    "runtime_available": {
      "const": false
    },
    "execution_base": {
      "type": "object",
      "additionalProperties": false,
      "required": ["commit", "tree", "qualification_subtree"],
      "properties": {
        "commit": {
          "const": "58ce4cec5f15a78b0263e85deea5a1e9e7412eed"
        },
        "tree": {
          "const": "564560ebf3a767ee39bd1267fdfc862f950d2d0c"
        },
        "qualification_subtree": {
          "const": "f9894202d45a94aab488d0919606b431d001cdea"
        }
      }
    },
    "expected_path_count": {
      "const": 32
    },
    "expected_add_count": {
      "const": 30
    },
    "expected_modify_count": {
      "const": 2
    },
    "expected_changed_paths": {
      "type": "array",
      "minItems": 32,
      "maxItems": 32,
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": ["path", "change_kind", "scope"],
        "properties": {
          "path": {
            "type": "string",
            "pattern": "^AGLA_ArsGeneralisLlullApplied/"
          },
          "change_kind": {
            "enum": ["ADD", "MODIFY"]
          },
          "scope": {
            "enum": [
              "NUMBERED_STACK",
              "LIBER_SUPPORT",
              "GLOBAL_INDEX",
              "STRUCTURE_NAVIGATION"
            ]
          }
        }
      }
    },
    "preserved_no_delta_prefixes": {
      "type": "array",
      "minItems": 3,
      "uniqueItems": true,
      "items": {
        "type": "string",
        "minLength": 1
      }
    },
    "liber_additions": {
      "type": "array",
      "minItems": 2,
      "maxItems": 2,
      "uniqueItems": true,
      "items": {
        "type": "string",
        "pattern": "^AGLA_ArsGeneralisLlullApplied/90_STACK_LIBER/LIBER_X_W_"
      }
    },
    "closing_law": {
      "type": "string",
      "minLength": 1
    }
  }
}