@c4a/context 0.7.9 → 0.7.10-alpha.1

package/indexerResultReconciliation.d.ts

@@ -5,15 +5,12 @@ import { type IndexerRegistry } from "./indexerRegistry.js";
 declare const registeredMaterialSourceSchema: z.ZodObject<{
     source_ref: z.ZodString;
     source_input_digest: z.ZodString;
-    evidence_kinds: z.ZodArray<z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>, "many">;
 }, "strict", z.ZodTypeAny, {
     source_ref: string;
     source_input_digest: string;
-    evidence_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
 }, {
     source_ref: string;
     source_input_digest: string;
-    evidence_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
 }>;
 export declare const capabilityGapSchema: z.ZodObject<{
     gap_ref: z.ZodString;
@@ -102,7 +99,6 @@ export declare const materialGapDetailSchema: z.ZodObject<{
 }, "strict", z.ZodTypeAny, {
     requirement_ref: string;
     severity: "recommended" | "blocking";
-    coverage_domain: string;
     entry: {
         state: "unresolved";
         dependencies: {
@@ -118,6 +114,7 @@ export declare const materialGapDetailSchema: z.ZodObject<{
         question_target_item_digest: string;
         question_revision_digest: string;
     };
+    coverage_domain: string;
     reason_code: "provider-requested-material" | "provider-omitted-required-question" | "main-evidence-contract-not-met";
     owner_cell_ref: string;
     question_key: string;
@@ -126,7 +123,6 @@ export declare const materialGapDetailSchema: z.ZodObject<{
 }, {
     requirement_ref: string;
     severity: "recommended" | "blocking";
-    coverage_domain: string;
     entry: {
         state: "unresolved";
         dependencies: {
@@ -142,6 +138,7 @@ export declare const materialGapDetailSchema: z.ZodObject<{
         question_target_item_digest: string;
         question_revision_digest: string;
     };
+    coverage_domain: string;
     reason_code: "provider-requested-material" | "provider-omitted-required-question" | "main-evidence-contract-not-met";
     owner_cell_ref: string;
     question_key: string;
@@ -309,7 +306,6 @@ export declare const coverageCompletionReportPayloadSchema: z.ZodObject<{
     }, "strict", z.ZodTypeAny, {
         requirement_ref: string;
         severity: "recommended" | "blocking";
-        coverage_domain: string;
         entry: {
             state: "unresolved";
             dependencies: {
@@ -325,6 +321,7 @@ export declare const coverageCompletionReportPayloadSchema: z.ZodObject<{
             question_target_item_digest: string;
             question_revision_digest: string;
         };
+        coverage_domain: string;
         reason_code: "provider-requested-material" | "provider-omitted-required-question" | "main-evidence-contract-not-met";
         owner_cell_ref: string;
         question_key: string;
@@ -333,7 +330,6 @@ export declare const coverageCompletionReportPayloadSchema: z.ZodObject<{
     }, {
         requirement_ref: string;
         severity: "recommended" | "blocking";
-        coverage_domain: string;
         entry: {
             state: "unresolved";
             dependencies: {
@@ -349,6 +345,7 @@ export declare const coverageCompletionReportPayloadSchema: z.ZodObject<{
             question_target_item_digest: string;
             question_revision_digest: string;
         };
+        coverage_domain: string;
         reason_code: "provider-requested-material" | "provider-omitted-required-question" | "main-evidence-contract-not-met";
         owner_cell_ref: string;
         question_key: string;
@@ -391,7 +388,6 @@ export declare const coverageCompletionReportPayloadSchema: z.ZodObject<{
     material_gaps: {
         requirement_ref: string;
         severity: "recommended" | "blocking";
-        coverage_domain: string;
         entry: {
             state: "unresolved";
             dependencies: {
@@ -407,6 +403,7 @@ export declare const coverageCompletionReportPayloadSchema: z.ZodObject<{
             question_target_item_digest: string;
             question_revision_digest: string;
         };
+        coverage_domain: string;
         reason_code: "provider-requested-material" | "provider-omitted-required-question" | "main-evidence-contract-not-met";
         owner_cell_ref: string;
         question_key: string;
@@ -447,7 +444,6 @@ export declare const coverageCompletionReportPayloadSchema: z.ZodObject<{
     material_gaps: {
         requirement_ref: string;
         severity: "recommended" | "blocking";
-        coverage_domain: string;
         entry: {
             state: "unresolved";
             dependencies: {
@@ -463,6 +459,7 @@ export declare const coverageCompletionReportPayloadSchema: z.ZodObject<{
             question_target_item_digest: string;
             question_revision_digest: string;
         };
+        coverage_domain: string;
         reason_code: "provider-requested-material" | "provider-omitted-required-question" | "main-evidence-contract-not-met";
         owner_cell_ref: string;
         question_key: string;
@@ -600,7 +597,6 @@ export declare const indexerCoverageCompletionReportSchema: z.ZodObject<{
     }, "strict", z.ZodTypeAny, {
         requirement_ref: string;
         severity: "recommended" | "blocking";
-        coverage_domain: string;
         entry: {
             state: "unresolved";
             dependencies: {
@@ -616,6 +612,7 @@ export declare const indexerCoverageCompletionReportSchema: z.ZodObject<{
             question_target_item_digest: string;
             question_revision_digest: string;
         };
+        coverage_domain: string;
         reason_code: "provider-requested-material" | "provider-omitted-required-question" | "main-evidence-contract-not-met";
         owner_cell_ref: string;
         question_key: string;
@@ -624,7 +621,6 @@ export declare const indexerCoverageCompletionReportSchema: z.ZodObject<{
     }, {
         requirement_ref: string;
         severity: "recommended" | "blocking";
-        coverage_domain: string;
         entry: {
             state: "unresolved";
             dependencies: {
@@ -640,6 +636,7 @@ export declare const indexerCoverageCompletionReportSchema: z.ZodObject<{
             question_target_item_digest: string;
             question_revision_digest: string;
         };
+        coverage_domain: string;
         reason_code: "provider-requested-material" | "provider-omitted-required-question" | "main-evidence-contract-not-met";
         owner_cell_ref: string;
         question_key: string;
@@ -685,7 +682,6 @@ export declare const indexerCoverageCompletionReportSchema: z.ZodObject<{
     material_gaps: {
         requirement_ref: string;
         severity: "recommended" | "blocking";
-        coverage_domain: string;
         entry: {
             state: "unresolved";
             dependencies: {
@@ -701,6 +697,7 @@ export declare const indexerCoverageCompletionReportSchema: z.ZodObject<{
             question_target_item_digest: string;
             question_revision_digest: string;
         };
+        coverage_domain: string;
         reason_code: "provider-requested-material" | "provider-omitted-required-question" | "main-evidence-contract-not-met";
         owner_cell_ref: string;
         question_key: string;
@@ -742,7 +739,6 @@ export declare const indexerCoverageCompletionReportSchema: z.ZodObject<{
     material_gaps: {
         requirement_ref: string;
         severity: "recommended" | "blocking";
-        coverage_domain: string;
         entry: {
             state: "unresolved";
             dependencies: {
@@ -758,6 +754,7 @@ export declare const indexerCoverageCompletionReportSchema: z.ZodObject<{
             question_target_item_digest: string;
             question_revision_digest: string;
         };
+        coverage_domain: string;
         reason_code: "provider-requested-material" | "provider-omitted-required-question" | "main-evidence-contract-not-met";
         owner_cell_ref: string;
         question_key: string;
@@ -814,18 +811,6 @@ export declare function relevantResults(owner: OwnerCell, results: readonly Inde
     source_ref: string;
     protocol: "context.indexer.artifact-result/v1";
     requirement_ref: string;
-    facts: {
-        value: import("./indexerRegistry.js").IndexerJson;
-        fact_ref: string;
-        fact_kind: string;
-        subject_key: {
-            kind: string;
-            namespace: string;
-            protocol: "context.subject-key/v1";
-            local_key: string;
-        };
-        evidence_refs: string[];
-    }[];
     module_ref: string | null;
     input_digest: string;
     output_digest: string;
@@ -840,8 +825,15 @@ export declare function relevantResults(owner: OwnerCell, results: readonly Inde
         template_id: string;
         variables: Record<string, {
             value: import("./indexerRegistry.js").IndexerJson;
-            evidence_refs: string[];
-            fact_refs: string[];
+            references: {
+                source_ref: string;
+                locator: {
+                    path: string;
+                    start_line: number;
+                    end_line: number;
+                };
+                content_digest: string;
+            }[];
         }>;
         section_projections: {
             section_key: string;
@@ -853,28 +845,31 @@ export declare function relevantResults(owner: OwnerCell, results: readonly Inde
         artifact_id: string;
         artifact_policy_variant: string;
     } | {
-        artifact_kind: string;
-        representation: "sections";
-        artifact_id: string;
-        artifact_policy_variant: string;
         sections: {
             section_key: string;
             owner_indexer_id: string;
             document_kind: string;
             reader_goal: string;
             artifact_kind: string;
-            blocks: ({
-                block_id: string;
-                layer: "deterministic-block";
-                renderer: "bullet-list" | "key-value-table" | "multi-column-table" | "public-contract-table" | "json-code-block";
-                fact_refs: string[];
-            } | {
-                evidence_refs: string[];
+            blocks: {
+                references: {
+                    source_ref: string;
+                    locator: {
+                        path: string;
+                        start_line: number;
+                        end_line: number;
+                    };
+                    content_digest: string;
+                }[];
                 block_id: string;
                 layer: "semantic-prose";
                 markdown: string;
-            })[];
+            }[];
         }[];
+        artifact_kind: string;
+        representation: "sections";
+        artifact_id: string;
+        artifact_policy_variant: string;
         template_id?: string | undefined;
     })[];
     indexer_id: string;
@@ -888,45 +883,8 @@ export declare function relevantResults(owner: OwnerCell, results: readonly Inde
     customization_fingerprint: string | null;
     source_role: string;
     logical_unit: {
-        subject_key: {
-            kind: string;
-            namespace: string;
-            protocol: "context.subject-key/v1";
-            local_key: string;
-        };
         logical_unit_ref: string;
         group_key: string;
-        target_resolution_dispositions: ({
-            target_node_ref: string;
-            disposition: "reuse-existing";
-            query_ref: string;
-            target_subject_key: {
-                kind: string;
-                namespace: string;
-                protocol: "context.subject-key/v1";
-                local_key: string;
-            };
-        } | {
-            subject_key: {
-                kind: string;
-                namespace: string;
-                protocol: "context.subject-key/v1";
-                local_key: string;
-            };
-            evidence_refs: string[];
-            disposition: "create-independent";
-            query_ref: string;
-            reason_code: string;
-        } | {
-            disposition: "request-material";
-            query_ref: string;
-            missing_facts: string[];
-            source_hints: string[];
-        } | {
-            disposition: "unsupported";
-            query_ref: string;
-            missing_capabilities: string[];
-        })[];
     };
     capability_group_evidence: {
         protocol: "context.indexer.capability-group-evidence/v1";
@@ -960,7 +918,6 @@ export declare function relevantResults(owner: OwnerCell, results: readonly Inde
         dispositions: ({
             member_id: string;
             section_evidence: {
-                evidence_refs: string[];
                 section_key: string;
                 artifact_id: string;
             }[];
@@ -974,19 +931,16 @@ export declare function relevantResults(owner: OwnerCell, results: readonly Inde
             inventory_disposition: "owned";
             projection_disposition: "capability-group";
         } | {
-            fact_refs: string[];
             member_id: string;
             member_kind: "document" | "component" | "handler" | "method" | "entry" | "project" | "route" | "service" | "example" | "protocol-method" | "event-branch" | "timer-branch" | "downstream-callsite" | "store" | "state-transition";
             inventory_disposition: "owned";
             projection_disposition: "catalog-only";
         } | {
-            evidence_refs: string[];
             member_id: string;
             member_kind: "document" | "component" | "handler" | "method" | "entry" | "project" | "route" | "service" | "example" | "protocol-method" | "event-branch" | "timer-branch" | "downstream-callsite" | "store" | "state-transition";
             inventory_disposition: "owned";
             projection_disposition: "boundary-only";
         } | {
-            evidence_refs: string[];
             member_id: string;
             member_kind: "document" | "component" | "handler" | "method" | "entry" | "project" | "route" | "service" | "example" | "protocol-method" | "event-branch" | "timer-branch" | "downstream-callsite" | "store" | "state-transition";
             inventory_disposition: "excluded-with-reason";
@@ -1004,32 +958,16 @@ export declare function relevantResults(owner: OwnerCell, results: readonly Inde
         })[];
         disposition_digest: string;
     };
-    evidence_bindings: {
-        kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
-        source_ref: string;
-        locator: {
-            path: string;
-            start_line: number;
-            end_line: number;
-        };
-        content_digest: string;
-        module_ref: string | null;
-        coverage_tier: "ast-catalog" | "lightweight-evidence";
-        evidence_ref: string;
-        binding_digest: string;
-    }[];
     artifact_bundle: {
         protocol: "context.indexer.artifact-bundle/v1";
         artifact_policy_variant: string;
         artifacts: ({
             purpose: "required" | "discretionary";
-            evidence_refs: string[];
             artifact_kind: string;
             artifact_id: string;
             reader_question_refs: string[];
         } | {
             purpose: "semantic-split";
-            evidence_refs: string[];
             artifact_kind: string;
             artifact_id: string;
             reader_question_refs: string[];
@@ -1047,64 +985,19 @@ export declare function relevantResults(owner: OwnerCell, results: readonly Inde
     } | null;
     material_question_proposals: {
         requirement_ref: string;
-        source_hints: string[];
         proposal_ref: string;
         question_ref: string;
         question_target_key: string;
+        source_hints: string[];
     }[];
     question_target_dispositions: ({
         state: "answered";
         question_target_key: string;
-        evidence_binding_digest: string;
     } | {
         state: "material-gap";
         material_question_proposal_ref: string;
         question_target_key: string;
     })[];
-    structured_declarations?: {
-        protocol: "context.indexer.structured-declaration-set/v1";
-        source_identity_inventory_digest: string;
-        declarations: {
-            source_ref: string;
-            evidence_refs: string[];
-            module_ref: string | null;
-            carrier_kind: "manifest" | "indexer-result" | "catalog" | "section-evidence";
-            carrier_ref: string;
-            declaration_kind: "locator" | "handler" | "method" | "entry" | "directory" | "store";
-            target: {
-                normalized_path: string;
-                target_type: "directory";
-            } | {
-                content_digest: string;
-                normalized_path: string;
-                target_type: "file";
-            } | {
-                normalized_path: string;
-                qualified_item_path: string;
-                signature_digest: string;
-                target_type: "item";
-                source_fact_ref: string;
-            };
-            declaration_ref: string;
-        }[];
-        declaration_set_digest: string;
-    } | undefined;
-    structured_claims?: {
-        protocol: "context.indexer.structured-claim-set/v1";
-        logical_unit_ref: string;
-        author_workset_digest: string;
-        claims: {
-            evidence_refs: string[];
-            claim_ref: string;
-            claim_kind: string;
-            subject_ref: string;
-            owner: {
-                section_key: string;
-                artifact_id: string;
-            };
-        }[];
-        claims_digest: string;
-    } | undefined;
 }[];
 export declare function dispositionMap(input: {
     pairs: readonly QuestionPair[];
@@ -1113,13 +1006,6 @@ export declare function dispositionMap(input: {
     result: IndexerArtifactResult;
     disposition: IndexerArtifactResult["question_target_dispositions"][number];
 }>;
-export declare function mainEvidenceMeetsContract(input: {
-    pair: QuestionPair;
-    result: IndexerArtifactResult;
-    evidence_binding_digest: string;
-    evidence_facts: Readonly<Record<string, unknown>>;
-    allowed_selector_fact_paths: ReadonlySet<string>;
-}): boolean;
 export declare function materialGap(input: {
     registry: IndexerRegistry;
     pair: QuestionPair;