/**
 * ANL-REQUIRE-EXISTENCE — flag `requires:` entries that merely restate what the
 * action signature or CURVED semantics already guarantee (parameter-presence,
 * entity-existence, connection-init) rather than a genuine business
 * precondition. The opus/marrbox over-restatement signature on large specs
 * (opus idle-meta: 94 requires vs sonnet's 14, dominated by "A user id is
 * provided", "MongoDB connection has been initialized", "Referenced Game
 * exists"): prompt-resistant under the #92 additive-only prompt → wants the
 * deterministic verifier. The analog of ANL-EVENT-NONDOMAIN, for `requires`.
 *
 * Treatment is auto-reemit (LLM judgment), NOT a deterministic delete: a
 * borderline precondition might encode a real constraint, so we ask the model
 * to drop the restatement rather than silently removing spec content. The
 * detector is conservative — substantive guards (format/value validity,
 * environment capability, lifecycle state) are not matched (see detectors.ts).
 */
import type { AnalyseVerifier } from '../types.js';
export declare const REQUIRE_EXISTENCE_VERIFIER: AnalyseVerifier;
//# sourceMappingURL=require-existence.d.ts.map