mirror of
https://github.com/hanzoai/dev.git
synced 2026-10-17 15:34:54 +00:00
zeekay
25f1f1da4f
codex-rs/ is a read-only mirror of openai/codex that just-every refreshes and we never edit. It sat at the repo root next to code-rs/, the product, and the only thing separating them was that everyone knew. Nothing checked it. That knowing is what makes branding endless. There are ~400 upstream-brand literals in code-rs today and ~224 of ours, hand-placed on the same lines the sync delta lands on, so every sync re-fights the same 17 files. You cannot fix that while the line between "theirs" and "ours" is a convention. vendor/codex/ makes it a boundary. Everything under vendor/ is upstream: never branded, never edited, replaced wholesale on sync. Everything outside it is ours and must carry our name — which is now a question a test can ask. code-rs coupled to the mirror through exactly one line, an include_str! of models.json, and it still does. The other 17 files are path strings. Syncing changes by one sed: just-every's delta names codex-rs/, so rewrite the patch paths to vendor/codex/ before applying it.
137 lines
2.8 KiB
JSON
137 lines
2.8 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,
|
|
"trace": {
|
|
"anyOf": [
|
|
{
|
|
"$ref": "#/definitions/W3cTraceContext"
|
|
},
|
|
{
|
|
"type": "null"
|
|
}
|
|
],
|
|
"description": "Optional W3C Trace Context for distributed tracing."
|
|
}
|
|
},
|
|
"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"
|
|
}
|
|
]
|
|
},
|
|
"W3cTraceContext": {
|
|
"properties": {
|
|
"traceparent": {
|
|
"type": [
|
|
"string",
|
|
"null"
|
|
]
|
|
},
|
|
"tracestate": {
|
|
"type": [
|
|
"string",
|
|
"null"
|
|
]
|
|
}
|
|
},
|
|
"type": "object"
|
|
}
|
|
},
|
|
"description": "Refers to any valid JSON-RPC object that can be decoded off the wire, or encoded to be sent.",
|
|
"title": "JSONRPCMessage"
|
|
} |