@usefragments/core 1.0.0

package/dist/schemas/index.d.ts

@@ -0,0 +1,2584 @@
+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 };