@c4a/context 0.6.18 → 0.7.0

package/indexerRequirementLifecycle.d.ts

@@ -0,0 +1,3314 @@
+import { z } from "zod";
+import type { RequirementContractionComparatorOptions } from "./indexerRequirementComparison.js";
+import { type IndexRequirement, type IndexRequirementSet } from "./indexerRegistry.js";
+declare const requirementSummarySchema: z.ZodObject<{
+    scenario: z.ZodString;
+    reader_goals: z.ZodArray<z.ZodString, "many">;
+    capabilities: z.ZodArray<z.ZodObject<{
+        coverage_domain: z.ZodString;
+        obligation: z.ZodEnum<["required", "optional", "out-of-scope"]>;
+    }, "strict", z.ZodTypeAny, {
+        coverage_domain: string;
+        obligation: "required" | "optional" | "out-of-scope";
+    }, {
+        coverage_domain: string;
+        obligation: "required" | "optional" | "out-of-scope";
+    }>, "many">;
+    evidence_kinds: z.ZodArray<z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>, "many">;
+    target_source_refs: z.ZodArray<z.ZodString, "many">;
+    evidence_source_refs: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    reader_goals: string[];
+    capabilities: {
+        coverage_domain: string;
+        obligation: "required" | "optional" | "out-of-scope";
+    }[];
+    evidence_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+    scenario: string;
+    target_source_refs: string[];
+    evidence_source_refs: string[];
+}, {
+    reader_goals: string[];
+    capabilities: {
+        coverage_domain: string;
+        obligation: "required" | "optional" | "out-of-scope";
+    }[];
+    evidence_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+    scenario: string;
+    target_source_refs: string[];
+    evidence_source_refs: string[];
+}>;
+export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.requirement-inspection-input/v1">;
+    project_ref: z.ZodString;
+    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">;
+    question_contracts: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        ref: z.ZodString;
+        contractDigest: z.ZodString;
+        semanticId: z.ZodString;
+        coverageDomain: z.ZodString;
+        targetDomainId: z.ZodString;
+        selectorContractDigest: z.ZodString;
+        targetRefs: z.ZodArray<z.ZodString, "many">;
+        evidence: z.ZodObject<{
+            acceptedKinds: z.ZodArray<z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>, "many">;
+            minimumItems: z.ZodNumber;
+            minimumDistinctSources: z.ZodNumber;
+            provenanceRequired: z.ZodBoolean;
+        }, "strict", z.ZodTypeAny, {
+            minimumItems: number;
+            minimumDistinctSources: number;
+            acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+            provenanceRequired: boolean;
+        }, {
+            minimumItems: number;
+            minimumDistinctSources: number;
+            acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+            provenanceRequired: boolean;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        ref: string;
+        evidence: {
+            minimumItems: number;
+            minimumDistinctSources: number;
+            acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+            provenanceRequired: boolean;
+        };
+        coverageDomain: string;
+        semanticId: string;
+        targetDomainId: string;
+        selectorContractDigest: string;
+        contractDigest: string;
+        targetRefs: string[];
+    }, {
+        ref: string;
+        evidence: {
+            minimumItems: number;
+            minimumDistinctSources: number;
+            acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+            provenanceRequired: boolean;
+        };
+        coverageDomain: string;
+        semanticId: string;
+        targetDomainId: string;
+        selectorContractDigest: string;
+        contractDigest: string;
+        targetRefs: string[];
+    }>, "many">>;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.requirement-inspection-input/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;
+    }[];
+    project_ref: string;
+    question_contracts?: {
+        ref: string;
+        evidence: {
+            minimumItems: number;
+            minimumDistinctSources: number;
+            acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+            provenanceRequired: boolean;
+        };
+        coverageDomain: string;
+        semanticId: string;
+        targetDomainId: string;
+        selectorContractDigest: string;
+        contractDigest: string;
+        targetRefs: string[];
+    }[] | undefined;
+}, {
+    protocol: "context.indexer.requirement-inspection-input/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;
+    }[];
+    project_ref: string;
+    question_contracts?: {
+        ref: string;
+        evidence: {
+            minimumItems: number;
+            minimumDistinctSources: number;
+            acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+            provenanceRequired: boolean;
+        };
+        coverageDomain: string;
+        semanticId: string;
+        targetDomainId: string;
+        selectorContractDigest: string;
+        contractDigest: string;
+        targetRefs: string[];
+    }[] | undefined;
+}>;
+export declare const indexerRequirementInspectionSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.requirement-inspection/v1">;
+    project_ref: z.ZodString;
+    requirement_set: z.ZodEffects<z.ZodObject<{
+        protocol: z.ZodLiteral<"context.indexer.requirement-set/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">;
+    }, "strict", z.ZodTypeAny, {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    }, {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    }>, {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    }, {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    }>;
+    requirement_set_digest: z.ZodString;
+    source_boundary_digest: z.ZodString;
+    question_contracts: z.ZodArray<z.ZodObject<{
+        ref: z.ZodString;
+        contractDigest: z.ZodString;
+        semanticId: z.ZodString;
+        coverageDomain: z.ZodString;
+        targetDomainId: z.ZodString;
+        selectorContractDigest: z.ZodString;
+        targetRefs: z.ZodArray<z.ZodString, "many">;
+        evidence: z.ZodObject<{
+            acceptedKinds: z.ZodArray<z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>, "many">;
+            minimumItems: z.ZodNumber;
+            minimumDistinctSources: z.ZodNumber;
+            provenanceRequired: z.ZodBoolean;
+        }, "strict", z.ZodTypeAny, {
+            minimumItems: number;
+            minimumDistinctSources: number;
+            acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+            provenanceRequired: boolean;
+        }, {
+            minimumItems: number;
+            minimumDistinctSources: number;
+            acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+            provenanceRequired: boolean;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        ref: string;
+        evidence: {
+            minimumItems: number;
+            minimumDistinctSources: number;
+            acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+            provenanceRequired: boolean;
+        };
+        coverageDomain: string;
+        semanticId: string;
+        targetDomainId: string;
+        selectorContractDigest: string;
+        contractDigest: string;
+        targetRefs: string[];
+    }, {
+        ref: string;
+        evidence: {
+            minimumItems: number;
+            minimumDistinctSources: number;
+            acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+            provenanceRequired: boolean;
+        };
+        coverageDomain: string;
+        semanticId: string;
+        targetDomainId: string;
+        selectorContractDigest: string;
+        contractDigest: string;
+        targetRefs: string[];
+    }>, "many">;
+    summary: z.ZodArray<z.ZodObject<{
+        scenario: z.ZodString;
+        reader_goals: z.ZodArray<z.ZodString, "many">;
+        capabilities: z.ZodArray<z.ZodObject<{
+            coverage_domain: z.ZodString;
+            obligation: z.ZodEnum<["required", "optional", "out-of-scope"]>;
+        }, "strict", z.ZodTypeAny, {
+            coverage_domain: string;
+            obligation: "required" | "optional" | "out-of-scope";
+        }, {
+            coverage_domain: string;
+            obligation: "required" | "optional" | "out-of-scope";
+        }>, "many">;
+        evidence_kinds: z.ZodArray<z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>, "many">;
+        target_source_refs: z.ZodArray<z.ZodString, "many">;
+        evidence_source_refs: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        reader_goals: string[];
+        capabilities: {
+            coverage_domain: string;
+            obligation: "required" | "optional" | "out-of-scope";
+        }[];
+        evidence_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+        scenario: string;
+        target_source_refs: string[];
+        evidence_source_refs: string[];
+    }, {
+        reader_goals: string[];
+        capabilities: {
+            coverage_domain: string;
+            obligation: "required" | "optional" | "out-of-scope";
+        }[];
+        evidence_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+        scenario: string;
+        target_source_refs: string[];
+        evidence_source_refs: string[];
+    }>, "many">;
+    inspection_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.requirement-inspection/v1";
+    project_ref: string;
+    requirement_set_digest: string;
+    question_contracts: {
+        ref: string;
+        evidence: {
+            minimumItems: number;
+            minimumDistinctSources: number;
+            acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+            provenanceRequired: boolean;
+        };
+        coverageDomain: string;
+        semanticId: string;
+        targetDomainId: string;
+        selectorContractDigest: string;
+        contractDigest: string;
+        targetRefs: string[];
+    }[];
+    requirement_set: {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    };
+    source_boundary_digest: string;
+    summary: {
+        reader_goals: string[];
+        capabilities: {
+            coverage_domain: string;
+            obligation: "required" | "optional" | "out-of-scope";
+        }[];
+        evidence_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+        scenario: string;
+        target_source_refs: string[];
+        evidence_source_refs: string[];
+    }[];
+    inspection_digest: string;
+}, {
+    protocol: "context.indexer.requirement-inspection/v1";
+    project_ref: string;
+    requirement_set_digest: string;
+    question_contracts: {
+        ref: string;
+        evidence: {
+            minimumItems: number;
+            minimumDistinctSources: number;
+            acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+            provenanceRequired: boolean;
+        };
+        coverageDomain: string;
+        semanticId: string;
+        targetDomainId: string;
+        selectorContractDigest: string;
+        contractDigest: string;
+        targetRefs: string[];
+    }[];
+    requirement_set: {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    };
+    source_boundary_digest: string;
+    summary: {
+        reader_goals: string[];
+        capabilities: {
+            coverage_domain: string;
+            obligation: "required" | "optional" | "out-of-scope";
+        }[];
+        evidence_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+        scenario: string;
+        target_source_refs: string[];
+        evidence_source_refs: string[];
+    }[];
+    inspection_digest: string;
+}>;
+export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.requirement-workset-report/v1">;
+    project_ref: z.ZodString;
+    base_requirement_set: z.ZodNullable<z.ZodEffects<z.ZodObject<{
+        protocol: z.ZodLiteral<"context.indexer.requirement-set/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">;
+    }, "strict", z.ZodTypeAny, {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    }, {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    }>, {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    }, {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    }>>;
+    target_requirement_set: z.ZodEffects<z.ZodObject<{
+        protocol: z.ZodLiteral<"context.indexer.requirement-set/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">;
+    }, "strict", z.ZodTypeAny, {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    }, {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    }>, {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    }, {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    }>;
+    base_requirement_set_digest: z.ZodNullable<z.ZodString>;
+    target_requirement_set_digest: z.ZodString;
+    source_boundary_digest: z.ZodString;
+    relation: z.ZodEnum<["equivalent", "strengthening", "contraction", "incomparable"]>;
+    requires_human_confirmation: z.ZodBoolean;
+    changes: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"added">;
+        requirement_ref: z.ZodString;
+        relation: z.ZodLiteral<"strengthening">;
+        target_requirement_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "added";
+        requirement_ref: string;
+        relation: "strengthening";
+        target_requirement_digest: string;
+    }, {
+        kind: "added";
+        requirement_ref: string;
+        relation: "strengthening";
+        target_requirement_digest: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"removed">;
+        requirement_ref: z.ZodString;
+        relation: z.ZodLiteral<"contraction">;
+        base_requirement_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "removed";
+        requirement_ref: string;
+        relation: "contraction";
+        base_requirement_digest: string;
+    }, {
+        kind: "removed";
+        requirement_ref: string;
+        relation: "contraction";
+        base_requirement_digest: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"changed">;
+        requirement_ref: z.ZodString;
+        relation: z.ZodEnum<["equivalent", "strengthening", "contraction", "incomparable"]>;
+        report: z.ZodType<{
+            protocol: "context.indexer.requirement-change-report/v1";
+            project_ref: string;
+            report_digest: string;
+            old_requirement: {
+                id: string;
+                reader_goals: string[];
+                coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+                target_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                evidence_source_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                questions?: {
+                    ref: string;
+                    authority: {
+                        kind: "cli-base-contract" | "verified-contract-overlay";
+                        ref: string;
+                        digest: string;
+                    };
+                    contract_version: number;
+                    contract_digest: string;
+                }[] | undefined;
+                exclusions?: {
+                    id: string;
+                    scope: {
+                        targets: {
+                            source_ref: string;
+                            module_refs: string[];
+                        }[];
+                    };
+                    reason: string;
+                }[] | undefined;
+            };
+            new_requirement: {
+                id: string;
+                reader_goals: string[];
+                coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+                target_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                evidence_source_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                questions?: {
+                    ref: string;
+                    authority: {
+                        kind: "cli-base-contract" | "verified-contract-overlay";
+                        ref: string;
+                        digest: string;
+                    };
+                    contract_version: number;
+                    contract_digest: string;
+                }[] | undefined;
+                exclusions?: {
+                    id: string;
+                    scope: {
+                        targets: {
+                            source_ref: string;
+                            module_refs: string[];
+                        }[];
+                    };
+                    reason: string;
+                }[] | undefined;
+            };
+            old_requirement_digest: string;
+            new_requirement_digest: string;
+            comparator_inputs: {
+                readerGoalImplications: Record<string, string[]>;
+                oldQuestionContracts: {
+                    ref: string;
+                    evidence: {
+                        minimumItems: number;
+                        minimumDistinctSources: number;
+                        acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                        provenanceRequired: boolean;
+                    };
+                    coverageDomain: string;
+                    semanticId: string;
+                    targetDomainId: string;
+                    selectorContractDigest: string;
+                    contractDigest: string;
+                    targetRefs: string[];
+                }[];
+                newQuestionContracts: {
+                    ref: string;
+                    evidence: {
+                        minimumItems: number;
+                        minimumDistinctSources: number;
+                        acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                        provenanceRequired: boolean;
+                    };
+                    coverageDomain: string;
+                    semanticId: string;
+                    targetDomainId: string;
+                    selectorContractDigest: string;
+                    contractDigest: string;
+                    targetRefs: string[];
+                }[];
+                selectorRelations: Record<string, "equivalent" | "strengthening" | "contraction" | "incomparable">;
+            };
+            comparison: {
+                protocol: "context.indexer.requirement-contraction-comparison/v1";
+                requirementRef: string;
+                evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
+                relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+                requiresHumanConfirmation: boolean;
+                changes: {
+                    path: string;
+                    area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
+                    relation: "strengthening" | "contraction" | "incomparable";
+                    detail: string;
+                }[];
+            };
+            comparison_digest: string;
+        }, z.ZodTypeDef, {
+            protocol: "context.indexer.requirement-change-report/v1";
+            project_ref: string;
+            report_digest: string;
+            old_requirement: {
+                id: string;
+                reader_goals: string[];
+                coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+                target_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                evidence_source_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                questions?: {
+                    ref: string;
+                    authority: {
+                        kind: "cli-base-contract" | "verified-contract-overlay";
+                        ref: string;
+                        digest: string;
+                    };
+                    contract_version: number;
+                    contract_digest: string;
+                }[] | undefined;
+                exclusions?: {
+                    id: string;
+                    scope: {
+                        targets: {
+                            source_ref: string;
+                            module_refs: string[];
+                        }[];
+                    };
+                    reason: string;
+                }[] | undefined;
+            };
+            new_requirement: {
+                id: string;
+                reader_goals: string[];
+                coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+                target_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                evidence_source_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                questions?: {
+                    ref: string;
+                    authority: {
+                        kind: "cli-base-contract" | "verified-contract-overlay";
+                        ref: string;
+                        digest: string;
+                    };
+                    contract_version: number;
+                    contract_digest: string;
+                }[] | undefined;
+                exclusions?: {
+                    id: string;
+                    scope: {
+                        targets: {
+                            source_ref: string;
+                            module_refs: string[];
+                        }[];
+                    };
+                    reason: string;
+                }[] | undefined;
+            };
+            old_requirement_digest: string;
+            new_requirement_digest: string;
+            comparator_inputs: {
+                readerGoalImplications: Record<string, string[]>;
+                oldQuestionContracts: {
+                    ref: string;
+                    evidence: {
+                        minimumItems: number;
+                        minimumDistinctSources: number;
+                        acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                        provenanceRequired: boolean;
+                    };
+                    coverageDomain: string;
+                    semanticId: string;
+                    targetDomainId: string;
+                    selectorContractDigest: string;
+                    contractDigest: string;
+                    targetRefs: string[];
+                }[];
+                newQuestionContracts: {
+                    ref: string;
+                    evidence: {
+                        minimumItems: number;
+                        minimumDistinctSources: number;
+                        acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                        provenanceRequired: boolean;
+                    };
+                    coverageDomain: string;
+                    semanticId: string;
+                    targetDomainId: string;
+                    selectorContractDigest: string;
+                    contractDigest: string;
+                    targetRefs: string[];
+                }[];
+                selectorRelations: Record<string, "equivalent" | "strengthening" | "contraction" | "incomparable">;
+            };
+            comparison: {
+                protocol: "context.indexer.requirement-contraction-comparison/v1";
+                requirementRef: string;
+                evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
+                relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+                requiresHumanConfirmation: boolean;
+                changes: {
+                    path: string;
+                    area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
+                    relation: "strengthening" | "contraction" | "incomparable";
+                    detail: string;
+                }[];
+            };
+            comparison_digest: string;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        kind: "changed";
+        requirement_ref: string;
+        relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+        report: {
+            protocol: "context.indexer.requirement-change-report/v1";
+            project_ref: string;
+            report_digest: string;
+            old_requirement: {
+                id: string;
+                reader_goals: string[];
+                coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+                target_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                evidence_source_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                questions?: {
+                    ref: string;
+                    authority: {
+                        kind: "cli-base-contract" | "verified-contract-overlay";
+                        ref: string;
+                        digest: string;
+                    };
+                    contract_version: number;
+                    contract_digest: string;
+                }[] | undefined;
+                exclusions?: {
+                    id: string;
+                    scope: {
+                        targets: {
+                            source_ref: string;
+                            module_refs: string[];
+                        }[];
+                    };
+                    reason: string;
+                }[] | undefined;
+            };
+            new_requirement: {
+                id: string;
+                reader_goals: string[];
+                coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+                target_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                evidence_source_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                questions?: {
+                    ref: string;
+                    authority: {
+                        kind: "cli-base-contract" | "verified-contract-overlay";
+                        ref: string;
+                        digest: string;
+                    };
+                    contract_version: number;
+                    contract_digest: string;
+                }[] | undefined;
+                exclusions?: {
+                    id: string;
+                    scope: {
+                        targets: {
+                            source_ref: string;
+                            module_refs: string[];
+                        }[];
+                    };
+                    reason: string;
+                }[] | undefined;
+            };
+            old_requirement_digest: string;
+            new_requirement_digest: string;
+            comparator_inputs: {
+                readerGoalImplications: Record<string, string[]>;
+                oldQuestionContracts: {
+                    ref: string;
+                    evidence: {
+                        minimumItems: number;
+                        minimumDistinctSources: number;
+                        acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                        provenanceRequired: boolean;
+                    };
+                    coverageDomain: string;
+                    semanticId: string;
+                    targetDomainId: string;
+                    selectorContractDigest: string;
+                    contractDigest: string;
+                    targetRefs: string[];
+                }[];
+                newQuestionContracts: {
+                    ref: string;
+                    evidence: {
+                        minimumItems: number;
+                        minimumDistinctSources: number;
+                        acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                        provenanceRequired: boolean;
+                    };
+                    coverageDomain: string;
+                    semanticId: string;
+                    targetDomainId: string;
+                    selectorContractDigest: string;
+                    contractDigest: string;
+                    targetRefs: string[];
+                }[];
+                selectorRelations: Record<string, "equivalent" | "strengthening" | "contraction" | "incomparable">;
+            };
+            comparison: {
+                protocol: "context.indexer.requirement-contraction-comparison/v1";
+                requirementRef: string;
+                evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
+                relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+                requiresHumanConfirmation: boolean;
+                changes: {
+                    path: string;
+                    area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
+                    relation: "strengthening" | "contraction" | "incomparable";
+                    detail: string;
+                }[];
+            };
+            comparison_digest: string;
+        };
+    }, {
+        kind: "changed";
+        requirement_ref: string;
+        relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+        report: {
+            protocol: "context.indexer.requirement-change-report/v1";
+            project_ref: string;
+            report_digest: string;
+            old_requirement: {
+                id: string;
+                reader_goals: string[];
+                coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+                target_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                evidence_source_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                questions?: {
+                    ref: string;
+                    authority: {
+                        kind: "cli-base-contract" | "verified-contract-overlay";
+                        ref: string;
+                        digest: string;
+                    };
+                    contract_version: number;
+                    contract_digest: string;
+                }[] | undefined;
+                exclusions?: {
+                    id: string;
+                    scope: {
+                        targets: {
+                            source_ref: string;
+                            module_refs: string[];
+                        }[];
+                    };
+                    reason: string;
+                }[] | undefined;
+            };
+            new_requirement: {
+                id: string;
+                reader_goals: string[];
+                coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+                target_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                evidence_source_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                questions?: {
+                    ref: string;
+                    authority: {
+                        kind: "cli-base-contract" | "verified-contract-overlay";
+                        ref: string;
+                        digest: string;
+                    };
+                    contract_version: number;
+                    contract_digest: string;
+                }[] | undefined;
+                exclusions?: {
+                    id: string;
+                    scope: {
+                        targets: {
+                            source_ref: string;
+                            module_refs: string[];
+                        }[];
+                    };
+                    reason: string;
+                }[] | undefined;
+            };
+            old_requirement_digest: string;
+            new_requirement_digest: string;
+            comparator_inputs: {
+                readerGoalImplications: Record<string, string[]>;
+                oldQuestionContracts: {
+                    ref: string;
+                    evidence: {
+                        minimumItems: number;
+                        minimumDistinctSources: number;
+                        acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                        provenanceRequired: boolean;
+                    };
+                    coverageDomain: string;
+                    semanticId: string;
+                    targetDomainId: string;
+                    selectorContractDigest: string;
+                    contractDigest: string;
+                    targetRefs: string[];
+                }[];
+                newQuestionContracts: {
+                    ref: string;
+                    evidence: {
+                        minimumItems: number;
+                        minimumDistinctSources: number;
+                        acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                        provenanceRequired: boolean;
+                    };
+                    coverageDomain: string;
+                    semanticId: string;
+                    targetDomainId: string;
+                    selectorContractDigest: string;
+                    contractDigest: string;
+                    targetRefs: string[];
+                }[];
+                selectorRelations: Record<string, "equivalent" | "strengthening" | "contraction" | "incomparable">;
+            };
+            comparison: {
+                protocol: "context.indexer.requirement-contraction-comparison/v1";
+                requirementRef: string;
+                evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
+                relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+                requiresHumanConfirmation: boolean;
+                changes: {
+                    path: string;
+                    area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
+                    relation: "strengthening" | "contraction" | "incomparable";
+                    detail: string;
+                }[];
+            };
+            comparison_digest: string;
+        };
+    }>]>, "many">;
+    workset_digest: z.ZodString;
+    report_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.requirement-workset-report/v1";
+    workset_digest: string;
+    project_ref: string;
+    report_digest: string;
+    requires_human_confirmation: boolean;
+    relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+    changes: ({
+        kind: "added";
+        requirement_ref: string;
+        relation: "strengthening";
+        target_requirement_digest: string;
+    } | {
+        kind: "removed";
+        requirement_ref: string;
+        relation: "contraction";
+        base_requirement_digest: string;
+    } | {
+        kind: "changed";
+        requirement_ref: string;
+        relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+        report: {
+            protocol: "context.indexer.requirement-change-report/v1";
+            project_ref: string;
+            report_digest: string;
+            old_requirement: {
+                id: string;
+                reader_goals: string[];
+                coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+                target_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                evidence_source_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                questions?: {
+                    ref: string;
+                    authority: {
+                        kind: "cli-base-contract" | "verified-contract-overlay";
+                        ref: string;
+                        digest: string;
+                    };
+                    contract_version: number;
+                    contract_digest: string;
+                }[] | undefined;
+                exclusions?: {
+                    id: string;
+                    scope: {
+                        targets: {
+                            source_ref: string;
+                            module_refs: string[];
+                        }[];
+                    };
+                    reason: string;
+                }[] | undefined;
+            };
+            new_requirement: {
+                id: string;
+                reader_goals: string[];
+                coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+                target_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                evidence_source_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                questions?: {
+                    ref: string;
+                    authority: {
+                        kind: "cli-base-contract" | "verified-contract-overlay";
+                        ref: string;
+                        digest: string;
+                    };
+                    contract_version: number;
+                    contract_digest: string;
+                }[] | undefined;
+                exclusions?: {
+                    id: string;
+                    scope: {
+                        targets: {
+                            source_ref: string;
+                            module_refs: string[];
+                        }[];
+                    };
+                    reason: string;
+                }[] | undefined;
+            };
+            old_requirement_digest: string;
+            new_requirement_digest: string;
+            comparator_inputs: {
+                readerGoalImplications: Record<string, string[]>;
+                oldQuestionContracts: {
+                    ref: string;
+                    evidence: {
+                        minimumItems: number;
+                        minimumDistinctSources: number;
+                        acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                        provenanceRequired: boolean;
+                    };
+                    coverageDomain: string;
+                    semanticId: string;
+                    targetDomainId: string;
+                    selectorContractDigest: string;
+                    contractDigest: string;
+                    targetRefs: string[];
+                }[];
+                newQuestionContracts: {
+                    ref: string;
+                    evidence: {
+                        minimumItems: number;
+                        minimumDistinctSources: number;
+                        acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                        provenanceRequired: boolean;
+                    };
+                    coverageDomain: string;
+                    semanticId: string;
+                    targetDomainId: string;
+                    selectorContractDigest: string;
+                    contractDigest: string;
+                    targetRefs: string[];
+                }[];
+                selectorRelations: Record<string, "equivalent" | "strengthening" | "contraction" | "incomparable">;
+            };
+            comparison: {
+                protocol: "context.indexer.requirement-contraction-comparison/v1";
+                requirementRef: string;
+                evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
+                relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+                requiresHumanConfirmation: boolean;
+                changes: {
+                    path: string;
+                    area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
+                    relation: "strengthening" | "contraction" | "incomparable";
+                    detail: string;
+                }[];
+            };
+            comparison_digest: string;
+        };
+    })[];
+    source_boundary_digest: string;
+    base_requirement_set: {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    } | null;
+    target_requirement_set: {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    };
+    base_requirement_set_digest: string | null;
+    target_requirement_set_digest: string;
+}, {
+    protocol: "context.indexer.requirement-workset-report/v1";
+    workset_digest: string;
+    project_ref: string;
+    report_digest: string;
+    requires_human_confirmation: boolean;
+    relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+    changes: ({
+        kind: "added";
+        requirement_ref: string;
+        relation: "strengthening";
+        target_requirement_digest: string;
+    } | {
+        kind: "removed";
+        requirement_ref: string;
+        relation: "contraction";
+        base_requirement_digest: string;
+    } | {
+        kind: "changed";
+        requirement_ref: string;
+        relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+        report: {
+            protocol: "context.indexer.requirement-change-report/v1";
+            project_ref: string;
+            report_digest: string;
+            old_requirement: {
+                id: string;
+                reader_goals: string[];
+                coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+                target_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                evidence_source_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                questions?: {
+                    ref: string;
+                    authority: {
+                        kind: "cli-base-contract" | "verified-contract-overlay";
+                        ref: string;
+                        digest: string;
+                    };
+                    contract_version: number;
+                    contract_digest: string;
+                }[] | undefined;
+                exclusions?: {
+                    id: string;
+                    scope: {
+                        targets: {
+                            source_ref: string;
+                            module_refs: string[];
+                        }[];
+                    };
+                    reason: string;
+                }[] | undefined;
+            };
+            new_requirement: {
+                id: string;
+                reader_goals: string[];
+                coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
+                target_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                evidence_source_scope: {
+                    targets: {
+                        source_ref: string;
+                        module_refs: string[];
+                    }[];
+                };
+                questions?: {
+                    ref: string;
+                    authority: {
+                        kind: "cli-base-contract" | "verified-contract-overlay";
+                        ref: string;
+                        digest: string;
+                    };
+                    contract_version: number;
+                    contract_digest: string;
+                }[] | undefined;
+                exclusions?: {
+                    id: string;
+                    scope: {
+                        targets: {
+                            source_ref: string;
+                            module_refs: string[];
+                        }[];
+                    };
+                    reason: string;
+                }[] | undefined;
+            };
+            old_requirement_digest: string;
+            new_requirement_digest: string;
+            comparator_inputs: {
+                readerGoalImplications: Record<string, string[]>;
+                oldQuestionContracts: {
+                    ref: string;
+                    evidence: {
+                        minimumItems: number;
+                        minimumDistinctSources: number;
+                        acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                        provenanceRequired: boolean;
+                    };
+                    coverageDomain: string;
+                    semanticId: string;
+                    targetDomainId: string;
+                    selectorContractDigest: string;
+                    contractDigest: string;
+                    targetRefs: string[];
+                }[];
+                newQuestionContracts: {
+                    ref: string;
+                    evidence: {
+                        minimumItems: number;
+                        minimumDistinctSources: number;
+                        acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+                        provenanceRequired: boolean;
+                    };
+                    coverageDomain: string;
+                    semanticId: string;
+                    targetDomainId: string;
+                    selectorContractDigest: string;
+                    contractDigest: string;
+                    targetRefs: string[];
+                }[];
+                selectorRelations: Record<string, "equivalent" | "strengthening" | "contraction" | "incomparable">;
+            };
+            comparison: {
+                protocol: "context.indexer.requirement-contraction-comparison/v1";
+                requirementRef: string;
+                evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
+                relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
+                requiresHumanConfirmation: boolean;
+                changes: {
+                    path: string;
+                    area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
+                    relation: "strengthening" | "contraction" | "incomparable";
+                    detail: string;
+                }[];
+            };
+            comparison_digest: string;
+        };
+    })[];
+    source_boundary_digest: string;
+    base_requirement_set: {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    } | null;
+    target_requirement_set: {
+        protocol: "context.indexer.requirement-set/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;
+        }[];
+    };
+    base_requirement_set_digest: string | null;
+    target_requirement_set_digest: string;
+}>;
+export declare const indexerRequirementWorksetConfirmationSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.requirement-workset-confirmation/v1">;
+    project_ref: z.ZodString;
+    gate: z.ZodEnum<["confirm-index-requirements", "confirm-index-requirement-contraction"]>;
+    workset_digest: z.ZodString;
+    report_digest: z.ZodString;
+    base_requirement_set_digest: z.ZodNullable<z.ZodString>;
+    target_requirement_set_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-workset-confirmation/v1";
+    authority: "managed" | "human";
+    workset_digest: string;
+    project_ref: string;
+    report_digest: string;
+    confirmed_by: string;
+    confirmed_at: string;
+    gate: "confirm-index-requirements" | "confirm-index-requirement-contraction";
+    non_delegable: boolean;
+    confirmation_digest: string;
+    base_requirement_set_digest: string | null;
+    target_requirement_set_digest: string;
+}, {
+    protocol: "context.indexer.requirement-workset-confirmation/v1";
+    authority: "managed" | "human";
+    workset_digest: string;
+    project_ref: string;
+    report_digest: string;
+    confirmed_by: string;
+    confirmed_at: string;
+    gate: "confirm-index-requirements" | "confirm-index-requirement-contraction";
+    non_delegable: boolean;
+    confirmation_digest: string;
+    base_requirement_set_digest: string | null;
+    target_requirement_set_digest: string;
+}>;
+export type IndexerRequirementInspectionInput = z.infer<typeof indexerRequirementInspectionInputSchema>;
+export type IndexerRequirementInspection = z.infer<typeof indexerRequirementInspectionSchema>;
+export type IndexerRequirementSummary = z.infer<typeof requirementSummarySchema>;
+export type IndexerRequirementWorksetReport = z.infer<typeof indexerRequirementWorksetReportSchema>;
+export type IndexerRequirementWorksetConfirmation = z.infer<typeof indexerRequirementWorksetConfirmationSchema>;
+export declare function normalizeIndexerRequirementSet(requirements: readonly IndexRequirement[]): IndexRequirementSet;
+export declare function buildIndexerRequirementInspection(input: {
+    value: unknown;
+    source_boundary_digest: string;
+}): IndexerRequirementInspection;
+export declare function validateIndexerRequirementInspection(value: unknown): IndexerRequirementInspection;
+export declare function buildIndexerRequirementWorksetReport(input: {
+    inspection: unknown;
+    base_requirement_set: IndexRequirementSet | null;
+    comparator_options?: Readonly<Record<string, RequirementContractionComparatorOptions>>;
+}): IndexerRequirementWorksetReport;
+export declare function validateIndexerRequirementWorksetReport(value: unknown): IndexerRequirementWorksetReport;
+export declare function confirmIndexerRequirementWorkset(input: {
+    report: unknown;
+    authority: "managed" | "human";
+    confirmed_by: string;
+    confirmed_at: string;
+}): IndexerRequirementWorksetConfirmation;
+export declare function validateIndexerRequirementWorksetConfirmation(input: {
+    report: unknown;
+    confirmation: unknown;
+}): IndexerRequirementWorksetConfirmation;
+export {};