mirror of
https://github.com/openai/codex.git
synced 2026-09-16 12:13:30 +00:00
3b069fda39
Motivation: - Keep `codex app-server` protocol artifacts (TypeScript + JSON Schema) checked in for consumers (e.g. IDE integrations) and make changes reviewable. - Prevent drift between generated output (`codex app-server generate-ts` / `codex app-server generate-json-schema`) and what is vendored in the repo. What changed: - Vendor generated artifacts under `codex-rs/app-server-protocol/schema/typescript/` and `codex-rs/app-server-protocol/schema/json/`. - Add `just write-app-server-schema` to fully regenerate fixtures (including deleting stale files). - Add a fixture sync test for `codex-app-server-protocol` to assert the vendored trees match freshly generated output. - Canonicalize JSON schema output (sorted object keys) for deterministic diffs. - Wire Bazel test data so remote tests can read the vendored fixtures. Refs: openai/codex#8956 (config.schema.json vendoring + sync test pattern)
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"
|
|
} |