import type { VerifyCheck } from './registry.js';
/** The physical name of a plugin's logical table: dj_<slug>_<table>, hyphens
 *  folded to underscores (a slug may carry '-', SQL identifiers may not).
 *  Deliberately outside node/edge/cite/row_ so the projection RESET can never
 *  touch a plugin's rows (§4), and prefixed per plugin so two plugins can
 *  never contend for one name. */
export declare function physicalTable(plugin: string, table: string): string;
/** One runnable postcondition: the host executes `sql` and hands the rows to
 *  `passes` — true keeps the migration, false throws with `describe` and the
 *  marker is withheld (L15's one transaction, the 2026-08-12 lesson kept). */
export interface VerifyProbe {
    sql: string;
    passes(rows: Array<Record<string, unknown>>): boolean;
    describe: string;
}
/** VerifyCheck → probe. Three kinds, all answered from SQLite's own catalog —
 *  no engine state, no schema cache, nothing the host could hold stale. */
export declare function compileVerify(check: VerifyCheck): VerifyProbe;