@c4a/context 0.6.18 → 0.7.0

package/indexerOverlayQuestionAmendment.d.ts

@@ -0,0 +1,2551 @@
+import { z } from "zod";
+import { type RequirementContractionComparison } from "./indexerRequirementComparison.js";
+import { type IndexerRegistry } from "./indexerRegistry.js";
+import { validateIndexerContractOverlay, type IndexerOverlayTrustReceipt } from "./indexerOverlayTrust.js";
+import type { IndexerOperatorContract, IndexerProfileContract } from "./indexerProfileContract.js";
+import { type IndexerResolvedMaterialQuestion } from "./indexerQuestionAuthority.js";
+export declare const indexerOverlayQuestionAmendmentSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.overlay-question-amendment/v1">;
+    project_ref: z.ZodString;
+    requirement_id: z.ZodEffects<z.ZodString, string, string>;
+    base_requirement_digest: z.ZodString;
+    target_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;
+    }>;
+    target_requirement_digest: z.ZodString;
+    base_requirement_set_digest: z.ZodString;
+    target_requirement_set_digest: z.ZodString;
+    target_registry: z.ZodEffects<z.ZodObject<{
+        protocol: z.ZodLiteral<"context.indexer.registry/v1">;
+        requirements: z.ZodArray<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;
+        }>, "many">;
+        indexers: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            id: z.ZodEffects<z.ZodString, string, string>;
+            operations: z.ZodArray<z.ZodEnum<["main-index", "material-answer"]>, "many">;
+            requirement_bindings: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                requirement_ref: z.ZodEffects<z.ZodString, string, string>;
+                coverage_domains: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+                owned_scope: z.ZodUnion<[z.ZodObject<{
+                    ref: z.ZodString;
+                }, "strict", z.ZodTypeAny, {
+                    ref: string;
+                }, {
+                    ref: string;
+                }>, 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[];
+                    }[];
+                }>]>;
+                role: z.ZodEnum<["primary", "enricher"]>;
+            }, "strict", z.ZodTypeAny, {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }, {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }>, {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }, {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }>, "many">;
+            read_scope: z.ZodEffects<z.ZodObject<{
+                refs: z.ZodArray<z.ZodString, "many">;
+                extra_targets: z.ZodOptional<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, {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            }, {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            }>, {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            }, {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            }>;
+            profile: z.ZodObject<{
+                primary: z.ZodObject<{
+                    id: z.ZodEffects<z.ZodString, string, string>;
+                    provider: z.ZodEffects<z.ZodString, string, string>;
+                    variants: z.ZodOptional<z.ZodRecord<z.ZodEffects<z.ZodString, string, string>, z.ZodEffects<z.ZodString, string, string>>>;
+                }, "strict", z.ZodTypeAny, {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }, {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }>;
+                additional: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    id: z.ZodEffects<z.ZodString, string, string>;
+                    provider: z.ZodEffects<z.ZodString, string, string>;
+                    variants: z.ZodOptional<z.ZodRecord<z.ZodEffects<z.ZodString, string, string>, z.ZodEffects<z.ZodString, string, string>>>;
+                } & {
+                    kind: z.ZodEnum<["supporting", "extension"]>;
+                }, "strict", z.ZodTypeAny, {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }, {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }>, "many">>;
+                composers: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    id: z.ZodEffects<z.ZodString, string, string>;
+                    provider: z.ZodEffects<z.ZodString, string, string>;
+                }, "strict", z.ZodTypeAny, {
+                    id: string;
+                    provider: string;
+                }, {
+                    id: string;
+                    provider: string;
+                }>, "many">>;
+            }, "strict", z.ZodTypeAny, {
+                primary: {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                };
+                additional?: {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }[] | undefined;
+                composers?: {
+                    id: string;
+                    provider: string;
+                }[] | undefined;
+            }, {
+                primary: {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                };
+                additional?: {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }[] | undefined;
+                composers?: {
+                    id: string;
+                    provider: string;
+                }[] | undefined;
+            }>;
+            providers: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                id: z.ZodEffects<z.ZodString, string, string>;
+                role: z.ZodEnum<["primary", "extension"]>;
+                skill: z.ZodEffects<z.ZodString, string, string>;
+                version: z.ZodString;
+                integrity: z.ZodString;
+                distribution: z.ZodEffects<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+                    kind: z.ZodLiteral<"cli-bundled">;
+                    locator: z.ZodString;
+                }, "strict", z.ZodTypeAny, {
+                    kind: "cli-bundled";
+                    locator: string;
+                }, {
+                    kind: "cli-bundled";
+                    locator: string;
+                }>, z.ZodObject<{
+                    kind: z.ZodLiteral<"bundled">;
+                    locator: z.ZodString;
+                }, "strict", z.ZodTypeAny, {
+                    kind: "bundled";
+                    locator: string;
+                }, {
+                    kind: "bundled";
+                    locator: string;
+                }>, z.ZodObject<{
+                    kind: z.ZodLiteral<"workspace">;
+                    locator: z.ZodString;
+                }, "strict", z.ZodTypeAny, {
+                    kind: "workspace";
+                    locator: string;
+                }, {
+                    kind: "workspace";
+                    locator: string;
+                }>, z.ZodObject<{
+                    kind: z.ZodLiteral<"package">;
+                    locator: z.ZodString;
+                }, "strict", z.ZodTypeAny, {
+                    kind: "package";
+                    locator: string;
+                }, {
+                    kind: "package";
+                    locator: string;
+                }>, z.ZodObject<{
+                    kind: z.ZodLiteral<"marketplace">;
+                    locator: z.ZodString;
+                }, "strict", z.ZodTypeAny, {
+                    kind: "marketplace";
+                    locator: string;
+                }, {
+                    kind: "marketplace";
+                    locator: string;
+                }>]>, {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                }, {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                }>;
+                config: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodType<import("./indexerRegistry.js").IndexerJson, z.ZodTypeDef, import("./indexerRegistry.js").IndexerJson>>>;
+            }, "strict", z.ZodTypeAny, {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }, {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }>, {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }, {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }>, "many">;
+            customization: z.ZodOptional<z.ZodObject<{
+                mode: z.ZodEnum<["extend", "replace"]>;
+            }, "strict", z.ZodTypeAny, {
+                mode: "replace" | "extend";
+            }, {
+                mode: "replace" | "extend";
+            }>>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            operations: ("main-index" | "material-answer")[];
+            requirement_bindings: {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }[];
+            read_scope: {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            };
+            profile: {
+                primary: {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                };
+                additional?: {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }[] | undefined;
+                composers?: {
+                    id: string;
+                    provider: string;
+                }[] | undefined;
+            };
+            providers: {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }[];
+            customization?: {
+                mode: "replace" | "extend";
+            } | undefined;
+        }, {
+            id: string;
+            operations: ("main-index" | "material-answer")[];
+            requirement_bindings: {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }[];
+            read_scope: {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            };
+            profile: {
+                primary: {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                };
+                additional?: {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }[] | undefined;
+                composers?: {
+                    id: string;
+                    provider: string;
+                }[] | undefined;
+            };
+            providers: {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }[];
+            customization?: {
+                mode: "replace" | "extend";
+            } | undefined;
+        }>, {
+            id: string;
+            operations: ("main-index" | "material-answer")[];
+            requirement_bindings: {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }[];
+            read_scope: {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            };
+            profile: {
+                primary: {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                };
+                additional?: {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }[] | undefined;
+                composers?: {
+                    id: string;
+                    provider: string;
+                }[] | undefined;
+            };
+            providers: {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }[];
+            customization?: {
+                mode: "replace" | "extend";
+            } | undefined;
+        }, {
+            id: string;
+            operations: ("main-index" | "material-answer")[];
+            requirement_bindings: {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }[];
+            read_scope: {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            };
+            profile: {
+                primary: {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                };
+                additional?: {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }[] | undefined;
+                composers?: {
+                    id: string;
+                    provider: string;
+                }[] | undefined;
+            };
+            providers: {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }[];
+            customization?: {
+                mode: "replace" | "extend";
+            } | undefined;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        protocol: "context.indexer.registry/v1";
+        requirements: {
+            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;
+        }[];
+        indexers: {
+            id: string;
+            operations: ("main-index" | "material-answer")[];
+            requirement_bindings: {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }[];
+            read_scope: {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            };
+            profile: {
+                primary: {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                };
+                additional?: {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }[] | undefined;
+                composers?: {
+                    id: string;
+                    provider: string;
+                }[] | undefined;
+            };
+            providers: {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }[];
+            customization?: {
+                mode: "replace" | "extend";
+            } | undefined;
+        }[];
+    }, {
+        protocol: "context.indexer.registry/v1";
+        requirements: {
+            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;
+        }[];
+        indexers: {
+            id: string;
+            operations: ("main-index" | "material-answer")[];
+            requirement_bindings: {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }[];
+            read_scope: {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            };
+            profile: {
+                primary: {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                };
+                additional?: {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }[] | undefined;
+                composers?: {
+                    id: string;
+                    provider: string;
+                }[] | undefined;
+            };
+            providers: {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }[];
+            customization?: {
+                mode: "replace" | "extend";
+            } | undefined;
+        }[];
+    }>, {
+        protocol: "context.indexer.registry/v1";
+        requirements: {
+            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;
+        }[];
+        indexers: {
+            id: string;
+            operations: ("main-index" | "material-answer")[];
+            requirement_bindings: {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }[];
+            read_scope: {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            };
+            profile: {
+                primary: {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                };
+                additional?: {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }[] | undefined;
+                composers?: {
+                    id: string;
+                    provider: string;
+                }[] | undefined;
+            };
+            providers: {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }[];
+            customization?: {
+                mode: "replace" | "extend";
+            } | undefined;
+        }[];
+    }, {
+        protocol: "context.indexer.registry/v1";
+        requirements: {
+            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;
+        }[];
+        indexers: {
+            id: string;
+            operations: ("main-index" | "material-answer")[];
+            requirement_bindings: {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }[];
+            read_scope: {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            };
+            profile: {
+                primary: {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                };
+                additional?: {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }[] | undefined;
+                composers?: {
+                    id: string;
+                    provider: string;
+                }[] | undefined;
+            };
+            providers: {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }[];
+            customization?: {
+                mode: "replace" | "extend";
+            } | undefined;
+        }[];
+    }>;
+    target_registry_digest: z.ZodString;
+    overlay_digest: z.ZodString;
+    overlay_trust_receipt_digest: z.ZodString;
+    conformance_report_digest: z.ZodString;
+    added_target_domains: z.ZodArray<z.ZodObject<{
+        id: z.ZodEffects<z.ZodString, string, string>;
+        contract_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        contract_digest: string;
+    }, {
+        id: string;
+        contract_digest: string;
+    }>, "many">;
+    added_questions: z.ZodArray<z.ZodObject<{
+        binding: z.ZodObject<{
+            ref: z.ZodString;
+            authority: z.ZodObject<{
+                kind: z.ZodLiteral<"verified-contract-overlay">;
+                ref: z.ZodString;
+                digest: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                kind: "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            }, {
+                kind: "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            }>;
+            contract_version: z.ZodNumber;
+            contract_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            ref: string;
+            authority: {
+                kind: "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }, {
+            ref: string;
+            authority: {
+                kind: "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        }>;
+        contract: 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;
+        }>;
+        contract_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        contract: {
+            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;
+        };
+        contract_digest: string;
+        binding: {
+            ref: string;
+            authority: {
+                kind: "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        };
+    }, {
+        contract: {
+            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;
+        };
+        contract_digest: string;
+        binding: {
+            ref: string;
+            authority: {
+                kind: "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        };
+    }>, "many">;
+    comparison: z.ZodObject<{
+        protocol: z.ZodLiteral<"context.indexer.requirement-contraction-comparison/v1">;
+        requirementRef: z.ZodEffects<z.ZodString, string, string>;
+        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;
+    amendment_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.overlay-question-amendment/v1";
+    project_ref: string;
+    target_registry: {
+        protocol: "context.indexer.registry/v1";
+        requirements: {
+            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;
+        }[];
+        indexers: {
+            id: string;
+            operations: ("main-index" | "material-answer")[];
+            requirement_bindings: {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }[];
+            read_scope: {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            };
+            profile: {
+                primary: {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                };
+                additional?: {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }[] | undefined;
+                composers?: {
+                    id: string;
+                    provider: string;
+                }[] | undefined;
+            };
+            providers: {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }[];
+            customization?: {
+                mode: "replace" | "extend";
+            } | undefined;
+        }[];
+    };
+    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;
+    target_requirement_digest: string;
+    base_requirement_digest: string;
+    base_requirement_set_digest: string;
+    target_requirement_set_digest: string;
+    overlay_digest: string;
+    conformance_report_digest: string;
+    requirement_id: string;
+    target_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;
+    };
+    target_registry_digest: string;
+    overlay_trust_receipt_digest: string;
+    added_target_domains: {
+        id: string;
+        contract_digest: string;
+    }[];
+    added_questions: {
+        contract: {
+            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;
+        };
+        contract_digest: string;
+        binding: {
+            ref: string;
+            authority: {
+                kind: "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        };
+    }[];
+    amendment_digest: string;
+}, {
+    protocol: "context.indexer.overlay-question-amendment/v1";
+    project_ref: string;
+    target_registry: {
+        protocol: "context.indexer.registry/v1";
+        requirements: {
+            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;
+        }[];
+        indexers: {
+            id: string;
+            operations: ("main-index" | "material-answer")[];
+            requirement_bindings: {
+                coverage_domains: string[];
+                requirement_ref: string;
+                owned_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                } | {
+                    ref: string;
+                };
+                role: "primary" | "enricher";
+            }[];
+            read_scope: {
+                refs: string[];
+                extra_targets?: {
+                    source_ref: string;
+                    module_refs: string[];
+                }[] | undefined;
+            };
+            profile: {
+                primary: {
+                    id: string;
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                };
+                additional?: {
+                    id: string;
+                    kind: "supporting" | "extension";
+                    provider: string;
+                    variants?: Record<string, string> | undefined;
+                }[] | undefined;
+                composers?: {
+                    id: string;
+                    provider: string;
+                }[] | undefined;
+            };
+            providers: {
+                id: string;
+                role: "primary" | "extension";
+                skill: string;
+                version: string;
+                integrity: string;
+                distribution: {
+                    kind: "cli-bundled";
+                    locator: string;
+                } | {
+                    kind: "bundled";
+                    locator: string;
+                } | {
+                    kind: "workspace";
+                    locator: string;
+                } | {
+                    kind: "package";
+                    locator: string;
+                } | {
+                    kind: "marketplace";
+                    locator: string;
+                };
+                config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
+            }[];
+            customization?: {
+                mode: "replace" | "extend";
+            } | undefined;
+        }[];
+    };
+    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;
+    target_requirement_digest: string;
+    base_requirement_digest: string;
+    base_requirement_set_digest: string;
+    target_requirement_set_digest: string;
+    overlay_digest: string;
+    conformance_report_digest: string;
+    requirement_id: string;
+    target_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;
+    };
+    target_registry_digest: string;
+    overlay_trust_receipt_digest: string;
+    added_target_domains: {
+        id: string;
+        contract_digest: string;
+    }[];
+    added_questions: {
+        contract: {
+            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;
+        };
+        contract_digest: string;
+        binding: {
+            ref: string;
+            authority: {
+                kind: "verified-contract-overlay";
+                ref: string;
+                digest: string;
+            };
+            contract_version: number;
+            contract_digest: string;
+        };
+    }[];
+    amendment_digest: string;
+}>;
+export type IndexerOverlayQuestionAmendment = z.infer<typeof indexerOverlayQuestionAmendmentSchema>;
+export interface IndexerOverlayQuestionAuthorityProof {
+    project_ref: string;
+    requirement_id: string;
+    provider_integrity: string;
+    overlay_validation: ReturnType<typeof validateIndexerContractOverlay>;
+    trust_receipt: IndexerOverlayTrustReceipt;
+}
+export declare function resolveIndexerOverlayQuestionBindingAuthority(input: {
+    registry: IndexerRegistry;
+    binding: unknown;
+    base_contract: IndexerProfileContract;
+    operator_contract: IndexerOperatorContract;
+    proof: IndexerOverlayQuestionAuthorityProof;
+}): IndexerResolvedMaterialQuestion;
+export declare function buildIndexerOverlayQuestionAmendment(input: {
+    project_ref: string;
+    registry: IndexerRegistry;
+    requirement_id: string;
+    overlay_validation: ReturnType<typeof validateIndexerContractOverlay>;
+    base_contract: IndexerProfileContract;
+    operator_contract: IndexerOperatorContract;
+    provider_integrity: string;
+    trust_receipt: unknown;
+}): IndexerOverlayQuestionAmendment;
+export declare function validateIndexerOverlayQuestionAmendment(value: unknown): IndexerOverlayQuestionAmendment;
+export declare const indexerRequirementAmendmentConfirmationSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.requirement-amendment-confirmation/v1">;
+    project_ref: z.ZodString;
+    amendment_digest: z.ZodString;
+    base_requirement_set_digest: z.ZodString;
+    target_requirement_set_digest: z.ZodString;
+    comparison_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-amendment-confirmation/v1";
+    authority: "managed" | "human";
+    project_ref: string;
+    confirmed_by: string;
+    confirmed_at: string;
+    comparison_digest: string;
+    non_delegable: boolean;
+    confirmation_digest: string;
+    base_requirement_set_digest: string;
+    target_requirement_set_digest: string;
+    amendment_digest: string;
+}, {
+    protocol: "context.indexer.requirement-amendment-confirmation/v1";
+    authority: "managed" | "human";
+    project_ref: string;
+    confirmed_by: string;
+    confirmed_at: string;
+    comparison_digest: string;
+    non_delegable: boolean;
+    confirmation_digest: string;
+    base_requirement_set_digest: string;
+    target_requirement_set_digest: string;
+    amendment_digest: string;
+}>;
+export type IndexerRequirementAmendmentConfirmation = z.infer<typeof indexerRequirementAmendmentConfirmationSchema>;
+export declare function indexerRequirementAmendmentConfirmationDigest(value: Omit<IndexerRequirementAmendmentConfirmation, "confirmation_digest">): string;
+export declare function confirmIndexerRequirementAmendment(input: {
+    amendment: unknown;
+    authority: "managed" | "human";
+    confirmed_by: string;
+    confirmed_at: string;
+}): IndexerRequirementAmendmentConfirmation;
+export declare function validateIndexerRequirementAmendmentConfirmation(input: {
+    amendment: unknown;
+    confirmation: unknown;
+}): IndexerRequirementAmendmentConfirmation;
+export declare function indexerRequirementSetDigest(registry: IndexerRegistry): string;
+export type { RequirementContractionComparison };