import { Type } from "typebox";
import { type PromotionFinding } from "../promote/index.js";
import type { PathInputFinding } from "../schema/findings.js";
declare const MAX_RENDERED_TEXT = 4000;
export type WorkPromoteFinding = PromotionFinding | PathInputFinding;
export interface WorkPromoteDetails {
    draftPath: string;
    specPath: string;
    valid: boolean;
    written: boolean;
    errorCount: number;
    warningCount: number;
    findings: WorkPromoteFinding[];
    truncated: boolean;
}
export declare const workPromoteTool: import("@earendil-works/pi-coding-agent").ToolDefinition<Type.TObject<{
    draftPath: Type.TString;
    specPath: Type.TString;
}>, unknown, any> & import("@earendil-works/pi-coding-agent").ToolDefinition<any, any, any>;
export { MAX_RENDERED_TEXT };