@c4a/context 0.6.19 → 0.7.0

package/indexerArtifactPolicy.d.ts

@@ -0,0 +1,335 @@
+import { z } from "zod";
+import { type IndexerOperatorContract, type IndexerProfileContract } from "./indexerProfileContract.js";
+import type { IndexerJson } from "./indexerRegistry.js";
+export declare const indexerArtifactPolicyEligibilitySchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.artifact-policy-eligibility/v1">;
+    profile_id: z.ZodEffects<z.ZodString, string, string>;
+    profile_contract_digest: z.ZodString;
+    operator_contract_digest: z.ZodString;
+    canonical_facts: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        value: z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>;
+    }, "strict", z.ZodTypeAny, {
+        value: IndexerJson;
+        path: string;
+    }, {
+        value: IndexerJson;
+        path: string;
+    }>, "many">;
+    provider_supported_variants: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+    eligible_variants: z.ZodArray<z.ZodObject<{
+        id: z.ZodEffects<z.ZodString, string, string>;
+        required_artifact_kinds: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+        discretionary_artifact_kinds: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+        thresholds: z.ZodArray<z.ZodObject<{
+            metric_id: z.ZodEffects<z.ZodString, string, string>;
+            metric_operator: z.ZodEffects<z.ZodString, string, string>;
+            unit: z.ZodEnum<["count", "ratio"]>;
+            recommended_max: z.ZodNumber;
+            hard_max: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            unit: "count" | "ratio";
+            recommended_max: number;
+            hard_max: number;
+            metric_id: string;
+            metric_operator: string;
+        }, {
+            unit: "count" | "ratio";
+            recommended_max: number;
+            hard_max: number;
+            metric_id: string;
+            metric_operator: string;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        thresholds: {
+            unit: "count" | "ratio";
+            recommended_max: number;
+            hard_max: number;
+            metric_id: string;
+            metric_operator: string;
+        }[];
+        required_artifact_kinds: string[];
+        discretionary_artifact_kinds: string[];
+    }, {
+        id: string;
+        thresholds: {
+            unit: "count" | "ratio";
+            recommended_max: number;
+            hard_max: number;
+            metric_id: string;
+            metric_operator: string;
+        }[];
+        required_artifact_kinds: string[];
+        discretionary_artifact_kinds: string[];
+    }>, "many">;
+} & {
+    eligibility_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.artifact-policy-eligibility/v1";
+    operator_contract_digest: string;
+    profile_id: string;
+    profile_contract_digest: string;
+    canonical_facts: {
+        value: IndexerJson;
+        path: string;
+    }[];
+    provider_supported_variants: string[];
+    eligible_variants: {
+        id: string;
+        thresholds: {
+            unit: "count" | "ratio";
+            recommended_max: number;
+            hard_max: number;
+            metric_id: string;
+            metric_operator: string;
+        }[];
+        required_artifact_kinds: string[];
+        discretionary_artifact_kinds: string[];
+    }[];
+    eligibility_digest: string;
+}, {
+    protocol: "context.indexer.artifact-policy-eligibility/v1";
+    operator_contract_digest: string;
+    profile_id: string;
+    profile_contract_digest: string;
+    canonical_facts: {
+        value: IndexerJson;
+        path: string;
+    }[];
+    provider_supported_variants: string[];
+    eligible_variants: {
+        id: string;
+        thresholds: {
+            unit: "count" | "ratio";
+            recommended_max: number;
+            hard_max: number;
+            metric_id: string;
+            metric_operator: string;
+        }[];
+        required_artifact_kinds: string[];
+        discretionary_artifact_kinds: string[];
+    }[];
+    eligibility_digest: string;
+}>;
+export type IndexerArtifactPolicyEligibility = z.infer<typeof indexerArtifactPolicyEligibilitySchema>;
+export declare function resolveIndexerArtifactPolicyEligibility(input: {
+    profile_id: string;
+    canonical_facts: Record<string, unknown>;
+    provider_supported_variants: readonly string[];
+    profile_contract: unknown;
+    operator_contract: unknown;
+}): IndexerArtifactPolicyEligibility;
+export declare function validateIndexerArtifactPolicyEligibilityReport(value: unknown): IndexerArtifactPolicyEligibility;
+export declare function validateIndexerArtifactPolicyEligibility(input: {
+    report: unknown;
+    profile_contract: IndexerProfileContract;
+    operator_contract: IndexerOperatorContract;
+}): IndexerArtifactPolicyEligibility;
+declare const artifactBundleEntrySchema: z.ZodUnion<[z.ZodObject<{
+    artifact_id: z.ZodEffects<z.ZodString, string, string>;
+    artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+    purpose: z.ZodEnum<["required", "discretionary"]>;
+    reader_question_refs: z.ZodArray<z.ZodString, "many">;
+    evidence_refs: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    evidence_refs: string[];
+    artifact_kind: string;
+    artifact_id: string;
+    purpose: "required" | "discretionary";
+    reader_question_refs: string[];
+}, {
+    evidence_refs: string[];
+    artifact_kind: string;
+    artifact_id: string;
+    purpose: "required" | "discretionary";
+    reader_question_refs: string[];
+}>, z.ZodObject<{
+    artifact_id: z.ZodEffects<z.ZodString, string, string>;
+    artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+    purpose: z.ZodLiteral<"semantic-split">;
+    reader_question_refs: z.ZodArray<z.ZodString, "many">;
+    evidence_refs: z.ZodArray<z.ZodString, "many">;
+    split_of: z.ZodEffects<z.ZodString, string, string>;
+    boundary: z.ZodObject<{
+        axis: z.ZodEffects<z.ZodString, string, string>;
+        start_key: z.ZodString;
+        end_key: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        axis: string;
+        start_key: string;
+        end_key: string;
+    }, {
+        axis: string;
+        start_key: string;
+        end_key: string;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    evidence_refs: string[];
+    artifact_kind: string;
+    artifact_id: string;
+    purpose: "semantic-split";
+    reader_question_refs: string[];
+    split_of: string;
+    boundary: {
+        axis: string;
+        start_key: string;
+        end_key: string;
+    };
+}, {
+    evidence_refs: string[];
+    artifact_kind: string;
+    artifact_id: string;
+    purpose: "semantic-split";
+    reader_question_refs: string[];
+    split_of: string;
+    boundary: {
+        axis: string;
+        start_key: string;
+        end_key: string;
+    };
+}>]>;
+export declare const indexerArtifactBundleSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.artifact-bundle/v1">;
+    logical_unit_ref: z.ZodString;
+    artifact_policy_variant: z.ZodEffects<z.ZodString, string, string>;
+    artifacts: z.ZodArray<z.ZodUnion<[z.ZodObject<{
+        artifact_id: z.ZodEffects<z.ZodString, string, string>;
+        artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+        purpose: z.ZodEnum<["required", "discretionary"]>;
+        reader_question_refs: z.ZodArray<z.ZodString, "many">;
+        evidence_refs: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "required" | "discretionary";
+        reader_question_refs: string[];
+    }, {
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "required" | "discretionary";
+        reader_question_refs: string[];
+    }>, z.ZodObject<{
+        artifact_id: z.ZodEffects<z.ZodString, string, string>;
+        artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+        purpose: z.ZodLiteral<"semantic-split">;
+        reader_question_refs: z.ZodArray<z.ZodString, "many">;
+        evidence_refs: z.ZodArray<z.ZodString, "many">;
+        split_of: z.ZodEffects<z.ZodString, string, string>;
+        boundary: z.ZodObject<{
+            axis: z.ZodEffects<z.ZodString, string, string>;
+            start_key: z.ZodString;
+            end_key: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            axis: string;
+            start_key: string;
+            end_key: string;
+        }, {
+            axis: string;
+            start_key: string;
+            end_key: string;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "semantic-split";
+        reader_question_refs: string[];
+        split_of: string;
+        boundary: {
+            axis: string;
+            start_key: string;
+            end_key: string;
+        };
+    }, {
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "semantic-split";
+        reader_question_refs: string[];
+        split_of: string;
+        boundary: {
+            axis: string;
+            start_key: string;
+            end_key: string;
+        };
+    }>]>, "many">;
+    discretionary_artifact_count: z.ZodNumber;
+    semantic_split_part_count: z.ZodNumber;
+} & {
+    bundle_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.artifact-bundle/v1";
+    artifact_policy_variant: string;
+    artifacts: ({
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "required" | "discretionary";
+        reader_question_refs: string[];
+    } | {
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "semantic-split";
+        reader_question_refs: string[];
+        split_of: string;
+        boundary: {
+            axis: string;
+            start_key: string;
+            end_key: string;
+        };
+    })[];
+    logical_unit_ref: string;
+    discretionary_artifact_count: number;
+    semantic_split_part_count: number;
+    bundle_digest: string;
+}, {
+    protocol: "context.indexer.artifact-bundle/v1";
+    artifact_policy_variant: string;
+    artifacts: ({
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "required" | "discretionary";
+        reader_question_refs: string[];
+    } | {
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "semantic-split";
+        reader_question_refs: string[];
+        split_of: string;
+        boundary: {
+            axis: string;
+            start_key: string;
+            end_key: string;
+        };
+    })[];
+    logical_unit_ref: string;
+    discretionary_artifact_count: number;
+    semantic_split_part_count: number;
+    bundle_digest: string;
+}>;
+export type IndexerArtifactBundle = z.infer<typeof indexerArtifactBundleSchema>;
+export type IndexerArtifactBundleEntry = z.infer<typeof artifactBundleEntrySchema>;
+export declare function buildIndexerArtifactBundle(input: {
+    logical_unit_ref: string;
+    artifact_policy_variant: string;
+    artifacts: readonly IndexerArtifactBundleEntry[];
+}): IndexerArtifactBundle;
+export declare function validateIndexerArtifactBundle(value: unknown): IndexerArtifactBundle;
+export declare function validateIndexerArtifactBundlePolicy(input: {
+    bundle: unknown;
+    eligibility: unknown;
+    actual_artifacts: readonly {
+        artifact_id: string;
+        artifact_kind: string;
+        evidence_refs: readonly string[];
+    }[];
+    allowed_question_refs: readonly string[];
+    known_evidence_refs: readonly string[];
+}): IndexerArtifactBundle;
+export {};