{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://smallyunet.github.io/echosvm/schemas/echosvm.execution.v1.schema.json",
  "title": "EchoSVM sBPF execution v1",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "schema",
    "engine",
    "executionMode",
    "format",
    "sbpfVersion",
    "status",
    "returnValue",
    "error",
    "instructionCount",
    "remainingInstructions",
    "registers",
    "inputBefore",
    "inputAfter",
    "traceTotalSteps",
    "traceEmittedSteps",
    "traceTruncated",
    "trace"
  ],
  "properties": {
    "schema": { "const": "echosvm.execution.v1" },
    "engine": { "type": "string" },
    "executionMode": { "const": "interpreted" },
    "format": { "enum": ["elf", "raw"] },
    "sbpfVersion": { "enum": ["v0", "v1", "v2", "v3", "v4"] },
    "status": { "enum": ["succeeded", "failed"] },
    "returnValue": { "type": ["integer", "null"], "minimum": 0 },
    "error": { "type": ["string", "null"] },
    "instructionCount": { "type": "integer", "minimum": 0 },
    "remainingInstructions": { "type": "integer", "minimum": 0 },
    "registers": { "$ref": "#/$defs/registers" },
    "inputBefore": { "$ref": "#/$defs/bytes" },
    "inputAfter": { "$ref": "#/$defs/bytes" },
    "traceTotalSteps": { "type": "integer", "minimum": 0 },
    "traceEmittedSteps": { "type": "integer", "minimum": 0 },
    "traceTruncated": { "type": "boolean" },
    "trace": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "step",
          "pc",
          "instruction",
          "registersBefore",
          "registersAfter"
        ],
        "properties": {
          "step": { "type": "integer", "minimum": 0 },
          "pc": { "type": "integer", "minimum": 0 },
          "instruction": { "type": "string" },
          "registersBefore": { "$ref": "#/$defs/registers" },
          "registersAfter": { "$ref": "#/$defs/registers" }
        }
      }
    }
  },
  "$defs": {
    "registers": {
      "type": "array",
      "minItems": 11,
      "maxItems": 11,
      "items": { "type": "integer", "minimum": 0 }
    },
    "bytes": {
      "type": "array",
      "items": { "type": "integer", "minimum": 0, "maximum": 255 }
    }
  }
}