import { z } from "zod";
import type { McpServer, RegisteredTool } from "@modelcontextprotocol/sdk/server/mcp.js";
import type { ToolContext } from "../tool-context.js";
export declare const TOOL_NAME = "crosspad_console";
/** Spec §4.3: console reads capped at 2 000 lines per call. */
export declare const MAX_INLINE_LINES = 2000;
export declare function consoleLogUri(device: string): string;
export declare const ConsoleInputShape: {
    action: z.ZodEnum<{
        snapshot: "snapshot";
        read: "read";
        reset: "reset";
        close: "close";
        open: "open";
        expect: "expect";
    }>;
    device: z.ZodOptional<z.ZodString>;
    reset: z.ZodOptional<z.ZodBoolean>;
    log_to: z.ZodOptional<z.ZodString>;
    handle: z.ZodOptional<z.ZodString>;
    since_seq: z.ZodOptional<z.ZodNumber>;
    wait_ms: z.ZodOptional<z.ZodNumber>;
    match: z.ZodOptional<z.ZodString>;
    limit: z.ZodOptional<z.ZodNumber>;
    patterns: z.ZodOptional<z.ZodArray<z.ZodString>>;
    reject: z.ZodOptional<z.ZodArray<z.ZodString>>;
    timeout_ms: z.ZodOptional<z.ZodNumber>;
};
export declare const ConsoleInput: z.ZodDiscriminatedUnion<[z.ZodObject<{
    action: z.ZodLiteral<"open">;
    device: z.ZodOptional<z.ZodString>;
    reset: z.ZodOptional<z.ZodBoolean>;
    log_to: z.ZodOptional<z.ZodString>;
}, z.core.$strip>, z.ZodObject<{
    action: z.ZodLiteral<"read">;
    handle: z.ZodString;
    since_seq: z.ZodOptional<z.ZodNumber>;
    wait_ms: z.ZodOptional<z.ZodNumber>;
    match: z.ZodOptional<z.ZodString>;
    limit: z.ZodOptional<z.ZodNumber>;
}, z.core.$strip>, z.ZodObject<{
    action: z.ZodLiteral<"expect">;
    handle: z.ZodString;
    patterns: z.ZodArray<z.ZodString>;
    reject: z.ZodOptional<z.ZodArray<z.ZodString>>;
    timeout_ms: z.ZodOptional<z.ZodNumber>;
}, z.core.$strip>, z.ZodObject<{
    action: z.ZodLiteral<"reset">;
    handle: z.ZodString;
}, z.core.$strip>, z.ZodObject<{
    action: z.ZodLiteral<"snapshot">;
    handle: z.ZodString;
}, z.core.$strip>, z.ZodObject<{
    action: z.ZodLiteral<"close">;
    handle: z.ZodString;
}, z.core.$strip>], "action">;
export type ConsoleArgs = z.infer<typeof ConsoleInput>;
export declare const O_Console: {
    success: z.ZodBoolean;
    action: z.ZodOptional<z.ZodString>;
    device: z.ZodOptional<z.ZodString>;
    handle: z.ZodOptional<z.ZodString>;
    port: z.ZodOptional<z.ZodString>;
    log_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
    log_uri: z.ZodOptional<z.ZodString>;
    lines: z.ZodOptional<z.ZodArray<z.ZodTuple<[z.ZodNumber, z.ZodString], null>>>;
    next_seq: z.ZodOptional<z.ZodNumber>;
    lines_lost: z.ZodOptional<z.ZodNumber>;
    truncated: z.ZodOptional<z.ZodBoolean>;
    hit: z.ZodOptional<z.ZodNullable<z.ZodString>>;
    rejected: z.ZodOptional<z.ZodNullable<z.ZodString>>;
    seq: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
    context: z.ZodOptional<z.ZodArray<z.ZodString>>;
    elapsed_s: z.ZodOptional<z.ZodNumber>;
    ts: z.ZodOptional<z.ZodNumber>;
    error: z.ZodOptional<z.ZodObject<{
        code: z.ZodString;
        message: z.ZodString;
        hint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
        details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$loose>>;
    details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    snapshot: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    fatals: z.ZodOptional<z.ZodArray<z.ZodUnknown>>;
    reboots: z.ZodOptional<z.ZodNumber>;
    cdc_drops: z.ZodOptional<z.ZodNumber>;
    resultType: z.ZodOptional<z.ZodString>;
    confirmation: z.ZodOptional<z.ZodObject<{
        token: z.ZodString;
        expires_in_s: z.ZodNumber;
        summary: z.ZodString;
    }, z.core.$strip>>;
    tool: z.ZodOptional<z.ZodString>;
    hint: z.ZodOptional<z.ZodString>;
};
/** Where a console log goes when the caller did not choose: hil_logs/console_<device>_<ts>.log */
export declare function defaultConsoleLogPath(device: string, now?: number): string;
export declare function registerConsoleTool(server: McpServer, ctx: ToolContext): RegisteredTool;