/**
 * Analyse-verify manifest — the registry of quality verifiers + the runner
 * that filters by `enabledByDefault` + an enable-override set, mirroring
 * `realize/post-emit-verify/verifier-manifest.ts`.
 */
import type { AnalyseVerifier, AnalyseVerifyContext, VerifyFinding } from './types.js';
export declare const ANALYSE_VERIFIERS: AnalyseVerifier[];
/** Run all applicable + enabled verifiers, collecting their findings.
 *
 *  A verifier runs when: it is enabledByDefault (none are in v1) OR its id is
 *  in `enabledOverrides`, AND `applies(ctx)` is true. A verifier that throws is
 *  isolated (its error becomes a note) so one bad rule can't abort the pass. */
export declare function runAllAnalyseVerifiers(ctx: AnalyseVerifyContext, enabledOverrides?: Set<string>): {
    findings: VerifyFinding[];
    notes: string[];
};
/** Parse the `SPECVERSE_ANALYSE_VERIFY_ENABLE` env into an override set.
 *  Comma-separated verifier ids; empty / unset → undefined (nothing enabled,
 *  since no verifier is enabledByDefault in v1). */
export declare function parseEnabledOverrides(env: string | undefined): Set<string> | undefined;
//# sourceMappingURL=verifier-manifest.d.ts.map