@c4a/context 0.6.19 → 0.7.0

package/indexerRequirementConfirmation.d.ts

@@ -0,0 +1,1193 @@
+import { z } from "zod";
+import { type RequirementContractionComparatorOptions } from "./indexerRequirementComparison.js";
+import { type IndexRequirement } from "./indexerRegistry.js";
+export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.requirement-change-report/v1">;
+    project_ref: z.ZodString;
+    old_requirement: z.ZodEffects<z.ZodObject<{
+        id: z.ZodEffects<z.ZodString, string, string>;
+        reader_goals: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+        coverage_domains: z.ZodRecord<z.ZodEffects<z.ZodString, string, string>, z.ZodEnum<["required", "optional", "out-of-scope"]>>;
+        questions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            ref: z.ZodString;
+            authority: z.ZodObject<{
+                kind: z.ZodEnum<["cli-base-contract", "verified-contract-overlay"]>;
+                ref: z.ZodString;
+                digest: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            }, {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            }>;
+            contract_version: z.ZodNumber;
+            contract_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }, {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }>, "many">>;
+        target_scope: z.ZodEffects<z.ZodObject<{
+            targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                source_ref: z.ZodString;
+                module_refs: z.ZodArray<z.ZodString, "many">;
+            }, "strict", z.ZodTypeAny, {
+                source_ref: string;
+                module_refs: string[];
+            }, {
+                source_ref: string;
+                module_refs: string[];
+            }>, {
+                source_ref: string;
+                module_refs: string[];
+            }, {
+                source_ref: string;
+                module_refs: string[];
+            }>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }>, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }>;
+        evidence_source_scope: z.ZodEffects<z.ZodObject<{
+            targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                source_ref: z.ZodString;
+                module_refs: z.ZodArray<z.ZodString, "many">;
+            }, "strict", z.ZodTypeAny, {
+                source_ref: string;
+                module_refs: string[];
+            }, {
+                source_ref: string;
+                module_refs: string[];
+            }>, {
+                source_ref: string;
+                module_refs: string[];
+            }, {
+                source_ref: string;
+                module_refs: string[];
+            }>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }>, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }>;
+        exclusions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodEffects<z.ZodString, string, string>;
+            scope: z.ZodEffects<z.ZodObject<{
+                targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                    source_ref: z.ZodString;
+                    module_refs: z.ZodArray<z.ZodString, "many">;
+                }, "strict", z.ZodTypeAny, {
+                    source_ref: string;
+                    module_refs: string[];
+                }, {
+                    source_ref: string;
+                    module_refs: string[];
+                }>, {
+                    source_ref: string;
+                    module_refs: string[];
+                }, {
+                    source_ref: string;
+                    module_refs: string[];
+                }>, "many">;
+            }, "strict", z.ZodTypeAny, {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            }, {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            }>, {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            }, {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            }>;
+            reason: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }, {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }>, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        reader_goals: string[];
+        coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+        target_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        evidence_source_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        questions?: {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }[] | undefined;
+        exclusions?: {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }[] | undefined;
+    }, {
+        id: string;
+        reader_goals: string[];
+        coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+        target_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        evidence_source_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        questions?: {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }[] | undefined;
+        exclusions?: {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }[] | undefined;
+    }>, {
+        id: string;
+        reader_goals: string[];
+        coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+        target_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        evidence_source_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        questions?: {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }[] | undefined;
+        exclusions?: {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }[] | undefined;
+    }, {
+        id: string;
+        reader_goals: string[];
+        coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+        target_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        evidence_source_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        questions?: {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }[] | undefined;
+        exclusions?: {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }[] | undefined;
+    }>;
+    new_requirement: z.ZodEffects<z.ZodObject<{
+        id: z.ZodEffects<z.ZodString, string, string>;
+        reader_goals: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+        coverage_domains: z.ZodRecord<z.ZodEffects<z.ZodString, string, string>, z.ZodEnum<["required", "optional", "out-of-scope"]>>;
+        questions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            ref: z.ZodString;
+            authority: z.ZodObject<{
+                kind: z.ZodEnum<["cli-base-contract", "verified-contract-overlay"]>;
+                ref: z.ZodString;
+                digest: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            }, {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            }>;
+            contract_version: z.ZodNumber;
+            contract_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }, {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }>, "many">>;
+        target_scope: z.ZodEffects<z.ZodObject<{
+            targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                source_ref: z.ZodString;
+                module_refs: z.ZodArray<z.ZodString, "many">;
+            }, "strict", z.ZodTypeAny, {
+                source_ref: string;
+                module_refs: string[];
+            }, {
+                source_ref: string;
+                module_refs: string[];
+            }>, {
+                source_ref: string;
+                module_refs: string[];
+            }, {
+                source_ref: string;
+                module_refs: string[];
+            }>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }>, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }>;
+        evidence_source_scope: z.ZodEffects<z.ZodObject<{
+            targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                source_ref: z.ZodString;
+                module_refs: z.ZodArray<z.ZodString, "many">;
+            }, "strict", z.ZodTypeAny, {
+                source_ref: string;
+                module_refs: string[];
+            }, {
+                source_ref: string;
+                module_refs: string[];
+            }>, {
+                source_ref: string;
+                module_refs: string[];
+            }, {
+                source_ref: string;
+                module_refs: string[];
+            }>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }>, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }, {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        }>;
+        exclusions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodEffects<z.ZodString, string, string>;
+            scope: z.ZodEffects<z.ZodObject<{
+                targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                    source_ref: z.ZodString;
+                    module_refs: z.ZodArray<z.ZodString, "many">;
+                }, "strict", z.ZodTypeAny, {
+                    source_ref: string;
+                    module_refs: string[];
+                }, {
+                    source_ref: string;
+                    module_refs: string[];
+                }>, {
+                    source_ref: string;
+                    module_refs: string[];
+                }, {
+                    source_ref: string;
+                    module_refs: string[];
+                }>, "many">;
+            }, "strict", z.ZodTypeAny, {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            }, {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            }>, {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            }, {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            }>;
+            reason: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }, {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }>, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        reader_goals: string[];
+        coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+        target_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        evidence_source_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        questions?: {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }[] | undefined;
+        exclusions?: {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }[] | undefined;
+    }, {
+        id: string;
+        reader_goals: string[];
+        coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+        target_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        evidence_source_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        questions?: {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }[] | undefined;
+        exclusions?: {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }[] | undefined;
+    }>, {
+        id: string;
+        reader_goals: string[];
+        coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+        target_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        evidence_source_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        questions?: {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }[] | undefined;
+        exclusions?: {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }[] | undefined;
+    }, {
+        id: string;
+        reader_goals: string[];
+        coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+        target_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        evidence_source_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        questions?: {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }[] | undefined;
+        exclusions?: {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }[] | undefined;
+    }>;
+    old_requirement_digest: z.ZodString;
+    new_requirement_digest: z.ZodString;
+    comparator_inputs: z.ZodObject<{
+        readerGoalImplications: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>;
+        oldQuestionContracts: z.ZodArray<z.ZodObject<{
+            ref: z.ZodString;
+            contractDigest: z.ZodString;
+            semanticId: z.ZodString;
+            coverageDomain: z.ZodString;
+            targetDomainId: z.ZodString;
+            selectorContractDigest: z.ZodString;
+            targetRefs: z.ZodArray<z.ZodString, "many">;
+            evidence: z.ZodObject<{
+                acceptedKinds: z.ZodArray<z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>, "many">;
+                minimumItems: z.ZodNumber;
+                minimumDistinctSources: z.ZodNumber;
+                provenanceRequired: z.ZodBoolean;
+            }, "strict", z.ZodTypeAny, {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            }, {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            }>;
+        }, "strict", z.ZodTypeAny, {
+            ref: string;
+            evidence: {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            };
+            coverageDomain: string;
+            semanticId: string;
+            targetDomainId: string;
+            selectorContractDigest: string;
+            contractDigest: string;
+            targetRefs: string[];
+        }, {
+            ref: string;
+            evidence: {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            };
+            coverageDomain: string;
+            semanticId: string;
+            targetDomainId: string;
+            selectorContractDigest: string;
+            contractDigest: string;
+            targetRefs: string[];
+        }>, "many">;
+        newQuestionContracts: z.ZodArray<z.ZodObject<{
+            ref: z.ZodString;
+            contractDigest: z.ZodString;
+            semanticId: z.ZodString;
+            coverageDomain: z.ZodString;
+            targetDomainId: z.ZodString;
+            selectorContractDigest: z.ZodString;
+            targetRefs: z.ZodArray<z.ZodString, "many">;
+            evidence: z.ZodObject<{
+                acceptedKinds: z.ZodArray<z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>, "many">;
+                minimumItems: z.ZodNumber;
+                minimumDistinctSources: z.ZodNumber;
+                provenanceRequired: z.ZodBoolean;
+            }, "strict", z.ZodTypeAny, {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            }, {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            }>;
+        }, "strict", z.ZodTypeAny, {
+            ref: string;
+            evidence: {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            };
+            coverageDomain: string;
+            semanticId: string;
+            targetDomainId: string;
+            selectorContractDigest: string;
+            contractDigest: string;
+            targetRefs: string[];
+        }, {
+            ref: string;
+            evidence: {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            };
+            coverageDomain: string;
+            semanticId: string;
+            targetDomainId: string;
+            selectorContractDigest: string;
+            contractDigest: string;
+            targetRefs: string[];
+        }>, "many">;
+        selectorRelations: z.ZodRecord<z.ZodString, z.ZodEnum<["equivalent", "strengthening", "contraction", "incomparable"]>>;
+    }, "strict", z.ZodTypeAny, {
+        readerGoalImplications: Record<string, string[]>;
+        oldQuestionContracts: {
+            ref: string;
+            evidence: {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            };
+            coverageDomain: string;
+            semanticId: string;
+            targetDomainId: string;
+            selectorContractDigest: string;
+            contractDigest: string;
+            targetRefs: string[];
+        }[];
+        newQuestionContracts: {
+            ref: string;
+            evidence: {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            };
+            coverageDomain: string;
+            semanticId: string;
+            targetDomainId: string;
+            selectorContractDigest: string;
+            contractDigest: string;
+            targetRefs: string[];
+        }[];
+        selectorRelations: Record<string, "equivalent" | "strengthening" | "contraction" | "incomparable">;
+    }, {
+        readerGoalImplications: Record<string, string[]>;
+        oldQuestionContracts: {
+            ref: string;
+            evidence: {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            };
+            coverageDomain: string;
+            semanticId: string;
+            targetDomainId: string;
+            selectorContractDigest: string;
+            contractDigest: string;
+            targetRefs: string[];
+        }[];
+        newQuestionContracts: {
+            ref: string;
+            evidence: {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            };
+            coverageDomain: string;
+            semanticId: string;
+            targetDomainId: string;
+            selectorContractDigest: string;
+            contractDigest: string;
+            targetRefs: string[];
+        }[];
+        selectorRelations: Record<string, "equivalent" | "strengthening" | "contraction" | "incomparable">;
+    }>;
+    comparison: z.ZodObject<{
+        protocol: z.ZodLiteral<"context.indexer.requirement-contraction-comparison/v1">;
+        requirementRef: z.ZodString;
+        relation: z.ZodEnum<["equivalent", "strengthening", "contraction", "incomparable"]>;
+        requiresHumanConfirmation: z.ZodBoolean;
+        evidenceSourceChange: z.ZodEnum<["unchanged", "expanded", "reduced", "changed"]>;
+        changes: z.ZodArray<z.ZodObject<{
+            area: z.ZodEnum<["target-scope", "reader-goals", "coverage-domain", "exclusions", "question", "question-semantic", "question-selector", "question-domain", "question-evidence"]>;
+            path: z.ZodString;
+            relation: z.ZodEnum<["strengthening", "contraction", "incomparable"]>;
+            detail: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            path: string;
+            area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
+            relation: "strengthening" | "contraction" | "incomparable";
+            detail: string;
+        }, {
+            path: string;
+            area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
+            relation: "strengthening" | "contraction" | "incomparable";
+            detail: string;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        protocol: "context.indexer.requirement-contraction-comparison/v1";
+        requirementRef: string;
+        evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
+        relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+        requiresHumanConfirmation: boolean;
+        changes: {
+            path: string;
+            area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
+            relation: "strengthening" | "contraction" | "incomparable";
+            detail: string;
+        }[];
+    }, {
+        protocol: "context.indexer.requirement-contraction-comparison/v1";
+        requirementRef: string;
+        evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
+        relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+        requiresHumanConfirmation: boolean;
+        changes: {
+            path: string;
+            area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
+            relation: "strengthening" | "contraction" | "incomparable";
+            detail: string;
+        }[];
+    }>;
+    comparison_digest: z.ZodString;
+    report_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.requirement-change-report/v1";
+    project_ref: string;
+    report_digest: string;
+    old_requirement: {
+        id: string;
+        reader_goals: string[];
+        coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+        target_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        evidence_source_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        questions?: {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }[] | undefined;
+        exclusions?: {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }[] | undefined;
+    };
+    new_requirement: {
+        id: string;
+        reader_goals: string[];
+        coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+        target_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        evidence_source_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        questions?: {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }[] | undefined;
+        exclusions?: {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }[] | undefined;
+    };
+    old_requirement_digest: string;
+    new_requirement_digest: string;
+    comparator_inputs: {
+        readerGoalImplications: Record<string, string[]>;
+        oldQuestionContracts: {
+            ref: string;
+            evidence: {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            };
+            coverageDomain: string;
+            semanticId: string;
+            targetDomainId: string;
+            selectorContractDigest: string;
+            contractDigest: string;
+            targetRefs: string[];
+        }[];
+        newQuestionContracts: {
+            ref: string;
+            evidence: {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            };
+            coverageDomain: string;
+            semanticId: string;
+            targetDomainId: string;
+            selectorContractDigest: string;
+            contractDigest: string;
+            targetRefs: string[];
+        }[];
+        selectorRelations: Record<string, "equivalent" | "strengthening" | "contraction" | "incomparable">;
+    };
+    comparison: {
+        protocol: "context.indexer.requirement-contraction-comparison/v1";
+        requirementRef: string;
+        evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
+        relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+        requiresHumanConfirmation: boolean;
+        changes: {
+            path: string;
+            area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
+            relation: "strengthening" | "contraction" | "incomparable";
+            detail: string;
+        }[];
+    };
+    comparison_digest: string;
+}, {
+    protocol: "context.indexer.requirement-change-report/v1";
+    project_ref: string;
+    report_digest: string;
+    old_requirement: {
+        id: string;
+        reader_goals: string[];
+        coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+        target_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        evidence_source_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        questions?: {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }[] | undefined;
+        exclusions?: {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }[] | undefined;
+    };
+    new_requirement: {
+        id: string;
+        reader_goals: string[];
+        coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+        target_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        evidence_source_scope: {
+            targets: {
+                source_ref: string;
+                module_refs: string[];
+            }[];
+        };
+        questions?: {
+            ref: string;
+            authority: {
+                kind: "cli-base-contract" | "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }[] | undefined;
+        exclusions?: {
+            id: string;
+            scope: {
+                targets: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[];
+            };
+            reason: string;
+        }[] | undefined;
+    };
+    old_requirement_digest: string;
+    new_requirement_digest: string;
+    comparator_inputs: {
+        readerGoalImplications: Record<string, string[]>;
+        oldQuestionContracts: {
+            ref: string;
+            evidence: {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            };
+            coverageDomain: string;
+            semanticId: string;
+            targetDomainId: string;
+            selectorContractDigest: string;
+            contractDigest: string;
+            targetRefs: string[];
+        }[];
+        newQuestionContracts: {
+            ref: string;
+            evidence: {
+                minimumItems: number;
+                minimumDistinctSources: number;
+                acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                provenanceRequired: boolean;
+            };
+            coverageDomain: string;
+            semanticId: string;
+            targetDomainId: string;
+            selectorContractDigest: string;
+            contractDigest: string;
+            targetRefs: string[];
+        }[];
+        selectorRelations: Record<string, "equivalent" | "strengthening" | "contraction" | "incomparable">;
+    };
+    comparison: {
+        protocol: "context.indexer.requirement-contraction-comparison/v1";
+        requirementRef: string;
+        evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
+        relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+        requiresHumanConfirmation: boolean;
+        changes: {
+            path: string;
+            area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
+            relation: "strengthening" | "contraction" | "incomparable";
+            detail: string;
+        }[];
+    };
+    comparison_digest: string;
+}>;
+export declare const indexerRequirementChangeConfirmationSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.requirement-change-confirmation/v1">;
+    project_ref: z.ZodString;
+    gate: z.ZodEnum<["confirm-index-requirements", "confirm-index-requirement-contraction"]>;
+    old_requirement_digest: z.ZodString;
+    new_requirement_digest: z.ZodString;
+    comparison_digest: z.ZodString;
+    report_digest: z.ZodString;
+    authority: z.ZodEnum<["managed", "human"]>;
+    non_delegable: z.ZodBoolean;
+    confirmed_by: z.ZodString;
+    confirmed_at: z.ZodString;
+    confirmation_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.requirement-change-confirmation/v1";
+    authority: "managed" | "human";
+    project_ref: string;
+    report_digest: string;
+    confirmed_by: string;
+    confirmed_at: string;
+    old_requirement_digest: string;
+    new_requirement_digest: string;
+    comparison_digest: string;
+    gate: "confirm-index-requirements" | "confirm-index-requirement-contraction";
+    non_delegable: boolean;
+    confirmation_digest: string;
+}, {
+    protocol: "context.indexer.requirement-change-confirmation/v1";
+    authority: "managed" | "human";
+    project_ref: string;
+    report_digest: string;
+    confirmed_by: string;
+    confirmed_at: string;
+    old_requirement_digest: string;
+    new_requirement_digest: string;
+    comparison_digest: string;
+    gate: "confirm-index-requirements" | "confirm-index-requirement-contraction";
+    non_delegable: boolean;
+    confirmation_digest: string;
+}>;
+export type IndexerRequirementChangeReport = z.infer<typeof indexerRequirementChangeReportSchema>;
+export type IndexerRequirementChangeConfirmation = z.infer<typeof indexerRequirementChangeConfirmationSchema>;
+export declare function indexerRequirementChangeReportDigest(value: Omit<IndexerRequirementChangeReport, "report_digest">): string;
+export declare function indexerRequirementChangeConfirmationDigest(value: Omit<IndexerRequirementChangeConfirmation, "confirmation_digest">): string;
+export declare function buildIndexerRequirementChangeReport(input: {
+    project_ref: string;
+    old_requirement: IndexRequirement;
+    new_requirement: IndexRequirement;
+    comparator_options?: RequirementContractionComparatorOptions;
+}): IndexerRequirementChangeReport;
+export declare function validateIndexerRequirementChangeReport(value: unknown): IndexerRequirementChangeReport;
+export declare function confirmIndexerRequirementChange(input: {
+    report: unknown;
+    authority: "managed" | "human";
+    confirmed_by: string;
+    confirmed_at: string;
+}): IndexerRequirementChangeConfirmation;
+export declare function validateIndexerRequirementChangeConfirmation(input: {
+    report: unknown;
+    confirmation: unknown;
+}): IndexerRequirementChangeConfirmation;