import type { LoopBudget, ReceiptScope } from "../contracts/index.js";
import { type RenderEnvironment } from "./theme.js";
export type PlanStageState = "READY" | "BLOCKED" | "NEXT" | "CONDITIONAL";
export interface GovernedPlanStage {
    label: string;
    state: PlanStageState;
    gate: string;
    purpose: string;
}
export interface GovernedRunPlanView {
    ready: boolean;
    task: string;
    engine: string;
    mode: "live" | "proof";
    budget: LoopBudget;
    verifier: string[];
    receiptScope: ReceiptScope;
    policyProfile: string;
    blockingIssues: string[];
    warnings: string[];
    stages: GovernedPlanStage[];
}
export declare function buildGovernedPlanStages(input: Pick<GovernedRunPlanView, "ready" | "engine" | "verifier" | "blockingIssues">): GovernedPlanStage[];
export declare function renderGovernedRunPlan(input: GovernedRunPlanView, options?: {
    width?: number;
    environment?: RenderEnvironment;
}): string;
/**
 * Renders a GovernedRunPlanView as plain Markdown (no ANSI).
 */
export declare function renderGovernedRunPlanMarkdown(input: GovernedRunPlanView, options?: {
    includeStatus?: boolean;
}): string;