{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$defs": {
    "Path": {
      "items": {
        "type": "string"
      },
      "type": "array",
      "description": "Path is a location in the world: labels from a root organizer down, relative to the world."
    },
    "Space": {
      "properties": {
        "root_id": {
          "type": "string"
        },
        "space_id": {
          "type": "string"
        },
        "path": {
          "$ref": "#/$defs/Path"
        }
      },
      "type": "object",
      "required": [
        "root_id",
        "space_id",
        "path"
      ],
      "description": "Space is a space's identity together with its Dawn path: the labels below the world, so a grant by path applies to it."
    }
  },
  "properties": {
    "space": {
      "$ref": "#/$defs/Space"
    },
    "cutoff": {
      "type": "integer"
    }
  },
  "type": "object",
  "required": [
    "space",
    "cutoff"
  ],
  "title": "Event",
  "description": "Event is one journal's advance: the space, with its path at delivery, and the committed cutoff it is now at."
}