import { z } from 'zod';
import type { ComputerAction, ComputerObservation, ComputerReceipt } from '@xopcai/computer-control-contract';
export declare const ComputerExpectationSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    kind: z.ZodLiteral<"text">;
    text: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"field">;
    label: z.ZodString;
    value: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"selected">;
    label: z.ZodString;
}, z.core.$strict>], "kind">;
export type ComputerExpectation = z.infer<typeof ComputerExpectationSchema>;
export type ComputerVerification = {
    status: 'satisfied' | 'not_met' | 'unavailable';
    source: 'accessibility';
    scope: 'expectation';
    preexisting?: boolean;
};
/** Verify only caller-specified conditions against scoped native evidence, never model prose. */
export declare function verifyComputerExpectation(expectation: ComputerExpectation | undefined, observation?: ComputerObservation, before?: ComputerObservation): ComputerVerification | undefined;
export interface ComputerHistoryEntry {
    goal: string;
    action: ComputerAction['kind'];
    actionPreview: string;
    dispatch: ComputerReceipt['dispatch'];
    outcome: ComputerReceipt['outcome'];
    after: string;
    afterStateDigest?: string;
    verification?: ComputerVerification;
}
/** Session-local bounded text only. Screenshots and provider responses never enter history. */
export declare class ComputerTaskState {
    readonly history: ComputerHistoryEntry[];
    private repeated?;
    assertProgress(action: ComputerAction, observation: ComputerObservation): void;
    record(goal: string, action: ComputerAction, before: ComputerObservation, receipt: ComputerReceipt, after?: ComputerObservation, verification?: ComputerVerification): void;
    clear(): void;
}