@c4a/context 0.6.18 → 0.7.0

package/indexerRequirementComparison.d.ts

@@ -0,0 +1,44 @@
+import type { IndexerEvidenceKind } from "./indexerProtocolCommon.js";
+import type { IndexRequirement } from "./indexerRegistry.js";
+export type RequirementContractionRelation = "equivalent" | "strengthening" | "contraction" | "incomparable";
+export interface ResolvedQuestionContractView {
+    ref: string;
+    contractDigest: string;
+    semanticId: string;
+    coverageDomain: string;
+    targetDomainId: string;
+    selectorContractDigest: string;
+    targetRefs: readonly string[];
+    evidence: {
+        acceptedKinds: readonly IndexerEvidenceKind[];
+        minimumItems: number;
+        minimumDistinctSources: number;
+        provenanceRequired: boolean;
+    };
+}
+export interface RequirementComparisonChange {
+    area: "target-scope" | "reader-goals" | "coverage-domain" | "exclusions" | "question" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
+    path: string;
+    relation: Exclude<RequirementContractionRelation, "equivalent">;
+    detail: string;
+}
+export interface RequirementContractionComparison {
+    protocol: "context.indexer.requirement-contraction-comparison/v1";
+    requirementRef: string;
+    relation: RequirementContractionRelation;
+    requiresHumanConfirmation: boolean;
+    evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
+    changes: RequirementComparisonChange[];
+}
+export interface RequirementContractionComparatorOptions {
+    /** Canonical implication closure. Each key implies every listed reader goal. */
+    readerGoalImplications?: Readonly<Record<string, readonly string[]>>;
+    oldQuestionContracts?: readonly ResolvedQuestionContractView[];
+    newQuestionContracts?: readonly ResolvedQuestionContractView[];
+    /**
+     * Relation of a new selector contract to the previous selector contract.
+     * The caller must derive this from the CLI's registered selector DSL.
+     */
+    selectorRelations?: Readonly<Record<string, RequirementContractionRelation>>;
+}
+export declare function compareIndexRequirementContraction(oldRequirement: IndexRequirement, newRequirement: IndexRequirement, options?: RequirementContractionComparatorOptions): RequirementContractionComparison;