{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "type": "object",
  "properties": {
    "leaderboard": {
      "type": "string"
    },
    "group": {
      "type": "string"
    },
    "generated": {
      "type": "boolean"
    },
    "boundAt": {
      "anyOf": [
        {
          "type": "number"
        },
        {
          "type": "null"
        }
      ]
    }
  },
  "required": ["leaderboard", "group", "generated", "boundAt"],
  "additionalProperties": {},
  "title": "LeaderboardExclusionGroup",
  "description": "The group whose members a leaderboard leaves out. boundAt is null until the board's first exclusion creates its generated group."
}