/**
 * Selector postconditions, surfaced as recipe `VerifyCheck` entries after fill.
 *
 * Phase 1 supports three:
 *  - `no_unresolved_placeholder` — the field's `{field_id}` tag did not survive
 *    to the output (every occurrence filled).
 *  - `all_occurrences_identical` — the field renders one value everywhere: its
 *    value is present and no selector-owned source anchor for the field remains
 *    (a remaining anchor means an occurrence rendered differently → divergence).
 *  - `no_double_dollar` — no `$$` / `$ $` artifact in the output.
 */
import type { VerifyCheck } from '../recipe/types.js';
import type { FieldSelectorManifest } from './manifest-schema.js';
export interface PostconditionInput {
    /** Full extracted text of the filled output. */
    outputText: string;
    manifests: FieldSelectorManifest[];
    /** Filled value per field_id (for `all_occurrences_identical`). */
    fieldValues: Record<string, string>;
    /** Selector-owned source anchor strings per field_id (migrated-key search texts). */
    migratedAnchorsByField: Record<string, string[]>;
}
export declare function evaluatePostconditions(input: PostconditionInput): VerifyCheck[];
//# sourceMappingURL=postconditions.d.ts.map