import { z } from "zod";
/** A declaration that has members: its members nest under it (P1). */
export interface Declaration {
    symbolName: string;
    kind?: string | undefined;
    path?: string | undefined;
    line: number;
    endLine?: number | undefined;
    exported?: true | undefined;
    exportedAs?: string[] | undefined;
    docStartLine?: number | undefined;
    startLine?: number | undefined;
    column?: number | undefined;
    parent?: string | undefined;
    parentLine?: number | undefined;
    shared?: {
        kind?: string | undefined;
        exported?: true | undefined;
    } | undefined;
    members: DeclarationRow[];
    [key: string]: unknown;
}
/** One outline row: a member-less declaration's entry string or a container. */
export type DeclarationRow = string | Declaration;
/**
 * Top-level declarations in page order: a member-less declaration is an entry
 * string, a container an object with its members nested.
 */
export declare const SymbolRowsSchema: z.ZodArray<z.ZodType<DeclarationRow, unknown, z.core.$ZodTypeInternals<DeclarationRow, unknown>>>;
export declare const SearchFileSchema: z.ZodObject<{
    path: z.ZodString;
    matchCount: z.ZodOptional<z.ZodNumber>;
    matches: z.ZodOptional<z.ZodArray<z.ZodObject<{
        value: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        column: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        endColumn: z.ZodOptional<z.ZodNumber>;
        count: z.ZodOptional<z.ZodNumber>;
        truncated: z.ZodOptional<z.ZodBoolean>;
        matchedLines: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
        declaration: z.ZodOptional<z.ZodLiteral<true>>;
        enclosing: z.ZodOptional<z.ZodObject<{
            symbolName: z.ZodString;
            kind: z.ZodString;
            line: z.ZodNumber;
            endLine: z.ZodNumber;
        }, z.core.$strict>>;
        source: z.ZodOptional<z.ZodString>;
        matchIndices: z.ZodOptional<z.ZodArray<z.ZodUnknown>>;
    }, z.core.$loose>>>;
    content: z.ZodOptional<z.ZodString>;
    symbols: z.ZodOptional<z.ZodArray<z.ZodType<DeclarationRow, unknown, z.core.$ZodTypeInternals<DeclarationRow, unknown>>>>;
}, z.core.$loose>;
export declare const SearchStatsSchema: z.ZodObject<{
    matchCount: z.ZodNumber;
    matchedLineCount: z.ZodOptional<z.ZodNumber>;
    fileCount: z.ZodOptional<z.ZodNumber>;
    filesScanned: z.ZodOptional<z.ZodNumber>;
    bytesSearched: z.ZodOptional<z.ZodNumber>;
    capped: z.ZodOptional<z.ZodBoolean>;
}, z.core.$loose>;
export declare const FileContentShape: {
    path: z.ZodString;
    content: z.ZodOptional<z.ZodString>;
    contentView: z.ZodOptional<z.ZodString>;
    totalLines: z.ZodOptional<z.ZodNumber>;
    returnedLines: z.ZodOptional<z.ZodNumber>;
    sourceBytes: z.ZodOptional<z.ZodNumber>;
    returnedBytes: z.ZodOptional<z.ZodNumber>;
    sourceChars: z.ZodOptional<z.ZodNumber>;
    returnedChars: z.ZodOptional<z.ZodNumber>;
    selectedMatchCount: z.ZodOptional<z.ZodNumber>;
    sourceLineRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
        line: z.ZodNumber;
        endLine: z.ZodNumber;
    }, z.core.$loose>>>;
    blocks: z.ZodOptional<z.ZodArray<z.ZodObject<{
        symbolName: z.ZodString;
        line: z.ZodNumber;
        endLine: z.ZodNumber;
    }, z.core.$strip>>>;
    commitSha: z.ZodOptional<z.ZodString>;
    error: z.ZodOptional<z.ZodString>;
    errorCode: z.ZodOptional<z.ZodEnum<{
        timeout: "timeout";
        closed: "closed";
        invalidInput: "invalidInput";
        notFound: "notFound";
        authentication: "authentication";
        permission: "permission";
        rateLimited: "rateLimited";
        invalidPattern: "invalidPattern";
        invalidGlob: "invalidGlob";
        notAFile: "notAFile";
        notADirectory: "notADirectory";
        outsideAllowedRoots: "outsideAllowedRoots";
        pathValidationFailed: "pathValidationFailed";
        languageRequired: "languageRequired";
        languageUnsupported: "languageUnsupported";
        languageMismatch: "languageMismatch";
        languageFileRequired: "languageFileRequired";
        languageDirectoryRequired: "languageDirectoryRequired";
        invalidClassificationContext: "invalidClassificationContext";
        invalidClassificationRequest: "invalidClassificationRequest";
        classificationLocateUnsupported: "classificationLocateUnsupported";
        classificationExpandedCellsExceeded: "classificationExpandedCellsExceeded";
        pathNotFound: "pathNotFound";
        versionNotFound: "versionNotFound";
        anchorUnresolved: "anchorUnresolved";
        classificationRateLimited: "classificationRateLimited";
        executionFailed: "executionFailed";
        cancelled: "cancelled";
        outputContractViolation: "outputContractViolation";
        toolUnavailable: "toolUnavailable";
        missingConfiguration: "missingConfiguration";
        responseTooLarge: "responseTooLarge";
        staleSnapshot: "staleSnapshot";
        busy: "busy";
        config: "config";
        contract: "contract";
        duplicateRequest: "duplicateRequest";
        policy: "policy";
        response: "response";
        runtime: "runtime";
        unroutedTool: "unroutedTool";
        binaryFileUnsupported: "binaryFileUnsupported";
        contentSecurityLimit: "contentSecurityLimit";
        fileAccessFailed: "fileAccessFailed";
        fileReadFailed: "fileReadFailed";
        fileTooLarge: "fileTooLarge";
        invalidPagination: "invalidPagination";
        largeSourceWindowOnly: "largeSourceWindowOnly";
        noMatches: "noMatches";
        pathPolicyDenied: "pathPolicyDenied";
        permissionDenied: "permissionDenied";
        symlinkEscape: "symlinkEscape";
        capabilityUnavailable: "capabilityUnavailable";
        configuration: "configuration";
        credentialStoreUnavailable: "credentialStoreUnavailable";
        decode: "decode";
        httpStatus: "httpStatus";
        providerError: "providerError";
        redirectDenied: "redirectDenied";
        server: "server";
        transport: "transport";
        unavailable: "unavailable";
        cacheUnavailable: "cacheUnavailable";
        checkoutDirty: "checkoutDirty";
        commitMismatch: "commitMismatch";
        gitFailed: "gitFailed";
        gitUnavailable: "gitUnavailable";
        persistentStorageDisabled: "persistentStorageDisabled";
        documentSyncFailed: "documentSyncFailed";
        requestFailed: "requestFailed";
        serverCrashed: "serverCrashed";
        serverUnavailable: "serverUnavailable";
        workspaceRootInvalid: "workspaceRootInvalid";
        invalidGraphQuery: "invalidGraphQuery";
        scanFailed: "scanFailed";
        scopeTooBroad: "scopeTooBroad";
        symbolsUnsupported: "symbolsUnsupported";
        applyDisabled: "applyDisabled";
        brokenSyntax: "brokenSyntax";
        editOverlap: "editOverlap";
        encodingUnsupported: "encodingUnsupported";
        expectedHashInvalid: "expectedHashInvalid";
        expectedHashMissing: "expectedHashMissing";
        expectedHashSetMismatch: "expectedHashSetMismatch";
        expectedHashesRequired: "expectedHashesRequired";
        fileLimit: "fileLimit";
        hashMismatch: "hashMismatch";
        lockTimeout: "lockTimeout";
        lockUnavailable: "lockUnavailable";
        matchLimit: "matchLimit";
        patchLimit: "patchLimit";
        pathEscape: "pathEscape";
        postconditionExecutionFailed: "postconditionExecutionFailed";
        postconditionFailed: "postconditionFailed";
        recoveryFailed: "recoveryFailed";
        rootInvalid: "rootInvalid";
        rootUnavailable: "rootUnavailable";
        selectionInvalid: "selectionInvalid";
        snapshotRequired: "snapshotRequired";
        sourceMismatch: "sourceMismatch";
        symlinkTarget: "symlinkTarget";
        targetUnavailable: "targetUnavailable";
        transactionFailed: "transactionFailed";
        classificationBudgetSpent: "classificationBudgetSpent";
        classificationCandidateChunkTooLarge: "classificationCandidateChunkTooLarge";
        classificationCandidateUnhydratable: "classificationCandidateUnhydratable";
        classificationContextContinuationLoop: "classificationContextContinuationLoop";
        classificationContextEmpty: "classificationContextEmpty";
        classificationContextFailed: "classificationContextFailed";
        classificationContextContractViolation: "classificationContextContractViolation";
        classificationContextTooLarge: "classificationContextTooLarge";
        classificationContextUnavailable: "classificationContextUnavailable";
        classificationProviderError: "classificationProviderError";
        classificationProviderUnavailable: "classificationProviderUnavailable";
        classificationQuotaExhausted: "classificationQuotaExhausted";
        classificationStateTooLarge: "classificationStateTooLarge";
        invalidClassificationConfiguration: "invalidClassificationConfiguration";
        invalidClassificationResponse: "invalidClassificationResponse";
        unsupportedResponsePagination: "unsupportedResponsePagination";
        securityValidationFailed: "securityValidationFailed";
    }>>;
};
/** A GitHub file read: UTF-16 counts and the file class only explain the read. */
export declare const GitHubFileContentShape: {
    fileType: z.ZodOptional<z.ZodString>;
    path: z.ZodString;
    content: z.ZodOptional<z.ZodString>;
    contentView: z.ZodOptional<z.ZodString>;
    totalLines: z.ZodOptional<z.ZodNumber>;
    returnedLines: z.ZodOptional<z.ZodNumber>;
    sourceBytes: z.ZodOptional<z.ZodNumber>;
    returnedBytes: z.ZodOptional<z.ZodNumber>;
    sourceChars: z.ZodOptional<z.ZodNumber>;
    returnedChars: z.ZodOptional<z.ZodNumber>;
    selectedMatchCount: z.ZodOptional<z.ZodNumber>;
    sourceLineRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
        line: z.ZodNumber;
        endLine: z.ZodNumber;
    }, z.core.$loose>>>;
    blocks: z.ZodOptional<z.ZodArray<z.ZodObject<{
        symbolName: z.ZodString;
        line: z.ZodNumber;
        endLine: z.ZodNumber;
    }, z.core.$strip>>>;
    commitSha: z.ZodOptional<z.ZodString>;
    error: z.ZodOptional<z.ZodString>;
    errorCode: z.ZodOptional<z.ZodEnum<{
        timeout: "timeout";
        closed: "closed";
        invalidInput: "invalidInput";
        notFound: "notFound";
        authentication: "authentication";
        permission: "permission";
        rateLimited: "rateLimited";
        invalidPattern: "invalidPattern";
        invalidGlob: "invalidGlob";
        notAFile: "notAFile";
        notADirectory: "notADirectory";
        outsideAllowedRoots: "outsideAllowedRoots";
        pathValidationFailed: "pathValidationFailed";
        languageRequired: "languageRequired";
        languageUnsupported: "languageUnsupported";
        languageMismatch: "languageMismatch";
        languageFileRequired: "languageFileRequired";
        languageDirectoryRequired: "languageDirectoryRequired";
        invalidClassificationContext: "invalidClassificationContext";
        invalidClassificationRequest: "invalidClassificationRequest";
        classificationLocateUnsupported: "classificationLocateUnsupported";
        classificationExpandedCellsExceeded: "classificationExpandedCellsExceeded";
        pathNotFound: "pathNotFound";
        versionNotFound: "versionNotFound";
        anchorUnresolved: "anchorUnresolved";
        classificationRateLimited: "classificationRateLimited";
        executionFailed: "executionFailed";
        cancelled: "cancelled";
        outputContractViolation: "outputContractViolation";
        toolUnavailable: "toolUnavailable";
        missingConfiguration: "missingConfiguration";
        responseTooLarge: "responseTooLarge";
        staleSnapshot: "staleSnapshot";
        busy: "busy";
        config: "config";
        contract: "contract";
        duplicateRequest: "duplicateRequest";
        policy: "policy";
        response: "response";
        runtime: "runtime";
        unroutedTool: "unroutedTool";
        binaryFileUnsupported: "binaryFileUnsupported";
        contentSecurityLimit: "contentSecurityLimit";
        fileAccessFailed: "fileAccessFailed";
        fileReadFailed: "fileReadFailed";
        fileTooLarge: "fileTooLarge";
        invalidPagination: "invalidPagination";
        largeSourceWindowOnly: "largeSourceWindowOnly";
        noMatches: "noMatches";
        pathPolicyDenied: "pathPolicyDenied";
        permissionDenied: "permissionDenied";
        symlinkEscape: "symlinkEscape";
        capabilityUnavailable: "capabilityUnavailable";
        configuration: "configuration";
        credentialStoreUnavailable: "credentialStoreUnavailable";
        decode: "decode";
        httpStatus: "httpStatus";
        providerError: "providerError";
        redirectDenied: "redirectDenied";
        server: "server";
        transport: "transport";
        unavailable: "unavailable";
        cacheUnavailable: "cacheUnavailable";
        checkoutDirty: "checkoutDirty";
        commitMismatch: "commitMismatch";
        gitFailed: "gitFailed";
        gitUnavailable: "gitUnavailable";
        persistentStorageDisabled: "persistentStorageDisabled";
        documentSyncFailed: "documentSyncFailed";
        requestFailed: "requestFailed";
        serverCrashed: "serverCrashed";
        serverUnavailable: "serverUnavailable";
        workspaceRootInvalid: "workspaceRootInvalid";
        invalidGraphQuery: "invalidGraphQuery";
        scanFailed: "scanFailed";
        scopeTooBroad: "scopeTooBroad";
        symbolsUnsupported: "symbolsUnsupported";
        applyDisabled: "applyDisabled";
        brokenSyntax: "brokenSyntax";
        editOverlap: "editOverlap";
        encodingUnsupported: "encodingUnsupported";
        expectedHashInvalid: "expectedHashInvalid";
        expectedHashMissing: "expectedHashMissing";
        expectedHashSetMismatch: "expectedHashSetMismatch";
        expectedHashesRequired: "expectedHashesRequired";
        fileLimit: "fileLimit";
        hashMismatch: "hashMismatch";
        lockTimeout: "lockTimeout";
        lockUnavailable: "lockUnavailable";
        matchLimit: "matchLimit";
        patchLimit: "patchLimit";
        pathEscape: "pathEscape";
        postconditionExecutionFailed: "postconditionExecutionFailed";
        postconditionFailed: "postconditionFailed";
        recoveryFailed: "recoveryFailed";
        rootInvalid: "rootInvalid";
        rootUnavailable: "rootUnavailable";
        selectionInvalid: "selectionInvalid";
        snapshotRequired: "snapshotRequired";
        sourceMismatch: "sourceMismatch";
        symlinkTarget: "symlinkTarget";
        targetUnavailable: "targetUnavailable";
        transactionFailed: "transactionFailed";
        classificationBudgetSpent: "classificationBudgetSpent";
        classificationCandidateChunkTooLarge: "classificationCandidateChunkTooLarge";
        classificationCandidateUnhydratable: "classificationCandidateUnhydratable";
        classificationContextContinuationLoop: "classificationContextContinuationLoop";
        classificationContextEmpty: "classificationContextEmpty";
        classificationContextFailed: "classificationContextFailed";
        classificationContextContractViolation: "classificationContextContractViolation";
        classificationContextTooLarge: "classificationContextTooLarge";
        classificationContextUnavailable: "classificationContextUnavailable";
        classificationProviderError: "classificationProviderError";
        classificationProviderUnavailable: "classificationProviderUnavailable";
        classificationQuotaExhausted: "classificationQuotaExhausted";
        classificationStateTooLarge: "classificationStateTooLarge";
        invalidClassificationConfiguration: "invalidClassificationConfiguration";
        invalidClassificationResponse: "invalidClassificationResponse";
        unsupportedResponsePagination: "unsupportedResponsePagination";
        securityValidationFailed: "securityValidationFailed";
    }>>;
};
export declare const RepositorySchema: z.ZodObject<{
    owner: z.ZodString;
    repo: z.ZodString;
    stars: z.ZodOptional<z.ZodNumber>;
    forks: z.ZodOptional<z.ZodNumber>;
    pushedAt: z.ZodOptional<z.ZodString>;
    createdAt: z.ZodOptional<z.ZodString>;
    updatedAt: z.ZodOptional<z.ZodString>;
    archived: z.ZodOptional<z.ZodLiteral<true>>;
    fork: z.ZodOptional<z.ZodLiteral<true>>;
    description: z.ZodOptional<z.ZodNullable<z.ZodString>>;
    language: z.ZodOptional<z.ZodNullable<z.ZodString>>;
    license: z.ZodOptional<z.ZodNullable<z.ZodString>>;
    topics: z.ZodOptional<z.ZodArray<z.ZodString>>;
}, z.core.$loose>;
export declare const GitHubCodeFileSchema: z.ZodObject<{
    owner: z.ZodOptional<z.ZodString>;
    repo: z.ZodOptional<z.ZodString>;
    path: z.ZodString;
    alsoAt: z.ZodOptional<z.ZodArray<z.ZodString>>;
    commitSha: z.ZodOptional<z.ZodString>;
    lines: z.ZodOptional<z.ZodArray<z.ZodString>>;
    hitCount: z.ZodOptional<z.ZodNumber>;
    atRef: z.ZodOptional<z.ZodLiteral<false>>;
    lineResolved: z.ZodOptional<z.ZodLiteral<false>>;
    lastModifiedAt: z.ZodOptional<z.ZodString>;
    matches: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
        value: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        column: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        endColumn: z.ZodOptional<z.ZodNumber>;
        count: z.ZodOptional<z.ZodNumber>;
        truncated: z.ZodOptional<z.ZodBoolean>;
        matchedLines: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
        declaration: z.ZodOptional<z.ZodLiteral<true>>;
        enclosing: z.ZodOptional<z.ZodObject<{
            symbolName: z.ZodString;
            kind: z.ZodString;
            line: z.ZodNumber;
            endLine: z.ZodNumber;
        }, z.core.$strict>>;
        source: z.ZodOptional<z.ZodString>;
        matchIndices: z.ZodOptional<z.ZodArray<z.ZodUnknown>>;
    }, z.core.$loose>, z.ZodObject<{
        pathOnly: z.ZodLiteral<true>;
    }, z.core.$loose>]>>>;
}, z.core.$loose>;
export declare const DirectoryEntrySchema: z.ZodObject<{
    path: z.ZodString;
    name: z.ZodOptional<z.ZodString>;
    type: z.ZodOptional<z.ZodString>;
    size: z.ZodOptional<z.ZodNumber>;
    lineCount: z.ZodOptional<z.ZodNumber>;
    modifiedMs: z.ZodOptional<z.ZodNumber>;
}, z.core.$loose>;
/** structureSearch rows (tree and files): consecutive entries of one directory. */
export declare const LocalDirectoryGroupSchema: z.ZodObject<{
    dir: z.ZodString;
    files: z.ZodArray<z.ZodString>;
}, z.core.$loose>;
export declare const GitHubDirectorySchema: z.ZodObject<{
    dir: z.ZodString;
    files: z.ZodOptional<z.ZodArray<z.ZodString>>;
    folders: z.ZodOptional<z.ZodArray<z.ZodString>>;
}, z.core.$loose>;
export declare const ArtifactSchema: z.ZodObject<{
    name: z.ZodString;
    ecosystem: z.ZodOptional<z.ZodEnum<{
        npm: "npm";
        pypi: "pypi";
        crates: "crates";
        maven: "maven";
        nuget: "nuget";
        go: "go";
        packagist: "packagist";
        rubygems: "rubygems";
    }>>;
    registryUrl: z.ZodOptional<z.ZodString>;
    version: z.ZodOptional<z.ZodString>;
    description: z.ZodOptional<z.ZodString>;
    repository: z.ZodOptional<z.ZodString>;
    repositoryDirectory: z.ZodOptional<z.ZodString>;
    packagePath: z.ZodOptional<z.ZodString>;
    modulePath: z.ZodOptional<z.ZodString>;
    sourceRef: z.ZodOptional<z.ZodString>;
    verification: z.ZodOptional<z.ZodEnum<{
        provenance: "provenance";
        tag: "tag";
        registryRef: "registryRef";
        defaultBranch: "defaultBranch";
    }>>;
}, z.core.$loose>;
export declare const IssueSchema: z.ZodObject<{
    number: z.ZodNumber;
    title: z.ZodOptional<z.ZodString>;
    state: z.ZodOptional<z.ZodString>;
    author: z.ZodOptional<z.ZodString>;
    body: z.ZodOptional<z.ZodString>;
    labels: z.ZodOptional<z.ZodArray<z.ZodString>>;
    commentsCount: z.ZodOptional<z.ZodNumber>;
}, z.core.$loose>;
export declare const CommitSchema: z.ZodObject<{
    sha: z.ZodString;
    message: z.ZodOptional<z.ZodString>;
    messageHeadline: z.ZodOptional<z.ZodString>;
    messageBody: z.ZodOptional<z.ZodString>;
    messageTruncated: z.ZodOptional<z.ZodBoolean>;
    date: z.ZodOptional<z.ZodString>;
    prNumber: z.ZodOptional<z.ZodNumber>;
}, z.core.$loose>;
/** How a history patch numbers its lines (both sides of the diff). */
export declare const PATCH_GUTTER = "Lines open \"N\t\": \" \"/\"+\" new-side line, \"-\" old-side line.";
export declare const ChangedFileSchema: z.ZodObject<{
    path: z.ZodOptional<z.ZodString>;
    stat: z.ZodOptional<z.ZodString>;
    status: z.ZodOptional<z.ZodString>;
    additions: z.ZodOptional<z.ZodNumber>;
    deletions: z.ZodOptional<z.ZodNumber>;
    patch: z.ZodOptional<z.ZodString>;
}, z.core.$loose>;
/**
 * One syntax node row: `<id> <kind> <startLine>:<startColumn>-<endLine>:<endColumn> ^<parentId>`
 * (1-based lines and columns, end exclusive); an anonymous token's kind is quoted and
 * the root has no parent.
 */
