/**
 * @specverse/engines/realize/post-emit-verify — post-emit verification
 * + feedback runner.
 *
 * Generic framework for running compile / lint / typecheck verifiers
 * on the realized output and feeding errors back to the LLM for a
 * surgical fix pass.
 *
 * See `specverse-self/docs/proposals/...` (TBD) for the design rationale
 * + empirical evidence from idle-meta 2026-05-13.
 */
export { VERIFIERS, runAllVerifiers, findVerifier, } from './verifier-manifest.js';
export { runPostEmitFeedback, defaultMapFileToOwner, defaultTreatmentSelector, } from './feedback-runner.js';
export { TSC_VERIFIER } from './verifiers/tsc.js';
export { buildLlmReemit, formatFeedbackPrompt, } from './reemit.js';
export { runDiagnostics, formatSummaryLine, appendSpecGaps, formatSpecGapLine, } from './diagnostics.js';
export { STUB_COMPLETENESS_VERIFIER } from './verifiers/stub-completeness.js';
//# sourceMappingURL=index.js.map