/**
 * Lemma API v2 — POST /v2/verify (Lane C)
 *
 * Batch ids + currentEvidence → per-id state, no search round trip. `currentEvidence`
 * is required by the frozen contract (docs/api/openapi.yaml VerifyRequest) — unlike
 * /v2/recall there is no "no evidence supplied" case to default.
 *
 * An id that doesn't resolve (unknown, or owned by another tenant — `listByIds` is
 * tenant-scoped so both look identical) maps to `unverified`. `MemoryState` (frozen
 * in src/contracts/api-v2.types.ts) has no `unknown` member, so this is the
 * fail-closed answer within the actual contract, and it never reveals whether the
 * id exists under a different tenant.
 *
 * Ownership: Lane C.
 */
import type { RequestHandler } from 'express';
import { z } from 'zod';
import type { BrainStore } from '../../../contracts/store';
export declare const VerifyRequestSchema: z.ZodObject<{
    ids: z.ZodArray<z.ZodString>;
    currentEvidence: z.ZodObject<{
        files: z.ZodRecord<z.ZodString, z.ZodString>;
        symbols: z.ZodRecord<z.ZodString, z.ZodString>;
        symbolsNormalized: z.ZodRecord<z.ZodString, z.ZodString>;
        branch: z.ZodOptional<z.ZodString>;
        commit: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>;
}, z.core.$strip>;
export interface VerifyDeps {
    store: Pick<BrainStore, 'listByIds'>;
}
/** POST /v2/verify */
export declare function verifyHandler(deps: VerifyDeps): RequestHandler;
export default verifyHandler;
//# sourceMappingURL=verify.d.ts.map