export declare const SyntaxNodeRowSchema: z.ZodString;
export declare const GraphResultSchema: z.ZodUnion<readonly [z.ZodObject<{
    inboundCount: z.ZodOptional<z.ZodNumber>;
    topologicalLayer: z.ZodOptional<z.ZodNumber>;
    transitiveEdge: z.ZodOptional<z.ZodBoolean>;
    immediateDominator: z.ZodOptional<z.ZodNullable<z.ZodString>>;
    componentId: z.ZodOptional<z.ZodNumber>;
    outgoingComponents: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
    file: z.ZodString;
    reachable: z.ZodOptional<z.ZodBoolean>;
    line: z.ZodOptional<z.ZodNumber>;
}, z.core.$loose>, z.ZodObject<{
    inboundCount: z.ZodOptional<z.ZodNumber>;
    topologicalLayer: z.ZodOptional<z.ZodNumber>;
    transitiveEdge: z.ZodOptional<z.ZodBoolean>;
    immediateDominator: z.ZodOptional<z.ZodNullable<z.ZodString>>;
    componentId: z.ZodOptional<z.ZodNumber>;
    outgoingComponents: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
    files: z.ZodArray<z.ZodString>;
}, z.core.$loose>, z.ZodObject<{
    inboundCount: z.ZodOptional<z.ZodNumber>;
    topologicalLayer: z.ZodOptional<z.ZodNumber>;
    transitiveEdge: z.ZodOptional<z.ZodBoolean>;
    immediateDominator: z.ZodOptional<z.ZodNullable<z.ZodString>>;
    componentId: z.ZodOptional<z.ZodNumber>;
    outgoingComponents: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
    from: z.ZodString;
    to: z.ZodString;
}, z.core.$loose>, z.ZodObject<{
    inboundCount: z.ZodOptional<z.ZodNumber>;
    topologicalLayer: z.ZodOptional<z.ZodNumber>;
    transitiveEdge: z.ZodOptional<z.ZodBoolean>;
    immediateDominator: z.ZodOptional<z.ZodNullable<z.ZodString>>;
    componentId: z.ZodOptional<z.ZodNumber>;
    outgoingComponents: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
    path: z.ZodArray<z.ZodString>;
    edges: z.ZodOptional<z.ZodArray<z.ZodObject<{
        from: z.ZodString;
        to: z.ZodString;
        importLine: z.ZodOptional<z.ZodNumber>;
    }, z.core.$loose>>>;
}, z.core.$loose>, z.ZodObject<{
    inboundCount: z.ZodOptional<z.ZodNumber>;
    topologicalLayer: z.ZodOptional<z.ZodNumber>;
    transitiveEdge: z.ZodOptional<z.ZodBoolean>;
    immediateDominator: z.ZodOptional<z.ZodNullable<z.ZodString>>;
    componentId: z.ZodOptional<z.ZodNumber>;
    outgoingComponents: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
    found: z.ZodBoolean;
    edges: z.ZodOptional<z.ZodArray<z.ZodObject<{
        from: z.ZodString;
        to: z.ZodString;
        importLine: z.ZodOptional<z.ZodNumber>;
    }, z.core.$loose>>>;
}, z.core.$loose>]>;
export declare const RewriteMatchSchema: z.ZodObject<{
    id: z.ZodString;
    path: z.ZodString;
    text: z.ZodOptional<z.ZodString>;
    replacement: z.ZodOptional<z.ZodString>;
}, z.core.$loose>;
export declare const RewriteFileSchema: z.ZodObject<{
    path: z.ZodString;
    beforeHash: z.ZodOptional<z.ZodString>;
    afterHash: z.ZodOptional<z.ZodString>;
    matchCount: z.ZodOptional<z.ZodNumber>;
    patch: z.ZodOptional<z.ZodString>;
    patchMatchCount: z.ZodOptional<z.ZodNumber>;
    patchBytes: z.ZodOptional<z.ZodNumber>;
}, z.core.$loose>;
export declare const RewriteTransactionSchema: z.ZodObject<{
    id: z.ZodString;
    committed: z.ZodOptional<z.ZodBoolean>;
    files: z.ZodOptional<z.ZodNumber>;
    status: z.ZodOptional<z.ZodString>;
    state: z.ZodOptional<z.ZodString>;
    journal: z.ZodOptional<z.ZodString>;
}, z.core.$loose>;
export declare const LspPayloadSchema: z.ZodUnion<readonly [z.ZodObject<{
    kind: z.ZodLiteral<"empty">;
    category: z.ZodOptional<z.ZodString>;
    reason: z.ZodOptional<z.ZodString>;
    matches: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
        path: z.ZodString;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        name: z.ZodString;
        path: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        message: z.ZodString;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        range: z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        displayRange: z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
    }, z.core.$loose>]>, z.ZodObject<{
        from: z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>;
        fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>>;
    }, z.core.$loose>, z.ZodObject<{
        to: z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>;
        fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>>;
    }, z.core.$loose>]>>>;
    files: z.ZodOptional<z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        matches: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
            value: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            column: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            endColumn: z.ZodOptional<z.ZodNumber>;
            count: z.ZodOptional<z.ZodNumber>;
            truncated: z.ZodOptional<z.ZodBoolean>;
            matchedLines: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
            declaration: z.ZodOptional<z.ZodLiteral<true>>;
            enclosing: z.ZodOptional<z.ZodObject<{
                symbolName: z.ZodString;
                kind: z.ZodString;
                line: z.ZodNumber;
                endLine: z.ZodNumber;
            }, z.core.$strict>>;
            source: z.ZodOptional<z.ZodString>;
            matchIndices: z.ZodOptional<z.ZodArray<z.ZodUnknown>>;
        }, z.core.$loose>, z.ZodObject<{
            symbolName: z.ZodString;
            kind: z.ZodString;
            line: z.ZodNumber;
            endLine: z.ZodOptional<z.ZodNumber>;
            path: z.ZodOptional<z.ZodString>;
            sites: z.ZodOptional<z.ZodArray<z.ZodObject<{
                line: z.ZodNumber;
                column: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strict>>>;
            detail: z.ZodOptional<z.ZodString>;
            via: z.ZodOptional<z.ZodObject<{
                symbolName: z.ZodString;
                line: z.ZodNumber;
                path: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>>;
            source: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>, z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>, z.ZodObject<{
            from: z.ZodUnion<readonly [z.ZodObject<{
                path: z.ZodString;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                name: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                message: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                range: z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                displayRange: z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
            }, z.core.$loose>]>;
            fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>>;
        }, z.core.$loose>, z.ZodObject<{
            to: z.ZodUnion<readonly [z.ZodObject<{
                path: z.ZodString;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                name: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                message: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                range: z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                displayRange: z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
            }, z.core.$loose>]>;
            fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>>;
        }, z.core.$loose>]>]>>>;
        matchCount: z.ZodOptional<z.ZodNumber>;
        lines: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
    }, z.core.$loose>>>;
    symbols: z.ZodOptional<z.ZodArray<z.ZodType<DeclarationRow, unknown, z.core.$ZodTypeInternals<DeclarationRow, unknown>>>>;
    hover: z.ZodOptional<z.ZodObject<{
        contents: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
            value: z.ZodString;
            kind: z.ZodOptional<z.ZodString>;
            language: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
            value: z.ZodString;
            kind: z.ZodOptional<z.ZodString>;
            language: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>]>>]>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
    }, z.core.$loose>>;
    coverage: z.ZodOptional<z.ZodObject<{
        textOnlyFiles: z.ZodOptional<z.ZodNumber>;
        importerScan: z.ZodOptional<z.ZodUnknown>;
        verifiedImporterFiles: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$loose>>;
    builtinLib: z.ZodOptional<z.ZodArray<z.ZodString>>;
}, z.core.$loose>, z.ZodObject<{
    matches: z.ZodArray<z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
        path: z.ZodString;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        name: z.ZodString;
        path: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        message: z.ZodString;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        range: z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        displayRange: z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
    }, z.core.$loose>]>, z.ZodObject<{
        from: z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>;
        fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>>;
    }, z.core.$loose>, z.ZodObject<{
        to: z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>;
        fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>>;
    }, z.core.$loose>]>>;
    kind: z.ZodString;
    category: z.ZodOptional<z.ZodString>;
    reason: z.ZodOptional<z.ZodString>;
    files: z.ZodOptional<z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        matches: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
            value: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            column: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            endColumn: z.ZodOptional<z.ZodNumber>;
            count: z.ZodOptional<z.ZodNumber>;
            truncated: z.ZodOptional<z.ZodBoolean>;
            matchedLines: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
            declaration: z.ZodOptional<z.ZodLiteral<true>>;
            enclosing: z.ZodOptional<z.ZodObject<{
                symbolName: z.ZodString;
                kind: z.ZodString;
                line: z.ZodNumber;
                endLine: z.ZodNumber;
            }, z.core.$strict>>;
            source: z.ZodOptional<z.ZodString>;
            matchIndices: z.ZodOptional<z.ZodArray<z.ZodUnknown>>;
        }, z.core.$loose>, z.ZodObject<{
            symbolName: z.ZodString;
            kind: z.ZodString;
            line: z.ZodNumber;
            endLine: z.ZodOptional<z.ZodNumber>;
            path: z.ZodOptional<z.ZodString>;
            sites: z.ZodOptional<z.ZodArray<z.ZodObject<{
                line: z.ZodNumber;
                column: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strict>>>;
            detail: z.ZodOptional<z.ZodString>;
            via: z.ZodOptional<z.ZodObject<{
                symbolName: z.ZodString;
                line: z.ZodNumber;
                path: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>>;
            source: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>, z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>, z.ZodObject<{
            from: z.ZodUnion<readonly [z.ZodObject<{
                path: z.ZodString;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                name: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                message: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                range: z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                displayRange: z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
            }, z.core.$loose>]>;
            fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>>;
        }, z.core.$loose>, z.ZodObject<{
            to: z.ZodUnion<readonly [z.ZodObject<{
                path: z.ZodString;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                name: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                message: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                range: z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                displayRange: z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
            }, z.core.$loose>]>;
            fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>>;
        }, z.core.$loose>]>]>>>;
        matchCount: z.ZodOptional<z.ZodNumber>;
        lines: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
    }, z.core.$loose>>>;
    symbols: z.ZodOptional<z.ZodArray<z.ZodType<DeclarationRow, unknown, z.core.$ZodTypeInternals<DeclarationRow, unknown>>>>;
    hover: z.ZodOptional<z.ZodObject<{
        contents: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
            value: z.ZodString;
            kind: z.ZodOptional<z.ZodString>;
            language: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
            value: z.ZodString;
            kind: z.ZodOptional<z.ZodString>;
            language: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>]>>]>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
    }, z.core.$loose>>;
    coverage: z.ZodOptional<z.ZodObject<{
        textOnlyFiles: z.ZodOptional<z.ZodNumber>;
        importerScan: z.ZodOptional<z.ZodUnknown>;
        verifiedImporterFiles: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$loose>>;
    builtinLib: z.ZodOptional<z.ZodArray<z.ZodString>>;
}, z.core.$loose>, z.ZodObject<{
    symbols: z.ZodArray<z.ZodType<DeclarationRow, unknown, z.core.$ZodTypeInternals<DeclarationRow, unknown>>>;
    kind: z.ZodString;
    category: z.ZodOptional<z.ZodString>;
    reason: z.ZodOptional<z.ZodString>;
    matches: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
        path: z.ZodString;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        name: z.ZodString;
        path: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        message: z.ZodString;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        range: z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        displayRange: z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
    }, z.core.$loose>]>, z.ZodObject<{
        from: z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>;
        fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>>;
    }, z.core.$loose>, z.ZodObject<{
        to: z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>;
        fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>>;
    }, z.core.$loose>]>>>;
    files: z.ZodOptional<z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        matches: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
            value: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            column: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            endColumn: z.ZodOptional<z.ZodNumber>;
            count: z.ZodOptional<z.ZodNumber>;
            truncated: z.ZodOptional<z.ZodBoolean>;
            matchedLines: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
            declaration: z.ZodOptional<z.ZodLiteral<true>>;
            enclosing: z.ZodOptional<z.ZodObject<{
                symbolName: z.ZodString;
                kind: z.ZodString;
                line: z.ZodNumber;
                endLine: z.ZodNumber;
            }, z.core.$strict>>;
            source: z.ZodOptional<z.ZodString>;
            matchIndices: z.ZodOptional<z.ZodArray<z.ZodUnknown>>;
        }, z.core.$loose>, z.ZodObject<{
            symbolName: z.ZodString;
            kind: z.ZodString;
            line: z.ZodNumber;
            endLine: z.ZodOptional<z.ZodNumber>;
            path: z.ZodOptional<z.ZodString>;
            sites: z.ZodOptional<z.ZodArray<z.ZodObject<{
                line: z.ZodNumber;
                column: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strict>>>;
            detail: z.ZodOptional<z.ZodString>;
            via: z.ZodOptional<z.ZodObject<{
                symbolName: z.ZodString;
                line: z.ZodNumber;
                path: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>>;
            source: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>, z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>, z.ZodObject<{
            from: z.ZodUnion<readonly [z.ZodObject<{
                path: z.ZodString;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                name: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                message: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                range: z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                displayRange: z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
            }, z.core.$loose>]>;
            fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>>;
        }, z.core.$loose>, z.ZodObject<{
            to: z.ZodUnion<readonly [z.ZodObject<{
                path: z.ZodString;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                name: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                message: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                range: z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                displayRange: z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
            }, z.core.$loose>]>;
            fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>>;
        }, z.core.$loose>]>]>>>;
        matchCount: z.ZodOptional<z.ZodNumber>;
        lines: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
    }, z.core.$loose>>>;
    hover: z.ZodOptional<z.ZodObject<{
        contents: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
            value: z.ZodString;
            kind: z.ZodOptional<z.ZodString>;
            language: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
            value: z.ZodString;
            kind: z.ZodOptional<z.ZodString>;
            language: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>]>>]>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
    }, z.core.$loose>>;
    coverage: z.ZodOptional<z.ZodObject<{
        textOnlyFiles: z.ZodOptional<z.ZodNumber>;
        importerScan: z.ZodOptional<z.ZodUnknown>;
        verifiedImporterFiles: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$loose>>;
    builtinLib: z.ZodOptional<z.ZodArray<z.ZodString>>;
}, z.core.$loose>, z.ZodObject<{
    files: z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        matches: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
            value: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            column: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            endColumn: z.ZodOptional<z.ZodNumber>;
            count: z.ZodOptional<z.ZodNumber>;
            truncated: z.ZodOptional<z.ZodBoolean>;
            matchedLines: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
            declaration: z.ZodOptional<z.ZodLiteral<true>>;
            enclosing: z.ZodOptional<z.ZodObject<{
                symbolName: z.ZodString;
                kind: z.ZodString;
                line: z.ZodNumber;
                endLine: z.ZodNumber;
            }, z.core.$strict>>;
            source: z.ZodOptional<z.ZodString>;
            matchIndices: z.ZodOptional<z.ZodArray<z.ZodUnknown>>;
        }, z.core.$loose>, z.ZodObject<{
            symbolName: z.ZodString;
            kind: z.ZodString;
            line: z.ZodNumber;
            endLine: z.ZodOptional<z.ZodNumber>;
            path: z.ZodOptional<z.ZodString>;
            sites: z.ZodOptional<z.ZodArray<z.ZodObject<{
                line: z.ZodNumber;
                column: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strict>>>;
            detail: z.ZodOptional<z.ZodString>;
            via: z.ZodOptional<z.ZodObject<{
                symbolName: z.ZodString;
                line: z.ZodNumber;
                path: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>>;
            source: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>, z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>, z.ZodObject<{
            from: z.ZodUnion<readonly [z.ZodObject<{
                path: z.ZodString;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                name: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                message: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                range: z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                displayRange: z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
            }, z.core.$loose>]>;
            fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>>;
        }, z.core.$loose>, z.ZodObject<{
            to: z.ZodUnion<readonly [z.ZodObject<{
                path: z.ZodString;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                name: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                message: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                range: z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                displayRange: z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
            }, z.core.$loose>]>;
            fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>>;
        }, z.core.$loose>]>]>>>;
        matchCount: z.ZodOptional<z.ZodNumber>;
        lines: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
    }, z.core.$loose>>;
    kind: z.ZodString;
    category: z.ZodOptional<z.ZodString>;
    reason: z.ZodOptional<z.ZodString>;
    matches: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
        path: z.ZodString;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        name: z.ZodString;
        path: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        message: z.ZodString;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        range: z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        displayRange: z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
    }, z.core.$loose>]>, z.ZodObject<{
        from: z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>;
        fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>>;
    }, z.core.$loose>, z.ZodObject<{
        to: z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>;
        fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>>;
    }, z.core.$loose>]>>>;
    symbols: z.ZodOptional<z.ZodArray<z.ZodType<DeclarationRow, unknown, z.core.$ZodTypeInternals<DeclarationRow, unknown>>>>;
    hover: z.ZodOptional<z.ZodObject<{
        contents: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
            value: z.ZodString;
            kind: z.ZodOptional<z.ZodString>;
            language: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
            value: z.ZodString;
            kind: z.ZodOptional<z.ZodString>;
            language: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>]>>]>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
    }, z.core.$loose>>;
    coverage: z.ZodOptional<z.ZodObject<{
        textOnlyFiles: z.ZodOptional<z.ZodNumber>;
        importerScan: z.ZodOptional<z.ZodUnknown>;
        verifiedImporterFiles: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$loose>>;
    builtinLib: z.ZodOptional<z.ZodArray<z.ZodString>>;
}, z.core.$loose>, z.ZodObject<{
    hover: z.ZodObject<{
        contents: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
            value: z.ZodString;
            kind: z.ZodOptional<z.ZodString>;
            language: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
            value: z.ZodString;
            kind: z.ZodOptional<z.ZodString>;
            language: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>]>>]>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
    }, z.core.$loose>;
    kind: z.ZodString;
    category: z.ZodOptional<z.ZodString>;
    reason: z.ZodOptional<z.ZodString>;
    matches: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
        path: z.ZodString;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        name: z.ZodString;
        path: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        message: z.ZodString;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        range: z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        displayRange: z.ZodOptional<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>;
    }, z.core.$loose>, z.ZodObject<{
        displayRange: z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>;
        path: z.ZodOptional<z.ZodString>;
        name: z.ZodOptional<z.ZodString>;
        message: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        character: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        range: z.ZodOptional<z.ZodObject<{
            start: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
            end: z.ZodObject<{
                line: z.ZodNumber;
                character: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
    }, z.core.$loose>]>, z.ZodObject<{
        from: z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>;
        fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>>;
    }, z.core.$loose>, z.ZodObject<{
        to: z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>;
        fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
            startLine: z.ZodNumber;
            startCharacter: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodNumber;
        }, z.core.$strip>>>;
    }, z.core.$loose>]>>>;
    files: z.ZodOptional<z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        matches: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
            value: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            column: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            endColumn: z.ZodOptional<z.ZodNumber>;
            count: z.ZodOptional<z.ZodNumber>;
            truncated: z.ZodOptional<z.ZodBoolean>;
            matchedLines: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
            declaration: z.ZodOptional<z.ZodLiteral<true>>;
            enclosing: z.ZodOptional<z.ZodObject<{
                symbolName: z.ZodString;
                kind: z.ZodString;
                line: z.ZodNumber;
                endLine: z.ZodNumber;
            }, z.core.$strict>>;
            source: z.ZodOptional<z.ZodString>;
            matchIndices: z.ZodOptional<z.ZodArray<z.ZodUnknown>>;
        }, z.core.$loose>, z.ZodObject<{
            symbolName: z.ZodString;
            kind: z.ZodString;
            line: z.ZodNumber;
            endLine: z.ZodOptional<z.ZodNumber>;
            path: z.ZodOptional<z.ZodString>;
            sites: z.ZodOptional<z.ZodArray<z.ZodObject<{
                line: z.ZodNumber;
                column: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strict>>>;
            detail: z.ZodOptional<z.ZodString>;
            via: z.ZodOptional<z.ZodObject<{
                symbolName: z.ZodString;
                line: z.ZodNumber;
                path: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>>;
            source: z.ZodOptional<z.ZodString>;
        }, z.core.$loose>, z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
            path: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            name: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            displayRange: z.ZodOptional<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>;
        }, z.core.$loose>, z.ZodObject<{
            displayRange: z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>;
            path: z.ZodOptional<z.ZodString>;
            name: z.ZodOptional<z.ZodString>;
            message: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            character: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            range: z.ZodOptional<z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
        }, z.core.$loose>]>, z.ZodObject<{
            from: z.ZodUnion<readonly [z.ZodObject<{
                path: z.ZodString;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                name: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                message: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                range: z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                displayRange: z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
            }, z.core.$loose>]>;
            fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>>;
        }, z.core.$loose>, z.ZodObject<{
            to: z.ZodUnion<readonly [z.ZodObject<{
                path: z.ZodString;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                name: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                message: z.ZodString;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                range: z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                displayRange: z.ZodOptional<z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>>;
            }, z.core.$loose>, z.ZodObject<{
                displayRange: z.ZodObject<{
                    startLine: z.ZodNumber;
                    startCharacter: z.ZodOptional<z.ZodNumber>;
                    endLine: z.ZodNumber;
                }, z.core.$strip>;
                path: z.ZodOptional<z.ZodString>;
                name: z.ZodOptional<z.ZodString>;
                message: z.ZodOptional<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                character: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                range: z.ZodOptional<z.ZodObject<{
                    start: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                    end: z.ZodObject<{
                        line: z.ZodNumber;
                        character: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
            }, z.core.$loose>]>;
            fromRanges: z.ZodOptional<z.ZodArray<z.ZodObject<{
                startLine: z.ZodNumber;
                startCharacter: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodNumber;
            }, z.core.$strip>>>;
        }, z.core.$loose>]>]>>>;
        matchCount: z.ZodOptional<z.ZodNumber>;
        lines: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
    }, z.core.$loose>>>;
    symbols: z.ZodOptional<z.ZodArray<z.ZodType<DeclarationRow, unknown, z.core.$ZodTypeInternals<DeclarationRow, unknown>>>>;
    coverage: z.ZodOptional<z.ZodObject<{
        textOnlyFiles: z.ZodOptional<z.ZodNumber>;
        importerScan: z.ZodOptional<z.ZodUnknown>;
        verifiedImporterFiles: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$loose>>;
    builtinLib: z.ZodOptional<z.ZodArray<z.ZodString>>;
}, z.core.$loose>]>;
export declare const LspReceiptSchema: z.ZodObject<{
    serverAvailable: z.ZodOptional<z.ZodBoolean>;
    provider: z.ZodOptional<z.ZodString>;
    language: z.ZodOptional<z.ZodString>;
    receipt: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$loose>;