@spikedpunch/align-core 0.1.0

package/dist/types/ir.d.ts

@@ -0,0 +1,1747 @@
+/**
+ * Ruleset IR (`irVersion: "1"`) — docs/ir-schema.md, ADR 002.
+ *
+ * Parse, don't validate (CODING_BEST_PRACTICES.md §12): the zod schema IS the type. Every
+ * RulesetIR in the system passes through `.parse()` once, at the DSL->IR boundary; nothing
+ * downstream re-validates it.
+ */
+import { z } from 'zod';
+declare const fileSelectorSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"glob">;
+    patterns: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    kind: "glob";
+    patterns: string[];
+}, {
+    kind: "glob";
+    patterns: string[];
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"package">;
+    packageNames: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    kind: "package";
+    packageNames: string[];
+}, {
+    kind: "package";
+    packageNames: string[];
+}>]>;
+declare const emptyPolicySchema: z.ZodEnum<["fail", "allow", "until-populated"]>;
+declare const componentDefinitionSchema: z.ZodObject<{
+    name: z.ZodString;
+    selector: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"glob">;
+        patterns: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        kind: "glob";
+        patterns: string[];
+    }, {
+        kind: "glob";
+        patterns: string[];
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"package">;
+        packageNames: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        kind: "package";
+        packageNames: string[];
+    }, {
+        kind: "package";
+        packageNames: string[];
+    }>]>;
+    empty: z.ZodDefault<z.ZodEnum<["fail", "allow", "until-populated"]>>;
+}, "strip", z.ZodTypeAny, {
+    name: string;
+    selector: {
+        kind: "glob";
+        patterns: string[];
+    } | {
+        kind: "package";
+        packageNames: string[];
+    };
+    empty: "fail" | "allow" | "until-populated";
+}, {
+    name: string;
+    selector: {
+        kind: "glob";
+        patterns: string[];
+    } | {
+        kind: "package";
+        packageNames: string[];
+    };
+    empty?: "fail" | "allow" | "until-populated" | undefined;
+}>;
+declare const ruleProvenanceSchema: z.ZodObject<{
+    because: z.ZodOptional<z.ZodString>;
+    sourceFile: z.ZodOptional<z.ZodString>;
+    sourceLineRange: z.ZodOptional<z.ZodObject<{
+        startLine: z.ZodNumber;
+        endLine: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        startLine: number;
+        endLine: number;
+    }, {
+        startLine: number;
+        endLine: number;
+    }>>;
+    sourceQuote: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    because?: string | undefined;
+    sourceFile?: string | undefined;
+    sourceLineRange?: {
+        startLine: number;
+        endLine: number;
+    } | undefined;
+    sourceQuote?: string | undefined;
+}, {
+    because?: string | undefined;
+    sourceFile?: string | undefined;
+    sourceLineRange?: {
+        startLine: number;
+        endLine: number;
+    } | undefined;
+    sourceQuote?: string | undefined;
+}>;
+declare const archNoDependencySchema: z.ZodObject<{
+    kind: z.ZodLiteral<"arch.no-dependency">;
+    id: z.ZodString;
+    from: z.ZodString;
+    to: z.ZodString;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    kind: "arch.no-dependency";
+    id: string;
+    from: string;
+    to: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}, {
+    kind: "arch.no-dependency";
+    id: string;
+    from: string;
+    to: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}>;
+declare const archNoCyclesSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"arch.no-cycles">;
+    id: z.ZodString;
+    scope: z.ZodUnion<[z.ZodLiteral<"repo">, z.ZodString]>;
+    includeTypeOnly: z.ZodBoolean;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    kind: "arch.no-cycles";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+    scope: string;
+    includeTypeOnly: boolean;
+}, {
+    kind: "arch.no-cycles";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+    scope: string;
+    includeTypeOnly: boolean;
+}>;
+declare const archLayersSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"arch.layers">;
+    id: z.ZodString;
+    layers: z.ZodArray<z.ZodObject<{
+        layer: z.ZodString;
+        canDependOn: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        layer: string;
+        canDependOn: string[];
+    }, {
+        layer: string;
+        canDependOn: string[];
+    }>, "many">;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    layers: {
+        layer: string;
+        canDependOn: string[];
+    }[];
+    kind: "arch.layers";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}, {
+    layers: {
+        layer: string;
+        canDependOn: string[];
+    }[];
+    kind: "arch.layers";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}>;
+declare const customHostSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"custom.host">;
+    id: z.ZodString;
+    hostRuleName: z.ZodString;
+    portable: z.ZodLiteral<false>;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    kind: "custom.host";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+    hostRuleName: string;
+    portable: false;
+}, {
+    kind: "custom.host";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+    hostRuleName: string;
+    portable: false;
+}>;
+declare const archMetricSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"arch.metric">;
+    id: z.ZodString;
+    target: z.ZodString;
+    metric: z.ZodLiteral<"loc">;
+    max: z.ZodNumber;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    metric: "loc";
+    kind: "arch.metric";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+    target: string;
+    max: number;
+}, {
+    metric: "loc";
+    kind: "arch.metric";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+    target: string;
+    max: number;
+}>;
+declare const securityManifestSourceHygieneSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"security.manifest.source-hygiene">;
+    id: z.ZodString;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    kind: "security.manifest.source-hygiene";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}, {
+    kind: "security.manifest.source-hygiene";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}>;
+declare const securityManifestNewDependencySchema: z.ZodObject<{
+    kind: z.ZodLiteral<"security.manifest.new-dependency">;
+    id: z.ZodString;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    kind: "security.manifest.new-dependency";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}, {
+    kind: "security.manifest.new-dependency";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}>;
+export declare const ruleIRSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"arch.no-dependency">;
+    id: z.ZodString;
+    from: z.ZodString;
+    to: z.ZodString;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    kind: "arch.no-dependency";
+    id: string;
+    from: string;
+    to: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}, {
+    kind: "arch.no-dependency";
+    id: string;
+    from: string;
+    to: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"arch.no-cycles">;
+    id: z.ZodString;
+    scope: z.ZodUnion<[z.ZodLiteral<"repo">, z.ZodString]>;
+    includeTypeOnly: z.ZodBoolean;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    kind: "arch.no-cycles";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+    scope: string;
+    includeTypeOnly: boolean;
+}, {
+    kind: "arch.no-cycles";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+    scope: string;
+    includeTypeOnly: boolean;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"arch.layers">;
+    id: z.ZodString;
+    layers: z.ZodArray<z.ZodObject<{
+        layer: z.ZodString;
+        canDependOn: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        layer: string;
+        canDependOn: string[];
+    }, {
+        layer: string;
+        canDependOn: string[];
+    }>, "many">;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    layers: {
+        layer: string;
+        canDependOn: string[];
+    }[];
+    kind: "arch.layers";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}, {
+    layers: {
+        layer: string;
+        canDependOn: string[];
+    }[];
+    kind: "arch.layers";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"custom.host">;
+    id: z.ZodString;
+    hostRuleName: z.ZodString;
+    portable: z.ZodLiteral<false>;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    kind: "custom.host";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+    hostRuleName: string;
+    portable: false;
+}, {
+    kind: "custom.host";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+    hostRuleName: string;
+    portable: false;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"arch.metric">;
+    id: z.ZodString;
+    target: z.ZodString;
+    metric: z.ZodLiteral<"loc">;
+    max: z.ZodNumber;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    metric: "loc";
+    kind: "arch.metric";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+    target: string;
+    max: number;
+}, {
+    metric: "loc";
+    kind: "arch.metric";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+    target: string;
+    max: number;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"security.manifest.source-hygiene">;
+    id: z.ZodString;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    kind: "security.manifest.source-hygiene";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}, {
+    kind: "security.manifest.source-hygiene";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"security.manifest.new-dependency">;
+    id: z.ZodString;
+    provenance: z.ZodObject<{
+        because: z.ZodOptional<z.ZodString>;
+        sourceFile: z.ZodOptional<z.ZodString>;
+        sourceLineRange: z.ZodOptional<z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+        }, {
+            startLine: number;
+            endLine: number;
+        }>>;
+        sourceQuote: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }, {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    kind: "security.manifest.new-dependency";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}, {
+    kind: "security.manifest.new-dependency";
+    id: string;
+    provenance: {
+        because?: string | undefined;
+        sourceFile?: string | undefined;
+        sourceLineRange?: {
+            startLine: number;
+            endLine: number;
+        } | undefined;
+        sourceQuote?: string | undefined;
+    };
+}>]>;
+export declare const rulesetIRSchema: z.ZodObject<{
+    irVersion: z.ZodLiteral<"1">;
+    components: z.ZodRecord<z.ZodString, z.ZodObject<{
+        name: z.ZodString;
+        selector: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            kind: z.ZodLiteral<"glob">;
+            patterns: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            kind: "glob";
+            patterns: string[];
+        }, {
+            kind: "glob";
+            patterns: string[];
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"package">;
+            packageNames: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            kind: "package";
+            packageNames: string[];
+        }, {
+            kind: "package";
+            packageNames: string[];
+        }>]>;
+        empty: z.ZodDefault<z.ZodEnum<["fail", "allow", "until-populated"]>>;
+    }, "strip", z.ZodTypeAny, {
+        name: string;
+        selector: {
+            kind: "glob";
+            patterns: string[];
+        } | {
+            kind: "package";
+            packageNames: string[];
+        };
+        empty: "fail" | "allow" | "until-populated";
+    }, {
+        name: string;
+        selector: {
+            kind: "glob";
+            patterns: string[];
+        } | {
+            kind: "package";
+            packageNames: string[];
+        };
+        empty?: "fail" | "allow" | "until-populated" | undefined;
+    }>>;
+    rules: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"arch.no-dependency">;
+        id: z.ZodString;
+        from: z.ZodString;
+        to: z.ZodString;
+        provenance: z.ZodObject<{
+            because: z.ZodOptional<z.ZodString>;
+            sourceFile: z.ZodOptional<z.ZodString>;
+            sourceLineRange: z.ZodOptional<z.ZodObject<{
+                startLine: z.ZodNumber;
+                endLine: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startLine: number;
+                endLine: number;
+            }, {
+                startLine: number;
+                endLine: number;
+            }>>;
+            sourceQuote: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "arch.no-dependency";
+        id: string;
+        from: string;
+        to: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    }, {
+        kind: "arch.no-dependency";
+        id: string;
+        from: string;
+        to: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"arch.no-cycles">;
+        id: z.ZodString;
+        scope: z.ZodUnion<[z.ZodLiteral<"repo">, z.ZodString]>;
+        includeTypeOnly: z.ZodBoolean;
+        provenance: z.ZodObject<{
+            because: z.ZodOptional<z.ZodString>;
+            sourceFile: z.ZodOptional<z.ZodString>;
+            sourceLineRange: z.ZodOptional<z.ZodObject<{
+                startLine: z.ZodNumber;
+                endLine: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startLine: number;
+                endLine: number;
+            }, {
+                startLine: number;
+                endLine: number;
+            }>>;
+            sourceQuote: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "arch.no-cycles";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+        scope: string;
+        includeTypeOnly: boolean;
+    }, {
+        kind: "arch.no-cycles";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+        scope: string;
+        includeTypeOnly: boolean;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"arch.layers">;
+        id: z.ZodString;
+        layers: z.ZodArray<z.ZodObject<{
+            layer: z.ZodString;
+            canDependOn: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            layer: string;
+            canDependOn: string[];
+        }, {
+            layer: string;
+            canDependOn: string[];
+        }>, "many">;
+        provenance: z.ZodObject<{
+            because: z.ZodOptional<z.ZodString>;
+            sourceFile: z.ZodOptional<z.ZodString>;
+            sourceLineRange: z.ZodOptional<z.ZodObject<{
+                startLine: z.ZodNumber;
+                endLine: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startLine: number;
+                endLine: number;
+            }, {
+                startLine: number;
+                endLine: number;
+            }>>;
+            sourceQuote: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        layers: {
+            layer: string;
+            canDependOn: string[];
+        }[];
+        kind: "arch.layers";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    }, {
+        layers: {
+            layer: string;
+            canDependOn: string[];
+        }[];
+        kind: "arch.layers";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"custom.host">;
+        id: z.ZodString;
+        hostRuleName: z.ZodString;
+        portable: z.ZodLiteral<false>;
+        provenance: z.ZodObject<{
+            because: z.ZodOptional<z.ZodString>;
+            sourceFile: z.ZodOptional<z.ZodString>;
+            sourceLineRange: z.ZodOptional<z.ZodObject<{
+                startLine: z.ZodNumber;
+                endLine: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startLine: number;
+                endLine: number;
+            }, {
+                startLine: number;
+                endLine: number;
+            }>>;
+            sourceQuote: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "custom.host";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+        hostRuleName: string;
+        portable: false;
+    }, {
+        kind: "custom.host";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+        hostRuleName: string;
+        portable: false;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"arch.metric">;
+        id: z.ZodString;
+        target: z.ZodString;
+        metric: z.ZodLiteral<"loc">;
+        max: z.ZodNumber;
+        provenance: z.ZodObject<{
+            because: z.ZodOptional<z.ZodString>;
+            sourceFile: z.ZodOptional<z.ZodString>;
+            sourceLineRange: z.ZodOptional<z.ZodObject<{
+                startLine: z.ZodNumber;
+                endLine: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startLine: number;
+                endLine: number;
+            }, {
+                startLine: number;
+                endLine: number;
+            }>>;
+            sourceQuote: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        metric: "loc";
+        kind: "arch.metric";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+        target: string;
+        max: number;
+    }, {
+        metric: "loc";
+        kind: "arch.metric";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+        target: string;
+        max: number;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"security.manifest.source-hygiene">;
+        id: z.ZodString;
+        provenance: z.ZodObject<{
+            because: z.ZodOptional<z.ZodString>;
+            sourceFile: z.ZodOptional<z.ZodString>;
+            sourceLineRange: z.ZodOptional<z.ZodObject<{
+                startLine: z.ZodNumber;
+                endLine: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startLine: number;
+                endLine: number;
+            }, {
+                startLine: number;
+                endLine: number;
+            }>>;
+            sourceQuote: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "security.manifest.source-hygiene";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    }, {
+        kind: "security.manifest.source-hygiene";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"security.manifest.new-dependency">;
+        id: z.ZodString;
+        provenance: z.ZodObject<{
+            because: z.ZodOptional<z.ZodString>;
+            sourceFile: z.ZodOptional<z.ZodString>;
+            sourceLineRange: z.ZodOptional<z.ZodObject<{
+                startLine: z.ZodNumber;
+                endLine: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startLine: number;
+                endLine: number;
+            }, {
+                startLine: number;
+                endLine: number;
+            }>>;
+            sourceQuote: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }, {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "security.manifest.new-dependency";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    }, {
+        kind: "security.manifest.new-dependency";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    }>]>, "many">;
+}, "strip", z.ZodTypeAny, {
+    irVersion: "1";
+    components: Record<string, {
+        name: string;
+        selector: {
+            kind: "glob";
+            patterns: string[];
+        } | {
+            kind: "package";
+            packageNames: string[];
+        };
+        empty: "fail" | "allow" | "until-populated";
+    }>;
+    rules: ({
+        kind: "arch.no-dependency";
+        id: string;
+        from: string;
+        to: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    } | {
+        kind: "arch.no-cycles";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+        scope: string;
+        includeTypeOnly: boolean;
+    } | {
+        layers: {
+            layer: string;
+            canDependOn: string[];
+        }[];
+        kind: "arch.layers";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    } | {
+        kind: "custom.host";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+        hostRuleName: string;
+        portable: false;
+    } | {
+        metric: "loc";
+        kind: "arch.metric";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+        target: string;
+        max: number;
+    } | {
+        kind: "security.manifest.source-hygiene";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    } | {
+        kind: "security.manifest.new-dependency";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    })[];
+}, {
+    irVersion: "1";
+    components: Record<string, {
+        name: string;
+        selector: {
+            kind: "glob";
+            patterns: string[];
+        } | {
+            kind: "package";
+            packageNames: string[];
+        };
+        empty?: "fail" | "allow" | "until-populated" | undefined;
+    }>;
+    rules: ({
+        kind: "arch.no-dependency";
+        id: string;
+        from: string;
+        to: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    } | {
+        kind: "arch.no-cycles";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+        scope: string;
+        includeTypeOnly: boolean;
+    } | {
+        layers: {
+            layer: string;
+            canDependOn: string[];
+        }[];
+        kind: "arch.layers";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    } | {
+        kind: "custom.host";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+        hostRuleName: string;
+        portable: false;
+    } | {
+        metric: "loc";
+        kind: "arch.metric";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+        target: string;
+        max: number;
+    } | {
+        kind: "security.manifest.source-hygiene";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    } | {
+        kind: "security.manifest.new-dependency";
+        id: string;
+        provenance: {
+            because?: string | undefined;
+            sourceFile?: string | undefined;
+            sourceLineRange?: {
+                startLine: number;
+                endLine: number;
+            } | undefined;
+            sourceQuote?: string | undefined;
+        };
+    })[];
+}>;
+export type FileSelector = z.infer<typeof fileSelectorSchema>;
+export type EmptyPolicy = z.infer<typeof emptyPolicySchema>;
+export type ComponentDefinitionIR = z.infer<typeof componentDefinitionSchema>;
+export type RuleProvenance = z.infer<typeof ruleProvenanceSchema>;
+export type RuleIR = z.infer<typeof ruleIRSchema>;
+export type RulesetIR = z.infer<typeof rulesetIRSchema>;
+export type ArchNoDependencyRule = z.infer<typeof archNoDependencySchema>;
+export type ArchNoCyclesRule = z.infer<typeof archNoCyclesSchema>;
+export type ArchLayersRule = z.infer<typeof archLayersSchema>;
+export type CustomHostRule = z.infer<typeof customHostSchema>;
+export type ArchMetricRule = z.infer<typeof archMetricSchema>;
+export type SecurityManifestSourceHygieneRule = z.infer<typeof securityManifestSourceHygieneSchema>;
+export type SecurityManifestNewDependencyRule = z.infer<typeof securityManifestNewDependencySchema>;
+export {};
+//# sourceMappingURL=ir.d.ts.map