interface KernelStartOptions {
    socketPath?: string;
    httpPort?: number;
    pidFile?: string;
    noHttp?: boolean;
    /** Path to designlint.config.* — when provided, tokens are loaded into the kernel on startup. */
    configPath?: string;
    /**
     * When true, suppress stdout progress messages. Errors still go to stderr.
     * Used by auto-launch from prepareEnvironment so kernel startup messages do
     * not corrupt formatter output (e.g. JSON) on stdout.
     */
    quiet?: boolean;
    /**
     * Path to the ready sentinel file. The daemon writes this file after token
     * bootstrap completes. kernelStart() polls for it instead of the PID file
     * so it only returns once the kernel's token graph is fully populated.
     * Defaults to <socketPath>.ready.
     */
    readyFile?: string;
}
interface KernelStatusOptions {
    pidFile?: string;
}
interface KernelStopOptions {
    pidFile?: string;
    socketPath?: string;
}
/**
 * Start the DSR kernel daemon in the background.
 */
export declare function kernelStart(options: KernelStartOptions): void;
/**
 * Stop the running kernel daemon by sending SIGTERM.
 */
export declare function kernelStop(options: KernelStopOptions): void;
/**
 * Print the current kernel status to stdout.
 */
export declare function kernelStatus(options: KernelStatusOptions): void;
export {};
//# sourceMappingURL=kernel.d.ts.map