import type { GraphClaim, ResolvedProfileContext } from './compiler.js';
import type { ProjectionResult } from './projection.js';
export declare const coreLocalKind: (kind: string, lineages: ReadonlyMap<string, readonly string[]> | undefined) => string | undefined;
export declare const isDeclaredNonGoal: (kind: string | undefined, status: string | undefined, lineages: ReadonlyMap<string, readonly string[]> | undefined) => boolean;
export declare function renderBrief(result: ProjectionResult, profileContext?: ResolvedProfileContext, budgetTokens?: number, workspaceClaims?: readonly GraphClaim[]): string;