import { Effect } from 'effect';
import { SnapshotIncompatible } from '../../../snapshot/index.js';
import type { TableSnapshot } from '../../../snapshot/index.js';
import type { StdTableContract } from '../contract/index.js';
import { DatabaseError } from '../error/index.js';
/**
 * Reads the enforcement baseline stored inside the table itself, diffs it
 * against the table's current, code-derived snapshot, and keeps the baseline
 * current when the diff is safe. A `breaking` or `unverifiable` change
 * rejects — the baseline is never written in that case, so a live table
 * cannot silently absorb a change it cannot prove is compatible. This is
 * independent of the file-based CLI lint: it needs nothing outside the table
 * itself to protect a deployed table.
 */
export declare function verifyTableSnapshot(contract: StdTableContract, current: TableSnapshot): Effect.Effect<void, DatabaseError | SnapshotIncompatible>;
//# sourceMappingURL=enforcement.d.ts.map