import { type BaselineEvidenceLock } from "../baseline-evidence/schema.js";
export interface LockMigrationDiff {
    sourceId: string;
    componentId: string;
    detail: string;
}
export interface LockMigrationReport {
    ok: boolean;
    diffs: LockMigrationDiff[];
}
/**
 * Assert that `next` differs from `prior` ONLY in every component's
 * `aih-native` analyzer version string (rewritten to `nextIdentity`, default
 * the live `nativeAnalyzerIdentity()`). Any other difference — verdict,
 * findings, treeSha256, paths, a non-`aih-native` analyzer version, component
 * or source ordering, or a pin rebind — is a genuine migration failure: the
 * full re-vet changed something beyond the identity format, and the PR must
 * stop (design Decision 2's verdict-stability proof, issue #444).
 */
export declare function assertIdentityOnlyLockMigration(prior: BaselineEvidenceLock, next: BaselineEvidenceLock, nextIdentity?: string): LockMigrationReport;