import { z } from "zod";
import type { JsonObject } from "../contracts/json-object.js";
export declare const attributedReadArgsSchema: z.ZodObject<{
    path: z.ZodString;
}, z.core.$catchall<z.ZodUnknown>>;
declare const safeReadObservationResultSchema: z.ZodObject<{
    projection: z.ZodEnum<{
        diff: "diff";
        outline: "outline";
        content: "content";
        cache_hit: "cache_hit";
    }>;
    reason: z.ZodOptional<z.ZodString>;
}, z.core.$catchall<z.ZodUnknown>>;
declare const fileOutlineObservationResultSchema: z.ZodObject<{
    reason: z.ZodOptional<z.ZodString>;
    error: z.ZodOptional<z.ZodString>;
}, z.core.$catchall<z.ZodUnknown>>;
declare const readRangeObservationResultSchema: z.ZodObject<{
    content: z.ZodString;
    startLine: z.ZodNumber;
    endLine: z.ZodNumber;
    reason: z.ZodOptional<z.ZodString>;
}, z.core.$catchall<z.ZodUnknown>>;
export type AttributedReadArgs = z.infer<typeof attributedReadArgsSchema>;
export type SafeReadObservationResult = z.infer<typeof safeReadObservationResultSchema>;
export type FileOutlineObservationResult = z.infer<typeof fileOutlineObservationResultSchema>;
export type ReadRangeObservationResult = z.infer<typeof readRangeObservationResultSchema>;
export declare function parseAttributedReadArgs(args: JsonObject): AttributedReadArgs | null;
export declare function parseSafeReadObservationResult(result: JsonObject): SafeReadObservationResult | null;
export declare function parseFileOutlineObservationResult(result: JsonObject): FileOutlineObservationResult | null;
export declare function parseReadRangeObservationResult(result: JsonObject): ReadRangeObservationResult | null;
export {};
//# sourceMappingURL=workspace-read-observation-model.d.ts.map