/**
 * @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 { type PostEmitVerifier, type VerifyContext, type VerifyError, type VerifyResult, type OwnerMapping, type TreatmentStrategy, type TreatmentSelector, type SpecGapEntry, } from './types.js';
export { VERIFIERS, runAllVerifiers, findVerifier, } from './verifier-manifest.js';
export { runPostEmitFeedback, defaultMapFileToOwner, defaultTreatmentSelector, type Reemit, type ReemitRequest, type FeedbackRunOptions, type FeedbackRunResult, type PassResult, } from './feedback-runner.js';
export { TSC_VERIFIER } from './verifiers/tsc.js';
export { buildLlmReemit, formatFeedbackPrompt, type BuildReemitOptions, } from './reemit.js';
export { runDiagnostics, formatSummaryLine, appendSpecGaps, formatSpecGapLine, type RealizeQualitySidecar, type RealizeQualitySummary, type OwnerQualityEntry, type OwnerStubIssue, } from './diagnostics.js';
export { STUB_COMPLETENESS_VERIFIER } from './verifiers/stub-completeness.js';
//# sourceMappingURL=index.d.ts.map