{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://asw.local/contracts/alice/telemetry.schema.json",
  "title": "ALICE telemetry",
  "type": "object",
  "additionalProperties": false,
  "required": ["device_id", "state", "battery", "fault", "timestamp"],
  "properties": {
    "device_id": { "type": "string", "pattern": "^[a-z0-9-]+$" },
    "state": { "enum": ["IDLE", "ENTER", "PATROL", "RETURN", "FAULT"] },
    "battery": { "type": "number", "minimum": 0, "maximum": 100 },
    "fault": { "type": ["string", "null"] },
    "timestamp": { "type": "string", "format": "date-time" }
  }
}