/**
 * Two-way testing: one goal, judged by the coding agent and by the Harness, compared.
 *
 * The agent pass answers "does it work?"; the Harness, starting with one sentence and no context,
 * answers "can someone who has never seen it find out how?". The comparison is the product: an agent
 * that proved a goal the Harness could not find is a discoverability finding, not noise and not a
 * defect. Carried on a Harness run's artifact and on the explore tool's answer.
 */
import { z } from 'zod';
/** How the two verdicts on one goal compare. */
export declare const DisparityKind: {
    /** Both proved it: it works, and someone new can find it. */
    readonly FINDABLE: "findable";
    /** The agent proved it; the Harness searched and could not find it. */
    readonly DISCOVERABILITY: "discoverability";
    /** The Harness proved what the agent saw fail: look at the agent's assumption. */
    readonly AGENT_ASSUMPTION: "agent_assumption";
    /** The agent saw it fail and the Harness did not prove it: a defect. */
    readonly DEFECT: "defect";
};
export type DisparityKind = (typeof DisparityKind)[keyof typeof DisparityKind];
/** Where the Harness looked, at most this many places. */
export declare const MAX_DISPARITY_SEARCHED = 20;
export declare const RunDisparitySchema: z.ZodObject<{
    /** The goal's text, as the journey quoted it. */
    goal: z.ZodString;
    kind: z.ZodNativeEnum<{
        /** Both proved it: it works, and someone new can find it. */
        readonly FINDABLE: "findable";
        /** The agent proved it; the Harness searched and could not find it. */
        readonly DISCOVERABILITY: "discoverability";
        /** The Harness proved what the agent saw fail: look at the agent's assumption. */
        readonly AGENT_ASSUMPTION: "agent_assumption";
        /** The agent saw it fail and the Harness did not prove it: a defect. */
        readonly DEFECT: "defect";
    }>;
    /** The coding agent's verdict on a claim naming the goal, in the same app. */
    agent: z.ZodObject<{
        verified: z.ZodNativeEnum<{
            readonly YES: "yes";
            readonly NO: "no";
            readonly UNKNOWN: "unknown";
            readonly NO_FAULT: "no-fault";
        }>;
        claim: z.ZodString;
    }, "strip", z.ZodTypeAny, {
        verified: "yes" | "no" | "unknown" | "no-fault";
        claim: string;
    }, {
        verified: "yes" | "no" | "unknown" | "no-fault";
        claim: string;
    }>;
    /** The Harness's verdict, and the hunt behind it. */
    harness: z.ZodObject<{
        verified: z.ZodNativeEnum<{
            readonly YES: "yes";
            readonly NO: "no";
            readonly UNKNOWN: "unknown";
            readonly NO_FAULT: "no-fault";
        }>;
        /** Whether its search found the goal on a page at all. */
        found: z.ZodBoolean;
        /** The places it searched, in order: the path a newcomer would take. */
        searched: z.ZodArray<z.ZodString, "many">;
        /** The last place it looked before giving up, when it did. */
        gaveUpAt: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        verified: "yes" | "no" | "unknown" | "no-fault";
        found: boolean;
        searched: string[];
        gaveUpAt?: string | undefined;
    }, {
        verified: "yes" | "no" | "unknown" | "no-fault";
        found: boolean;
        searched: string[];
        gaveUpAt?: string | undefined;
    }>;
}, "strip", z.ZodTypeAny, {
    kind: "findable" | "discoverability" | "agent_assumption" | "defect";
    goal: string;
    agent: {
        verified: "yes" | "no" | "unknown" | "no-fault";
        claim: string;
    };
    harness: {
        verified: "yes" | "no" | "unknown" | "no-fault";
        found: boolean;
        searched: string[];
        gaveUpAt?: string | undefined;
    };
}, {
    kind: "findable" | "discoverability" | "agent_assumption" | "defect";
    goal: string;
    agent: {
        verified: "yes" | "no" | "unknown" | "no-fault";
        claim: string;
    };
    harness: {
        verified: "yes" | "no" | "unknown" | "no-fault";
        found: boolean;
        searched: string[];
        gaveUpAt?: string | undefined;
    };
}>;
export type RunDisparity = z.infer<typeof RunDisparitySchema>;