import type { ActiveRun, KdPhase } from "./types.ts";
export type KdLedgerEventType = "run.created" | "run.switched" | "run.finished" | "context.recorded" | "question.asked" | "question.answered" | "fact.revised" | "product.updated" | "risk.updated" | "mode.updated" | "artifact.updated" | "phase.advance.blocked" | "phase.advanced" | "gate.refreshed" | "input.received" | "input.auto_answered" | "tool.blocked" | "tool.succeeded" | "tool.result.recorded" | "action.committed" | "write.transaction.recorded" | "source.anchor.recorded" | "verify.recorded";
export interface KdLedgerEvent {
    seq: number;
    type: KdLedgerEventType;
    runId: string;
    phase: KdPhase;
    timestamp: string;
    summary: string;
    data?: Record<string, unknown>;
}
export declare function appendLedgerEvent(cwd: string, run: ActiveRun, input: Omit<KdLedgerEvent, "seq" | "runId" | "phase" | "timestamp"> & {
    phase?: KdPhase;
}): KdLedgerEvent;
export declare function readLedgerEvents(cwd: string, run: ActiveRun): KdLedgerEvent[];
export declare function formatLedgerEvents(events: KdLedgerEvent[], limit?: number): string;