import type { Theme } from "@earendil-works/pi-coding-agent"; import type { Component, TUI } from "@earendil-works/pi-tui"; import type { GoalState } from "./goal-contract.ts"; export declare class GoalWidget implements Component { private readonly tui; private readonly theme; private readonly getState; private readonly isAuditing; constructor(tui: TUI, theme: Theme, getState: () => GoalState, isAuditing: () => boolean); update(): void; render(width: number): string[]; invalidate(): void; }