import { z } from 'zod';
import { Severity, LegacySeverityLevel } from '../severity.js';
export { SeverityLevel, legacySeverityLevelSchema, severityLevelSchema, severitySchema } from '../severity.js';

declare const factLocationSchema: z.ZodObject<{
    file: z.ZodString;
    line: z.ZodNumber;
    column: z.ZodNumber;
    endLine: z.ZodOptional<z.ZodNumber>;
    endColumn: z.ZodOptional<z.ZodNumber>;
}, "strip", z.ZodTypeAny, {
    file: string;
    line: number;
    column: number;
    endLine?: number | undefined;
    endColumn?: number | undefined;
}, {
    file: string;
    line: number;
    column: number;
    endLine?: number | undefined;
    endColumn?: number | undefined;
}>;
type FactLocation = z.infer<typeof factLocationSchema>;
declare const findingReplacePropValueFixSchema: z.ZodObject<{
    kind: z.ZodLiteral<"replacePropValue">;
    title: z.ZodString;
    prop: z.ZodString;
    value: z.ZodUnknown;
    deterministic: z.ZodOptional<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
    kind: "replacePropValue";
    title: string;
    prop: string;
    deterministic?: boolean | undefined;
    value?: unknown;
}, {
    kind: "replacePropValue";
    title: string;
    prop: string;
    deterministic?: boolean | undefined;
    value?: unknown;
}>;
declare const findingReplaceStyleValueFixSchema: z.ZodObject<{
    kind: z.ZodLiteral<"replaceStyleValue">;
    title: z.ZodString;
    property: z.ZodString;
    value: z.ZodString;
    deterministic: z.ZodOptional<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
    value: string;
    kind: "replaceStyleValue";
    title: string;
    property: string;
    deterministic?: boolean | undefined;
}, {
    value: string;
    kind: "replaceStyleValue";
    title: string;
    property: string;
    deterministic?: boolean | undefined;
}>;
declare const findingReplaceImportFixSchema: z.ZodObject<{
    kind: z.ZodLiteral<"replaceImport">;
    title: z.ZodString;
    from: z.ZodString;
    to: z.ZodString;
    deterministic: z.ZodOptional<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
    kind: "replaceImport";
    title: string;
    from: string;
    to: string;
    deterministic?: boolean | undefined;
}, {
    kind: "replaceImport";
    title: string;
    from: string;
    to: string;
    deterministic?: boolean | undefined;
}>;
declare const findingReplaceComponentFixSchema: z.ZodObject<{
    kind: z.ZodLiteral<"replaceComponent">;
    title: z.ZodString;
    from: z.ZodString;
    to: z.ZodString;
    deterministic: z.ZodOptional<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
    kind: "replaceComponent";
    title: string;
    from: string;
    to: string;
    deterministic?: boolean | undefined;
}, {
    kind: "replaceComponent";
    title: string;
    from: string;
    to: string;
    deterministic?: boolean | undefined;
}>;
declare const findingReplaceClassTokenFixSchema: z.ZodObject<{
    kind: z.ZodLiteral<"replaceClassToken">;
    title: z.ZodString;
    from: z.ZodString;
    to: z.ZodNullable<z.ZodString>;
    utility: z.ZodString;
    deterministic: z.ZodOptional<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
    kind: "replaceClassToken";
    title: string;
    from: string;
    to: string | null;
    utility: string;
    deterministic?: boolean | undefined;
}, {
    kind: "replaceClassToken";
    title: string;
    from: string;
    to: string | null;
    utility: string;
    deterministic?: boolean | undefined;
}>;
declare const findingFixSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
    kind: z.ZodLiteral<"replacePropValue">;
    title: z.ZodString;
    prop: z.ZodString;
    value: z.ZodUnknown;
    deterministic: z.ZodOptional<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
    kind: "replacePropValue";
    title: string;
    prop: string;
    deterministic?: boolean | undefined;
    value?: unknown;
}, {
    kind: "replacePropValue";
    title: string;
    prop: string;
    deterministic?: boolean | undefined;
    value?: unknown;
}>, z.ZodObject<{
    kind: z.ZodLiteral<"replaceStyleValue">;
    title: z.ZodString;
    property: z.ZodString;
    value: z.ZodString;
    deterministic: z.ZodOptional<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
    value: string;
    kind: "replaceStyleValue";
    title: string;
    property: string;
    deterministic?: boolean | undefined;
}, {
    value: string;
    kind: "replaceStyleValue";
    title: string;
    property: string;
    deterministic?: boolean | undefined;
}>, z.ZodObject<{
    kind: z.ZodLiteral<"replaceImport">;
    title: z.ZodString;
    from: z.ZodString;
    to: z.ZodString;
    deterministic: z.ZodOptional<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
    kind: "replaceImport";
    title: string;
    from: string;
    to: string;
    deterministic?: boolean | undefined;
}, {
    kind: "replaceImport";
    title: string;
    from: string;
    to: string;
    deterministic?: boolean | undefined;
}>, z.ZodObject<{
    kind: z.ZodLiteral<"replaceComponent">;
    title: z.ZodString;
    from: z.ZodString;
    to: z.ZodString;
    deterministic: z.ZodOptional<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
    kind: "replaceComponent";
    title: string;
    from: string;
    to: string;
    deterministic?: boolean | undefined;
}, {
    kind: "replaceComponent";
    title: string;
    from: string;
    to: string;
    deterministic?: boolean | undefined;
}>, z.ZodObject<{
    kind: z.ZodLiteral<"replaceClassToken">;
    title: z.ZodString;
    from: z.ZodString;
    to: z.ZodNullable<z.ZodString>;
    utility: z.ZodString;
    deterministic: z.ZodOptional<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
    kind: "replaceClassToken";
    title: string;
    from: string;
    to: string | null;
    utility: string;
    deterministic?: boolean | undefined;
}, {
    kind: "replaceClassToken";
    title: string;
    from: string;
    to: string | null;
    utility: string;
    deterministic?: boolean | undefined;
}>]>;
type FindingFix = z.infer<typeof findingFixSchema>;
type FindingReplacePropValueFix = z.infer<typeof findingReplacePropValueFixSchema>;
type FindingReplaceStyleValueFix = z.infer<typeof findingReplaceStyleValueFixSchema>;
type FindingReplaceImportFix = z.infer<typeof findingReplaceImportFixSchema>;
type FindingReplaceComponentFix = z.infer<typeof findingReplaceComponentFixSchema>;
type FindingReplaceClassTokenFix = z.infer<typeof findingReplaceClassTokenFixSchema>;
interface FactEvidence {
    factId: string;
    fact: {
        kind: string;
        location?: FactLocation;
    };
}
declare const factEvidenceSchema: z.ZodType<FactEvidence>;
declare const findingSchema: z.ZodObject<{
    ruleId: z.ZodString;
    ruleVersion: z.ZodString;
    severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
    level: z.ZodEnum<["error", "warn"]>;
    code: z.ZodOptional<z.ZodString>;
    helpUrl: z.ZodOptional<z.ZodString>;
    message: z.ZodString;
    fingerprint: z.ZodString;
    location: z.ZodObject<{
        file: z.ZodString;
        line: z.ZodNumber;
        column: z.ZodNumber;
        endLine: z.ZodOptional<z.ZodNumber>;
        endColumn: z.ZodOptional<z.ZodNumber>;
    }, "strip", z.ZodTypeAny, {
        file: string;
        line: number;
        column: number;
        endLine?: number | undefined;
        endColumn?: number | undefined;
    }, {
        file: string;
        line: number;
        column: number;
        endLine?: number | undefined;
        endColumn?: number | undefined;
    }>;
    evidence: z.ZodArray<z.ZodType<FactEvidence, z.ZodTypeDef, FactEvidence>, "many">;
    fix: z.ZodOptional<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
        kind: z.ZodLiteral<"replacePropValue">;
        title: z.ZodString;
        prop: z.ZodString;
        value: z.ZodUnknown;
        deterministic: z.ZodOptional<z.ZodBoolean>;
    }, "strip", z.ZodTypeAny, {
        kind: "replacePropValue";
        title: string;
        prop: string;
        deterministic?: boolean | undefined;
        value?: unknown;
    }, {
        kind: "replacePropValue";
        title: string;
        prop: string;
        deterministic?: boolean | undefined;
        value?: unknown;
    }>, z.ZodObject<{
        kind: z.ZodLiteral<"replaceStyleValue">;
        title: z.ZodString;
        property: z.ZodString;
        value: z.ZodString;
        deterministic: z.ZodOptional<z.ZodBoolean>;
    }, "strip", z.ZodTypeAny, {
        value: string;
        kind: "replaceStyleValue";
        title: string;
        property: string;
        deterministic?: boolean | undefined;
    }, {
        value: string;
        kind: "replaceStyleValue";
        title: string;
        property: string;
        deterministic?: boolean | undefined;
    }>, z.ZodObject<{
        kind: z.ZodLiteral<"replaceImport">;
        title: z.ZodString;
        from: z.ZodString;
        to: z.ZodString;
        deterministic: z.ZodOptional<z.ZodBoolean>;
    }, "strip", z.ZodTypeAny, {
        kind: "replaceImport";
        title: string;
        from: string;
        to: string;
        deterministic?: boolean | undefined;
    }, {
        kind: "replaceImport";
        title: string;
        from: string;
        to: string;
        deterministic?: boolean | undefined;
    }>, z.ZodObject<{
        kind: z.ZodLiteral<"replaceComponent">;
        title: z.ZodString;
        from: z.ZodString;
        to: z.ZodString;
        deterministic: z.ZodOptional<z.ZodBoolean>;
    }, "strip", z.ZodTypeAny, {
        kind: "replaceComponent";
        title: string;
        from: string;
        to: string;
        deterministic?: boolean | undefined;
    }, {
        kind: "replaceComponent";
        title: string;
        from: string;
        to: string;
        deterministic?: boolean | undefined;
    }>, z.ZodObject<{
        kind: z.ZodLiteral<"replaceClassToken">;
        title: z.ZodString;
        from: z.ZodString;
        to: z.ZodNullable<z.ZodString>;
        utility: z.ZodString;
        deterministic: z.ZodOptional<z.ZodBoolean>;
    }, "strip", z.ZodTypeAny, {
        kind: "replaceClassToken";
        title: string;
        from: string;
        to: string | null;
        utility: string;
        deterministic?: boolean | undefined;
    }, {
        kind: "replaceClassToken";
        title: string;
        from: string;
        to: string | null;
        utility: string;
        deterministic?: boolean | undefined;
    }>]>>;
    attributes: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    /**
     * Product area this finding's file resolved to (topology layer). Optional —
     * absent when the repo has no `topology` config. See `topology/resolve-area`.
     */
    area: z.ZodOptional<z.ZodObject<{
        areaId: z.ZodString;
        areaName: z.ZodString;
        criticality: z.ZodEnum<["low", "medium", "high", "revenue", "regulated"]>;
        owners: z.ZodArray<z.ZodString, "many">;
        matchedGlob: z.ZodString;
    }, "strip", z.ZodTypeAny, {
        areaId: string;
        areaName: string;
        criticality: "high" | "medium" | "low" | "revenue" | "regulated";
        owners: string[];
        matchedGlob: string;
    }, {
        areaId: string;
        areaName: string;
        criticality: "high" | "medium" | "low" | "revenue" | "regulated";
        owners: string[];
        matchedGlob: string;
    }>>;
}, "strip", z.ZodTypeAny, {
    message: string;
    location: {
        file: string;
        line: number;
        column: number;
        endLine?: number | undefined;
        endColumn?: number | undefined;
    };
    ruleId: string;
    ruleVersion: string;
    severity: "critical" | "serious" | "moderate" | "minor";
    level: "error" | "warn";
    fingerprint: string;
    evidence: FactEvidence[];
    code?: string | undefined;
    helpUrl?: string | undefined;
    fix?: {
        kind: "replacePropValue";
        title: string;
        prop: string;
        deterministic?: boolean | undefined;
        value?: unknown;
    } | {
        value: string;
        kind: "replaceStyleValue";
        title: string;
        property: string;
        deterministic?: boolean | undefined;
    } | {
        kind: "replaceImport";
        title: string;
        from: string;
        to: string;
        deterministic?: boolean | undefined;
    } | {
        kind: "replaceComponent";
        title: string;
        from: string;
        to: string;
        deterministic?: boolean | undefined;
    } | {
        kind: "replaceClassToken";
        title: string;
        from: string;
        to: string | null;
        utility: string;
        deterministic?: boolean | undefined;
    } | undefined;
    attributes?: Record<string, unknown> | undefined;
    area?: {
        areaId: string;
        areaName: string;
        criticality: "high" | "medium" | "low" | "revenue" | "regulated";
        owners: string[];
        matchedGlob: string;
    } | undefined;
}, {
    message: string;
    location: {
        file: string;
        line: number;
        column: number;
        endLine?: number | undefined;
        endColumn?: number | undefined;
    };
    ruleId: string;
    ruleVersion: string;
    severity: "critical" | "serious" | "moderate" | "minor";
    level: "error" | "warn";
    fingerprint: string;
    evidence: FactEvidence[];
    code?: string | undefined;
    helpUrl?: string | undefined;
    fix?: {
        kind: "replacePropValue";
        title: string;
        prop: string;
        deterministic?: boolean | undefined;
        value?: unknown;
    } | {
        value: string;
        kind: "replaceStyleValue";
        title: string;
        property: string;
        deterministic?: boolean | undefined;
    } | {
        kind: "replaceImport";
        title: string;
        from: string;
        to: string;
        deterministic?: boolean | undefined;
    } | {
        kind: "replaceComponent";
        title: string;
        from: string;
        to: string;
        deterministic?: boolean | undefined;
    } | {
        kind: "replaceClassToken";
        title: string;
        from: string;
        to: string | null;
        utility: string;
        deterministic?: boolean | undefined;
    } | undefined;
    attributes?: Record<string, unknown> | undefined;
    area?: {
        areaId: string;
        areaName: string;
        criticality: "high" | "medium" | "low" | "revenue" | "regulated";
        owners: string[];
        matchedGlob: string;
    } | undefined;
}>;
type Finding = z.infer<typeof findingSchema>;
declare const violationSchema: z.ZodObject<{
    nodeId: z.ZodString;
    nodeType: z.ZodString;
    rule: z.ZodString;
    severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
    level: z.ZodOptional<z.ZodEnum<["error", "warn"]>>;
    code: z.ZodOptional<z.ZodString>;
    helpUrl: z.ZodOptional<z.ZodString>;
    message: z.ZodString;
    path: z.ZodOptional<z.ZodString>;
    suggestion: z.ZodOptional<z.ZodString>;
    prop: z.ZodOptional<z.ZodString>;
    filePath: z.ZodOptional<z.ZodString>;
    line: z.ZodOptional<z.ZodNumber>;
    column: z.ZodOptional<z.ZodNumber>;
    rawValue: z.ZodOptional<z.ZodString>;
    extra: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, "strip", z.ZodTypeAny, {
    message: string;
    severity: "critical" | "serious" | "moderate" | "minor";
    nodeId: string;
    nodeType: string;
    rule: string;
    code?: string | undefined;
    path?: string | undefined;
    line?: number | undefined;
    column?: number | undefined;
    prop?: string | undefined;
    level?: "error" | "warn" | undefined;
    helpUrl?: string | undefined;
    suggestion?: string | undefined;
    filePath?: string | undefined;
    rawValue?: string | undefined;
    extra?: Record<string, unknown> | undefined;
}, {
    message: string;
    severity: "critical" | "serious" | "moderate" | "minor";
    nodeId: string;
    nodeType: string;
    rule: string;
    code?: string | undefined;
    path?: string | undefined;
    line?: number | undefined;
    column?: number | undefined;
    prop?: string | undefined;
    level?: "error" | "warn" | undefined;
    helpUrl?: string | undefined;
    suggestion?: string | undefined;
    filePath?: string | undefined;
    rawValue?: string | undefined;
    extra?: Record<string, unknown> | undefined;
}>;
type Violation = z.infer<typeof violationSchema>;
declare const fixSchema: z.ZodObject<{
    nodeId: z.ZodString;
    prop: z.ZodOptional<z.ZodString>;
    action: z.ZodEnum<["remove", "replace", "add"]>;
    value: z.ZodOptional<z.ZodUnknown>;
    description: z.ZodString;
}, "strip", z.ZodTypeAny, {
    nodeId: string;
    action: "remove" | "replace" | "add";
    description: string;
    value?: unknown;
    prop?: string | undefined;
}, {
    nodeId: string;
    action: "remove" | "replace" | "add";
    description: string;
    value?: unknown;
    prop?: string | undefined;
}>;
type Fix = z.infer<typeof fixSchema>;
declare const validatorResultSchema: z.ZodObject<{
    validator: z.ZodString;
    severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
    passed: z.ZodBoolean;
    violations: z.ZodArray<z.ZodObject<{
        nodeId: z.ZodString;
        nodeType: z.ZodString;
        rule: z.ZodString;
        severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
        level: z.ZodOptional<z.ZodEnum<["error", "warn"]>>;
        code: z.ZodOptional<z.ZodString>;
        helpUrl: z.ZodOptional<z.ZodString>;
        message: z.ZodString;
        path: z.ZodOptional<z.ZodString>;
        suggestion: z.ZodOptional<z.ZodString>;
        prop: z.ZodOptional<z.ZodString>;
        filePath: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        column: z.ZodOptional<z.ZodNumber>;
        rawValue: z.ZodOptional<z.ZodString>;
        extra: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, "strip", z.ZodTypeAny, {
        message: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        nodeId: string;
        nodeType: string;
        rule: string;
        code?: string | undefined;
        path?: string | undefined;
        line?: number | undefined;
        column?: number | undefined;
        prop?: string | undefined;
        level?: "error" | "warn" | undefined;
        helpUrl?: string | undefined;
        suggestion?: string | undefined;
        filePath?: string | undefined;
        rawValue?: string | undefined;
        extra?: Record<string, unknown> | undefined;
    }, {
        message: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        nodeId: string;
        nodeType: string;
        rule: string;
        code?: string | undefined;
        path?: string | undefined;
        line?: number | undefined;
        column?: number | undefined;
        prop?: string | undefined;
        level?: "error" | "warn" | undefined;
        helpUrl?: string | undefined;
        suggestion?: string | undefined;
        filePath?: string | undefined;
        rawValue?: string | undefined;
        extra?: Record<string, unknown> | undefined;
    }>, "many">;
    findings: z.ZodOptional<z.ZodArray<z.ZodObject<{
        ruleId: z.ZodString;
        ruleVersion: z.ZodString;
        severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
        level: z.ZodEnum<["error", "warn"]>;
        code: z.ZodOptional<z.ZodString>;
        helpUrl: z.ZodOptional<z.ZodString>;
        message: z.ZodString;
        fingerprint: z.ZodString;
        location: z.ZodObject<{
            file: z.ZodString;
            line: z.ZodNumber;
            column: z.ZodNumber;
            endLine: z.ZodOptional<z.ZodNumber>;
            endColumn: z.ZodOptional<z.ZodNumber>;
        }, "strip", z.ZodTypeAny, {
            file: string;
            line: number;
            column: number;
            endLine?: number | undefined;
            endColumn?: number | undefined;
        }, {
            file: string;
            line: number;
            column: number;
            endLine?: number | undefined;
            endColumn?: number | undefined;
        }>;
        evidence: z.ZodArray<z.ZodType<FactEvidence, z.ZodTypeDef, FactEvidence>, "many">;
        fix: z.ZodOptional<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
            kind: z.ZodLiteral<"replacePropValue">;
            title: z.ZodString;
            prop: z.ZodString;
            value: z.ZodUnknown;
            deterministic: z.ZodOptional<z.ZodBoolean>;
        }, "strip", z.ZodTypeAny, {
            kind: "replacePropValue";
            title: string;
            prop: string;
            deterministic?: boolean | undefined;
            value?: unknown;
        }, {
            kind: "replacePropValue";
            title: string;
            prop: string;
            deterministic?: boolean | undefined;
            value?: unknown;
        }>, z.ZodObject<{
            kind: z.ZodLiteral<"replaceStyleValue">;
            title: z.ZodString;
            property: z.ZodString;
            value: z.ZodString;
            deterministic: z.ZodOptional<z.ZodBoolean>;
        }, "strip", z.ZodTypeAny, {
            value: string;
            kind: "replaceStyleValue";
            title: string;
            property: string;
            deterministic?: boolean | undefined;
        }, {
            value: string;
            kind: "replaceStyleValue";
            title: string;
            property: string;
            deterministic?: boolean | undefined;
        }>, z.ZodObject<{
            kind: z.ZodLiteral<"replaceImport">;
            title: z.ZodString;
            from: z.ZodString;
            to: z.ZodString;
            deterministic: z.ZodOptional<z.ZodBoolean>;
        }, "strip", z.ZodTypeAny, {
            kind: "replaceImport";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        }, {
            kind: "replaceImport";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        }>, z.ZodObject<{
            kind: z.ZodLiteral<"replaceComponent">;
            title: z.ZodString;
            from: z.ZodString;
            to: z.ZodString;
            deterministic: z.ZodOptional<z.ZodBoolean>;
        }, "strip", z.ZodTypeAny, {
            kind: "replaceComponent";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        }, {
            kind: "replaceComponent";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        }>, z.ZodObject<{
            kind: z.ZodLiteral<"replaceClassToken">;
            title: z.ZodString;
            from: z.ZodString;
            to: z.ZodNullable<z.ZodString>;
            utility: z.ZodString;
            deterministic: z.ZodOptional<z.ZodBoolean>;
        }, "strip", z.ZodTypeAny, {
            kind: "replaceClassToken";
            title: string;
            from: string;
            to: string | null;
            utility: string;
            deterministic?: boolean | undefined;
        }, {
            kind: "replaceClassToken";
            title: string;
            from: string;
            to: string | null;
            utility: string;
            deterministic?: boolean | undefined;
        }>]>>;
        attributes: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        /**
         * Product area this finding's file resolved to (topology layer). Optional —
         * absent when the repo has no `topology` config. See `topology/resolve-area`.
         */
        area: z.ZodOptional<z.ZodObject<{
            areaId: z.ZodString;
            areaName: z.ZodString;
            criticality: z.ZodEnum<["low", "medium", "high", "revenue", "regulated"]>;
            owners: z.ZodArray<z.ZodString, "many">;
            matchedGlob: z.ZodString;
        }, "strip", z.ZodTypeAny, {
            areaId: string;
            areaName: string;
            criticality: "high" | "medium" | "low" | "revenue" | "regulated";
            owners: string[];
            matchedGlob: string;
        }, {
            areaId: string;
            areaName: string;
            criticality: "high" | "medium" | "low" | "revenue" | "regulated";
            owners: string[];
            matchedGlob: string;
        }>>;
    }, "strip", z.ZodTypeAny, {
        message: string;
        location: {
            file: string;
            line: number;
            column: number;
            endLine?: number | undefined;
            endColumn?: number | undefined;
        };
        ruleId: string;
        ruleVersion: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        fingerprint: string;
        evidence: FactEvidence[];
        code?: string | undefined;
        helpUrl?: string | undefined;
        fix?: {
            kind: "replacePropValue";
            title: string;
            prop: string;
            deterministic?: boolean | undefined;
            value?: unknown;
        } | {
            value: string;
            kind: "replaceStyleValue";
            title: string;
            property: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceImport";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceComponent";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceClassToken";
            title: string;
            from: string;
            to: string | null;
            utility: string;
            deterministic?: boolean | undefined;
        } | undefined;
        attributes?: Record<string, unknown> | undefined;
        area?: {
            areaId: string;
            areaName: string;
            criticality: "high" | "medium" | "low" | "revenue" | "regulated";
            owners: string[];
            matchedGlob: string;
        } | undefined;
    }, {
        message: string;
        location: {
            file: string;
            line: number;
            column: number;
            endLine?: number | undefined;
            endColumn?: number | undefined;
        };
        ruleId: string;
        ruleVersion: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        fingerprint: string;
        evidence: FactEvidence[];
        code?: string | undefined;
        helpUrl?: string | undefined;
        fix?: {
            kind: "replacePropValue";
            title: string;
            prop: string;
            deterministic?: boolean | undefined;
            value?: unknown;
        } | {
            value: string;
            kind: "replaceStyleValue";
            title: string;
            property: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceImport";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceComponent";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceClassToken";
            title: string;
            from: string;
            to: string | null;
            utility: string;
            deterministic?: boolean | undefined;
        } | undefined;
        attributes?: Record<string, unknown> | undefined;
        area?: {
            areaId: string;
            areaName: string;
            criticality: "high" | "medium" | "low" | "revenue" | "regulated";
            owners: string[];
            matchedGlob: string;
        } | undefined;
    }>, "many">>;
    suggestions: z.ZodOptional<z.ZodArray<z.ZodObject<{
        nodeId: z.ZodString;
        prop: z.ZodOptional<z.ZodString>;
        action: z.ZodEnum<["remove", "replace", "add"]>;
        value: z.ZodOptional<z.ZodUnknown>;
        description: z.ZodString;
    }, "strip", z.ZodTypeAny, {
        nodeId: string;
        action: "remove" | "replace" | "add";
        description: string;
        value?: unknown;
        prop?: string | undefined;
    }, {
        nodeId: string;
        action: "remove" | "replace" | "add";
        description: string;
        value?: unknown;
        prop?: string | undefined;
    }>, "many">>;
}, "strip", z.ZodTypeAny, {
    severity: "critical" | "serious" | "moderate" | "minor";
    validator: string;
    passed: boolean;
    violations: {
        message: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        nodeId: string;
        nodeType: string;
        rule: string;
        code?: string | undefined;
        path?: string | undefined;
        line?: number | undefined;
        column?: number | undefined;
        prop?: string | undefined;
        level?: "error" | "warn" | undefined;
        helpUrl?: string | undefined;
        suggestion?: string | undefined;
        filePath?: string | undefined;
        rawValue?: string | undefined;
        extra?: Record<string, unknown> | undefined;
    }[];
    findings?: {
        message: string;
        location: {
            file: string;
            line: number;
            column: number;
            endLine?: number | undefined;
            endColumn?: number | undefined;
        };
        ruleId: string;
        ruleVersion: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        fingerprint: string;
        evidence: FactEvidence[];
        code?: string | undefined;
        helpUrl?: string | undefined;
        fix?: {
            kind: "replacePropValue";
            title: string;
            prop: string;
            deterministic?: boolean | undefined;
            value?: unknown;
        } | {
            value: string;
            kind: "replaceStyleValue";
            title: string;
            property: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceImport";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceComponent";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceClassToken";
            title: string;
            from: string;
            to: string | null;
            utility: string;
            deterministic?: boolean | undefined;
        } | undefined;
        attributes?: Record<string, unknown> | undefined;
        area?: {
            areaId: string;
            areaName: string;
            criticality: "high" | "medium" | "low" | "revenue" | "regulated";
            owners: string[];
            matchedGlob: string;
        } | undefined;
    }[] | undefined;
    suggestions?: {
        nodeId: string;
        action: "remove" | "replace" | "add";
        description: string;
        value?: unknown;
        prop?: string | undefined;
    }[] | undefined;
}, {
    severity: "critical" | "serious" | "moderate" | "minor";
    validator: string;
    passed: boolean;
    violations: {
        message: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        nodeId: string;
        nodeType: string;
        rule: string;
        code?: string | undefined;
        path?: string | undefined;
        line?: number | undefined;
        column?: number | undefined;
        prop?: string | undefined;
        level?: "error" | "warn" | undefined;
        helpUrl?: string | undefined;
        suggestion?: string | undefined;
        filePath?: string | undefined;
        rawValue?: string | undefined;
        extra?: Record<string, unknown> | undefined;
    }[];
    findings?: {
        message: string;
        location: {
            file: string;
            line: number;
            column: number;
            endLine?: number | undefined;
            endColumn?: number | undefined;
        };
        ruleId: string;
        ruleVersion: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        fingerprint: string;
        evidence: FactEvidence[];
        code?: string | undefined;
        helpUrl?: string | undefined;
        fix?: {
            kind: "replacePropValue";
            title: string;
            prop: string;
            deterministic?: boolean | undefined;
            value?: unknown;
        } | {
            value: string;
            kind: "replaceStyleValue";
            title: string;
            property: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceImport";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceComponent";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceClassToken";
            title: string;
            from: string;
            to: string | null;
            utility: string;
            deterministic?: boolean | undefined;
        } | undefined;
        attributes?: Record<string, unknown> | undefined;
        area?: {
            areaId: string;
            areaName: string;
            criticality: "high" | "medium" | "low" | "revenue" | "regulated";
            owners: string[];
            matchedGlob: string;
        } | undefined;
    }[] | undefined;
    suggestions?: {
        nodeId: string;
        action: "remove" | "replace" | "add";
        description: string;
        value?: unknown;
        prop?: string | undefined;
    }[] | undefined;
}>;
type ValidatorResult = z.infer<typeof validatorResultSchema>;
declare const governanceVerdictMetadataSchema: z.ZodObject<{
    runner: z.ZodString;
    policyVersion: z.ZodOptional<z.ZodString>;
    duration: z.ZodNumber;
    nodeCount: z.ZodNumber;
    componentTypes: z.ZodArray<z.ZodString, "many">;
}, "strip", z.ZodTypeAny, {
    runner: string;
    duration: number;
    nodeCount: number;
    componentTypes: string[];
    policyVersion?: string | undefined;
}, {
    runner: string;
    duration: number;
    nodeCount: number;
    componentTypes: string[];
    policyVersion?: string | undefined;
}>;
type GovernanceVerdictMetadata = z.infer<typeof governanceVerdictMetadataSchema>;
declare const governanceVerdictSchema: z.ZodObject<{
    verdict: z.ZodOptional<z.ZodEnum<["pass", "warn", "fail"]>>;
    passed: z.ZodBoolean;
    score: z.ZodNumber;
    results: z.ZodArray<z.ZodObject<{
        validator: z.ZodString;
        severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
        passed: z.ZodBoolean;
        violations: z.ZodArray<z.ZodObject<{
            nodeId: z.ZodString;
            nodeType: z.ZodString;
            rule: z.ZodString;
            severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
            level: z.ZodOptional<z.ZodEnum<["error", "warn"]>>;
            code: z.ZodOptional<z.ZodString>;
            helpUrl: z.ZodOptional<z.ZodString>;
            message: z.ZodString;
            path: z.ZodOptional<z.ZodString>;
            suggestion: z.ZodOptional<z.ZodString>;
            prop: z.ZodOptional<z.ZodString>;
            filePath: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            column: z.ZodOptional<z.ZodNumber>;
            rawValue: z.ZodOptional<z.ZodString>;
            extra: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, "strip", z.ZodTypeAny, {
            message: string;
            severity: "critical" | "serious" | "moderate" | "minor";
            nodeId: string;
            nodeType: string;
            rule: string;
            code?: string | undefined;
            path?: string | undefined;
            line?: number | undefined;
            column?: number | undefined;
            prop?: string | undefined;
            level?: "error" | "warn" | undefined;
            helpUrl?: string | undefined;
            suggestion?: string | undefined;
            filePath?: string | undefined;
            rawValue?: string | undefined;
            extra?: Record<string, unknown> | undefined;
        }, {
            message: string;
            severity: "critical" | "serious" | "moderate" | "minor";
            nodeId: string;
            nodeType: string;
            rule: string;
            code?: string | undefined;
            path?: string | undefined;
            line?: number | undefined;
            column?: number | undefined;
            prop?: string | undefined;
            level?: "error" | "warn" | undefined;
            helpUrl?: string | undefined;
            suggestion?: string | undefined;
            filePath?: string | undefined;
            rawValue?: string | undefined;
            extra?: Record<string, unknown> | undefined;
        }>, "many">;
        findings: z.ZodOptional<z.ZodArray<z.ZodObject<{
            ruleId: z.ZodString;
            ruleVersion: z.ZodString;
            severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
            level: z.ZodEnum<["error", "warn"]>;
            code: z.ZodOptional<z.ZodString>;
            helpUrl: z.ZodOptional<z.ZodString>;
            message: z.ZodString;
            fingerprint: z.ZodString;
            location: z.ZodObject<{
                file: z.ZodString;
                line: z.ZodNumber;
                column: z.ZodNumber;
                endLine: z.ZodOptional<z.ZodNumber>;
                endColumn: z.ZodOptional<z.ZodNumber>;
            }, "strip", z.ZodTypeAny, {
                file: string;
                line: number;
                column: number;
                endLine?: number | undefined;
                endColumn?: number | undefined;
            }, {
                file: string;
                line: number;
                column: number;
                endLine?: number | undefined;
                endColumn?: number | undefined;
            }>;
            evidence: z.ZodArray<z.ZodType<FactEvidence, z.ZodTypeDef, FactEvidence>, "many">;
            fix: z.ZodOptional<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
                kind: z.ZodLiteral<"replacePropValue">;
                title: z.ZodString;
                prop: z.ZodString;
                value: z.ZodUnknown;
                deterministic: z.ZodOptional<z.ZodBoolean>;
            }, "strip", z.ZodTypeAny, {
                kind: "replacePropValue";
                title: string;
                prop: string;
                deterministic?: boolean | undefined;
                value?: unknown;
            }, {
                kind: "replacePropValue";
                title: string;
                prop: string;
                deterministic?: boolean | undefined;
                value?: unknown;
            }>, z.ZodObject<{
                kind: z.ZodLiteral<"replaceStyleValue">;
                title: z.ZodString;
                property: z.ZodString;
                value: z.ZodString;
                deterministic: z.ZodOptional<z.ZodBoolean>;
            }, "strip", z.ZodTypeAny, {
                value: string;
                kind: "replaceStyleValue";
                title: string;
                property: string;
                deterministic?: boolean | undefined;
            }, {
                value: string;
                kind: "replaceStyleValue";
                title: string;
                property: string;
                deterministic?: boolean | undefined;
            }>, z.ZodObject<{
                kind: z.ZodLiteral<"replaceImport">;
                title: z.ZodString;
                from: z.ZodString;
                to: z.ZodString;
                deterministic: z.ZodOptional<z.ZodBoolean>;
            }, "strip", z.ZodTypeAny, {
                kind: "replaceImport";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            }, {
                kind: "replaceImport";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            }>, z.ZodObject<{
                kind: z.ZodLiteral<"replaceComponent">;
                title: z.ZodString;
                from: z.ZodString;
                to: z.ZodString;
                deterministic: z.ZodOptional<z.ZodBoolean>;
            }, "strip", z.ZodTypeAny, {
                kind: "replaceComponent";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            }, {
                kind: "replaceComponent";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            }>, z.ZodObject<{
                kind: z.ZodLiteral<"replaceClassToken">;
                title: z.ZodString;
                from: z.ZodString;
                to: z.ZodNullable<z.ZodString>;
                utility: z.ZodString;
                deterministic: z.ZodOptional<z.ZodBoolean>;
            }, "strip", z.ZodTypeAny, {
                kind: "replaceClassToken";
                title: string;
                from: string;
                to: string | null;
                utility: string;
                deterministic?: boolean | undefined;
            }, {
                kind: "replaceClassToken";
                title: string;
                from: string;
                to: string | null;
                utility: string;
                deterministic?: boolean | undefined;
            }>]>>;
            attributes: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            /**
             * Product area this finding's file resolved to (topology layer). Optional —
             * absent when the repo has no `topology` config. See `topology/resolve-area`.
             */
            area: z.ZodOptional<z.ZodObject<{
                areaId: z.ZodString;
                areaName: z.ZodString;
                criticality: z.ZodEnum<["low", "medium", "high", "revenue", "regulated"]>;
                owners: z.ZodArray<z.ZodString, "many">;
                matchedGlob: z.ZodString;
            }, "strip", z.ZodTypeAny, {
                areaId: string;
                areaName: string;
                criticality: "high" | "medium" | "low" | "revenue" | "regulated";
                owners: string[];
                matchedGlob: string;
            }, {
                areaId: string;
                areaName: string;
                criticality: "high" | "medium" | "low" | "revenue" | "regulated";
                owners: string[];
                matchedGlob: string;
            }>>;
        }, "strip", z.ZodTypeAny, {
            message: string;
            location: {
                file: string;
                line: number;
                column: number;
                endLine?: number | undefined;
                endColumn?: number | undefined;
            };
            ruleId: string;
            ruleVersion: string;
            severity: "critical" | "serious" | "moderate" | "minor";
            level: "error" | "warn";
            fingerprint: string;
            evidence: FactEvidence[];
            code?: string | undefined;
            helpUrl?: string | undefined;
            fix?: {
                kind: "replacePropValue";
                title: string;
                prop: string;
                deterministic?: boolean | undefined;
                value?: unknown;
            } | {
                value: string;
                kind: "replaceStyleValue";
                title: string;
                property: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceImport";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceComponent";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceClassToken";
                title: string;
                from: string;
                to: string | null;
                utility: string;
                deterministic?: boolean | undefined;
            } | undefined;
            attributes?: Record<string, unknown> | undefined;
            area?: {
                areaId: string;
                areaName: string;
                criticality: "high" | "medium" | "low" | "revenue" | "regulated";
                owners: string[];
                matchedGlob: string;
            } | undefined;
        }, {
            message: string;
            location: {
                file: string;
                line: number;
                column: number;
                endLine?: number | undefined;
                endColumn?: number | undefined;
            };
            ruleId: string;
            ruleVersion: string;
            severity: "critical" | "serious" | "moderate" | "minor";
            level: "error" | "warn";
            fingerprint: string;
            evidence: FactEvidence[];
            code?: string | undefined;
            helpUrl?: string | undefined;
            fix?: {
                kind: "replacePropValue";
                title: string;
                prop: string;
                deterministic?: boolean | undefined;
                value?: unknown;
            } | {
                value: string;
                kind: "replaceStyleValue";
                title: string;
                property: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceImport";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceComponent";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceClassToken";
                title: string;
                from: string;
                to: string | null;
                utility: string;
                deterministic?: boolean | undefined;
            } | undefined;
            attributes?: Record<string, unknown> | undefined;
            area?: {
                areaId: string;
                areaName: string;
                criticality: "high" | "medium" | "low" | "revenue" | "regulated";
                owners: string[];
                matchedGlob: string;
            } | undefined;
        }>, "many">>;
        suggestions: z.ZodOptional<z.ZodArray<z.ZodObject<{
            nodeId: z.ZodString;
            prop: z.ZodOptional<z.ZodString>;
            action: z.ZodEnum<["remove", "replace", "add"]>;
            value: z.ZodOptional<z.ZodUnknown>;
            description: z.ZodString;
        }, "strip", z.ZodTypeAny, {
            nodeId: string;
            action: "remove" | "replace" | "add";
            description: string;
            value?: unknown;
            prop?: string | undefined;
        }, {
            nodeId: string;
            action: "remove" | "replace" | "add";
            description: string;
            value?: unknown;
            prop?: string | undefined;
        }>, "many">>;
    }, "strip", z.ZodTypeAny, {
        severity: "critical" | "serious" | "moderate" | "minor";
        validator: string;
        passed: boolean;
        violations: {
            message: string;
            severity: "critical" | "serious" | "moderate" | "minor";
            nodeId: string;
            nodeType: string;
            rule: string;
            code?: string | undefined;
            path?: string | undefined;
            line?: number | undefined;
            column?: number | undefined;
            prop?: string | undefined;
            level?: "error" | "warn" | undefined;
            helpUrl?: string | undefined;
            suggestion?: string | undefined;
            filePath?: string | undefined;
            rawValue?: string | undefined;
            extra?: Record<string, unknown> | undefined;
        }[];
        findings?: {
            message: string;
            location: {
                file: string;
                line: number;
                column: number;
                endLine?: number | undefined;
                endColumn?: number | undefined;
            };
            ruleId: string;
            ruleVersion: string;
            severity: "critical" | "serious" | "moderate" | "minor";
            level: "error" | "warn";
            fingerprint: string;
            evidence: FactEvidence[];
            code?: string | undefined;
            helpUrl?: string | undefined;
            fix?: {
                kind: "replacePropValue";
                title: string;
                prop: string;
                deterministic?: boolean | undefined;
                value?: unknown;
            } | {
                value: string;
                kind: "replaceStyleValue";
                title: string;
                property: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceImport";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceComponent";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceClassToken";
                title: string;
                from: string;
                to: string | null;
                utility: string;
                deterministic?: boolean | undefined;
            } | undefined;
            attributes?: Record<string, unknown> | undefined;
            area?: {
                areaId: string;
                areaName: string;
                criticality: "high" | "medium" | "low" | "revenue" | "regulated";
                owners: string[];
                matchedGlob: string;
            } | undefined;
        }[] | undefined;
        suggestions?: {
            nodeId: string;
            action: "remove" | "replace" | "add";
            description: string;
            value?: unknown;
            prop?: string | undefined;
        }[] | undefined;
    }, {
        severity: "critical" | "serious" | "moderate" | "minor";
        validator: string;
        passed: boolean;
        violations: {
            message: string;
            severity: "critical" | "serious" | "moderate" | "minor";
            nodeId: string;
            nodeType: string;
            rule: string;
            code?: string | undefined;
            path?: string | undefined;
            line?: number | undefined;
            column?: number | undefined;
            prop?: string | undefined;
            level?: "error" | "warn" | undefined;
            helpUrl?: string | undefined;
            suggestion?: string | undefined;
            filePath?: string | undefined;
            rawValue?: string | undefined;
            extra?: Record<string, unknown> | undefined;
        }[];
        findings?: {
            message: string;
            location: {
                file: string;
                line: number;
                column: number;
                endLine?: number | undefined;
                endColumn?: number | undefined;
            };
            ruleId: string;
            ruleVersion: string;
            severity: "critical" | "serious" | "moderate" | "minor";
            level: "error" | "warn";
            fingerprint: string;
            evidence: FactEvidence[];
            code?: string | undefined;
            helpUrl?: string | undefined;
            fix?: {
                kind: "replacePropValue";
                title: string;
                prop: string;
                deterministic?: boolean | undefined;
                value?: unknown;
            } | {
                value: string;
                kind: "replaceStyleValue";
                title: string;
                property: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceImport";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceComponent";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceClassToken";
                title: string;
                from: string;
                to: string | null;
                utility: string;
                deterministic?: boolean | undefined;
            } | undefined;
            attributes?: Record<string, unknown> | undefined;
            area?: {
                areaId: string;
                areaName: string;
                criticality: "high" | "medium" | "low" | "revenue" | "regulated";
                owners: string[];
                matchedGlob: string;
            } | undefined;
        }[] | undefined;
        suggestions?: {
            nodeId: string;
            action: "remove" | "replace" | "add";
            description: string;
            value?: unknown;
            prop?: string | undefined;
        }[] | undefined;
    }>, "many">;
    metadata: z.ZodObject<{
        runner: z.ZodString;
        policyVersion: z.ZodOptional<z.ZodString>;
        duration: z.ZodNumber;
        nodeCount: z.ZodNumber;
        componentTypes: z.ZodArray<z.ZodString, "many">;
    }, "strip", z.ZodTypeAny, {
        runner: string;
        duration: number;
        nodeCount: number;
        componentTypes: string[];
        policyVersion?: string | undefined;
    }, {
        runner: string;
        duration: number;
        nodeCount: number;
        componentTypes: string[];
        policyVersion?: string | undefined;
    }>;
}, "strip", z.ZodTypeAny, {
    passed: boolean;
    score: number;
    results: {
        severity: "critical" | "serious" | "moderate" | "minor";
        validator: string;
        passed: boolean;
        violations: {
            message: string;
            severity: "critical" | "serious" | "moderate" | "minor";
            nodeId: string;
            nodeType: string;
            rule: string;
            code?: string | undefined;
            path?: string | undefined;
            line?: number | undefined;
            column?: number | undefined;
            prop?: string | undefined;
            level?: "error" | "warn" | undefined;
            helpUrl?: string | undefined;
            suggestion?: string | undefined;
            filePath?: string | undefined;
            rawValue?: string | undefined;
            extra?: Record<string, unknown> | undefined;
        }[];
        findings?: {
            message: string;
            location: {
                file: string;
                line: number;
                column: number;
                endLine?: number | undefined;
                endColumn?: number | undefined;
            };
            ruleId: string;
            ruleVersion: string;
            severity: "critical" | "serious" | "moderate" | "minor";
            level: "error" | "warn";
            fingerprint: string;
            evidence: FactEvidence[];
            code?: string | undefined;
            helpUrl?: string | undefined;
            fix?: {
                kind: "replacePropValue";
                title: string;
                prop: string;
                deterministic?: boolean | undefined;
                value?: unknown;
            } | {
                value: string;
                kind: "replaceStyleValue";
                title: string;
                property: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceImport";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceComponent";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceClassToken";
                title: string;
                from: string;
                to: string | null;
                utility: string;
                deterministic?: boolean | undefined;
            } | undefined;
            attributes?: Record<string, unknown> | undefined;
            area?: {
                areaId: string;
                areaName: string;
                criticality: "high" | "medium" | "low" | "revenue" | "regulated";
                owners: string[];
                matchedGlob: string;
            } | undefined;
        }[] | undefined;
        suggestions?: {
            nodeId: string;
            action: "remove" | "replace" | "add";
            description: string;
            value?: unknown;
            prop?: string | undefined;
        }[] | undefined;
    }[];
    metadata: {
        runner: string;
        duration: number;
        nodeCount: number;
        componentTypes: string[];
        policyVersion?: string | undefined;
    };
    verdict?: "pass" | "fail" | "warn" | undefined;
}, {
    passed: boolean;
    score: number;
    results: {
        severity: "critical" | "serious" | "moderate" | "minor";
        validator: string;
        passed: boolean;
        violations: {
            message: string;
            severity: "critical" | "serious" | "moderate" | "minor";
            nodeId: string;
            nodeType: string;
            rule: string;
            code?: string | undefined;
            path?: string | undefined;
            line?: number | undefined;
            column?: number | undefined;
            prop?: string | undefined;
            level?: "error" | "warn" | undefined;
            helpUrl?: string | undefined;
            suggestion?: string | undefined;
            filePath?: string | undefined;
            rawValue?: string | undefined;
            extra?: Record<string, unknown> | undefined;
        }[];
        findings?: {
            message: string;
            location: {
                file: string;
                line: number;
                column: number;
                endLine?: number | undefined;
                endColumn?: number | undefined;
            };
            ruleId: string;
            ruleVersion: string;
            severity: "critical" | "serious" | "moderate" | "minor";
            level: "error" | "warn";
            fingerprint: string;
            evidence: FactEvidence[];
            code?: string | undefined;
            helpUrl?: string | undefined;
            fix?: {
                kind: "replacePropValue";
                title: string;
                prop: string;
                deterministic?: boolean | undefined;
                value?: unknown;
            } | {
                value: string;
                kind: "replaceStyleValue";
                title: string;
                property: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceImport";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceComponent";
                title: string;
                from: string;
                to: string;
                deterministic?: boolean | undefined;
            } | {
                kind: "replaceClassToken";
                title: string;
                from: string;
                to: string | null;
                utility: string;
                deterministic?: boolean | undefined;
            } | undefined;
            attributes?: Record<string, unknown> | undefined;
            area?: {
                areaId: string;
                areaName: string;
                criticality: "high" | "medium" | "low" | "revenue" | "regulated";
                owners: string[];
                matchedGlob: string;
            } | undefined;
        }[] | undefined;
        suggestions?: {
            nodeId: string;
            action: "remove" | "replace" | "add";
            description: string;
            value?: unknown;
            prop?: string | undefined;
        }[] | undefined;
    }[];
    metadata: {
        runner: string;
        duration: number;
        nodeCount: number;
        componentTypes: string[];
        policyVersion?: string | undefined;
    };
    verdict?: "pass" | "fail" | "warn" | undefined;
}>;
type GovernanceVerdict = z.infer<typeof governanceVerdictSchema>;
declare const suppressionDirectiveSchema: z.ZodObject<{
    ruleId: z.ZodOptional<z.ZodString>;
    reason: z.ZodString;
    expiresAt: z.ZodOptional<z.ZodString>;
    expiresOn: z.ZodOptional<z.ZodString>;
    scope: z.ZodDefault<z.ZodEnum<["line", "block", "file"]>>;
    code: z.ZodOptional<z.ZodString>;
}, "strip", z.ZodTypeAny, {
    reason: string;
    scope: "file" | "line" | "block";
    code?: string | undefined;
    ruleId?: string | undefined;
    expiresAt?: string | undefined;
    expiresOn?: string | undefined;
}, {
    reason: string;
    code?: string | undefined;
    ruleId?: string | undefined;
    expiresAt?: string | undefined;
    expiresOn?: string | undefined;
    scope?: "file" | "line" | "block" | undefined;
}>;
type SuppressionDirective = z.infer<typeof suppressionDirectiveSchema>;
declare const agentPlanSchema: z.ZodObject<{
    tool: z.ZodEnum<["design_system/list_primitives", "design_system/conform", "design_system/prove_compliant"]>;
    args: z.ZodRecord<z.ZodString, z.ZodUnknown>;
    confidence: z.ZodNumber;
}, "strip", z.ZodTypeAny, {
    tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
    args: Record<string, unknown>;
    confidence: number;
}, {
    tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
    args: Record<string, unknown>;
    confidence: number;
}>;
declare const agentFindingSchema: z.ZodObject<{
    code: z.ZodOptional<z.ZodString>;
    ruleId: z.ZodString;
    filePath: z.ZodString;
    line: z.ZodNumber;
    col: z.ZodNumber;
    severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
    level: z.ZodEnum<["error", "warn"]>;
    message: z.ZodString;
    evidence: z.ZodArray<z.ZodType<FactEvidence, z.ZodTypeDef, FactEvidence>, "many">;
    plan: z.ZodObject<{
        tool: z.ZodEnum<["design_system/list_primitives", "design_system/conform", "design_system/prove_compliant"]>;
        args: z.ZodRecord<z.ZodString, z.ZodUnknown>;
        confidence: z.ZodNumber;
    }, "strip", z.ZodTypeAny, {
        tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
        args: Record<string, unknown>;
        confidence: number;
    }, {
        tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
        args: Record<string, unknown>;
        confidence: number;
    }>;
}, "strip", z.ZodTypeAny, {
    message: string;
    line: number;
    ruleId: string;
    severity: "critical" | "serious" | "moderate" | "minor";
    level: "error" | "warn";
    evidence: FactEvidence[];
    filePath: string;
    col: number;
    plan: {
        tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
        args: Record<string, unknown>;
        confidence: number;
    };
    code?: string | undefined;
}, {
    message: string;
    line: number;
    ruleId: string;
    severity: "critical" | "serious" | "moderate" | "minor";
    level: "error" | "warn";
    evidence: FactEvidence[];
    filePath: string;
    col: number;
    plan: {
        tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
        args: Record<string, unknown>;
        confidence: number;
    };
    code?: string | undefined;
}>;
declare const agentFormatSchema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<"typestyle.agent.v1">;
    passed: z.ZodBoolean;
    score: z.ZodNumber;
    summary: z.ZodString;
    fix_first: z.ZodArray<z.ZodObject<{
        code: z.ZodOptional<z.ZodString>;
        ruleId: z.ZodString;
        filePath: z.ZodString;
        line: z.ZodNumber;
        col: z.ZodNumber;
        severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
        level: z.ZodEnum<["error", "warn"]>;
        message: z.ZodString;
        evidence: z.ZodArray<z.ZodType<FactEvidence, z.ZodTypeDef, FactEvidence>, "many">;
        plan: z.ZodObject<{
            tool: z.ZodEnum<["design_system/list_primitives", "design_system/conform", "design_system/prove_compliant"]>;
            args: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            confidence: z.ZodNumber;
        }, "strip", z.ZodTypeAny, {
            tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
            args: Record<string, unknown>;
            confidence: number;
        }, {
            tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
            args: Record<string, unknown>;
            confidence: number;
        }>;
    }, "strip", z.ZodTypeAny, {
        message: string;
        line: number;
        ruleId: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        evidence: FactEvidence[];
        filePath: string;
        col: number;
        plan: {
            tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
            args: Record<string, unknown>;
            confidence: number;
        };
        code?: string | undefined;
    }, {
        message: string;
        line: number;
        ruleId: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        evidence: FactEvidence[];
        filePath: string;
        col: number;
        plan: {
            tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
            args: Record<string, unknown>;
            confidence: number;
        };
        code?: string | undefined;
    }>, "many">;
    remaining: z.ZodArray<z.ZodObject<{
        code: z.ZodOptional<z.ZodString>;
        ruleId: z.ZodString;
        filePath: z.ZodString;
        line: z.ZodNumber;
        col: z.ZodNumber;
        severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
        level: z.ZodEnum<["error", "warn"]>;
        message: z.ZodString;
        evidence: z.ZodArray<z.ZodType<FactEvidence, z.ZodTypeDef, FactEvidence>, "many">;
        plan: z.ZodObject<{
            tool: z.ZodEnum<["design_system/list_primitives", "design_system/conform", "design_system/prove_compliant"]>;
            args: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            confidence: z.ZodNumber;
        }, "strip", z.ZodTypeAny, {
            tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
            args: Record<string, unknown>;
            confidence: number;
        }, {
            tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
            args: Record<string, unknown>;
            confidence: number;
        }>;
    }, "strip", z.ZodTypeAny, {
        message: string;
        line: number;
        ruleId: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        evidence: FactEvidence[];
        filePath: string;
        col: number;
        plan: {
            tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
            args: Record<string, unknown>;
            confidence: number;
        };
        code?: string | undefined;
    }, {
        message: string;
        line: number;
        ruleId: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        evidence: FactEvidence[];
        filePath: string;
        col: number;
        plan: {
            tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
            args: Record<string, unknown>;
            confidence: number;
        };
        code?: string | undefined;
    }>, "many">;
    suppression_template: z.ZodObject<{
        directive: z.ZodString;
        requiredFields: z.ZodArray<z.ZodString, "many">;
        example: z.ZodString;
    }, "strip", z.ZodTypeAny, {
        directive: string;
        requiredFields: string[];
        example: string;
    }, {
        directive: string;
        requiredFields: string[];
        example: string;
    }>;
    budget: z.ZodObject<{
        iteration: z.ZodNumber;
        maxIterations: z.ZodNumber;
        scoreDelta: z.ZodNumber;
    }, "strip", z.ZodTypeAny, {
        iteration: number;
        maxIterations: number;
        scoreDelta: number;
    }, {
        iteration: number;
        maxIterations: number;
        scoreDelta: number;
    }>;
    findings: z.ZodOptional<z.ZodArray<z.ZodObject<{
        ruleId: z.ZodString;
        ruleVersion: z.ZodString;
        severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
        level: z.ZodEnum<["error", "warn"]>;
        code: z.ZodOptional<z.ZodString>;
        helpUrl: z.ZodOptional<z.ZodString>;
        message: z.ZodString;
        fingerprint: z.ZodString;
        location: z.ZodObject<{
            file: z.ZodString;
            line: z.ZodNumber;
            column: z.ZodNumber;
            endLine: z.ZodOptional<z.ZodNumber>;
            endColumn: z.ZodOptional<z.ZodNumber>;
        }, "strip", z.ZodTypeAny, {
            file: string;
            line: number;
            column: number;
            endLine?: number | undefined;
            endColumn?: number | undefined;
        }, {
            file: string;
            line: number;
            column: number;
            endLine?: number | undefined;
            endColumn?: number | undefined;
        }>;
        evidence: z.ZodArray<z.ZodType<FactEvidence, z.ZodTypeDef, FactEvidence>, "many">;
        fix: z.ZodOptional<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
            kind: z.ZodLiteral<"replacePropValue">;
            title: z.ZodString;
            prop: z.ZodString;
            value: z.ZodUnknown;
            deterministic: z.ZodOptional<z.ZodBoolean>;
        }, "strip", z.ZodTypeAny, {
            kind: "replacePropValue";
            title: string;
            prop: string;
            deterministic?: boolean | undefined;
            value?: unknown;
        }, {
            kind: "replacePropValue";
            title: string;
            prop: string;
            deterministic?: boolean | undefined;
            value?: unknown;
        }>, z.ZodObject<{
            kind: z.ZodLiteral<"replaceStyleValue">;
            title: z.ZodString;
            property: z.ZodString;
            value: z.ZodString;
            deterministic: z.ZodOptional<z.ZodBoolean>;
        }, "strip", z.ZodTypeAny, {
            value: string;
            kind: "replaceStyleValue";
            title: string;
            property: string;
            deterministic?: boolean | undefined;
        }, {
            value: string;
            kind: "replaceStyleValue";
            title: string;
            property: string;
            deterministic?: boolean | undefined;
        }>, z.ZodObject<{
            kind: z.ZodLiteral<"replaceImport">;
            title: z.ZodString;
            from: z.ZodString;
            to: z.ZodString;
            deterministic: z.ZodOptional<z.ZodBoolean>;
        }, "strip", z.ZodTypeAny, {
            kind: "replaceImport";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        }, {
            kind: "replaceImport";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        }>, z.ZodObject<{
            kind: z.ZodLiteral<"replaceComponent">;
            title: z.ZodString;
            from: z.ZodString;
            to: z.ZodString;
            deterministic: z.ZodOptional<z.ZodBoolean>;
        }, "strip", z.ZodTypeAny, {
            kind: "replaceComponent";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        }, {
            kind: "replaceComponent";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        }>, z.ZodObject<{
            kind: z.ZodLiteral<"replaceClassToken">;
            title: z.ZodString;
            from: z.ZodString;
            to: z.ZodNullable<z.ZodString>;
            utility: z.ZodString;
            deterministic: z.ZodOptional<z.ZodBoolean>;
        }, "strip", z.ZodTypeAny, {
            kind: "replaceClassToken";
            title: string;
            from: string;
            to: string | null;
            utility: string;
            deterministic?: boolean | undefined;
        }, {
            kind: "replaceClassToken";
            title: string;
            from: string;
            to: string | null;
            utility: string;
            deterministic?: boolean | undefined;
        }>]>>;
        attributes: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        /**
         * Product area this finding's file resolved to (topology layer). Optional —
         * absent when the repo has no `topology` config. See `topology/resolve-area`.
         */
        area: z.ZodOptional<z.ZodObject<{
            areaId: z.ZodString;
            areaName: z.ZodString;
            criticality: z.ZodEnum<["low", "medium", "high", "revenue", "regulated"]>;
            owners: z.ZodArray<z.ZodString, "many">;
            matchedGlob: z.ZodString;
        }, "strip", z.ZodTypeAny, {
            areaId: string;
            areaName: string;
            criticality: "high" | "medium" | "low" | "revenue" | "regulated";
            owners: string[];
            matchedGlob: string;
        }, {
            areaId: string;
            areaName: string;
            criticality: "high" | "medium" | "low" | "revenue" | "regulated";
            owners: string[];
            matchedGlob: string;
        }>>;
    }, "strip", z.ZodTypeAny, {
        message: string;
        location: {
            file: string;
            line: number;
            column: number;
            endLine?: number | undefined;
            endColumn?: number | undefined;
        };
        ruleId: string;
        ruleVersion: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        fingerprint: string;
        evidence: FactEvidence[];
        code?: string | undefined;
        helpUrl?: string | undefined;
        fix?: {
            kind: "replacePropValue";
            title: string;
            prop: string;
            deterministic?: boolean | undefined;
            value?: unknown;
        } | {
            value: string;
            kind: "replaceStyleValue";
            title: string;
            property: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceImport";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceComponent";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceClassToken";
            title: string;
            from: string;
            to: string | null;
            utility: string;
            deterministic?: boolean | undefined;
        } | undefined;
        attributes?: Record<string, unknown> | undefined;
        area?: {
            areaId: string;
            areaName: string;
            criticality: "high" | "medium" | "low" | "revenue" | "regulated";
            owners: string[];
            matchedGlob: string;
        } | undefined;
    }, {
        message: string;
        location: {
            file: string;
            line: number;
            column: number;
            endLine?: number | undefined;
            endColumn?: number | undefined;
        };
        ruleId: string;
        ruleVersion: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        fingerprint: string;
        evidence: FactEvidence[];
        code?: string | undefined;
        helpUrl?: string | undefined;
        fix?: {
            kind: "replacePropValue";
            title: string;
            prop: string;
            deterministic?: boolean | undefined;
            value?: unknown;
        } | {
            value: string;
            kind: "replaceStyleValue";
            title: string;
            property: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceImport";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceComponent";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceClassToken";
            title: string;
            from: string;
            to: string | null;
            utility: string;
            deterministic?: boolean | undefined;
        } | undefined;
        attributes?: Record<string, unknown> | undefined;
        area?: {
            areaId: string;
            areaName: string;
            criticality: "high" | "medium" | "low" | "revenue" | "regulated";
            owners: string[];
            matchedGlob: string;
        } | undefined;
    }>, "many">>;
    suppressions: z.ZodOptional<z.ZodArray<z.ZodObject<{
        ruleId: z.ZodOptional<z.ZodString>;
        reason: z.ZodString;
        expiresAt: z.ZodOptional<z.ZodString>;
        expiresOn: z.ZodOptional<z.ZodString>;
        scope: z.ZodDefault<z.ZodEnum<["line", "block", "file"]>>;
        code: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        reason: string;
        scope: "file" | "line" | "block";
        code?: string | undefined;
        ruleId?: string | undefined;
        expiresAt?: string | undefined;
        expiresOn?: string | undefined;
    }, {
        reason: string;
        code?: string | undefined;
        ruleId?: string | undefined;
        expiresAt?: string | undefined;
        expiresOn?: string | undefined;
        scope?: "file" | "line" | "block" | undefined;
    }>, "many">>;
}, "strip", z.ZodTypeAny, {
    passed: boolean;
    score: number;
    schemaVersion: "typestyle.agent.v1";
    summary: string;
    fix_first: {
        message: string;
        line: number;
        ruleId: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        evidence: FactEvidence[];
        filePath: string;
        col: number;
        plan: {
            tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
            args: Record<string, unknown>;
            confidence: number;
        };
        code?: string | undefined;
    }[];
    remaining: {
        message: string;
        line: number;
        ruleId: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        evidence: FactEvidence[];
        filePath: string;
        col: number;
        plan: {
            tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
            args: Record<string, unknown>;
            confidence: number;
        };
        code?: string | undefined;
    }[];
    suppression_template: {
        directive: string;
        requiredFields: string[];
        example: string;
    };
    budget: {
        iteration: number;
        maxIterations: number;
        scoreDelta: number;
    };
    findings?: {
        message: string;
        location: {
            file: string;
            line: number;
            column: number;
            endLine?: number | undefined;
            endColumn?: number | undefined;
        };
        ruleId: string;
        ruleVersion: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        fingerprint: string;
        evidence: FactEvidence[];
        code?: string | undefined;
        helpUrl?: string | undefined;
        fix?: {
            kind: "replacePropValue";
            title: string;
            prop: string;
            deterministic?: boolean | undefined;
            value?: unknown;
        } | {
            value: string;
            kind: "replaceStyleValue";
            title: string;
            property: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceImport";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceComponent";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceClassToken";
            title: string;
            from: string;
            to: string | null;
            utility: string;
            deterministic?: boolean | undefined;
        } | undefined;
        attributes?: Record<string, unknown> | undefined;
        area?: {
            areaId: string;
            areaName: string;
            criticality: "high" | "medium" | "low" | "revenue" | "regulated";
            owners: string[];
            matchedGlob: string;
        } | undefined;
    }[] | undefined;
    suppressions?: {
        reason: string;
        scope: "file" | "line" | "block";
        code?: string | undefined;
        ruleId?: string | undefined;
        expiresAt?: string | undefined;
        expiresOn?: string | undefined;
    }[] | undefined;
}, {
    passed: boolean;
    score: number;
    schemaVersion: "typestyle.agent.v1";
    summary: string;
    fix_first: {
        message: string;
        line: number;
        ruleId: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        evidence: FactEvidence[];
        filePath: string;
        col: number;
        plan: {
            tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
            args: Record<string, unknown>;
            confidence: number;
        };
        code?: string | undefined;
    }[];
    remaining: {
        message: string;
        line: number;
        ruleId: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        evidence: FactEvidence[];
        filePath: string;
        col: number;
        plan: {
            tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
            args: Record<string, unknown>;
            confidence: number;
        };
        code?: string | undefined;
    }[];
    suppression_template: {
        directive: string;
        requiredFields: string[];
        example: string;
    };
    budget: {
        iteration: number;
        maxIterations: number;
        scoreDelta: number;
    };
    findings?: {
        message: string;
        location: {
            file: string;
            line: number;
            column: number;
            endLine?: number | undefined;
            endColumn?: number | undefined;
        };
        ruleId: string;
        ruleVersion: string;
        severity: "critical" | "serious" | "moderate" | "minor";
        level: "error" | "warn";
        fingerprint: string;
        evidence: FactEvidence[];
        code?: string | undefined;
        helpUrl?: string | undefined;
        fix?: {
            kind: "replacePropValue";
            title: string;
            prop: string;
            deterministic?: boolean | undefined;
            value?: unknown;
        } | {
            value: string;
            kind: "replaceStyleValue";
            title: string;
            property: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceImport";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceComponent";
            title: string;
            from: string;
            to: string;
            deterministic?: boolean | undefined;
        } | {
            kind: "replaceClassToken";
            title: string;
            from: string;
            to: string | null;
            utility: string;
            deterministic?: boolean | undefined;
        } | undefined;
        attributes?: Record<string, unknown> | undefined;
        area?: {
            areaId: string;
            areaName: string;
            criticality: "high" | "medium" | "low" | "revenue" | "regulated";
            owners: string[];
            matchedGlob: string;
        } | undefined;
    }[] | undefined;
    suppressions?: {
        reason: string;
        code?: string | undefined;
        ruleId?: string | undefined;
        expiresAt?: string | undefined;
        expiresOn?: string | undefined;
        scope?: "file" | "line" | "block" | undefined;
    }[] | undefined;
}>;
type AgentFormat = z.infer<typeof agentFormatSchema>;
declare function normalizeSeverity(severity: Severity | LegacySeverityLevel): Severity;
declare function normalizeFinding(input: Omit<Finding, "level"> & {
    level?: Finding["level"];
}): Finding;
declare function normalizeViolation(input: Omit<Violation, "level"> & {
    level?: Violation["level"];
}): Violation;

export { type AgentFormat, type FactEvidence, type FactLocation, type Finding, type FindingFix, type FindingReplaceClassTokenFix, type FindingReplaceComponentFix, type FindingReplaceImportFix, type FindingReplacePropValueFix, type FindingReplaceStyleValueFix, type Fix, type GovernanceVerdict, type GovernanceVerdictMetadata, LegacySeverityLevel, Severity, type SuppressionDirective, type ValidatorResult, type Violation, agentFindingSchema, agentFormatSchema, agentPlanSchema, factEvidenceSchema, factLocationSchema, findingFixSchema, findingReplaceClassTokenFixSchema, findingReplaceComponentFixSchema, findingReplaceImportFixSchema, findingReplacePropValueFixSchema, findingReplaceStyleValueFixSchema, findingSchema, fixSchema, governanceVerdictMetadataSchema, governanceVerdictSchema, normalizeFinding, normalizeSeverity, normalizeViolation, suppressionDirectiveSchema, validatorResultSchema, violationSchema };