chore: generate

This commit is contained in:
opencode-agent[bot]
2026-05-22 11:00:29 +00:00
parent 4ce247eaba
commit 2663ecd39d
4 changed files with 76 additions and 20 deletions

View File

@@ -119,7 +119,10 @@ export interface Interface {
questions: ReadonlyArray<Info>
tool?: Tool
}) => Effect.Effect<ReadonlyArray<Answer>, RejectedError>
readonly reply: (input: { requestID: QuestionID; answers: ReadonlyArray<Answer> }) => Effect.Effect<void, NotFoundError>
readonly reply: (input: {
requestID: QuestionID
answers: ReadonlyArray<Answer>
}) => Effect.Effect<void, NotFoundError>
readonly reject: (requestID: QuestionID) => Effect.Effect<void, NotFoundError>
readonly list: () => Effect.Effect<ReadonlyArray<Request>>
}

View File

@@ -161,9 +161,9 @@ describe("PublicApi OpenAPI v2 errors", () => {
test("documents permission and question not-found errors", () => {
const spec = OpenApi.fromApi(PublicApi) as OpenApiSpec
expect(componentName(responseRef(spec.paths["/permission/{requestID}/reply"]?.post?.responses?.["404"]) ?? "")).toBe(
"PermissionNotFoundError",
)
expect(
componentName(responseRef(spec.paths["/permission/{requestID}/reply"]?.post?.responses?.["404"]) ?? ""),
).toBe("PermissionNotFoundError")
for (const route of [
["post", "/question/{requestID}/reply"],
["post", "/question/{requestID}/reject"],

View File

@@ -1704,6 +1704,18 @@ export type EffectHttpApiErrorForbidden = {
_tag: "Forbidden"
}
export type QuestionNotFoundError = {
_tag: "QuestionNotFoundError"
requestID: string
message: string
}
export type PermissionNotFoundError = {
_tag: "PermissionNotFoundError"
requestID: string
message: string
}
export type ProviderAuthMethod = {
type: "oauth" | "api"
label: string
@@ -5717,9 +5729,9 @@ export type QuestionReplyErrors = {
*/
400: EffectHttpApiErrorBadRequest | InvalidRequestError
/**
* Not found
* QuestionNotFoundError
*/
404: NotFoundError
404: QuestionNotFoundError
}
export type QuestionReplyError = QuestionReplyErrors[keyof QuestionReplyErrors]
@@ -5751,9 +5763,9 @@ export type QuestionRejectErrors = {
*/
400: EffectHttpApiErrorBadRequest | InvalidRequestError
/**
* Not found
* QuestionNotFoundError
*/
404: NotFoundError
404: QuestionNotFoundError
}
export type QuestionRejectError = QuestionRejectErrors[keyof QuestionRejectErrors]
@@ -5816,9 +5828,9 @@ export type PermissionReplyErrors = {
*/
400: EffectHttpApiErrorBadRequest | InvalidRequestError
/**
* Not found
* PermissionNotFoundError
*/
404: NotFoundError
404: PermissionNotFoundError
}
export type PermissionReplyError = PermissionReplyErrors[keyof PermissionReplyErrors]
@@ -6916,9 +6928,9 @@ export type PermissionRespondErrors = {
*/
400: EffectHttpApiErrorBadRequest | InvalidRequestError
/**
* NotFoundError
* NotFoundError | PermissionNotFoundError
*/
404: NotFoundError
404: NotFoundError | PermissionNotFoundError
}
export type PermissionRespondError = PermissionRespondErrors[keyof PermissionRespondErrors]

View File

@@ -4348,11 +4348,11 @@
}
},
"404": {
"description": "Not found",
"description": "QuestionNotFoundError",
"content": {
"application/json": {
"schema": {
"$ref": "#/components/schemas/NotFoundError"
"$ref": "#/components/schemas/QuestionNotFoundError"
}
}
}
@@ -4449,11 +4449,11 @@
}
},
"404": {
"description": "Not found",
"description": "QuestionNotFoundError",
"content": {
"application/json": {
"schema": {
"$ref": "#/components/schemas/NotFoundError"
"$ref": "#/components/schemas/QuestionNotFoundError"
}
}
}
@@ -4588,11 +4588,11 @@
}
},
"404": {
"description": "Not found",
"description": "PermissionNotFoundError",
"content": {
"application/json": {
"schema": {
"$ref": "#/components/schemas/NotFoundError"
"$ref": "#/components/schemas/PermissionNotFoundError"
}
}
}
@@ -7462,11 +7462,18 @@
}
},
"404": {
"description": "NotFoundError",
"description": "NotFoundError | PermissionNotFoundError",
"content": {
"application/json": {
"schema": {
"$ref": "#/components/schemas/NotFoundError"
"anyOf": [
{
"$ref": "#/components/schemas/NotFoundError"
},
{
"$ref": "#/components/schemas/PermissionNotFoundError"
}
]
}
}
}
@@ -15400,6 +15407,40 @@
"required": ["_tag"],
"additionalProperties": false
},
"QuestionNotFoundError": {
"type": "object",
"properties": {
"_tag": {
"type": "string",
"enum": ["QuestionNotFoundError"]
},
"requestID": {
"type": "string"
},
"message": {
"type": "string"
}
},
"required": ["_tag", "requestID", "message"],
"additionalProperties": false
},
"PermissionNotFoundError": {
"type": "object",
"properties": {
"_tag": {
"type": "string",
"enum": ["PermissionNotFoundError"]
},
"requestID": {
"type": "string"
},
"message": {
"type": "string"
}
},
"required": ["_tag", "requestID", "message"],
"additionalProperties": false
},
"ProviderAuthMethod": {
"type": "object",
"properties": {