codex/codex-rs/app-server-protocol/schema/json/JSONRPCRequest.json

{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "definitions": {
    "RequestId": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "format": "int64",
          "type": "integer"
        }
      ]
    },
    "W3cTraceContext": {
      "properties": {
        "traceparent": {
          "type": [
            "string",
            "null"
          ]
        },
        "tracestate": {
          "type": [
            "string",
            "null"
          ]
        }
      },
      "type": "object"
    }
  },
  "description": "A request that expects a response.",
  "properties": {
    "id": {
      "$ref": "#/definitions/RequestId"
    },
    "method": {
      "type": "string"
    },
    "params": true,
    "trace": {
      "anyOf": [
        {
          "$ref": "#/definitions/W3cTraceContext"
        },
        {
          "type": "null"
        }
      ]
    }
  },
  "required": [
    "id",
    "method"
  ],
  "title": "JSONRPCRequest",
  "type": "object"
}