{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "EventEnvelope",
  "type": "object",
  "properties": {
    "event_id": { "type": "string" },
    "type": { "type": "string" },
    "note": { "type": "string" }
  },
  "required": ["event_id", "type"]
}