/** Implementation and semantic repair share the same bounded work allowance. */
export declare const IMPLEMENTATION_TIMEOUT_MS: number;
/** Verification planning allows one full correction turn beyond the observed 15-minute failure. */
export declare const VERIFICATION_PLANNING_TIMEOUT_MS: number;