import type { OccEntityDiffResult, OccEntityDiffSemanticSummary } from './api-types.js';
/**
 * Classify exactly what an entity diff's emitted evidence proves.
 *
 * Counts intentionally come from `structuralChange`, not change names or flags.
 * A proved logic change remains proved under partial coverage, while a semantic
 * no-op requires complete evidence across every observed axis.
 */
export declare function classifyEntityDiffSemantics(result: Pick<OccEntityDiffResult, 'status' | 'changes' | 'truncated' | 'omitted' | 'diagnostics'>): OccEntityDiffSemanticSummary;
