import type { GateImpl, SettleContext } from './types.js';
/**
 * Phase 140: is deep-verify actually going to do real work this settle?
 * Exported so the registry's gate-provenance collection (Task 7) can
 * classify "invoked but no-op" without duplicating this condition.
 */
export declare function isDeepVerifyRequested(ctx: SettleContext): boolean;
/**
 * Deep verifier gate (Phase 15). Extracted from settle.ts verbatim. Fires on
 * --deep OR membership('deep-verify'); skipped under --auto=false.
 */
export declare const runDeepVerifyGate: GateImpl;
//# sourceMappingURL=deep-verify.d.ts.map