import { z } from 'zod';
export declare const ServerProfileSummarySchema: z.ZodObject<{
    id: z.ZodString;
    name: z.ZodString;
    serverUrl: z.ZodString;
    webappUrl: z.ZodString;
    lastUsedAt: z.ZodOptional<z.ZodNumber>;
}, z.core.$loose>;
export type ServerProfileSummary = z.infer<typeof ServerProfileSummarySchema>;
export declare const ServerListResultSchema: z.ZodObject<{
    activeServerId: z.ZodString;
    profiles: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        name: z.ZodString;
        serverUrl: z.ZodString;
        webappUrl: z.ZodString;
        lastUsedAt: z.ZodOptional<z.ZodNumber>;
    }, z.core.$loose>>;
}, z.core.$loose>;
export type ServerListResult = z.infer<typeof ServerListResultSchema>;
export declare const ServerCurrentResultSchema: z.ZodObject<{
    active: z.ZodObject<{
        id: z.ZodString;
        name: z.ZodString;
        serverUrl: z.ZodString;
        webappUrl: z.ZodString;
        lastUsedAt: z.ZodOptional<z.ZodNumber>;
    }, z.core.$loose>;
}, z.core.$loose>;
export type ServerCurrentResult = z.infer<typeof ServerCurrentResultSchema>;
export declare const ServerAddResultSchema: z.ZodObject<{
    created: z.ZodObject<{
        id: z.ZodString;
        name: z.ZodString;
        serverUrl: z.ZodString;
        webappUrl: z.ZodString;
        lastUsedAt: z.ZodOptional<z.ZodNumber>;
    }, z.core.$loose>;
    active: z.ZodObject<{
        id: z.ZodString;
        name: z.ZodString;
        serverUrl: z.ZodString;
        webappUrl: z.ZodString;
        lastUsedAt: z.ZodOptional<z.ZodNumber>;
    }, z.core.$loose>;
    used: z.ZodBoolean;
}, z.core.$loose>;
export type ServerAddResult = z.infer<typeof ServerAddResultSchema>;
export declare const ServerUseResultSchema: z.ZodObject<{
    active: z.ZodObject<{
        id: z.ZodString;
        name: z.ZodString;
        serverUrl: z.ZodString;
        webappUrl: z.ZodString;
        lastUsedAt: z.ZodOptional<z.ZodNumber>;
    }, z.core.$loose>;
}, z.core.$loose>;
export type ServerUseResult = z.infer<typeof ServerUseResultSchema>;
export declare const ServerRemoveResultSchema: z.ZodObject<{
    removed: z.ZodObject<{
        id: z.ZodString;
        name: z.ZodString;
        serverUrl: z.ZodString;
        webappUrl: z.ZodString;
        lastUsedAt: z.ZodOptional<z.ZodNumber>;
    }, z.core.$loose>;
    active: z.ZodObject<{
        id: z.ZodString;
        name: z.ZodString;
        serverUrl: z.ZodString;
        webappUrl: z.ZodString;
        lastUsedAt: z.ZodOptional<z.ZodNumber>;
    }, z.core.$loose>;
}, z.core.$loose>;
export type ServerRemoveResult = z.infer<typeof ServerRemoveResultSchema>;
export declare const ServerTestResultSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    ok: z.ZodLiteral<true>;
    url: z.ZodString;
    version: z.ZodNullable<z.ZodString>;
}, z.core.$loose>, z.ZodObject<{
    ok: z.ZodLiteral<false>;
    url: z.ZodString;
    status: z.ZodNullable<z.ZodNumber>;
    error: z.ZodString;
}, z.core.$loose>], "ok">;
export type ServerTestResult = z.infer<typeof ServerTestResultSchema>;
export declare const ServerSetResultSchema: z.ZodObject<{
    active: z.ZodObject<{
        id: z.ZodString;
        name: z.ZodString;
        serverUrl: z.ZodString;
        webappUrl: z.ZodString;
        lastUsedAt: z.ZodOptional<z.ZodNumber>;
    }, z.core.$loose>;
}, z.core.$loose>;
export type ServerSetResult = z.infer<typeof ServerSetResultSchema>;
export declare const ServerListEnvelopeSchema: z.ZodObject<{
    v: z.ZodLiteral<1>;
    ok: z.ZodLiteral<true>;
    kind: z.ZodLiteral<"server_list">;
    data: z.ZodObject<{
        activeServerId: z.ZodString;
        profiles: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
            name: z.ZodString;
            serverUrl: z.ZodString;
            webappUrl: z.ZodString;
            lastUsedAt: z.ZodOptional<z.ZodNumber>;
        }, z.core.$loose>>;
    }, z.core.$loose>;
}, z.core.$loose>;
export declare const ServerCurrentEnvelopeSchema: z.ZodObject<{
    v: z.ZodLiteral<1>;
    ok: z.ZodLiteral<true>;
    kind: z.ZodLiteral<"server_current">;
    data: z.ZodObject<{
        active: z.ZodObject<{
            id: z.ZodString;
            name: z.ZodString;
            serverUrl: z.ZodString;
            webappUrl: z.ZodString;
            lastUsedAt: z.ZodOptional<z.ZodNumber>;
        }, z.core.$loose>;
    }, z.core.$loose>;
}, z.core.$loose>;
export declare const ServerAddEnvelopeSchema: z.ZodObject<{
    v: z.ZodLiteral<1>;
    ok: z.ZodLiteral<true>;
    kind: z.ZodLiteral<"server_add">;
    data: z.ZodObject<{
        created: z.ZodObject<{
            id: z.ZodString;
            name: z.ZodString;
            serverUrl: z.ZodString;
            webappUrl: z.ZodString;
            lastUsedAt: z.ZodOptional<z.ZodNumber>;
        }, z.core.$loose>;
        active: z.ZodObject<{
            id: z.ZodString;
            name: z.ZodString;
            serverUrl: z.ZodString;
            webappUrl: z.ZodString;
            lastUsedAt: z.ZodOptional<z.ZodNumber>;
        }, z.core.$loose>;
        used: z.ZodBoolean;
    }, z.core.$loose>;
}, z.core.$loose>;
export declare const ServerUseEnvelopeSchema: z.ZodObject<{
    v: z.ZodLiteral<1>;
    ok: z.ZodLiteral<true>;
    kind: z.ZodLiteral<"server_use">;
    data: z.ZodObject<{
        active: z.ZodObject<{
            id: z.ZodString;
            name: z.ZodString;
            serverUrl: z.ZodString;
            webappUrl: z.ZodString;
            lastUsedAt: z.ZodOptional<z.ZodNumber>;
        }, z.core.$loose>;
    }, z.core.$loose>;
}, z.core.$loose>;
export declare const ServerRemoveEnvelopeSchema: z.ZodObject<{
    v: z.ZodLiteral<1>;
    ok: z.ZodLiteral<true>;
    kind: z.ZodLiteral<"server_remove">;
    data: z.ZodObject<{
        removed: z.ZodObject<{
            id: z.ZodString;
            name: z.ZodString;
            serverUrl: z.ZodString;
            webappUrl: z.ZodString;
            lastUsedAt: z.ZodOptional<z.ZodNumber>;
        }, z.core.$loose>;
        active: z.ZodObject<{
            id: z.ZodString;
            name: z.ZodString;
            serverUrl: z.ZodString;
            webappUrl: z.ZodString;
            lastUsedAt: z.ZodOptional<z.ZodNumber>;
        }, z.core.$loose>;
    }, z.core.$loose>;
}, z.core.$loose>;
export declare const ServerTestEnvelopeSchema: z.ZodObject<{
    v: z.ZodLiteral<1>;
    ok: z.ZodLiteral<true>;
    kind: z.ZodLiteral<"server_test">;
    data: z.ZodDiscriminatedUnion<[z.ZodObject<{
        ok: z.ZodLiteral<true>;
        url: z.ZodString;
        version: z.ZodNullable<z.ZodString>;
    }, z.core.$loose>, z.ZodObject<{
        ok: z.ZodLiteral<false>;
        url: z.ZodString;
        status: z.ZodNullable<z.ZodNumber>;
        error: z.ZodString;
    }, z.core.$loose>], "ok">;
}, z.core.$loose>;
export declare const ServerSetEnvelopeSchema: z.ZodObject<{
    v: z.ZodLiteral<1>;
    ok: z.ZodLiteral<true>;
    kind: z.ZodLiteral<"server_set">;
    data: z.ZodObject<{
        active: z.ZodObject<{
            id: z.ZodString;
            name: z.ZodString;
            serverUrl: z.ZodString;
            webappUrl: z.ZodString;
            lastUsedAt: z.ZodOptional<z.ZodNumber>;
        }, z.core.$loose>;
    }, z.core.$loose>;
}, z.core.$loose>;
export declare const ServerControlErrorSchema: z.ZodObject<{
    code: z.ZodEnum<{
        conflict: "conflict";
        unsupported: "unsupported";
        timeout: "timeout";
        execution_run_not_allowed: "execution_run_not_allowed";
        execution_run_not_found: "execution_run_not_found";
        execution_run_action_not_supported: "execution_run_action_not_supported";
        execution_run_invalid_action_input: "execution_run_invalid_action_input";
        execution_run_stream_not_found: "execution_run_stream_not_found";
        run_depth_exceeded: "run_depth_exceeded";
        not_authenticated: "not_authenticated";
        server_unreachable: "server_unreachable";
        session_not_found: "session_not_found";
        session_id_ambiguous: "session_id_ambiguous";
        session_active: "session_active";
        invalid_arguments: "invalid_arguments";
        unknown_error: "unknown_error";
        already_exists: "already_exists";
    }>;
    message: z.ZodOptional<z.ZodString>;
    details: z.ZodOptional<z.ZodUnknown>;
}, z.core.$loose>;
export declare const ServerControlEnvelopeSuccessSchema: z.ZodObject<{
    v: z.ZodLiteral<1>;
    ok: z.ZodLiteral<true>;
    kind: z.ZodString;
    data: z.ZodUnknown;
}, z.core.$loose>;
export declare const ServerControlEnvelopeErrorSchema: z.ZodObject<{
    v: z.ZodLiteral<1>;
    ok: z.ZodLiteral<false>;
    kind: z.ZodString;
    error: z.ZodObject<{
        code: z.ZodEnum<{
            conflict: "conflict";
            unsupported: "unsupported";
            timeout: "timeout";
            execution_run_not_allowed: "execution_run_not_allowed";
            execution_run_not_found: "execution_run_not_found";
            execution_run_action_not_supported: "execution_run_action_not_supported";
            execution_run_invalid_action_input: "execution_run_invalid_action_input";
            execution_run_stream_not_found: "execution_run_stream_not_found";
            run_depth_exceeded: "run_depth_exceeded";
            not_authenticated: "not_authenticated";
            server_unreachable: "server_unreachable";
            session_not_found: "session_not_found";
            session_id_ambiguous: "session_id_ambiguous";
            session_active: "session_active";
            invalid_arguments: "invalid_arguments";
            unknown_error: "unknown_error";
            already_exists: "already_exists";
        }>;
        message: z.ZodOptional<z.ZodString>;
        details: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$loose>;
}, z.core.$loose>;
//# sourceMappingURL=contract.d.ts.map