@c4a/context 0.6.19 → 0.7.0

package/indexerStructuredDeclaration.d.ts

@@ -0,0 +1,513 @@
+import { z } from "zod";
+export declare const INDEXER_STRUCTURED_DECLARATION_CARRIER_KINDS: readonly ["indexer-result", "catalog", "manifest", "section-evidence"];
+export declare const INDEXER_STRUCTURED_DECLARATION_KINDS: readonly ["directory", "entry", "method", "handler", "store", "locator"];
+declare const sourceIdentityFactSchema: z.ZodObject<{
+    fact_ref: z.ZodString;
+    fact_kind: z.ZodEffects<z.ZodString, string, string>;
+    qualified_item_path: z.ZodString;
+    signature_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    qualified_item_path: string;
+    signature_digest: string;
+    fact_ref: string;
+    fact_kind: string;
+}, {
+    qualified_item_path: string;
+    signature_digest: string;
+    fact_ref: string;
+    fact_kind: string;
+}>;
+declare const sourceIdentityFileSchema: z.ZodObject<{
+    normalized_path: z.ZodEffects<z.ZodString, string, string>;
+    content_digest: z.ZodString;
+    facts: z.ZodArray<z.ZodObject<{
+        fact_ref: z.ZodString;
+        fact_kind: z.ZodEffects<z.ZodString, string, string>;
+        qualified_item_path: z.ZodString;
+        signature_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        qualified_item_path: string;
+        signature_digest: string;
+        fact_ref: string;
+        fact_kind: string;
+    }, {
+        qualified_item_path: string;
+        signature_digest: string;
+        fact_ref: string;
+        fact_kind: string;
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    facts: {
+        qualified_item_path: string;
+        signature_digest: string;
+        fact_ref: string;
+        fact_kind: string;
+    }[];
+    normalized_path: string;
+    content_digest: string;
+}, {
+    facts: {
+        qualified_item_path: string;
+        signature_digest: string;
+        fact_ref: string;
+        fact_kind: string;
+    }[];
+    normalized_path: string;
+    content_digest: string;
+}>;
+export declare const indexerSourceIdentityInventorySchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.source-identity-inventory/v1">;
+    source_ref: z.ZodString;
+    module_ref: z.ZodNullable<z.ZodString>;
+    source_input_digest: z.ZodString;
+    files: z.ZodArray<z.ZodObject<{
+        normalized_path: z.ZodEffects<z.ZodString, string, string>;
+        content_digest: z.ZodString;
+        facts: z.ZodArray<z.ZodObject<{
+            fact_ref: z.ZodString;
+            fact_kind: z.ZodEffects<z.ZodString, string, string>;
+            qualified_item_path: z.ZodString;
+            signature_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            qualified_item_path: string;
+            signature_digest: string;
+            fact_ref: string;
+            fact_kind: string;
+        }, {
+            qualified_item_path: string;
+            signature_digest: string;
+            fact_ref: string;
+            fact_kind: string;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        facts: {
+            qualified_item_path: string;
+            signature_digest: string;
+            fact_ref: string;
+            fact_kind: string;
+        }[];
+        normalized_path: string;
+        content_digest: string;
+    }, {
+        facts: {
+            qualified_item_path: string;
+            signature_digest: string;
+            fact_ref: string;
+            fact_kind: string;
+        }[];
+        normalized_path: string;
+        content_digest: string;
+    }>, "many">;
+    inventory_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    source_ref: string;
+    protocol: "context.indexer.source-identity-inventory/v1";
+    files: {
+        facts: {
+            qualified_item_path: string;
+            signature_digest: string;
+            fact_ref: string;
+            fact_kind: string;
+        }[];
+        normalized_path: string;
+        content_digest: string;
+    }[];
+    module_ref: string | null;
+    inventory_digest: string;
+    source_input_digest: string;
+}, {
+    source_ref: string;
+    protocol: "context.indexer.source-identity-inventory/v1";
+    files: {
+        facts: {
+            qualified_item_path: string;
+            signature_digest: string;
+            fact_ref: string;
+            fact_kind: string;
+        }[];
+        normalized_path: string;
+        content_digest: string;
+    }[];
+    module_ref: string | null;
+    inventory_digest: string;
+    source_input_digest: string;
+}>;
+export type IndexerSourceIdentityFact = z.infer<typeof sourceIdentityFactSchema>;
+export type IndexerSourceIdentityFile = z.infer<typeof sourceIdentityFileSchema>;
+export type IndexerSourceIdentityInventory = z.infer<typeof indexerSourceIdentityInventorySchema>;
+export declare function indexerSourceIdentityInventoryDigest(value: Omit<IndexerSourceIdentityInventory, "inventory_digest">): string;
+export declare function buildIndexerSourceIdentityInventory(input: {
+    source_ref: string;
+    module_ref: string | null;
+    source_input_digest: string;
+    files: readonly IndexerSourceIdentityFile[];
+}): IndexerSourceIdentityInventory;
+export declare function validateIndexerSourceIdentityInventory(value: unknown): IndexerSourceIdentityInventory;
+export declare function buildIndexerSourceIdentityInventoryFromAdapterResults(input: {
+    source_ref: string;
+    module_ref: string | null;
+    source_input_digest: string;
+    file_content_digests: Readonly<Record<string, string>>;
+    results: readonly unknown[];
+}): IndexerSourceIdentityInventory;
+declare const declarationPayloadSchema: z.ZodObject<{
+    carrier_kind: z.ZodEnum<["indexer-result", "catalog", "manifest", "section-evidence"]>;
+    carrier_ref: z.ZodString;
+    declaration_kind: z.ZodEnum<["directory", "entry", "method", "handler", "store", "locator"]>;
+    source_ref: z.ZodString;
+    module_ref: z.ZodNullable<z.ZodString>;
+    target: z.ZodDiscriminatedUnion<"target_type", [z.ZodObject<{
+        target_type: z.ZodLiteral<"directory">;
+        normalized_path: z.ZodEffects<z.ZodString, string, string>;
+    }, "strict", z.ZodTypeAny, {
+        normalized_path: string;
+        target_type: "directory";
+    }, {
+        normalized_path: string;
+        target_type: "directory";
+    }>, z.ZodObject<{
+        target_type: z.ZodLiteral<"file">;
+        normalized_path: z.ZodEffects<z.ZodString, string, string>;
+        content_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        normalized_path: string;
+        content_digest: string;
+        target_type: "file";
+    }, {
+        normalized_path: string;
+        content_digest: string;
+        target_type: "file";
+    }>, z.ZodObject<{
+        target_type: z.ZodLiteral<"item">;
+        normalized_path: z.ZodEffects<z.ZodString, string, string>;
+        source_fact_ref: z.ZodString;
+        qualified_item_path: z.ZodString;
+        signature_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        normalized_path: string;
+        qualified_item_path: string;
+        signature_digest: string;
+        target_type: "item";
+        source_fact_ref: string;
+    }, {
+        normalized_path: string;
+        qualified_item_path: string;
+        signature_digest: string;
+        target_type: "item";
+        source_fact_ref: string;
+    }>]>;
+    evidence_refs: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    source_ref: string;
+    evidence_refs: string[];
+    module_ref: string | null;
+    carrier_kind: "manifest" | "indexer-result" | "catalog" | "section-evidence";
+    carrier_ref: string;
+    declaration_kind: "entry" | "handler" | "locator" | "directory" | "method" | "store";
+    target: {
+        normalized_path: string;
+        target_type: "directory";
+    } | {
+        normalized_path: string;
+        content_digest: string;
+        target_type: "file";
+    } | {
+        normalized_path: string;
+        qualified_item_path: string;
+        signature_digest: string;
+        target_type: "item";
+        source_fact_ref: string;
+    };
+}, {
+    source_ref: string;
+    evidence_refs: string[];
+    module_ref: string | null;
+    carrier_kind: "manifest" | "indexer-result" | "catalog" | "section-evidence";
+    carrier_ref: string;
+    declaration_kind: "entry" | "handler" | "locator" | "directory" | "method" | "store";
+    target: {
+        normalized_path: string;
+        target_type: "directory";
+    } | {
+        normalized_path: string;
+        content_digest: string;
+        target_type: "file";
+    } | {
+        normalized_path: string;
+        qualified_item_path: string;
+        signature_digest: string;
+        target_type: "item";
+        source_fact_ref: string;
+    };
+}>;
+export declare const indexerStructuredDeclarationSchema: z.ZodObject<{
+    carrier_kind: z.ZodEnum<["indexer-result", "catalog", "manifest", "section-evidence"]>;
+    carrier_ref: z.ZodString;
+    declaration_kind: z.ZodEnum<["directory", "entry", "method", "handler", "store", "locator"]>;
+    source_ref: z.ZodString;
+    module_ref: z.ZodNullable<z.ZodString>;
+    target: z.ZodDiscriminatedUnion<"target_type", [z.ZodObject<{
+        target_type: z.ZodLiteral<"directory">;
+        normalized_path: z.ZodEffects<z.ZodString, string, string>;
+    }, "strict", z.ZodTypeAny, {
+        normalized_path: string;
+        target_type: "directory";
+    }, {
+        normalized_path: string;
+        target_type: "directory";
+    }>, z.ZodObject<{
+        target_type: z.ZodLiteral<"file">;
+        normalized_path: z.ZodEffects<z.ZodString, string, string>;
+        content_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        normalized_path: string;
+        content_digest: string;
+        target_type: "file";
+    }, {
+        normalized_path: string;
+        content_digest: string;
+        target_type: "file";
+    }>, z.ZodObject<{
+        target_type: z.ZodLiteral<"item">;
+        normalized_path: z.ZodEffects<z.ZodString, string, string>;
+        source_fact_ref: z.ZodString;
+        qualified_item_path: z.ZodString;
+        signature_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        normalized_path: string;
+        qualified_item_path: string;
+        signature_digest: string;
+        target_type: "item";
+        source_fact_ref: string;
+    }, {
+        normalized_path: string;
+        qualified_item_path: string;
+        signature_digest: string;
+        target_type: "item";
+        source_fact_ref: string;
+    }>]>;
+    evidence_refs: z.ZodArray<z.ZodString, "many">;
+} & {
+    declaration_ref: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    source_ref: string;
+    evidence_refs: string[];
+    module_ref: string | null;
+    carrier_kind: "manifest" | "indexer-result" | "catalog" | "section-evidence";
+    carrier_ref: string;
+    declaration_kind: "entry" | "handler" | "locator" | "directory" | "method" | "store";
+    target: {
+        normalized_path: string;
+        target_type: "directory";
+    } | {
+        normalized_path: string;
+        content_digest: string;
+        target_type: "file";
+    } | {
+        normalized_path: string;
+        qualified_item_path: string;
+        signature_digest: string;
+        target_type: "item";
+        source_fact_ref: string;
+    };
+    declaration_ref: string;
+}, {
+    source_ref: string;
+    evidence_refs: string[];
+    module_ref: string | null;
+    carrier_kind: "manifest" | "indexer-result" | "catalog" | "section-evidence";
+    carrier_ref: string;
+    declaration_kind: "entry" | "handler" | "locator" | "directory" | "method" | "store";
+    target: {
+        normalized_path: string;
+        target_type: "directory";
+    } | {
+        normalized_path: string;
+        content_digest: string;
+        target_type: "file";
+    } | {
+        normalized_path: string;
+        qualified_item_path: string;
+        signature_digest: string;
+        target_type: "item";
+        source_fact_ref: string;
+    };
+    declaration_ref: string;
+}>;
+export declare const indexerStructuredDeclarationSetSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.structured-declaration-set/v1">;
+    source_identity_inventory_digest: z.ZodString;
+    declarations: z.ZodArray<z.ZodObject<{
+        carrier_kind: z.ZodEnum<["indexer-result", "catalog", "manifest", "section-evidence"]>;
+        carrier_ref: z.ZodString;
+        declaration_kind: z.ZodEnum<["directory", "entry", "method", "handler", "store", "locator"]>;
+        source_ref: z.ZodString;
+        module_ref: z.ZodNullable<z.ZodString>;
+        target: z.ZodDiscriminatedUnion<"target_type", [z.ZodObject<{
+            target_type: z.ZodLiteral<"directory">;
+            normalized_path: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            normalized_path: string;
+            target_type: "directory";
+        }, {
+            normalized_path: string;
+            target_type: "directory";
+        }>, z.ZodObject<{
+            target_type: z.ZodLiteral<"file">;
+            normalized_path: z.ZodEffects<z.ZodString, string, string>;
+            content_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            normalized_path: string;
+            content_digest: string;
+            target_type: "file";
+        }, {
+            normalized_path: string;
+            content_digest: string;
+            target_type: "file";
+        }>, z.ZodObject<{
+            target_type: z.ZodLiteral<"item">;
+            normalized_path: z.ZodEffects<z.ZodString, string, string>;
+            source_fact_ref: z.ZodString;
+            qualified_item_path: z.ZodString;
+            signature_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            normalized_path: string;
+            qualified_item_path: string;
+            signature_digest: string;
+            target_type: "item";
+            source_fact_ref: string;
+        }, {
+            normalized_path: string;
+            qualified_item_path: string;
+            signature_digest: string;
+            target_type: "item";
+            source_fact_ref: string;
+        }>]>;
+        evidence_refs: z.ZodArray<z.ZodString, "many">;
+    } & {
+        declaration_ref: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        source_ref: string;
+        evidence_refs: string[];
+        module_ref: string | null;
+        carrier_kind: "manifest" | "indexer-result" | "catalog" | "section-evidence";
+        carrier_ref: string;
+        declaration_kind: "entry" | "handler" | "locator" | "directory" | "method" | "store";
+        target: {
+            normalized_path: string;
+            target_type: "directory";
+        } | {
+            normalized_path: string;
+            content_digest: string;
+            target_type: "file";
+        } | {
+            normalized_path: string;
+            qualified_item_path: string;
+            signature_digest: string;
+            target_type: "item";
+            source_fact_ref: string;
+        };
+        declaration_ref: string;
+    }, {
+        source_ref: string;
+        evidence_refs: string[];
+        module_ref: string | null;
+        carrier_kind: "manifest" | "indexer-result" | "catalog" | "section-evidence";
+        carrier_ref: string;
+        declaration_kind: "entry" | "handler" | "locator" | "directory" | "method" | "store";
+        target: {
+            normalized_path: string;
+            target_type: "directory";
+        } | {
+            normalized_path: string;
+            content_digest: string;
+            target_type: "file";
+        } | {
+            normalized_path: string;
+            qualified_item_path: string;
+            signature_digest: string;
+            target_type: "item";
+            source_fact_ref: string;
+        };
+        declaration_ref: string;
+    }>, "many">;
+    declaration_set_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.structured-declaration-set/v1";
+    source_identity_inventory_digest: string;
+    declarations: {
+        source_ref: string;
+        evidence_refs: string[];
+        module_ref: string | null;
+        carrier_kind: "manifest" | "indexer-result" | "catalog" | "section-evidence";
+        carrier_ref: string;
+        declaration_kind: "entry" | "handler" | "locator" | "directory" | "method" | "store";
+        target: {
+            normalized_path: string;
+            target_type: "directory";
+        } | {
+            normalized_path: string;
+            content_digest: string;
+            target_type: "file";
+        } | {
+            normalized_path: string;
+            qualified_item_path: string;
+            signature_digest: string;
+            target_type: "item";
+            source_fact_ref: string;
+        };
+        declaration_ref: string;
+    }[];
+    declaration_set_digest: string;
+}, {
+    protocol: "context.indexer.structured-declaration-set/v1";
+    source_identity_inventory_digest: string;
+    declarations: {
+        source_ref: string;
+        evidence_refs: string[];
+        module_ref: string | null;
+        carrier_kind: "manifest" | "indexer-result" | "catalog" | "section-evidence";
+        carrier_ref: string;
+        declaration_kind: "entry" | "handler" | "locator" | "directory" | "method" | "store";
+        target: {
+            normalized_path: string;
+            target_type: "directory";
+        } | {
+            normalized_path: string;
+            content_digest: string;
+            target_type: "file";
+        } | {
+            normalized_path: string;
+            qualified_item_path: string;
+            signature_digest: string;
+            target_type: "item";
+            source_fact_ref: string;
+        };
+        declaration_ref: string;
+    }[];
+    declaration_set_digest: string;
+}>;
+export type IndexerStructuredDeclarationPayload = z.infer<typeof declarationPayloadSchema>;
+export type IndexerStructuredDeclaration = z.infer<typeof indexerStructuredDeclarationSchema>;
+export type IndexerStructuredDeclarationSet = z.infer<typeof indexerStructuredDeclarationSetSchema>;
+export declare function indexerStructuredDeclarationRef(value: Omit<IndexerStructuredDeclarationPayload, "evidence_refs">): string;
+export declare function indexerStructuredDeclarationSetDigest(value: Omit<IndexerStructuredDeclarationSet, "declaration_set_digest">): string;
+export declare function buildIndexerStructuredDeclarationSet(input: {
+    source_identity_inventory_digest: string;
+    declarations: readonly IndexerStructuredDeclarationPayload[];
+}): IndexerStructuredDeclarationSet;
+export type IndexerStructuredDeclarationCarrierAuthority = Record<typeof INDEXER_STRUCTURED_DECLARATION_CARRIER_KINDS[number], readonly string[]>;
+export declare function validateIndexerStructuredDeclarationSet(input: {
+    value: unknown;
+    source_identity_inventory: unknown;
+    expected_source_ref: string;
+    expected_module_ref: string | null;
+    carrier_authority: IndexerStructuredDeclarationCarrierAuthority;
+    known_evidence_refs: readonly string[];
+}): IndexerStructuredDeclarationSet;
+export declare function indexerSectionEvidenceCarrierRef(input: {
+    logical_unit_ref: string;
+    artifact_id: string;
+    section_key: string;
+}): string;
+export {};