{
  "description": "This file is auto-generated by scripts/prep. Do not edit manually.",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "type": "object",
  "properties": {
    "$schema": { "type": "string" },
    "data": {
      "$schema": "https://json-schema.org/draft/2020-12/schema",
      "type": "object",
      "propertyNames": { "type": "string" },
      "additionalProperties": {
        "type": "object",
        "properties": {
          "0": {
            "type": "string",
            "description": "Character representation of digit 0"
          },
          "1": {
            "type": "string",
            "description": "Character representation of digit 1"
          },
          "2": {
            "type": "string",
            "description": "Character representation of digit 2"
          },
          "3": {
            "type": "string",
            "description": "Character representation of digit 3"
          },
          "4": {
            "type": "string",
            "description": "Character representation of digit 4"
          },
          "5": {
            "type": "string",
            "description": "Character representation of digit 5"
          },
          "6": {
            "type": "string",
            "description": "Character representation of digit 6"
          },
          "7": {
            "type": "string",
            "description": "Character representation of digit 7"
          },
          "8": {
            "type": "string",
            "description": "Character representation of digit 8"
          },
          "9": {
            "type": "string",
            "description": "Character representation of digit 9"
          }
        },
        "required": ["0", "1", "2", "3", "4", "5", "6", "7", "8", "9"],
        "additionalProperties": false,
        "description": "A numeral system mapping"
      },
      "description": "Maps of numeral systems with digits 0-9 to their corresponding characters"
    }
  },
  "required": ["$schema", "data"]
}