@c4a/context 0.6.18 → 0.7.0

package/indexerArtifactDependencies.d.ts

@@ -0,0 +1,689 @@
+import { z } from "zod";
+import type { IndexerArtifactResult } from "./indexerArtifactResult.js";
+import { type IndexerAuthorDependencyView } from "./indexerDependencyView.js";
+import type { IndexerMainAuthorWorkset } from "./indexerMainWorkset.js";
+export declare const indexerArtifactDependencySetSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.artifact-dependency-set/v1">;
+    result_digest: z.ZodString;
+    author_workset_digest: z.ZodString;
+    run_envelope_digest: z.ZodString;
+    dependency_view_digest: z.ZodString;
+    source_ref: z.ZodString;
+    module_ref: z.ZodNullable<z.ZodString>;
+    logical_unit_ref: z.ZodString;
+    positive_dependencies: z.ZodArray<z.ZodUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"source-span">;
+        evidence_ref: z.ZodString;
+        source_ref: z.ZodString;
+        module_ref: z.ZodNullable<z.ZodString>;
+        locator: z.ZodEffects<z.ZodObject<{
+            path: z.ZodEffects<z.ZodString, string, string>;
+            start_line: z.ZodNumber;
+            end_line: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            path: string;
+            start_line: number;
+            end_line: number;
+        }, {
+            path: string;
+            start_line: number;
+            end_line: number;
+        }>, {
+            path: string;
+            start_line: number;
+            end_line: number;
+        }, {
+            path: string;
+            start_line: number;
+            end_line: number;
+        }>;
+        content_digest: z.ZodString;
+        targets: z.ZodArray<z.ZodDiscriminatedUnion<"level", [z.ZodObject<{
+            level: z.ZodLiteral<"logical-unit">;
+        }, "strict", z.ZodTypeAny, {
+            level: "logical-unit";
+        }, {
+            level: "logical-unit";
+        }>, z.ZodObject<{
+            level: z.ZodLiteral<"artifact-kind">;
+            artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            artifact_kind: string;
+            level: "artifact-kind";
+        }, {
+            artifact_kind: string;
+            level: "artifact-kind";
+        }>, z.ZodObject<{
+            level: z.ZodLiteral<"section">;
+            artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+            section_key: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        }, {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        }>]>, "many">;
+    } & {
+        node_ref: z.ZodString;
+    } & {
+        dependency_ref: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "source-span";
+        source_ref: string;
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        locator: {
+            path: string;
+            start_line: number;
+            end_line: number;
+        };
+        module_ref: string | null;
+        content_digest: string;
+        node_ref: string;
+        evidence_ref: string;
+        dependency_ref: string;
+    }, {
+        kind: "source-span";
+        source_ref: string;
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        locator: {
+            path: string;
+            start_line: number;
+            end_line: number;
+        };
+        module_ref: string | null;
+        content_digest: string;
+        node_ref: string;
+        evidence_ref: string;
+        dependency_ref: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"selected-fact">;
+        fact_ref: z.ZodString;
+        fact_digest: z.ZodString;
+        source_span_node_refs: z.ZodArray<z.ZodString, "many">;
+        targets: z.ZodArray<z.ZodDiscriminatedUnion<"level", [z.ZodObject<{
+            level: z.ZodLiteral<"logical-unit">;
+        }, "strict", z.ZodTypeAny, {
+            level: "logical-unit";
+        }, {
+            level: "logical-unit";
+        }>, z.ZodObject<{
+            level: z.ZodLiteral<"artifact-kind">;
+            artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            artifact_kind: string;
+            level: "artifact-kind";
+        }, {
+            artifact_kind: string;
+            level: "artifact-kind";
+        }>, z.ZodObject<{
+            level: z.ZodLiteral<"section">;
+            artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+            section_key: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        }, {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        }>]>, "many">;
+    } & {
+        node_ref: z.ZodString;
+    } & {
+        dependency_ref: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "selected-fact";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        fact_ref: string;
+        node_ref: string;
+        fact_digest: string;
+        source_span_node_refs: string[];
+        dependency_ref: string;
+    }, {
+        kind: "selected-fact";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        fact_ref: string;
+        node_ref: string;
+        fact_digest: string;
+        source_span_node_refs: string[];
+        dependency_ref: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"logical-unit">;
+        logical_unit_ref: z.ZodString;
+        group_projection_digest: z.ZodString;
+        targets: z.ZodArray<z.ZodDiscriminatedUnion<"level", [z.ZodObject<{
+            level: z.ZodLiteral<"logical-unit">;
+        }, "strict", z.ZodTypeAny, {
+            level: "logical-unit";
+        }, {
+            level: "logical-unit";
+        }>, z.ZodObject<{
+            level: z.ZodLiteral<"artifact-kind">;
+            artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            artifact_kind: string;
+            level: "artifact-kind";
+        }, {
+            artifact_kind: string;
+            level: "artifact-kind";
+        }>, z.ZodObject<{
+            level: z.ZodLiteral<"section">;
+            artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+            section_key: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        }, {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        }>]>, "many">;
+    } & {
+        node_ref: z.ZodString;
+    } & {
+        dependency_ref: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "logical-unit";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        logical_unit_ref: string;
+        node_ref: string;
+        group_projection_digest: string;
+        dependency_ref: string;
+    }, {
+        kind: "logical-unit";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        logical_unit_ref: string;
+        node_ref: string;
+        group_projection_digest: string;
+        dependency_ref: string;
+    }>, z.ZodObject<{
+        kind: z.ZodEnum<["template-policy-fragment", "contract-metric"]>;
+        target_ref: z.ZodString;
+        content_digest: z.ZodString;
+        targets: z.ZodArray<z.ZodDiscriminatedUnion<"level", [z.ZodObject<{
+            level: z.ZodLiteral<"logical-unit">;
+        }, "strict", z.ZodTypeAny, {
+            level: "logical-unit";
+        }, {
+            level: "logical-unit";
+        }>, z.ZodObject<{
+            level: z.ZodLiteral<"artifact-kind">;
+            artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            artifact_kind: string;
+            level: "artifact-kind";
+        }, {
+            artifact_kind: string;
+            level: "artifact-kind";
+        }>, z.ZodObject<{
+            level: z.ZodLiteral<"section">;
+            artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+            section_key: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        }, {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        }>]>, "many">;
+    } & {
+        node_ref: z.ZodString;
+    } & {
+        dependency_ref: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "template-policy-fragment" | "contract-metric";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        target_ref: string;
+        content_digest: string;
+        node_ref: string;
+        dependency_ref: string;
+    }, {
+        kind: "template-policy-fragment" | "contract-metric";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        target_ref: string;
+        content_digest: string;
+        node_ref: string;
+        dependency_ref: string;
+    }>]>, "many">;
+    negative_dependencies: z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<["group-input-set", "directory-membership", "export-set", "route-set", "candidate-pool", "precedence-winner", "absence-assertion"]>;
+        scope_ref: z.ZodString;
+        set_digest: z.ZodString;
+        targets: z.ZodArray<z.ZodDiscriminatedUnion<"level", [z.ZodObject<{
+            level: z.ZodLiteral<"logical-unit">;
+        }, "strict", z.ZodTypeAny, {
+            level: "logical-unit";
+        }, {
+            level: "logical-unit";
+        }>, z.ZodObject<{
+            level: z.ZodLiteral<"artifact-kind">;
+            artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            artifact_kind: string;
+            level: "artifact-kind";
+        }, {
+            artifact_kind: string;
+            level: "artifact-kind";
+        }>, z.ZodObject<{
+            level: z.ZodLiteral<"section">;
+            artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+            section_key: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        }, {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        }>]>, "many">;
+    } & {
+        node_ref: z.ZodString;
+    } & {
+        dependency_ref: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "group-input-set" | "directory-membership" | "export-set" | "route-set" | "candidate-pool" | "precedence-winner" | "absence-assertion";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        node_ref: string;
+        scope_ref: string;
+        set_digest: string;
+        dependency_ref: string;
+    }, {
+        kind: "group-input-set" | "directory-membership" | "export-set" | "route-set" | "candidate-pool" | "precedence-winner" | "absence-assertion";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        node_ref: string;
+        scope_ref: string;
+        set_digest: string;
+        dependency_ref: string;
+    }>, "many">;
+    artifacts: z.ZodArray<z.ZodObject<{
+        artifact_id: z.ZodEffects<z.ZodString, string, string>;
+        artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+        positive_dependency_refs: z.ZodArray<z.ZodString, "many">;
+        negative_dependency_refs: z.ZodArray<z.ZodString, "many">;
+        sections: z.ZodArray<z.ZodObject<{
+            section_key: z.ZodEffects<z.ZodString, string, string>;
+            positive_dependency_refs: z.ZodArray<z.ZodString, "many">;
+            negative_dependency_refs: z.ZodArray<z.ZodString, "many">;
+            dependency_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            section_key: string;
+            positive_dependency_refs: string[];
+            negative_dependency_refs: string[];
+            dependency_digest: string;
+        }, {
+            section_key: string;
+            positive_dependency_refs: string[];
+            negative_dependency_refs: string[];
+            dependency_digest: string;
+        }>, "many">;
+        dependency_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        artifact_kind: string;
+        artifact_id: string;
+        sections: {
+            section_key: string;
+            positive_dependency_refs: string[];
+            negative_dependency_refs: string[];
+            dependency_digest: string;
+        }[];
+        positive_dependency_refs: string[];
+        negative_dependency_refs: string[];
+        dependency_digest: string;
+    }, {
+        artifact_kind: string;
+        artifact_id: string;
+        sections: {
+            section_key: string;
+            positive_dependency_refs: string[];
+            negative_dependency_refs: string[];
+            dependency_digest: string;
+        }[];
+        positive_dependency_refs: string[];
+        negative_dependency_refs: string[];
+        dependency_digest: string;
+    }>, "many">;
+    dependency_set_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    source_ref: string;
+    protocol: "context.indexer.artifact-dependency-set/v1";
+    module_ref: string | null;
+    artifacts: {
+        artifact_kind: string;
+        artifact_id: string;
+        sections: {
+            section_key: string;
+            positive_dependency_refs: string[];
+            negative_dependency_refs: string[];
+            dependency_digest: string;
+        }[];
+        positive_dependency_refs: string[];
+        negative_dependency_refs: string[];
+        dependency_digest: string;
+    }[];
+    dependency_set_digest: string;
+    logical_unit_ref: string;
+    author_workset_digest: string;
+    dependency_view_digest: string;
+    result_digest: string;
+    run_envelope_digest: string;
+    positive_dependencies: ({
+        kind: "source-span";
+        source_ref: string;
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        locator: {
+            path: string;
+            start_line: number;
+            end_line: number;
+        };
+        module_ref: string | null;
+        content_digest: string;
+        node_ref: string;
+        evidence_ref: string;
+        dependency_ref: string;
+    } | {
+        kind: "selected-fact";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        fact_ref: string;
+        node_ref: string;
+        fact_digest: string;
+        source_span_node_refs: string[];
+        dependency_ref: string;
+    } | {
+        kind: "logical-unit";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        logical_unit_ref: string;
+        node_ref: string;
+        group_projection_digest: string;
+        dependency_ref: string;
+    } | {
+        kind: "template-policy-fragment" | "contract-metric";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        target_ref: string;
+        content_digest: string;
+        node_ref: string;
+        dependency_ref: string;
+    })[];
+    negative_dependencies: {
+        kind: "group-input-set" | "directory-membership" | "export-set" | "route-set" | "candidate-pool" | "precedence-winner" | "absence-assertion";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        node_ref: string;
+        scope_ref: string;
+        set_digest: string;
+        dependency_ref: string;
+    }[];
+}, {
+    source_ref: string;
+    protocol: "context.indexer.artifact-dependency-set/v1";
+    module_ref: string | null;
+    artifacts: {
+        artifact_kind: string;
+        artifact_id: string;
+        sections: {
+            section_key: string;
+            positive_dependency_refs: string[];
+            negative_dependency_refs: string[];
+            dependency_digest: string;
+        }[];
+        positive_dependency_refs: string[];
+        negative_dependency_refs: string[];
+        dependency_digest: string;
+    }[];
+    dependency_set_digest: string;
+    logical_unit_ref: string;
+    author_workset_digest: string;
+    dependency_view_digest: string;
+    result_digest: string;
+    run_envelope_digest: string;
+    positive_dependencies: ({
+        kind: "source-span";
+        source_ref: string;
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        locator: {
+            path: string;
+            start_line: number;
+            end_line: number;
+        };
+        module_ref: string | null;
+        content_digest: string;
+        node_ref: string;
+        evidence_ref: string;
+        dependency_ref: string;
+    } | {
+        kind: "selected-fact";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        fact_ref: string;
+        node_ref: string;
+        fact_digest: string;
+        source_span_node_refs: string[];
+        dependency_ref: string;
+    } | {
+        kind: "logical-unit";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        logical_unit_ref: string;
+        node_ref: string;
+        group_projection_digest: string;
+        dependency_ref: string;
+    } | {
+        kind: "template-policy-fragment" | "contract-metric";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        target_ref: string;
+        content_digest: string;
+        node_ref: string;
+        dependency_ref: string;
+    })[];
+    negative_dependencies: {
+        kind: "group-input-set" | "directory-membership" | "export-set" | "route-set" | "candidate-pool" | "precedence-winner" | "absence-assertion";
+        targets: ({
+            level: "logical-unit";
+        } | {
+            artifact_kind: string;
+            level: "artifact-kind";
+        } | {
+            artifact_kind: string;
+            level: "section";
+            section_key: string;
+        })[];
+        node_ref: string;
+        scope_ref: string;
+        set_digest: string;
+        dependency_ref: string;
+    }[];
+}>;
+export type IndexerArtifactDependencySet = z.infer<typeof indexerArtifactDependencySetSchema>;
+export declare function indexerArtifactDependencySetDigest(value: Omit<IndexerArtifactDependencySet, "dependency_set_digest">): string;
+export declare function buildIndexerArtifactDependencySet(input: {
+    result: IndexerArtifactResult;
+    workset: IndexerMainAuthorWorkset;
+    run_envelope: unknown;
+    dependency_view: unknown;
+}): IndexerArtifactDependencySet;
+export declare function validateIndexerArtifactDependencySet(input: {
+    value: unknown;
+    result: IndexerArtifactResult;
+    workset: IndexerMainAuthorWorkset;
+    run_envelope: unknown;
+    dependency_view: unknown;
+}): IndexerArtifactDependencySet;
+export declare function validateIndexerArtifactDependencyViewBinding(input: {
+    view: unknown;
+    workset: IndexerMainAuthorWorkset;
+}): IndexerAuthorDependencyView;