{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "$ref": "#/definitions/DiagramMigrateResult",
  "definitions": {
    "DiagramMigrateResult": {
      "type": "object",
      "properties": {
        "file": {
          "type": "string"
        },
        "pages": {
          "type": "number"
        },
        "tablesRepositioned": {
          "type": "number"
        },
        "edgesMigrated": {
          "type": "number"
        }
      },
      "required": ["file", "pages", "tablesRepositioned", "edgesMigrated"],
      "additionalProperties": false
    }
  }
}