/**
 * Sheets boundary adapter over the neutral CAS-evidence postcondition
 * classifier.
 *
 * Recovery probes classify one effect against a fresh target+receipt read.
 * The Sheets context model (anchor/identity row lookup, working-row hashes,
 * deletion-ness, route validation) stays provider-owned here; the
 * applied/unapplied/changed/unavailable decision lives in the kernel
 * (`@hikoutei/ikisaki` `evidence/postcondition.ts`). This module builds the
 * neutral evidence views from the context and maps the verdict onto the
 * Sheets postcondition contract.
 */
import type { SyncEffectPostcondition, SyncProjectionEffect } from "../../../../contracts/sheets/syncSheets.js";
import type { PreflightContext, PreflightReceipt } from "./preflightTypes.js";
/**
 * Classifies one effect's delivery state. `context` must come from the same
 * read pass as `receipts` so the classification is a single consistent view.
 */
export declare function classifyPostcondition(context: PreflightContext, effect: SyncProjectionEffect, receipts: ReadonlyMap<string, PreflightReceipt>): SyncEffectPostcondition;
/**
 * Locates the row number the probe's `findProbeRow` will classify for one
 * effect, against a preflight context (anchor first, then identity, then the
 * targetId tail). Returns `undefined` when the context holds no candidate
 * row. The recovery probe uses this to build its scoped row-band read: a row
 * that cannot be located needs no band (its absence is itself the evidence
 * `classifyPostcondition` consumes).
 */
export declare function probeTargetRowNumber(context: PreflightContext, effect: SyncProjectionEffect): number | undefined;
//# sourceMappingURL=postcondition.d.ts.map