import type { OccWholeDiffClassifier, OccWholeDiffFileClassifierInput, OccWholeDiffFileEvidence } from './api-types.js';
export declare const WHOLE_DIFF_SEMANTIC_PROOF: "whole-file-cst-v4";
/**
 * Comments are grammar nodes, not text matched by a language-agnostic lexer.
 * Keep this list explicit: silently guessing a comment node would turn a
 * grammar update into a stronger proof than this version specifies.
 */
export declare const WHOLE_DIFF_COMMENT_NODE_TYPES: Readonly<Record<string, readonly string[]>>;
/** Return the vendored whole-file grammar selected solely from a valid path. */
export declare function resolveWholeDiffGrammar(relativePath: string): string | null;
/**
 * Classify one raw changed-file ledger row.
 *
 * `logic-change` means proved non-trivia structural source drift. It does not
 * claim observational program inequivalence. `cosmetic-change` means the V4
 * trivia policy admitted a token-identical whitespace or ordinary-comment
 * change; directives and unsafe language-specific whitespace fail closed.
 */
export declare function classifyWholeDiffFile(input: OccWholeDiffFileClassifierInput): Promise<OccWholeDiffFileEvidence>;
/** Aggregate every raw ledger row asymmetrically into the authoritative proof. */
export declare const classifyWholeDiffSemantics: OccWholeDiffClassifier;
