chore: generate

This commit is contained in:
opencode-agent[bot]
2026-05-22 15:31:46 +00:00
parent 5cf597d583
commit 00038027c8
3 changed files with 101 additions and 46 deletions
@@ -176,7 +176,6 @@ describe("pty HttpApi bridge", () => {
message: `PTY session not found: ${missingID}`, message: `PTY session not found: ${missingID}`,
}) })
}) })
;(process.platform === "win32" ? effectIt.live.skip : effectIt.live)( ;(process.platform === "win32" ? effectIt.live.skip : effectIt.live)(
"serves PTY websocket output and input through Effect routes", "serves PTY websocket output and input through Effect routes",
() => () =>
+30 -15
View File
@@ -1700,15 +1700,15 @@ export type McpServerNotFoundError = {
message: string message: string
} }
export type NotFoundError = { export type PtyNotFoundError = {
name: "NotFoundError" _tag: "PtyNotFoundError"
data: { ptyID: string
message: string message: string
}
} }
export type EffectHttpApiErrorForbidden = { export type PtyForbiddenError = {
_tag: "Forbidden" _tag: "PtyForbiddenError"
message: string
} }
export type QuestionNotFoundError = { export type QuestionNotFoundError = {
@@ -1777,6 +1777,13 @@ export type ProviderAuthError1 = {
} }
} }
export type NotFoundError = {
name: "NotFoundError"
data: {
message: string
}
}
export type TextPartInput = { export type TextPartInput = {
id?: string id?: string
type: "text" type: "text"
@@ -1950,6 +1957,10 @@ export type WorkspaceWarpError = {
} }
} }
export type EffectHttpApiErrorForbidden = {
_tag: "Forbidden"
}
export type SyncEventMessageUpdated = { export type SyncEventMessageUpdated = {
type: "sync" type: "sync"
name: "message.updated.1" name: "message.updated.1"
@@ -5566,9 +5577,9 @@ export type PtyRemoveErrors = {
*/ */
400: BadRequestError 400: BadRequestError
/** /**
* NotFoundError * PtyNotFoundError
*/ */
404: NotFoundError 404: PtyNotFoundError
} }
export type PtyRemoveError = PtyRemoveErrors[keyof PtyRemoveErrors] export type PtyRemoveError = PtyRemoveErrors[keyof PtyRemoveErrors]
@@ -5600,9 +5611,9 @@ export type PtyGetErrors = {
*/ */
400: BadRequestError 400: BadRequestError
/** /**
* NotFoundError * PtyNotFoundError
*/ */
404: NotFoundError 404: PtyNotFoundError
} }
export type PtyGetError = PtyGetErrors[keyof PtyGetErrors] export type PtyGetError = PtyGetErrors[keyof PtyGetErrors]
@@ -5639,6 +5650,10 @@ export type PtyUpdateErrors = {
* BadRequest | InvalidRequestError * BadRequest | InvalidRequestError
*/ */
400: EffectHttpApiErrorBadRequest | InvalidRequestError 400: EffectHttpApiErrorBadRequest | InvalidRequestError
/**
* PtyNotFoundError
*/
404: PtyNotFoundError
} }
export type PtyUpdateError = PtyUpdateErrors[keyof PtyUpdateErrors] export type PtyUpdateError = PtyUpdateErrors[keyof PtyUpdateErrors]
@@ -5670,13 +5685,13 @@ export type PtyConnectTokenErrors = {
*/ */
400: BadRequestError 400: BadRequestError
/** /**
* Forbidden * PtyForbiddenError
*/ */
403: EffectHttpApiErrorForbidden 403: PtyForbiddenError
/** /**
* NotFoundError * PtyNotFoundError
*/ */
404: NotFoundError 404: PtyNotFoundError
} }
export type PtyConnectTokenError = PtyConnectTokenErrors[keyof PtyConnectTokenErrors] export type PtyConnectTokenError = PtyConnectTokenErrors[keyof PtyConnectTokenErrors]
+71 -30
View File
@@ -3964,11 +3964,11 @@
} }
}, },
"404": { "404": {
"description": "NotFoundError", "description": "PtyNotFoundError",
"content": { "content": {
"application/json": { "application/json": {
"schema": { "schema": {
"$ref": "#/components/schemas/NotFoundError" "$ref": "#/components/schemas/PtyNotFoundError"
} }
} }
} }
@@ -4040,6 +4040,16 @@
} }
} }
} }
},
"404": {
"description": "PtyNotFoundError",
"content": {
"application/json": {
"schema": {
"$ref": "#/components/schemas/PtyNotFoundError"
}
}
}
} }
}, },
"description": "Update properties of an existing pseudo-terminal (PTY) session.", "description": "Update properties of an existing pseudo-terminal (PTY) session.",
@@ -4134,11 +4144,11 @@
} }
}, },
"404": { "404": {
"description": "NotFoundError", "description": "PtyNotFoundError",
"content": { "content": {
"application/json": { "application/json": {
"schema": { "schema": {
"$ref": "#/components/schemas/NotFoundError" "$ref": "#/components/schemas/PtyNotFoundError"
} }
} }
} }
@@ -4219,21 +4229,21 @@
} }
}, },
"403": { "403": {
"description": "Forbidden", "description": "PtyForbiddenError",
"content": { "content": {
"application/json": { "application/json": {
"schema": { "schema": {
"$ref": "#/components/schemas/effect_HttpApiError_Forbidden" "$ref": "#/components/schemas/PtyForbiddenError"
} }
} }
} }
}, },
"404": { "404": {
"description": "NotFoundError", "description": "PtyNotFoundError",
"content": { "content": {
"application/json": { "application/json": {
"schema": { "schema": {
"$ref": "#/components/schemas/NotFoundError" "$ref": "#/components/schemas/PtyNotFoundError"
} }
} }
} }
@@ -15419,34 +15429,35 @@
"required": ["_tag", "name", "message"], "required": ["_tag", "name", "message"],
"additionalProperties": false "additionalProperties": false
}, },
"NotFoundError": { "PtyNotFoundError": {
"type": "object",
"required": ["name", "data"],
"properties": {
"name": {
"type": "string",
"enum": ["NotFoundError"]
},
"data": {
"type": "object",
"required": ["message"],
"properties": {
"message": {
"type": "string"
}
}
}
}
},
"effect_HttpApiError_Forbidden": {
"type": "object", "type": "object",
"properties": { "properties": {
"_tag": { "_tag": {
"type": "string", "type": "string",
"enum": ["Forbidden"] "enum": ["PtyNotFoundError"]
},
"ptyID": {
"type": "string"
},
"message": {
"type": "string"
} }
}, },
"required": ["_tag"], "required": ["_tag", "ptyID", "message"],
"additionalProperties": false
},
"PtyForbiddenError": {
"type": "object",
"properties": {
"_tag": {
"type": "string",
"enum": ["PtyForbiddenError"]
},
"message": {
"type": "string"
}
},
"required": ["_tag", "message"],
"additionalProperties": false "additionalProperties": false
}, },
"QuestionNotFoundError": { "QuestionNotFoundError": {
@@ -15646,6 +15657,25 @@
"required": ["name", "data"], "required": ["name", "data"],
"additionalProperties": false "additionalProperties": false
}, },
"NotFoundError": {
"type": "object",
"required": ["name", "data"],
"properties": {
"name": {
"type": "string",
"enum": ["NotFoundError"]
},
"data": {
"type": "object",
"required": ["message"],
"properties": {
"message": {
"type": "string"
}
}
}
}
},
"TextPartInput": { "TextPartInput": {
"type": "object", "type": "object",
"properties": { "properties": {
@@ -16168,6 +16198,17 @@
"required": ["name", "data"], "required": ["name", "data"],
"additionalProperties": false "additionalProperties": false
}, },
"effect_HttpApiError_Forbidden": {
"type": "object",
"properties": {
"_tag": {
"type": "string",
"enum": ["Forbidden"]
}
},
"required": ["_tag"],
"additionalProperties": false
},
"SyncEventMessageUpdated": { "SyncEventMessageUpdated": {
"type": "object", "type": "object",
"properties": { "properties": {