feat(cli-circle-login): regenerate API types from the Circle login candidate spec (p5)

Types generated from the OpenAPI spec emitted by the Toolkit E2E harness
at 35d93a328dbdad2c13482132a32626597f6dfbe4 (feat/cli-circle-login).

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
Claude
2026-09-13 13:43:35 +02:00
parent 131de055f8
commit 0d50088a7c
+307
View File
@@ -964,6 +964,313 @@ export interface paths {
patch?: never;
trace?: never;
};
"/auth/circle/start": {
parameters: {
query?: never;
header?: never;
path?: never;
cookie?: never;
};
get?: never;
put?: never;
post: {
parameters: {
query?: never;
header?: never;
path?: never;
cookie?: never;
};
requestBody?: {
content: {
"application/json": {
/** Format: email */
email: string;
client?: {
hostname?: string;
os?: string;
};
};
};
};
responses: {
/** @description Circle message sent — poll /auth/circle/poll with device_code */
200: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
device_code: string;
expires_in: number;
interval: number;
/** @enum {string} */
delivery: "sent" | "unknown";
};
};
};
/** @description No active course membership */
403: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
error: string;
message?: string;
retry_after_s?: number;
};
};
};
/** @description Cooldown or budget exhausted */
429: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
error: string;
message?: string;
retry_after_s?: number;
};
};
};
/** @description Circle refused the message */
502: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
error: string;
message?: string;
retry_after_s?: number;
};
};
};
/** @description Circle login switched off or misconfigured */
503: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
error: string;
message?: string;
retry_after_s?: number;
};
};
};
};
};
delete?: never;
options?: never;
head?: never;
patch?: never;
trace?: never;
};
"/auth/circle/poll": {
parameters: {
query?: never;
header?: never;
path?: never;
cookie?: never;
};
get?: never;
put?: never;
post: {
parameters: {
query?: never;
header?: never;
path?: never;
cookie?: never;
};
requestBody?: {
content: {
"application/json": {
device_code: string;
};
};
};
responses: {
/** @description Login approved and redeemed — tokens delivered exactly once */
200: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
token: string;
refresh_token: string;
expires_at: string;
};
};
};
/** @description Waiting for approval */
202: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
/** @enum {string} */
status: "pending" | "dispatched";
};
};
};
/** @description Polling faster than the advertised interval */
400: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
error: string;
message?: string;
retry_after_s?: number;
};
};
};
/** @description Login denied — no active course membership */
403: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
error: string;
message?: string;
retry_after_s?: number;
};
};
};
/** @description Login expired, unknown or already redeemed */
410: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
error: string;
message?: string;
retry_after_s?: number;
};
};
};
};
};
delete?: never;
options?: never;
head?: never;
patch?: never;
trace?: never;
};
"/auth/circle/approve": {
parameters: {
query?: never;
header?: never;
path?: never;
cookie?: never;
};
get: {
parameters: {
query?: never;
header?: never;
path?: never;
cookie?: never;
};
requestBody?: never;
responses: {
/** @description Approval page — reads #bearer from the fragment and POSTs it */
200: {
headers: {
[name: string]: unknown;
};
content: {
"text/html": string;
};
};
};
};
put?: never;
post: {
parameters: {
query?: never;
header?: never;
path?: never;
cookie?: never;
};
requestBody?: {
content: {
"application/json": {
bearer: string;
};
};
};
responses: {
/** @description Terminal approved — the CLI receives tokens on its next poll */
200: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
/** @enum {boolean} */
approved: true;
requested_at: string;
client: {
hostname?: string;
os?: string;
};
};
};
};
/** @description Cross-origin request or no active course membership */
403: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
error: string;
message?: string;
retry_after_s?: number;
};
};
};
/** @description Link expired, unknown or already used */
410: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
error: string;
message?: string;
retry_after_s?: number;
};
};
};
/** @description Admission budget exhausted */
429: {
headers: {
[name: string]: unknown;
};
content: {
"application/json": {
error: string;
message?: string;
retry_after_s?: number;
};
};
};
};
};
delete?: never;
options?: never;
head?: never;
patch?: never;
trace?: never;
};
}
export type webhooks = Record<string, never>;
export interface components {