{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "properties": {
    "deployment_id": {
      "anyOf": [
        {
          "pattern": "^dep_[0-7][0123456789abcdefghjkmnpqrstvwxyz]{25}$",
          "type": "string"
        },
        {
          "type": "null"
        }
      ]
    },
    "execution_id": {
      "pattern": "^exe_[0-7][0123456789abcdefghjkmnpqrstvwxyz]{25}$",
      "type": "string"
    },
    "execution_mode": {
      "enum": [
        "managed",
        "remote",
        "bridge"
      ],
      "type": "string"
    },
    "failure": {
      "anyOf": [
        {
          "properties": {
            "code": {
              "enum": [
                "product_error",
                "runtime_error",
                "timeout",
                "cancelled",
                "isolation_violation"
              ],
              "type": "string"
            },
            "message": {
              "maxLength": 2048,
              "type": "string"
            }
          },
          "required": [
            "code",
            "message"
          ],
          "type": "object"
        },
        {
          "type": "null"
        }
      ]
    },
    "finished_at": {
      "format": "date-time",
      "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d(?:\\.\\d+)?(?:Z))$",
      "type": "string"
    },
    "invocation_id": {
      "pattern": "^inv_[0-7][0123456789abcdefghjkmnpqrstvwxyz]{25}$",
      "type": "string"
    },
    "log_evidence": {
      "anyOf": [
        {
          "properties": {
            "sha256": {
              "pattern": "^[0-9a-f]{64}$",
              "type": "string"
            },
            "size_bytes": {
              "maximum": 9007199254740991,
              "minimum": 0,
              "type": "integer"
            },
            "uri": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "uri",
            "sha256",
            "size_bytes"
          ],
          "type": "object"
        },
        {
          "type": "null"
        }
      ]
    },
    "product_id": {
      "pattern": "^prod_[0-7][0123456789abcdefghjkmnpqrstvwxyz]{25}$",
      "type": "string"
    },
    "result": {
      "properties": {
        "body_evidence": {
          "anyOf": [
            {
              "properties": {
                "sha256": {
                  "pattern": "^[0-9a-f]{64}$",
                  "type": "string"
                },
                "size_bytes": {
                  "maximum": 9007199254740991,
                  "minimum": 0,
                  "type": "integer"
                },
                "uri": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "uri",
                "sha256",
                "size_bytes"
              ],
              "type": "object"
            },
            {
              "type": "null"
            }
          ]
        },
        "http_status": {
          "anyOf": [
            {
              "maximum": 599,
              "minimum": 100,
              "type": "integer"
            },
            {
              "type": "null"
            }
          ]
        }
      },
      "required": [
        "http_status",
        "body_evidence"
      ],
      "type": "object"
    },
    "session_id": {
      "pattern": "^ses_[0-7][0123456789abcdefghjkmnpqrstvwxyz]{25}$",
      "type": "string"
    },
    "started_at": {
      "format": "date-time",
      "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d(?:\\.\\d+)?(?:Z))$",
      "type": "string"
    },
    "status": {
      "enum": [
        "completed",
        "failed",
        "cancelled",
        "timed_out"
      ],
      "type": "string"
    },
    "usage": {
      "properties": {
        "cpu_ms": {
          "anyOf": [
            {
              "maximum": 9007199254740991,
              "minimum": 0,
              "type": "integer"
            },
            {
              "type": "null"
            }
          ]
        },
        "duration_ms": {
          "maximum": 9007199254740991,
          "minimum": 0,
          "type": "integer"
        },
        "memory_peak_bytes": {
          "anyOf": [
            {
              "maximum": 9007199254740991,
              "minimum": 0,
              "type": "integer"
            },
            {
              "type": "null"
            }
          ]
        }
      },
      "required": [
        "duration_ms",
        "cpu_ms",
        "memory_peak_bytes"
      ],
      "type": "object"
    },
    "workspace_id": {
      "pattern": "^ws_[0-7][0123456789abcdefghjkmnpqrstvwxyz]{25}$",
      "type": "string"
    }
  },
  "required": [
    "execution_id",
    "invocation_id",
    "session_id",
    "workspace_id",
    "product_id",
    "deployment_id",
    "execution_mode",
    "status",
    "failure",
    "result",
    "log_evidence",
    "usage",
    "started_at",
    "finished_at"
  ],
  "type": "object"
}