import { z } from "zod";
export declare const languageGlobs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
export { hasResolvableTopologyRoot, TOPOLOGY_ROOT_REQUIRED_MESSAGE, } from "../../../nativeRules/interpreter.js";
export declare const GraphAnalysisQuerySchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    operation: z.ZodLiteral<"deadCode">;
    entrypoints: z.ZodOptional<z.ZodArray<z.ZodString>>;
    includeTests: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
    path: z.ZodOptional<z.ZodString>;
    languageGlobs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
    exclude: z.ZodOptional<z.ZodArray<z.ZodString>>;
    defaultExcludes: z.ZodOptional<z.ZodBoolean>;
    maxFiles: z.ZodOptional<z.ZodNumber>;
    page: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    pageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticPage: z.ZodOptional<z.ZodNumber>;
    diagnosticPageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticSnapshot: z.ZodOptional<z.ZodString>;
    supersedes: z.ZodOptional<z.ZodNumber>;
    rustWorkspace: z.ZodOptional<z.ZodEnum<{
        syntax: "syntax";
        cargo: "cargo";
    }>>;
    mainGoal: z.ZodOptional<z.ZodString>;
    reasoning: z.ZodOptional<z.ZodString>;
    debug: z.ZodDefault<z.ZodBoolean>;
}, z.core.$strict>, z.ZodObject<{
    path: z.ZodString;
    operation: z.ZodLiteral<"cycles">;
    languageGlobs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
    exclude: z.ZodOptional<z.ZodArray<z.ZodString>>;
    defaultExcludes: z.ZodOptional<z.ZodBoolean>;
    maxFiles: z.ZodOptional<z.ZodNumber>;
    page: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    pageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticPage: z.ZodOptional<z.ZodNumber>;
    diagnosticPageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticSnapshot: z.ZodOptional<z.ZodString>;
    supersedes: z.ZodOptional<z.ZodNumber>;
    rustWorkspace: z.ZodOptional<z.ZodEnum<{
        syntax: "syntax";
        cargo: "cargo";
    }>>;
    mainGoal: z.ZodOptional<z.ZodString>;
    reasoning: z.ZodOptional<z.ZodString>;
    debug: z.ZodDefault<z.ZodBoolean>;
}, z.core.$strict>, z.ZodObject<{
    operation: z.ZodLiteral<"dependencies">;
    source: z.ZodString;
    depth: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    path: z.ZodOptional<z.ZodString>;
    languageGlobs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
    exclude: z.ZodOptional<z.ZodArray<z.ZodString>>;
    defaultExcludes: z.ZodOptional<z.ZodBoolean>;
    maxFiles: z.ZodOptional<z.ZodNumber>;
    page: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    pageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticPage: z.ZodOptional<z.ZodNumber>;
    diagnosticPageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticSnapshot: z.ZodOptional<z.ZodString>;
    supersedes: z.ZodOptional<z.ZodNumber>;
    rustWorkspace: z.ZodOptional<z.ZodEnum<{
        syntax: "syntax";
        cargo: "cargo";
    }>>;
    mainGoal: z.ZodOptional<z.ZodString>;
    reasoning: z.ZodOptional<z.ZodString>;
    debug: z.ZodDefault<z.ZodBoolean>;
}, z.core.$strict>, z.ZodObject<{
    operation: z.ZodLiteral<"dependents">;
    source: z.ZodString;
    depth: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    path: z.ZodOptional<z.ZodString>;
    languageGlobs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
    exclude: z.ZodOptional<z.ZodArray<z.ZodString>>;
    defaultExcludes: z.ZodOptional<z.ZodBoolean>;
    maxFiles: z.ZodOptional<z.ZodNumber>;
    page: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    pageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticPage: z.ZodOptional<z.ZodNumber>;
    diagnosticPageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticSnapshot: z.ZodOptional<z.ZodString>;
    supersedes: z.ZodOptional<z.ZodNumber>;
    rustWorkspace: z.ZodOptional<z.ZodEnum<{
        syntax: "syntax";
        cargo: "cargo";
    }>>;
    mainGoal: z.ZodOptional<z.ZodString>;
    reasoning: z.ZodOptional<z.ZodString>;
    debug: z.ZodDefault<z.ZodBoolean>;
}, z.core.$strict>, z.ZodObject<{
    source: z.ZodString;
    target: z.ZodString;
    operation: z.ZodLiteral<"path">;
    path: z.ZodOptional<z.ZodString>;
    languageGlobs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
    exclude: z.ZodOptional<z.ZodArray<z.ZodString>>;
    defaultExcludes: z.ZodOptional<z.ZodBoolean>;
    maxFiles: z.ZodOptional<z.ZodNumber>;
    page: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    pageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticPage: z.ZodOptional<z.ZodNumber>;
    diagnosticPageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticSnapshot: z.ZodOptional<z.ZodString>;
    supersedes: z.ZodOptional<z.ZodNumber>;
    rustWorkspace: z.ZodOptional<z.ZodEnum<{
        syntax: "syntax";
        cargo: "cargo";
    }>>;
    mainGoal: z.ZodOptional<z.ZodString>;
    reasoning: z.ZodOptional<z.ZodString>;
    debug: z.ZodDefault<z.ZodBoolean>;
}, z.core.$strict>, z.ZodObject<{
    operation: z.ZodLiteral<"reachability">;
    entrypoints: z.ZodOptional<z.ZodArray<z.ZodString>>;
    includeTests: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
    path: z.ZodOptional<z.ZodString>;
    languageGlobs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
    exclude: z.ZodOptional<z.ZodArray<z.ZodString>>;
    defaultExcludes: z.ZodOptional<z.ZodBoolean>;
    maxFiles: z.ZodOptional<z.ZodNumber>;
    page: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    pageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticPage: z.ZodOptional<z.ZodNumber>;
    diagnosticPageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticSnapshot: z.ZodOptional<z.ZodString>;
    supersedes: z.ZodOptional<z.ZodNumber>;
    rustWorkspace: z.ZodOptional<z.ZodEnum<{
        syntax: "syntax";
        cargo: "cargo";
    }>>;
    mainGoal: z.ZodOptional<z.ZodString>;
    reasoning: z.ZodOptional<z.ZodString>;
    debug: z.ZodDefault<z.ZodBoolean>;
}, z.core.$strict>, z.ZodObject<{
    path: z.ZodString;
    baseline: z.ZodString;
    operation: z.ZodLiteral<"drift">;
    languageGlobs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
    exclude: z.ZodOptional<z.ZodArray<z.ZodString>>;
    defaultExcludes: z.ZodOptional<z.ZodBoolean>;
    maxFiles: z.ZodOptional<z.ZodNumber>;
    page: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    pageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticPage: z.ZodOptional<z.ZodNumber>;
    diagnosticPageSize: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
    diagnosticSnapshot: z.ZodOptional<z.ZodString>;
    supersedes: z.ZodOptional<z.ZodNumber>;
    rustWorkspace: z.ZodOptional<z.ZodEnum<{
        syntax: "syntax";
        cargo: "cargo";
    }>>;
    mainGoal: z.ZodOptional<z.ZodString>;
    reasoning: z.ZodOptional<z.ZodString>;
    debug: z.ZodDefault<z.ZodBoolean>;
}, z.core.$strict>], "operation">;