@c4a/context 0.6.18 → 0.7.0

package/indexerMaterialAnswer.d.ts

@@ -0,0 +1,738 @@
+import { z } from "zod";
+import { type IndexerEvidenceKind } from "./indexerProtocolCommon.js";
+export declare const INDEXER_EVIDENCE_PROVENANCE_FACT_PATHS: readonly ["content.digest", "evidence.kind", "locator.valid", "snapshot.current", "snapshot.digest", "source.origin_ref", "source.ref", "source.role", "tool.trust"];
+export declare const indexerSourceSpanRefSchema: z.ZodEffects<z.ZodObject<{
+    unit: z.ZodEnum<["byte", "line"]>;
+    start: z.ZodNumber;
+    end_exclusive: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    unit: "byte" | "line";
+    start: number;
+    end_exclusive: number;
+}, {
+    unit: "byte" | "line";
+    start: number;
+    end_exclusive: number;
+}>, {
+    unit: "byte" | "line";
+    start: number;
+    end_exclusive: number;
+}, {
+    unit: "byte" | "line";
+    start: number;
+    end_exclusive: number;
+}>;
+export type IndexerSourceSpanRef = z.infer<typeof indexerSourceSpanRefSchema>;
+export declare const indexerMaterialAnswerEvidenceClaimSchema: z.ZodObject<{
+    kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+    source_ref: z.ZodString;
+    source_spans: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        unit: z.ZodEnum<["byte", "line"]>;
+        start: z.ZodNumber;
+        end_exclusive: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        unit: "byte" | "line";
+        start: number;
+        end_exclusive: number;
+    }, {
+        unit: "byte" | "line";
+        start: number;
+        end_exclusive: number;
+    }>, {
+        unit: "byte" | "line";
+        start: number;
+        end_exclusive: number;
+    }, {
+        unit: "byte" | "line";
+        start: number;
+        end_exclusive: number;
+    }>, "many">;
+    evidence_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+    source_ref: string;
+    evidence_digest: string;
+    source_spans: {
+        unit: "byte" | "line";
+        start: number;
+        end_exclusive: number;
+    }[];
+}, {
+    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+    source_ref: string;
+    evidence_digest: string;
+    source_spans: {
+        unit: "byte" | "line";
+        start: number;
+        end_exclusive: number;
+    }[];
+}>;
+export type IndexerMaterialAnswerEvidenceClaim = z.infer<typeof indexerMaterialAnswerEvidenceClaimSchema>;
+declare const materialAnswerBindingSchema: z.ZodObject<{
+    workset_digest: z.ZodString;
+    question_key: z.ZodString;
+    question_revision_digest: z.ZodString;
+    evidence_claims: z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+        source_ref: z.ZodString;
+        source_spans: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            unit: z.ZodEnum<["byte", "line"]>;
+            start: z.ZodNumber;
+            end_exclusive: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }, {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }>, {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }, {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }>, "many">;
+        evidence_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_ref: string;
+        evidence_digest: string;
+        source_spans: {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }[];
+    }, {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_ref: string;
+        evidence_digest: string;
+        source_spans: {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }[];
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    workset_digest: string;
+    question_key: string;
+    question_revision_digest: string;
+    evidence_claims: {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_ref: string;
+        evidence_digest: string;
+        source_spans: {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }[];
+    }[];
+}, {
+    workset_digest: string;
+    question_key: string;
+    question_revision_digest: string;
+    evidence_claims: {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_ref: string;
+        evidence_digest: string;
+        source_spans: {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }[];
+    }[];
+}>;
+export declare const indexerMaterialAnswerResultSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.material-answer-result/v1">;
+    workset_digest: z.ZodString;
+    execution_request_digest: z.ZodString;
+    answer_indexer_id: z.ZodEffects<z.ZodString, string, string>;
+    answer_provider_composition_fingerprint: z.ZodString;
+    bindings: z.ZodArray<z.ZodObject<{
+        workset_digest: z.ZodString;
+        question_key: z.ZodString;
+        question_revision_digest: z.ZodString;
+        evidence_claims: z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+            source_ref: z.ZodString;
+            source_spans: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                unit: z.ZodEnum<["byte", "line"]>;
+                start: z.ZodNumber;
+                end_exclusive: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }, {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }>, {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }, {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }>, "many">;
+            evidence_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_ref: string;
+            evidence_digest: string;
+            source_spans: {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }[];
+        }, {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_ref: string;
+            evidence_digest: string;
+            source_spans: {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }[];
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        workset_digest: string;
+        question_key: string;
+        question_revision_digest: string;
+        evidence_claims: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_ref: string;
+            evidence_digest: string;
+            source_spans: {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }[];
+        }[];
+    }, {
+        workset_digest: string;
+        question_key: string;
+        question_revision_digest: string;
+        evidence_claims: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_ref: string;
+            evidence_digest: string;
+            source_spans: {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }[];
+        }[];
+    }>, "many">;
+    result_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.material-answer-result/v1";
+    workset_digest: string;
+    execution_request_digest: string;
+    result_digest: string;
+    answer_indexer_id: string;
+    answer_provider_composition_fingerprint: string;
+    bindings: {
+        workset_digest: string;
+        question_key: string;
+        question_revision_digest: string;
+        evidence_claims: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_ref: string;
+            evidence_digest: string;
+            source_spans: {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }[];
+        }[];
+    }[];
+}, {
+    protocol: "context.indexer.material-answer-result/v1";
+    workset_digest: string;
+    execution_request_digest: string;
+    result_digest: string;
+    answer_indexer_id: string;
+    answer_provider_composition_fingerprint: string;
+    bindings: {
+        workset_digest: string;
+        question_key: string;
+        question_revision_digest: string;
+        evidence_claims: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_ref: string;
+            evidence_digest: string;
+            source_spans: {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }[];
+        }[];
+    }[];
+}>;
+export type IndexerMaterialAnswerBinding = z.infer<typeof materialAnswerBindingSchema>;
+export type IndexerMaterialAnswerResult = z.infer<typeof indexerMaterialAnswerResultSchema>;
+export declare function indexerMaterialAnswerResultDigest(value: Omit<IndexerMaterialAnswerResult, "result_digest">): string;
+export declare const indexerCurrentEvidenceSourceSchema: z.ZodObject<{
+    source_ref: z.ZodString;
+    source_origin_ref: z.ZodString;
+    source_input_digest: z.ZodString;
+    source_role: z.ZodEffects<z.ZodString, string, string>;
+    evidence_kinds: z.ZodArray<z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>, "many">;
+    span_unit: z.ZodEnum<["byte", "line"]>;
+    span_extent: z.ZodNumber;
+    snapshot_current: z.ZodLiteral<true>;
+    locator_valid: z.ZodLiteral<true>;
+    tool_trust: z.ZodEffects<z.ZodString, string, string>;
+}, "strict", z.ZodTypeAny, {
+    source_ref: string;
+    source_input_digest: string;
+    source_role: string;
+    source_origin_ref: string;
+    evidence_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+    span_unit: "byte" | "line";
+    span_extent: number;
+    snapshot_current: true;
+    locator_valid: true;
+    tool_trust: string;
+}, {
+    source_ref: string;
+    source_input_digest: string;
+    source_role: string;
+    source_origin_ref: string;
+    evidence_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
+    span_unit: "byte" | "line";
+    span_extent: number;
+    snapshot_current: true;
+    locator_valid: true;
+    tool_trust: string;
+}>;
+export type IndexerCurrentEvidenceSource = z.infer<typeof indexerCurrentEvidenceSourceSchema>;
+export declare const indexerCanonicalMaterialAnswerEvidenceSchema: z.ZodObject<{
+    evidence_item_ref: z.ZodString;
+    kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+    source_ref: z.ZodString;
+    source_origin_ref: z.ZodString;
+    source_input_digest: z.ZodString;
+    source_spans: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        unit: z.ZodEnum<["byte", "line"]>;
+        start: z.ZodNumber;
+        end_exclusive: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        unit: "byte" | "line";
+        start: number;
+        end_exclusive: number;
+    }, {
+        unit: "byte" | "line";
+        start: number;
+        end_exclusive: number;
+    }>, {
+        unit: "byte" | "line";
+        start: number;
+        end_exclusive: number;
+    }, {
+        unit: "byte" | "line";
+        start: number;
+        end_exclusive: number;
+    }>, "many">;
+    evidence_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+    source_ref: string;
+    evidence_digest: string;
+    source_input_digest: string;
+    source_spans: {
+        unit: "byte" | "line";
+        start: number;
+        end_exclusive: number;
+    }[];
+    source_origin_ref: string;
+    evidence_item_ref: string;
+}, {
+    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+    source_ref: string;
+    evidence_digest: string;
+    source_input_digest: string;
+    source_spans: {
+        unit: "byte" | "line";
+        start: number;
+        end_exclusive: number;
+    }[];
+    source_origin_ref: string;
+    evidence_item_ref: string;
+}>;
+export type IndexerCanonicalMaterialAnswerEvidence = z.infer<typeof indexerCanonicalMaterialAnswerEvidenceSchema>;
+declare const materialAnswerCandidateSchema: z.ZodObject<{
+    state: z.ZodLiteral<"candidate">;
+    question_key: z.ZodString;
+    question_revision_digest: z.ZodString;
+    binding_digest: z.ZodString;
+    evidence_item_count: z.ZodNumber;
+    distinct_source_count: z.ZodNumber;
+    evidence: z.ZodArray<z.ZodObject<{
+        evidence_item_ref: z.ZodString;
+        kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+        source_ref: z.ZodString;
+        source_origin_ref: z.ZodString;
+        source_input_digest: z.ZodString;
+        source_spans: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            unit: z.ZodEnum<["byte", "line"]>;
+            start: z.ZodNumber;
+            end_exclusive: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }, {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }>, {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }, {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }>, "many">;
+        evidence_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_ref: string;
+        evidence_digest: string;
+        source_input_digest: string;
+        source_spans: {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }[];
+        source_origin_ref: string;
+        evidence_item_ref: string;
+    }, {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_ref: string;
+        evidence_digest: string;
+        source_input_digest: string;
+        source_spans: {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }[];
+        source_origin_ref: string;
+        evidence_item_ref: string;
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    state: "candidate";
+    binding_digest: string;
+    evidence: {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_ref: string;
+        evidence_digest: string;
+        source_input_digest: string;
+        source_spans: {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }[];
+        source_origin_ref: string;
+        evidence_item_ref: string;
+    }[];
+    question_key: string;
+    question_revision_digest: string;
+    evidence_item_count: number;
+    distinct_source_count: number;
+}, {
+    state: "candidate";
+    binding_digest: string;
+    evidence: {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_ref: string;
+        evidence_digest: string;
+        source_input_digest: string;
+        source_spans: {
+            unit: "byte" | "line";
+            start: number;
+            end_exclusive: number;
+        }[];
+        source_origin_ref: string;
+        evidence_item_ref: string;
+    }[];
+    question_key: string;
+    question_revision_digest: string;
+    evidence_item_count: number;
+    distinct_source_count: number;
+}>;
+declare const materialAnswerInsufficientSchema: z.ZodObject<{
+    state: z.ZodLiteral<"material-answer-evidence-insufficient">;
+    question_key: z.ZodString;
+    question_revision_digest: z.ZodString;
+    reason_codes: z.ZodArray<z.ZodEnum<["minimum-items-not-met", "minimum-distinct-sources-not-met", "provenance-constraint-not-met"]>, "many">;
+    accepted_evidence_item_count: z.ZodNumber;
+    distinct_source_count: z.ZodNumber;
+    rejected_evidence_item_refs: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    state: "material-answer-evidence-insufficient";
+    question_key: string;
+    question_revision_digest: string;
+    distinct_source_count: number;
+    reason_codes: ("minimum-items-not-met" | "minimum-distinct-sources-not-met" | "provenance-constraint-not-met")[];
+    accepted_evidence_item_count: number;
+    rejected_evidence_item_refs: string[];
+}, {
+    state: "material-answer-evidence-insufficient";
+    question_key: string;
+    question_revision_digest: string;
+    distinct_source_count: number;
+    reason_codes: ("minimum-items-not-met" | "minimum-distinct-sources-not-met" | "provenance-constraint-not-met")[];
+    accepted_evidence_item_count: number;
+    rejected_evidence_item_refs: string[];
+}>;
+export declare const indexerMaterialAnswerCandidateSetSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.material-answer-candidate-set/v1">;
+    candidate_set_digest: z.ZodString;
+    workset_digest: z.ZodString;
+    answer_result_digest: z.ZodString;
+    answer_indexer_id: z.ZodEffects<z.ZodString, string, string>;
+    answer_provider_composition_fingerprint: z.ZodString;
+    evaluations: z.ZodArray<z.ZodUnion<[z.ZodObject<{
+        state: z.ZodLiteral<"candidate">;
+        question_key: z.ZodString;
+        question_revision_digest: z.ZodString;
+        binding_digest: z.ZodString;
+        evidence_item_count: z.ZodNumber;
+        distinct_source_count: z.ZodNumber;
+        evidence: z.ZodArray<z.ZodObject<{
+            evidence_item_ref: z.ZodString;
+            kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+            source_ref: z.ZodString;
+            source_origin_ref: z.ZodString;
+            source_input_digest: z.ZodString;
+            source_spans: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                unit: z.ZodEnum<["byte", "line"]>;
+                start: z.ZodNumber;
+                end_exclusive: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }, {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }>, {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }, {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }>, "many">;
+            evidence_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_ref: string;
+            evidence_digest: string;
+            source_input_digest: string;
+            source_spans: {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }[];
+            source_origin_ref: string;
+            evidence_item_ref: string;
+        }, {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_ref: string;
+            evidence_digest: string;
+            source_input_digest: string;
+            source_spans: {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }[];
+            source_origin_ref: string;
+            evidence_item_ref: string;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        state: "candidate";
+        binding_digest: string;
+        evidence: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_ref: string;
+            evidence_digest: string;
+            source_input_digest: string;
+            source_spans: {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }[];
+            source_origin_ref: string;
+            evidence_item_ref: string;
+        }[];
+        question_key: string;
+        question_revision_digest: string;
+        evidence_item_count: number;
+        distinct_source_count: number;
+    }, {
+        state: "candidate";
+        binding_digest: string;
+        evidence: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_ref: string;
+            evidence_digest: string;
+            source_input_digest: string;
+            source_spans: {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }[];
+            source_origin_ref: string;
+            evidence_item_ref: string;
+        }[];
+        question_key: string;
+        question_revision_digest: string;
+        evidence_item_count: number;
+        distinct_source_count: number;
+    }>, z.ZodObject<{
+        state: z.ZodLiteral<"material-answer-evidence-insufficient">;
+        question_key: z.ZodString;
+        question_revision_digest: z.ZodString;
+        reason_codes: z.ZodArray<z.ZodEnum<["minimum-items-not-met", "minimum-distinct-sources-not-met", "provenance-constraint-not-met"]>, "many">;
+        accepted_evidence_item_count: z.ZodNumber;
+        distinct_source_count: z.ZodNumber;
+        rejected_evidence_item_refs: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        state: "material-answer-evidence-insufficient";
+        question_key: string;
+        question_revision_digest: string;
+        distinct_source_count: number;
+        reason_codes: ("minimum-items-not-met" | "minimum-distinct-sources-not-met" | "provenance-constraint-not-met")[];
+        accepted_evidence_item_count: number;
+        rejected_evidence_item_refs: string[];
+    }, {
+        state: "material-answer-evidence-insufficient";
+        question_key: string;
+        question_revision_digest: string;
+        distinct_source_count: number;
+        reason_codes: ("minimum-items-not-met" | "minimum-distinct-sources-not-met" | "provenance-constraint-not-met")[];
+        accepted_evidence_item_count: number;
+        rejected_evidence_item_refs: string[];
+    }>]>, "many">;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.material-answer-candidate-set/v1";
+    workset_digest: string;
+    answer_indexer_id: string;
+    answer_provider_composition_fingerprint: string;
+    candidate_set_digest: string;
+    answer_result_digest: string;
+    evaluations: ({
+        state: "candidate";
+        binding_digest: string;
+        evidence: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_ref: string;
+            evidence_digest: string;
+            source_input_digest: string;
+            source_spans: {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }[];
+            source_origin_ref: string;
+            evidence_item_ref: string;
+        }[];
+        question_key: string;
+        question_revision_digest: string;
+        evidence_item_count: number;
+        distinct_source_count: number;
+    } | {
+        state: "material-answer-evidence-insufficient";
+        question_key: string;
+        question_revision_digest: string;
+        distinct_source_count: number;
+        reason_codes: ("minimum-items-not-met" | "minimum-distinct-sources-not-met" | "provenance-constraint-not-met")[];
+        accepted_evidence_item_count: number;
+        rejected_evidence_item_refs: string[];
+    })[];
+}, {
+    protocol: "context.indexer.material-answer-candidate-set/v1";
+    workset_digest: string;
+    answer_indexer_id: string;
+    answer_provider_composition_fingerprint: string;
+    candidate_set_digest: string;
+    answer_result_digest: string;
+    evaluations: ({
+        state: "candidate";
+        binding_digest: string;
+        evidence: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_ref: string;
+            evidence_digest: string;
+            source_input_digest: string;
+            source_spans: {
+                unit: "byte" | "line";
+                start: number;
+                end_exclusive: number;
+            }[];
+            source_origin_ref: string;
+            evidence_item_ref: string;
+        }[];
+        question_key: string;
+        question_revision_digest: string;
+        evidence_item_count: number;
+        distinct_source_count: number;
+    } | {
+        state: "material-answer-evidence-insufficient";
+        question_key: string;
+        question_revision_digest: string;
+        distinct_source_count: number;
+        reason_codes: ("minimum-items-not-met" | "minimum-distinct-sources-not-met" | "provenance-constraint-not-met")[];
+        accepted_evidence_item_count: number;
+        rejected_evidence_item_refs: string[];
+    })[];
+}>;
+export type IndexerMaterialAnswerCandidate = z.infer<typeof materialAnswerCandidateSchema>;
+export type IndexerMaterialAnswerEvaluation = IndexerMaterialAnswerCandidate | z.infer<typeof materialAnswerInsufficientSchema>;
+export type IndexerMaterialAnswerCandidateSet = z.infer<typeof indexerMaterialAnswerCandidateSetSchema>;
+export declare function indexerEvidenceItemRef(input: {
+    kind: IndexerEvidenceKind;
+    source_origin_ref: string;
+    source_input_digest: string;
+    source_spans: readonly IndexerSourceSpanRef[];
+    evidence_digest: string;
+}): string;
+export declare function indexerMaterialAnswerBindingDigest(input: {
+    accepted_workset_digest: string;
+    question_key: string;
+    question_revision_digest: string;
+    answer_indexer_id: string;
+    answer_provider_composition_fingerprint: string;
+    answer_result_digest: string;
+    evidence: readonly IndexerCanonicalMaterialAnswerEvidence[];
+}): string;
+export declare function normalizeIndexerSourceSpans(input: {
+    spans: readonly IndexerSourceSpanRef[];
+    source: IndexerCurrentEvidenceSource;
+}): IndexerSourceSpanRef[];
+export declare function validateIndexerMaterialAnswerResult(input: {
+    result: unknown;
+    workset: unknown;
+    expected_execution_request_digest: string;
+    expected_provider_composition_fingerprint: string;
+    current_sources: readonly IndexerCurrentEvidenceSource[];
+    resolve_evidence_digest: (input: {
+        source: IndexerCurrentEvidenceSource;
+        source_spans: readonly IndexerSourceSpanRef[];
+    }) => string;
+}): {
+    result: IndexerMaterialAnswerResult;
+    candidate_set: IndexerMaterialAnswerCandidateSet;
+};
+export declare function validateIndexerMaterialAnswerCandidateSet(value: unknown): IndexerMaterialAnswerCandidateSet;
+export {};