import { z } from "zod";
import type { Board } from "./model.js";
import type { Op } from "./ops.js";
export declare const conceptSchema: z.ZodObject<{
    id: z.ZodString;
    name: z.ZodString;
    definition: z.ZodString;
    aliases: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    status: z.ZodEnum<["inferred", "confirmed", "disputed", "superseded"]>;
    sources: z.ZodOptional<z.ZodArray<z.ZodObject<{
        kind: z.ZodEnum<["interview", "repository", "trace", "document"]>;
        note: z.ZodString;
        ref: z.ZodOptional<z.ZodString>;
    }, "strict", z.ZodTypeAny, {
        kind: "interview" | "repository" | "trace" | "document";
        note: string;
        ref?: string | undefined;
    }, {
        kind: "interview" | "repository" | "trace" | "document";
        note: string;
        ref?: string | undefined;
    }>, "many">>;
    links: z.ZodOptional<z.ZodArray<z.ZodObject<{
        kind: z.ZodEnum<["job", "track", "artifact"]>;
        id: z.ZodString;
    }, "strict", z.ZodTypeAny, {
        id: string;
        kind: "track" | "job" | "artifact";
    }, {
        id: string;
        kind: "track" | "job" | "artifact";
    }>, "many">>;
    relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
        relation: z.ZodString;
        target: z.ZodString;
    }, "strict", z.ZodTypeAny, {
        relation: string;
        target: string;
    }, {
        relation: string;
        target: string;
    }>, "many">>;
    mappings: z.ZodOptional<z.ZodArray<z.ZodObject<{
        kind: z.ZodEnum<["repository", "api", "langfuse"]>;
        ref: z.ZodString;
        note: z.ZodString;
    }, "strict", z.ZodTypeAny, {
        kind: "langfuse" | "repository" | "api";
        note: string;
        ref: string;
    }, {
        kind: "langfuse" | "repository" | "api";
        note: string;
        ref: string;
    }>, "many">>;
    supersededBy: z.ZodOptional<z.ZodString>;
}, "strict", z.ZodTypeAny, {
    id: string;
    name: string;
    status: "inferred" | "confirmed" | "disputed" | "superseded";
    definition: string;
    sources?: {
        kind: "interview" | "repository" | "trace" | "document";
        note: string;
        ref?: string | undefined;
    }[] | undefined;
    aliases?: string[] | undefined;
    links?: {
        id: string;
        kind: "track" | "job" | "artifact";
    }[] | undefined;
    relationships?: {
        relation: string;
        target: string;
    }[] | undefined;
    mappings?: {
        kind: "langfuse" | "repository" | "api";
        note: string;
        ref: string;
    }[] | undefined;
    supersededBy?: string | undefined;
}, {
    id: string;
    name: string;
    status: "inferred" | "confirmed" | "disputed" | "superseded";
    definition: string;
    sources?: {
        kind: "interview" | "repository" | "trace" | "document";
        note: string;
        ref?: string | undefined;
    }[] | undefined;
    aliases?: string[] | undefined;
    links?: {
        id: string;
        kind: "track" | "job" | "artifact";
    }[] | undefined;
    relationships?: {
        relation: string;
        target: string;
    }[] | undefined;
    mappings?: {
        kind: "langfuse" | "repository" | "api";
        note: string;
        ref: string;
    }[] | undefined;
    supersededBy?: string | undefined;
}>;
export declare const vocabularySchema: z.ZodObject<{
    version: z.ZodLiteral<1>;
    namespace: z.ZodString;
    concepts: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        name: z.ZodString;
        definition: z.ZodString;
        aliases: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        status: z.ZodEnum<["inferred", "confirmed", "disputed", "superseded"]>;
        sources: z.ZodOptional<z.ZodArray<z.ZodObject<{
            kind: z.ZodEnum<["interview", "repository", "trace", "document"]>;
            note: z.ZodString;
            ref: z.ZodOptional<z.ZodString>;
        }, "strict", z.ZodTypeAny, {
            kind: "interview" | "repository" | "trace" | "document";
            note: string;
            ref?: string | undefined;
        }, {
            kind: "interview" | "repository" | "trace" | "document";
            note: string;
            ref?: string | undefined;
        }>, "many">>;
        links: z.ZodOptional<z.ZodArray<z.ZodObject<{
            kind: z.ZodEnum<["job", "track", "artifact"]>;
            id: z.ZodString;
        }, "strict", z.ZodTypeAny, {
            id: string;
            kind: "track" | "job" | "artifact";
        }, {
            id: string;
            kind: "track" | "job" | "artifact";
        }>, "many">>;
        relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
            relation: z.ZodString;
            target: z.ZodString;
        }, "strict", z.ZodTypeAny, {
            relation: string;
            target: string;
        }, {
            relation: string;
            target: string;
        }>, "many">>;
        mappings: z.ZodOptional<z.ZodArray<z.ZodObject<{
            kind: z.ZodEnum<["repository", "api", "langfuse"]>;
            ref: z.ZodString;
            note: z.ZodString;
        }, "strict", z.ZodTypeAny, {
            kind: "langfuse" | "repository" | "api";
            note: string;
            ref: string;
        }, {
            kind: "langfuse" | "repository" | "api";
            note: string;
            ref: string;
        }>, "many">>;
        supersededBy: z.ZodOptional<z.ZodString>;
    }, "strict", z.ZodTypeAny, {
        id: string;
        name: string;
        status: "inferred" | "confirmed" | "disputed" | "superseded";
        definition: string;
        sources?: {
            kind: "interview" | "repository" | "trace" | "document";
            note: string;
            ref?: string | undefined;
        }[] | undefined;
        aliases?: string[] | undefined;
        links?: {
            id: string;
            kind: "track" | "job" | "artifact";
        }[] | undefined;
        relationships?: {
            relation: string;
            target: string;
        }[] | undefined;
        mappings?: {
            kind: "langfuse" | "repository" | "api";
            note: string;
            ref: string;
        }[] | undefined;
        supersededBy?: string | undefined;
    }, {
        id: string;
        name: string;
        status: "inferred" | "confirmed" | "disputed" | "superseded";
        definition: string;
        sources?: {
            kind: "interview" | "repository" | "trace" | "document";
            note: string;
            ref?: string | undefined;
        }[] | undefined;
        aliases?: string[] | undefined;
        links?: {
            id: string;
            kind: "track" | "job" | "artifact";
        }[] | undefined;
        relationships?: {
            relation: string;
            target: string;
        }[] | undefined;
        mappings?: {
            kind: "langfuse" | "repository" | "api";
            note: string;
            ref: string;
        }[] | undefined;
        supersededBy?: string | undefined;
    }>, "many">;
}, "strict", z.ZodTypeAny, {
    version: 1;
    namespace: string;
    concepts: {
        id: string;
        name: string;
        status: "inferred" | "confirmed" | "disputed" | "superseded";
        definition: string;
        sources?: {
            kind: "interview" | "repository" | "trace" | "document";
            note: string;
            ref?: string | undefined;
        }[] | undefined;
        aliases?: string[] | undefined;
        links?: {
            id: string;
            kind: "track" | "job" | "artifact";
        }[] | undefined;
        relationships?: {
            relation: string;
            target: string;
        }[] | undefined;
        mappings?: {
            kind: "langfuse" | "repository" | "api";
            note: string;
            ref: string;
        }[] | undefined;
        supersededBy?: string | undefined;
    }[];
}, {
    version: 1;
    namespace: string;
    concepts: {
        id: string;
        name: string;
        status: "inferred" | "confirmed" | "disputed" | "superseded";
        definition: string;
        sources?: {
            kind: "interview" | "repository" | "trace" | "document";
            note: string;
            ref?: string | undefined;
        }[] | undefined;
        aliases?: string[] | undefined;
        links?: {
            id: string;
            kind: "track" | "job" | "artifact";
        }[] | undefined;
        relationships?: {
            relation: string;
            target: string;
        }[] | undefined;
        mappings?: {
            kind: "langfuse" | "repository" | "api";
            note: string;
            ref: string;
        }[] | undefined;
        supersededBy?: string | undefined;
    }[];
}>;
export type DomainConcept = z.infer<typeof conceptSchema>;
export type DomainVocabulary = z.infer<typeof vocabularySchema>;
/** References are associations, never assertions that code or traces were independently verified. */
export declare function validateVocabulary(value: unknown, board?: Board): DomainVocabulary;
export declare function validateVocabularyOperation(board: Board, op: Op, actor: string, propose?: boolean): void;
export declare function vocabularyContext(board: Board): string;