export declare const LOCKED_CODEX_CONFIG = "examples/codex/ab/context-broker-locked.config.toml";
export interface CodexProbeResult {
    bin: string;
    found: boolean;
    onPath: boolean;
    version?: string;
    error?: string;
}
export declare function printCodexNotFoundHints(codexBin: string): void;
export declare function isCodexSpawnError(error: unknown): boolean;
export declare function resolveCodexOnPath(): {
    onPath: boolean;
    resolvedPath?: string;
};
export declare function probeCodexBin(bin: string): CodexProbeResult;
export declare function lockedRepeatCommand(repoRoot?: string, codexBin?: string): string;
export declare function buildLockedProofCommands(repoRoot: string, codexBin?: string): string[];
export declare function lockedConfigPath(repoRoot: string): string;