import type { CallShape, Diagnostic, DiagnosticCode } from "../../../core/domain/facts/diagnostic.js";
/** The core of a diagnostic, which is all a baseline entry carries. */
export type BaselineEntry = {
    readonly code: DiagnosticCode;
    readonly canonical_callee: string;
    readonly canonical_call_shape: CallShape;
};
export type RatchetVerdict = {
    /** Cores the run emitted that the baseline does not list. */
    readonly unlisted: readonly BaselineEntry[];
    /** Entries that suppress nothing, including any naming a mandatory code. */
    readonly stale: readonly BaselineEntry[];
};
/**
 * The ratchet of project-map:BEH-014. A mandatory check diagnostic is outside
 * it in both directions: the baseline cannot suppress one, and listing one is
 * how an entry goes stale.
 */
export declare function ratchet(diagnostics: readonly Diagnostic[], baseline: readonly BaselineEntry[]): RatchetVerdict;
export declare function isRatchetClean(verdict: RatchetVerdict): boolean;