@c4a/context 0.6.19 → 0.7.1

package/indexerContractOverlay.d.ts

@@ -0,0 +1,879 @@
+import { z } from "zod";
+import { type IndexerOperatorContract, type IndexerProfileContract, type IndexerProfileContractEntry } from "./indexerProfileContract.js";
+export declare const indexerContractOverlaySchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.contract-overlay/v1">;
+    id: z.ZodEffects<z.ZodString, string, string>;
+    version: z.ZodString;
+    extends: z.ZodObject<{
+        profile: z.ZodEffects<z.ZodString, string, string>;
+        version: z.ZodString;
+        contract_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        contract_digest: string;
+        version: string;
+        profile: string;
+    }, {
+        contract_digest: string;
+        version: string;
+        profile: string;
+    }>;
+    operator_contract_version: z.ZodString;
+    operator_contract_digest: z.ZodString;
+    additions: z.ZodObject<{
+        inventory_domains: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodEffects<z.ZodString, string, string>;
+            selector: z.ZodObject<{
+                operator: z.ZodEffects<z.ZodString, string, string>;
+                parameters: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodType<import("./indexerRegistry.js").IndexerJson, z.ZodTypeDef, import("./indexerRegistry.js").IndexerJson>>>;
+            }, "strict", z.ZodTypeAny, {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }, {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }>;
+            disposition_required: z.ZodLiteral<true>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            selector: {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            };
+            disposition_required: true;
+        }, {
+            id: string;
+            selector: {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            };
+            disposition_required: true;
+        }>, "many">>;
+        required_dispositions: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
+        metrics: z.ZodOptional<z.ZodArray<z.ZodUnion<[z.ZodEffects<z.ZodObject<{
+            id: z.ZodEffects<z.ZodString, string, string>;
+            unit: z.ZodEnum<["count", "ratio"]>;
+            operator: z.ZodEffects<z.ZodString, string, string>;
+            threshold_policy: z.ZodLiteral<"explicit">;
+            direction: z.ZodLiteral<"minimum">;
+            recommended_min: z.ZodNumber;
+            hard_min: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "minimum";
+            recommended_min: number;
+            hard_min: number;
+        }, {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "minimum";
+            recommended_min: number;
+            hard_min: number;
+        }>, {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "minimum";
+            recommended_min: number;
+            hard_min: number;
+        }, {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "minimum";
+            recommended_min: number;
+            hard_min: number;
+        }>, z.ZodEffects<z.ZodObject<{
+            id: z.ZodEffects<z.ZodString, string, string>;
+            unit: z.ZodEnum<["count", "ratio"]>;
+            operator: z.ZodEffects<z.ZodString, string, string>;
+            threshold_policy: z.ZodLiteral<"explicit">;
+            direction: z.ZodLiteral<"maximum">;
+            recommended_max: z.ZodNumber;
+            hard_max: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "maximum";
+            recommended_max: number;
+            hard_max: number;
+        }, {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "maximum";
+            recommended_max: number;
+            hard_max: number;
+        }>, {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "maximum";
+            recommended_max: number;
+            hard_max: number;
+        }, {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "maximum";
+            recommended_max: number;
+            hard_max: number;
+        }>, z.ZodObject<{
+            id: z.ZodEffects<z.ZodString, string, string>;
+            unit: z.ZodEnum<["count", "ratio"]>;
+            operator: z.ZodEffects<z.ZodString, string, string>;
+            threshold_policy: z.ZodLiteral<"inflation-sensitive">;
+            direction: z.ZodLiteral<"maximum">;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "inflation-sensitive";
+            direction: "maximum";
+        }, {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "inflation-sensitive";
+            direction: "maximum";
+        }>]>, "many">>;
+        artifact_policy_variants: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodEffects<z.ZodString, string, string>;
+            eligibility: z.ZodObject<{
+                protocol: z.ZodLiteral<"context.indexer.selector/v1">;
+                expression: z.ZodType<import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression, z.ZodTypeDef, import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression>;
+            }, "strict", z.ZodTypeAny, {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            }, {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            }>;
+            artifact_kinds: z.ZodEffects<z.ZodObject<{
+                required: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+                discretionary: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+            }, "strict", z.ZodTypeAny, {
+                required: string[];
+                discretionary: string[];
+            }, {
+                required: string[];
+                discretionary: string[];
+            }>, {
+                required: string[];
+                discretionary: string[];
+            }, {
+                required: string[];
+                discretionary: string[];
+            }>;
+            thresholds: z.ZodRecord<z.ZodEffects<z.ZodString, string, string>, z.ZodObject<{
+                recommended_max: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                recommended_max: number;
+            }, {
+                recommended_max: number;
+            }>>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            thresholds: Record<string, {
+                recommended_max: number;
+            }>;
+            eligibility: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            artifact_kinds: {
+                required: string[];
+                discretionary: string[];
+            };
+        }, {
+            id: string;
+            thresholds: Record<string, {
+                recommended_max: number;
+            }>;
+            eligibility: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            artifact_kinds: {
+                required: string[];
+                discretionary: string[];
+            };
+        }>, "many">>;
+        question_target_domains: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodEffects<z.ZodString, string, string>;
+            selector: z.ZodObject<{
+                operator: z.ZodEffects<z.ZodString, string, string>;
+                parameters: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodType<import("./indexerRegistry.js").IndexerJson, z.ZodTypeDef, import("./indexerRegistry.js").IndexerJson>>>;
+            }, "strict", z.ZodTypeAny, {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }, {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }>;
+            grouping_operator: z.ZodEffects<z.ZodString, string, string>;
+            subject_key_kind: z.ZodEffects<z.ZodString, string, string>;
+            granularity: z.ZodEnum<["module", "identity"]>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            selector: {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            };
+            grouping_operator: string;
+            subject_key_kind: string;
+            granularity: "module" | "identity";
+        }, {
+            id: string;
+            selector: {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            };
+            grouping_operator: string;
+            subject_key_kind: string;
+            granularity: "module" | "identity";
+        }>, "many">>;
+        reader_question_contracts: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+            ref: z.ZodString;
+            semantic: z.ZodEffects<z.ZodString, string, string>;
+            version: z.ZodNumber;
+            coverage_domain: z.ZodEffects<z.ZodString, string, string>;
+            target_domain_ref: z.ZodEffects<z.ZodString, string, string>;
+            target_selector: z.ZodObject<{
+                protocol: z.ZodLiteral<"context.indexer.selector/v1">;
+                expression: z.ZodType<import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression, z.ZodTypeDef, import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression>;
+            }, "strict", z.ZodTypeAny, {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            }, {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            }>;
+            evidence_contract: z.ZodObject<{
+                accepted_kinds: z.ZodArray<z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>, "many">;
+                minimum_items: z.ZodNumber;
+                minimum_distinct_sources: z.ZodNumber;
+                provenance_constraints: z.ZodOptional<z.ZodObject<{
+                    protocol: z.ZodLiteral<"context.indexer.selector/v1">;
+                    expression: z.ZodType<import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression, z.ZodTypeDef, import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression>;
+                }, "strict", z.ZodTypeAny, {
+                    protocol: "context.indexer.selector/v1";
+                    expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+                }, {
+                    protocol: "context.indexer.selector/v1";
+                    expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+                }>>;
+            }, "strict", z.ZodTypeAny, {
+                accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                minimum_items: number;
+                minimum_distinct_sources: number;
+                provenance_constraints?: {
+                    protocol: "context.indexer.selector/v1";
+                    expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+                } | undefined;
+            }, {
+                accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                minimum_items: number;
+                minimum_distinct_sources: number;
+                provenance_constraints?: {
+                    protocol: "context.indexer.selector/v1";
+                    expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+                } | undefined;
+            }>;
+            allowed_exclusion_reason_codes: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            ref: string;
+            version: number;
+            semantic: string;
+            coverage_domain: string;
+            target_domain_ref: string;
+            target_selector: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            evidence_contract: {
+                accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                minimum_items: number;
+                minimum_distinct_sources: number;
+                provenance_constraints?: {
+                    protocol: "context.indexer.selector/v1";
+                    expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+                } | undefined;
+            };
+            allowed_exclusion_reason_codes?: string[] | undefined;
+        }, {
+            ref: string;
+            version: number;
+            semantic: string;
+            coverage_domain: string;
+            target_domain_ref: string;
+            target_selector: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            evidence_contract: {
+                accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                minimum_items: number;
+                minimum_distinct_sources: number;
+                provenance_constraints?: {
+                    protocol: "context.indexer.selector/v1";
+                    expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+                } | undefined;
+            };
+            allowed_exclusion_reason_codes?: string[] | undefined;
+        }>, {
+            ref: string;
+            version: number;
+            semantic: string;
+            coverage_domain: string;
+            target_domain_ref: string;
+            target_selector: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            evidence_contract: {
+                accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                minimum_items: number;
+                minimum_distinct_sources: number;
+                provenance_constraints?: {
+                    protocol: "context.indexer.selector/v1";
+                    expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+                } | undefined;
+            };
+            allowed_exclusion_reason_codes?: string[] | undefined;
+        }, {
+            ref: string;
+            version: number;
+            semantic: string;
+            coverage_domain: string;
+            target_domain_ref: string;
+            target_selector: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            evidence_contract: {
+                accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                minimum_items: number;
+                minimum_distinct_sources: number;
+                provenance_constraints?: {
+                    protocol: "context.indexer.selector/v1";
+                    expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+                } | undefined;
+            };
+            allowed_exclusion_reason_codes?: string[] | undefined;
+        }>, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        metrics?: ({
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "minimum";
+            recommended_min: number;
+            hard_min: number;
+        } | {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "maximum";
+            recommended_max: number;
+            hard_max: number;
+        } | {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "inflation-sensitive";
+            direction: "maximum";
+        })[] | undefined;
+        inventory_domains?: {
+            id: string;
+            selector: {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            };
+            disposition_required: true;
+        }[] | undefined;
+        required_dispositions?: string[] | undefined;
+        artifact_policy_variants?: {
+            id: string;
+            thresholds: Record<string, {
+                recommended_max: number;
+            }>;
+            eligibility: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            artifact_kinds: {
+                required: string[];
+                discretionary: string[];
+            };
+        }[] | undefined;
+        question_target_domains?: {
+            id: string;
+            selector: {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            };
+            grouping_operator: string;
+            subject_key_kind: string;
+            granularity: "module" | "identity";
+        }[] | undefined;
+        reader_question_contracts?: {
+            ref: string;
+            version: number;
+            semantic: string;
+            coverage_domain: string;
+            target_domain_ref: string;
+            target_selector: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            evidence_contract: {
+                accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                minimum_items: number;
+                minimum_distinct_sources: number;
+                provenance_constraints?: {
+                    protocol: "context.indexer.selector/v1";
+                    expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+                } | undefined;
+            };
+            allowed_exclusion_reason_codes?: string[] | undefined;
+        }[] | undefined;
+    }, {
+        metrics?: ({
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "minimum";
+            recommended_min: number;
+            hard_min: number;
+        } | {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "maximum";
+            recommended_max: number;
+            hard_max: number;
+        } | {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "inflation-sensitive";
+            direction: "maximum";
+        })[] | undefined;
+        inventory_domains?: {
+            id: string;
+            selector: {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            };
+            disposition_required: true;
+        }[] | undefined;
+        required_dispositions?: string[] | undefined;
+        artifact_policy_variants?: {
+            id: string;
+            thresholds: Record<string, {
+                recommended_max: number;
+            }>;
+            eligibility: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            artifact_kinds: {
+                required: string[];
+                discretionary: string[];
+            };
+        }[] | undefined;
+        question_target_domains?: {
+            id: string;
+            selector: {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            };
+            grouping_operator: string;
+            subject_key_kind: string;
+            granularity: "module" | "identity";
+        }[] | undefined;
+        reader_question_contracts?: {
+            ref: string;
+            version: number;
+            semantic: string;
+            coverage_domain: string;
+            target_domain_ref: string;
+            target_selector: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            evidence_contract: {
+                accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                minimum_items: number;
+                minimum_distinct_sources: number;
+                provenance_constraints?: {
+                    protocol: "context.indexer.selector/v1";
+                    expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+                } | undefined;
+            };
+            allowed_exclusion_reason_codes?: string[] | undefined;
+        }[] | undefined;
+    }>;
+    metric_tightenings: z.ZodOptional<z.ZodArray<z.ZodUnion<[z.ZodEffects<z.ZodObject<{
+        metric_ref: z.ZodEffects<z.ZodString, string, string>;
+        direction: z.ZodLiteral<"minimum">;
+        recommended_min: z.ZodOptional<z.ZodNumber>;
+        hard_min: z.ZodOptional<z.ZodNumber>;
+    }, "strict", z.ZodTypeAny, {
+        direction: "minimum";
+        metric_ref: string;
+        recommended_min?: number | undefined;
+        hard_min?: number | undefined;
+    }, {
+        direction: "minimum";
+        metric_ref: string;
+        recommended_min?: number | undefined;
+        hard_min?: number | undefined;
+    }>, {
+        direction: "minimum";
+        metric_ref: string;
+        recommended_min?: number | undefined;
+        hard_min?: number | undefined;
+    }, {
+        direction: "minimum";
+        metric_ref: string;
+        recommended_min?: number | undefined;
+        hard_min?: number | undefined;
+    }>, z.ZodEffects<z.ZodObject<{
+        metric_ref: z.ZodEffects<z.ZodString, string, string>;
+        direction: z.ZodLiteral<"maximum">;
+        recommended_max: z.ZodOptional<z.ZodNumber>;
+        hard_max: z.ZodOptional<z.ZodNumber>;
+    }, "strict", z.ZodTypeAny, {
+        direction: "maximum";
+        metric_ref: string;
+        recommended_max?: number | undefined;
+        hard_max?: number | undefined;
+    }, {
+        direction: "maximum";
+        metric_ref: string;
+        recommended_max?: number | undefined;
+        hard_max?: number | undefined;
+    }>, {
+        direction: "maximum";
+        metric_ref: string;
+        recommended_max?: number | undefined;
+        hard_max?: number | undefined;
+    }, {
+        direction: "maximum";
+        metric_ref: string;
+        recommended_max?: number | undefined;
+        hard_max?: number | undefined;
+    }>]>, "many">>;
+    artifact_policy_threshold_tightenings: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        variant_ref: z.ZodEffects<z.ZodString, string, string>;
+        metric_ref: z.ZodEffects<z.ZodString, string, string>;
+        recommended_max: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        recommended_max: number;
+        metric_ref: string;
+        variant_ref: string;
+    }, {
+        recommended_max: number;
+        metric_ref: string;
+        variant_ref: string;
+    }>, "many">>;
+    overlay_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    protocol: "context.indexer.contract-overlay/v1";
+    version: string;
+    operator_contract_version: string;
+    operator_contract_digest: string;
+    extends: {
+        contract_digest: string;
+        version: string;
+        profile: string;
+    };
+    additions: {
+        metrics?: ({
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "minimum";
+            recommended_min: number;
+            hard_min: number;
+        } | {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "maximum";
+            recommended_max: number;
+            hard_max: number;
+        } | {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "inflation-sensitive";
+            direction: "maximum";
+        })[] | undefined;
+        inventory_domains?: {
+            id: string;
+            selector: {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            };
+            disposition_required: true;
+        }[] | undefined;
+        required_dispositions?: string[] | undefined;
+        artifact_policy_variants?: {
+            id: string;
+            thresholds: Record<string, {
+                recommended_max: number;
+            }>;
+            eligibility: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            artifact_kinds: {
+                required: string[];
+                discretionary: string[];
+            };
+        }[] | undefined;
+        question_target_domains?: {
+            id: string;
+            selector: {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            };
+            grouping_operator: string;
+            subject_key_kind: string;
+            granularity: "module" | "identity";
+        }[] | undefined;
+        reader_question_contracts?: {
+            ref: string;
+            version: number;
+            semantic: string;
+            coverage_domain: string;
+            target_domain_ref: string;
+            target_selector: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            evidence_contract: {
+                accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                minimum_items: number;
+                minimum_distinct_sources: number;
+                provenance_constraints?: {
+                    protocol: "context.indexer.selector/v1";
+                    expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+                } | undefined;
+            };
+            allowed_exclusion_reason_codes?: string[] | undefined;
+        }[] | undefined;
+    };
+    overlay_digest: string;
+    metric_tightenings?: ({
+        direction: "minimum";
+        metric_ref: string;
+        recommended_min?: number | undefined;
+        hard_min?: number | undefined;
+    } | {
+        direction: "maximum";
+        metric_ref: string;
+        recommended_max?: number | undefined;
+        hard_max?: number | undefined;
+    })[] | undefined;
+    artifact_policy_threshold_tightenings?: {
+        recommended_max: number;
+        metric_ref: string;
+        variant_ref: string;
+    }[] | undefined;
+}, {
+    id: string;
+    protocol: "context.indexer.contract-overlay/v1";
+    version: string;
+    operator_contract_version: string;
+    operator_contract_digest: string;
+    extends: {
+        contract_digest: string;
+        version: string;
+        profile: string;
+    };
+    additions: {
+        metrics?: ({
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "minimum";
+            recommended_min: number;
+            hard_min: number;
+        } | {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "explicit";
+            direction: "maximum";
+            recommended_max: number;
+            hard_max: number;
+        } | {
+            id: string;
+            operator: string;
+            unit: "count" | "ratio";
+            threshold_policy: "inflation-sensitive";
+            direction: "maximum";
+        })[] | undefined;
+        inventory_domains?: {
+            id: string;
+            selector: {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            };
+            disposition_required: true;
+        }[] | undefined;
+        required_dispositions?: string[] | undefined;
+        artifact_policy_variants?: {
+            id: string;
+            thresholds: Record<string, {
+                recommended_max: number;
+            }>;
+            eligibility: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            artifact_kinds: {
+                required: string[];
+                discretionary: string[];
+            };
+        }[] | undefined;
+        question_target_domains?: {
+            id: string;
+            selector: {
+                operator: string;
+                parameters?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            };
+            grouping_operator: string;
+            subject_key_kind: string;
+            granularity: "module" | "identity";
+        }[] | undefined;
+        reader_question_contracts?: {
+            ref: string;
+            version: number;
+            semantic: string;
+            coverage_domain: string;
+            target_domain_ref: string;
+            target_selector: {
+                protocol: "context.indexer.selector/v1";
+                expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+            };
+            evidence_contract: {
+                accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                minimum_items: number;
+                minimum_distinct_sources: number;
+                provenance_constraints?: {
+                    protocol: "context.indexer.selector/v1";
+                    expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
+                } | undefined;
+            };
+            allowed_exclusion_reason_codes?: string[] | undefined;
+        }[] | undefined;
+    };
+    overlay_digest: string;
+    metric_tightenings?: ({
+        direction: "minimum";
+        metric_ref: string;
+        recommended_min?: number | undefined;
+        hard_min?: number | undefined;
+    } | {
+        direction: "maximum";
+        metric_ref: string;
+        recommended_max?: number | undefined;
+        hard_max?: number | undefined;
+    })[] | undefined;
+    artifact_policy_threshold_tightenings?: {
+        recommended_max: number;
+        metric_ref: string;
+        variant_ref: string;
+    }[] | undefined;
+}>;
+export type IndexerContractOverlay = z.infer<typeof indexerContractOverlaySchema>;
+export declare function indexerContractOverlayDigest(overlay: Omit<IndexerContractOverlay, "overlay_digest">): string;
+export interface IndexerOverlayConformanceReport {
+    protocol: "context.indexer.overlay-conformance-report/v1";
+    overlay_digest: string;
+    base_contract_digest: string;
+    operator_contract_digest: string;
+    monotonic: true;
+    added_refs: string[];
+    tightened_metric_refs: string[];
+    tightened_artifact_policy_refs: string[];
+    report_digest: string;
+}
+export declare function validateIndexerContractOverlay(input: {
+    overlay: unknown;
+    baseContract: unknown;
+    operatorContract: unknown;
+}): {
+    overlay: IndexerContractOverlay;
+    effectiveProfile: IndexerProfileContractEntry;
+    report: IndexerOverlayConformanceReport;
+};
+export declare const indexerOverlayValidationReceiptSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.overlay-validation-receipt/v1">;
+    project_ref: z.ZodString;
+    overlay_digest: z.ZodString;
+    base_contract_digest: z.ZodString;
+    provider_integrity: z.ZodString;
+    operator_contract_digest: z.ZodString;
+    conformance_report_digest: z.ZodString;
+    receipt_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.overlay-validation-receipt/v1";
+    receipt_digest: string;
+    operator_contract_digest: string;
+    project_ref: string;
+    provider_integrity: string;
+    overlay_digest: string;
+    base_contract_digest: string;
+    conformance_report_digest: string;
+}, {
+    protocol: "context.indexer.overlay-validation-receipt/v1";
+    receipt_digest: string;
+    operator_contract_digest: string;
+    project_ref: string;
+    provider_integrity: string;
+    overlay_digest: string;
+    base_contract_digest: string;
+    conformance_report_digest: string;
+}>;
+export type IndexerOverlayValidationReceipt = z.infer<typeof indexerOverlayValidationReceiptSchema>;
+export declare function indexerOverlayValidationReceiptDigest(receipt: Omit<IndexerOverlayValidationReceipt, "receipt_digest">): string;
+export declare function createIndexerOverlayValidationReceipt(input: {
+    overlayValidation: ReturnType<typeof validateIndexerContractOverlay>;
+    baseContract: IndexerProfileContract;
+    operatorContract: IndexerOperatorContract;
+    providerIntegrity: string;
+    projectRef: string;
+}): IndexerOverlayValidationReceipt;
+export declare function validateIndexerOverlayValidationReceipt(input: {
+    value: unknown;
+    overlayValidation: ReturnType<typeof validateIndexerContractOverlay>;
+    baseContract: IndexerProfileContract;
+    operatorContract: IndexerOperatorContract;
+    providerIntegrity: string;
+    projectRef: string;
+}): IndexerOverlayValidationReceipt;