core-agent-ide/codex-rs/app-server-protocol/schema/json/JSONRPCMessage.json

{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "anyOf": [
    {
      "$ref": "#/definitions/JSONRPCRequest"
    },
    {
      "$ref": "#/definitions/JSONRPCNotification"
    },
    {
      "$ref": "#/definitions/JSONRPCResponse"
    },
    {
      "$ref": "#/definitions/JSONRPCError"
    }
  ],
  "definitions": {
    "JSONRPCError": {
      "description": "A response to a request that indicates an error occurred.",
      "properties": {
        "error": {
          "$ref": "#/definitions/JSONRPCErrorError"
        },
        "id": {
          "$ref": "#/definitions/RequestId"
        }
      },
      "required": [
        "error",
        "id"
      ],
      "type": "object"
    },
    "JSONRPCErrorError": {
      "properties": {
        "code": {
          "format": "int64",
          "type": "integer"
        },
        "data": true,
        "message": {
          "type": "string"
        }
      },
      "required": [
        "code",
        "message"
      ],
      "type": "object"
    },
    "JSONRPCNotification": {
      "description": "A notification which does not expect a response.",
      "properties": {
        "method": {
          "type": "string"
        },
        "params": true
      },
      "required": [
        "method"
      ],
      "type": "object"
    },
    "JSONRPCRequest": {
      "description": "A request that expects a response.",
      "properties": {
        "id": {
          "$ref": "#/definitions/RequestId"
        },
        "method": {
          "type": "string"
        },
        "params": true
      },
      "required": [
        "id",
        "method"
      ],
      "type": "object"
    },
    "JSONRPCResponse": {
      "description": "A successful (non-error) response to a request.",
      "properties": {
        "id": {
          "$ref": "#/definitions/RequestId"
        },
        "result": true
      },
      "required": [
        "id",
        "result"
      ],
      "type": "object"
    },
    "RequestId": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "format": "int64",
          "type": "integer"
        }
      ]
    }
  },
  "description": "Refers to any valid JSON-RPC object that can be decoded off the wire, or encoded to be sent.",
  "title": "JSONRPCMessage"
}