import type { ErrorObject, ValidateFunction } from 'ajv';
import { LineCounter, parseDocument } from 'yaml';
import type { Diagnostic, WorkspaceSource } from './compiler.js';
export interface SourceLocation {
    readonly path: string;
    readonly pointer: string;
    readonly line: number;
    readonly column: number;
}
export interface ValidatedSourceDocument<T> {
    readonly value: T;
    readonly yaml: ReturnType<typeof parseDocument>;
    readonly lineCounter: LineCounter;
}
export type SourceDocumentResult<T> = {
    readonly ok: true;
    readonly document: ValidatedSourceDocument<T>;
} | {
    readonly ok: false;
    readonly diagnostics: readonly Diagnostic[];
};
export declare const diagnosticOrder: (left: Diagnostic, right: Diagnostic) => number;
export declare const describeSchemaViolation: (error: Pick<ErrorObject, 'keyword' | 'message' | 'params'>) => string;
/**
 * The errors worth reading, in the order Ajv found them.
 *
 * A discriminated union raises two errors when the tag itself is missing or
 * mistyped: the `required`/`type` fault that names the property, and a
 * `discriminator` row restating it. The second says nothing the first did not,
 * so it is dropped. A tag that is present but names no branch keeps its row -
 * that one is the only report of the fault.
 */
export declare const readableSchemaErrors: <T extends Pick<ErrorObject, 'keyword' | 'params'>>(errors: readonly T[]) => readonly T[];
export declare const closestCandidate: (value: string, candidates: Iterable<string>) => string | undefined;
export declare function locateSourcePath(sourcePath: string, yaml: ReturnType<typeof parseDocument>, lineCounter: LineCounter, yamlPath: readonly (string | number)[], pointer: string): SourceLocation;
export declare function loadSourceDocument<T>(source: WorkspaceSource, validate: ValidateFunction, schemaLabel: string): SourceDocumentResult<T>;