import type { TerminalModelControlPlan } from "./terminal-model-control-profile.js";
import type { TerminalModelControlPorts, TerminalModelControlCapture, TerminalModelControlObservation, TerminalModelReasoningEffort, TerminalModelSwitchRequest } from "./terminal-model-control-contract.js";
/** Agent-specific selection paths share input proofs, not commit semantics. */
export declare function inspectClaudeModelEfforts(input: {
    plan: TerminalModelControlPlan;
    ports: TerminalModelControlPorts;
}, terminalControl: unknown, picker: Extract<TerminalModelControlObservation, {
    state: "claude_model_picker";
}>, model: string): Promise<{
    capture: TerminalModelControlCapture;
    observation: Extract<TerminalModelControlObservation, {
        state: "claude_model_picker";
    }>;
    reasoningEfforts: readonly TerminalModelReasoningEffort[];
}>;
export declare function applyCodexModelSelection(input: {
    plan: TerminalModelControlPlan;
    ports: TerminalModelControlPorts;
}, terminalControl: unknown, picker: Extract<TerminalModelControlObservation, {
    state: "codex_model_picker";
}>, request: TerminalModelSwitchRequest, beforeCommitAttempt: () => void): Promise<{
    capture: TerminalModelControlCapture;
    observation: TerminalModelControlObservation;
}>;
export declare function applyClaudeModelSelection(input: {
    plan: TerminalModelControlPlan;
    ports: TerminalModelControlPorts;
}, terminalControl: unknown, picker: Extract<TerminalModelControlObservation, {
    state: "claude_model_picker";
}>, request: TerminalModelSwitchRequest, beforeCommitAttempt: () => void, onControlObserved: (control: unknown) => void): Promise<{
    capture: TerminalModelControlCapture;
    observation: TerminalModelControlObservation;
}>;