{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "type": "object",
  "properties": {
    "cutoff": {
      "type": "number"
    },
    "removed": {
      "type": "array",
      "items": {
        "type": "string"
      }
    }
  },
  "required": ["cutoff", "removed"],
  "additionalProperties": {},
  "title": "Pruned operations",
  "description": "removed lists the IDs of the completed operations last changed before cutoff (epoch milliseconds). Pending operations, and records another process holds or that cannot be read, stay."
}