/**
 * KHAELOR
 * File: src/verify/index.ts
 * Description: Public surface of the native-verification module (v2 design §4).
 *
 * Author: Simon-Pierre Boucher
 * Contact: contact@spboucher.ai
 */

export {
  DEFAULT_MAX_REPAIR_LOOPS,
  VERIFY_FILE,
  detectVerifyChecks,
  loadVerifyConfig,
  parseVerifyConfig,
} from "./config.js";
export type { VerifyCheck, VerifyConfig, VerifyPolicy } from "./config.js";
export { VerifyRunner, countRepairFailures, truncateErrorsFirst } from "./runner.js";
export type { VerifyOutcome, VerifyRunnerOptions, VerifySessionHandle } from "./runner.js";