mirror of
https://github.com/openai/codex.git
synced 2026-04-24 14:45:27 +00:00
dfdf5e9def
Motivation: - `codex-app-server-protocol` schema fixtures are not insta snapshots. - Filtering `*.snap.new` is confusing and risks hiding real files. What changed: - Remove the `.snap.new` filename special case in `read_schema_fixture_tree`. Refs: macOS Bazel schema fixture mismatch investigation
109 lines
2.2 KiB
JSON
109 lines
2.2 KiB
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"
|
|
} |