export declare const DEFAULT_SUCCESS = "the task is implemented and its own verification passes";
export declare const MAX_GOAL_LINE_CHARS = 3000;
export declare function capGoalLine(text: string): string;
export declare function normalizeGoalLine(value: string, fallback: string): string;
/**
 * Build a launch prompt in objective format. Leads with `Objective: <objective>`, then a
 * `Done when:` success line, then the full task body. Objective and success are
 * collapsed to a single line each and capped under the backend's 4000-char goal
 * limit. The full detail stays in the body.
 */
export declare function formatGoalPrompt(input: {
    goal: string;
    success: string;
    body: string;
}): string;
/**
 * Derive a one-line objective from a task statement when none is given: the
 * first non-empty line, trimmed for prompt budget. If the task is already in
 * goal format (a prior wrap), recover the real objective from the goal line.
 */
export declare function deriveGoal(task: string): string;
/**
 * Recover the success / done-when condition from a task that is already in
 * goal format (leads with `Objective: ...`, legacy `Goal: ...`, or legacy
 * `/goal ...`, then `Done when: ...`).
 * Returns undefined when no `Done when:` line is present.
 */
export declare function extractSuccess(task: string): string | undefined;
/**
 * Derive a success condition. Prefer caller-supplied criteria (e.g. the
 * acceptance criteria); otherwise fall back to the default stopping condition.
 */
export declare function deriveSuccess(criteria?: string[]): string;
