import { Type } from "typebox";
import { type CriterionAmendmentFailureCode } from "../amend/index.js";
import { type Finding } from "../schema/findings.js";
import type { CriterionAmendment } from "../schema/workspec.js";
export type WorkAmendCriterionFailureCode = CriterionAmendmentFailureCode | "absolute-path" | "read-error" | "write-error";
export interface WorkAmendCriterionDetails {
    path: string;
    criterionId: string;
    written: boolean;
    amendment?: CriterionAmendment;
    failure?: {
        code: WorkAmendCriterionFailureCode;
        message: string;
    };
    findings: Finding[];
}
export declare const workAmendCriterionTool: import("@earendil-works/pi-coding-agent").ToolDefinition<Type.TObject<{
    path: Type.TString;
    criterionId: Type.TString;
    before: Type.TString;
    after: Type.TString;
    reason: Type.TString;
    authority: Type.TString;
}>, unknown, any> & import("@earendil-works/pi-coding-agent").ToolDefinition<any, any, any>;