@c4a/context 0.7.9 → 0.7.10-alpha.2

package/indexerApprovedKnowledge.d.ts

@@ -1,371 +1,110 @@
-import { z } from "zod";
-import { type IndexerSubjectKey } from "./indexerSubjectIdentity.js";
-import { type IndexerKnowledgeDependency } from "./indexerKnowledgeDependency.js";
-export declare const indexerApprovedKnowledgeSchema: z.ZodObject<{
-    protocol: z.ZodLiteral<"context.indexer.approved-knowledge/v1">;
-    artifact_ref: z.ZodString;
-    subject_key: z.ZodObject<{
-        protocol: z.ZodLiteral<"context.subject-key/v1">;
-        namespace: z.ZodEffects<z.ZodString, string, string>;
-        kind: z.ZodEffects<z.ZodString, string, string>;
-        local_key: z.ZodEffects<z.ZodString, string, string>;
-    }, "strict", z.ZodTypeAny, {
-        kind: string;
-        namespace: string;
-        protocol: "context.subject-key/v1";
-        local_key: string;
-    }, {
-        kind: string;
-        namespace: string;
-        protocol: "context.subject-key/v1";
-        local_key: string;
-    }>;
-    primary_indexer_id: z.ZodOptional<z.ZodString>;
-    path: z.ZodEffects<z.ZodString, string, string>;
-    approved_content_digest: z.ZodString;
-    source_versions: z.ZodArray<z.ZodObject<{
-        source_ref: z.ZodString;
-        module_ref: z.ZodNullable<z.ZodString>;
-        version: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        source_ref: string;
-        version: string;
-        module_ref: string | null;
-    }, {
-        source_ref: string;
-        version: string;
-        module_ref: string | null;
-    }>, "many">;
-    sections: z.ZodArray<z.ZodObject<{
-        section_ref: z.ZodString;
-        section_key: z.ZodOptional<z.ZodString>;
-        markdown: z.ZodString;
-        fact_refs: z.ZodArray<z.ZodString, "many">;
-        evidence_refs: z.ZodArray<z.ZodString, "many">;
-    }, "strict", z.ZodTypeAny, {
-        evidence_refs: string[];
-        fact_refs: string[];
-        markdown: string;
-        section_ref: string;
-        section_key?: string | undefined;
-    }, {
-        evidence_refs: string[];
-        fact_refs: string[];
-        markdown: string;
-        section_ref: string;
-        section_key?: string | undefined;
-    }>, "many">;
-    facts: z.ZodArray<z.ZodObject<{
-        fact_ref: z.ZodString;
-        fact_kind: z.ZodEffects<z.ZodString, string, string>;
-        subject_key: z.ZodObject<{
-            protocol: z.ZodLiteral<"context.subject-key/v1">;
-            namespace: z.ZodEffects<z.ZodString, string, string>;
-            kind: z.ZodEffects<z.ZodString, string, string>;
-            local_key: z.ZodEffects<z.ZodString, string, string>;
-        }, "strict", z.ZodTypeAny, {
-            kind: string;
-            namespace: string;
-            protocol: "context.subject-key/v1";
-            local_key: string;
+import { type ArticleStructureEntry } from "./articleStructure.js";
+export declare const indexerApprovedKnowledgeSchema: import("zod").ZodObject<{
+    article_id: import("zod").ZodString;
+    path: import("zod").ZodEffects<import("zod").ZodString, string, string>;
+    collection: import("zod").ZodType<import("./contracts.js").TopLevelNamespace, import("zod").ZodTypeDef, import("./contracts.js").TopLevelNamespace>;
+    visibility: import("zod").ZodString;
+    sections: import("zod").ZodArray<import("zod").ZodObject<{
+        id: import("zod").ZodString;
+        references: import("zod").ZodArray<import("zod").ZodObject<{
+            source_ref: import("zod").ZodString;
+            locator: import("zod").ZodEffects<import("zod").ZodObject<{
+                path: import("zod").ZodEffects<import("zod").ZodString, string, string>;
+                start_line: import("zod").ZodNumber;
+                end_line: import("zod").ZodNumber;
+            }, "strict", import("zod").ZodTypeAny, {
+                path: string;
+                start_line: number;
+                end_line: number;
+            }, {
+                path: string;
+                start_line: number;
+                end_line: number;
+            }>, {
+                path: string;
+                start_line: number;
+                end_line: number;
+            }, {
+                path: string;
+                start_line: number;
+                end_line: number;
+            }>;
+            content_digest: import("zod").ZodString;
+        }, "strict", import("zod").ZodTypeAny, {
+            source_ref: string;
+            locator: {
+                path: string;
+                start_line: number;
+                end_line: number;
+            };
+            content_digest: string;
         }, {
-            kind: string;
-            namespace: string;
-            protocol: "context.subject-key/v1";
-            local_key: string;
-        }>;
-        value: z.ZodType<import("./indexerRegistry.js").IndexerJson, z.ZodTypeDef, import("./indexerRegistry.js").IndexerJson>;
-        evidence_refs: z.ZodArray<z.ZodString, "many">;
-    }, "strict", z.ZodTypeAny, {
-        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[];
+            source_ref: string;
+            locator: {
+                path: string;
+                start_line: number;
+                end_line: number;
+            };
+            content_digest: string;
+        }>, "many">;
+    }, "strict", import("zod").ZodTypeAny, {
+        id: string;
+        references: {
+            source_ref: string;
+            locator: {
+                path: string;
+                start_line: number;
+                end_line: number;
+            };
+            content_digest: string;
+        }[];
     }, {
-        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[];
+        id: string;
+        references: {
+            source_ref: string;
+            locator: {
+                path: string;
+                start_line: number;
+                end_line: number;
+            };
+            content_digest: string;
+        }[];
     }>, "many">;
-    evidence_bindings: z.ZodArray<z.ZodObject<{
-        evidence_ref: z.ZodString;
-        kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
-        source_ref: z.ZodString;
-        module_ref: z.ZodNullable<z.ZodString>;
-        locator: z.ZodEffects<z.ZodObject<{
-            path: z.ZodEffects<z.ZodString, string, string>;
-            start_line: z.ZodNumber;
-            end_line: z.ZodNumber;
-        }, "strict", z.ZodTypeAny, {
-            path: string;
-            start_line: number;
-            end_line: number;
-        }, {
-            path: string;
-            start_line: number;
-            end_line: number;
-        }>, {
-            path: string;
-            start_line: number;
-            end_line: number;
-        }, {
-            path: string;
-            start_line: number;
-            end_line: number;
-        }>;
-        content_digest: z.ZodString;
-        coverage_tier: z.ZodEnum<["ast-catalog", "lightweight-evidence"]>;
-        binding_digest: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        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;
-    }, {
-        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;
-    }>, "many">;
-    dependencies: z.ZodArray<z.ZodObject<{
-        artifact_ref: z.ZodString;
-        section_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
-        required: z.ZodDefault<z.ZodBoolean>;
-    }, "strict", z.ZodTypeAny, {
-        required: boolean;
-        artifact_ref: string;
-        section_refs: string[];
-    }, {
-        artifact_ref: string;
-        required?: boolean | undefined;
-        section_refs?: string[] | undefined;
-    }>, "many">;
-    dependency_versions: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        artifact_ref: z.ZodString;
-        approved_content_digest: z.ZodString;
-        projection_digest: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        artifact_ref: string;
-        approved_content_digest: string;
-        projection_digest: string;
-    }, {
-        artifact_ref: string;
-        approved_content_digest: string;
-        projection_digest: string;
-    }>, "many">>;
-    snapshot_digest: z.ZodString;
-}, "strict", z.ZodTypeAny, {
+}, "strict", import("zod").ZodTypeAny, {
     path: string;
-    protocol: "context.indexer.approved-knowledge/v1";
-    subject_key: {
-        kind: string;
-        namespace: string;
-        protocol: "context.subject-key/v1";
-        local_key: string;
-    };
+    article_id: string;
+    collection: import("./contracts.js").TopLevelNamespace;
+    visibility: string;
     sections: {
-        evidence_refs: string[];
-        fact_refs: string[];
-        markdown: string;
-        section_ref: string;
-        section_key?: string | undefined;
-    }[];
-    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[];
+        id: string;
+        references: {
+            source_ref: string;
+            locator: {
+                path: string;
+                start_line: number;
+                end_line: number;
+            };
+            content_digest: string;
+        }[];
     }[];
-    snapshot_digest: string;
-    dependencies: {
-        required: boolean;
-        artifact_ref: string;
-        section_refs: 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_ref: string;
-    approved_content_digest: string;
-    source_versions: {
-        source_ref: string;
-        version: string;
-        module_ref: string | null;
-    }[];
-    primary_indexer_id?: string | undefined;
-    dependency_versions?: {
-        artifact_ref: string;
-        approved_content_digest: string;
-        projection_digest: string;
-    }[] | undefined;
 }, {
     path: string;
-    protocol: "context.indexer.approved-knowledge/v1";
-    subject_key: {
-        kind: string;
-        namespace: string;
-        protocol: "context.subject-key/v1";
-        local_key: string;
-    };
+    article_id: string;
+    collection: import("./contracts.js").TopLevelNamespace;
+    visibility: string;
     sections: {
-        evidence_refs: string[];
-        fact_refs: string[];
-        markdown: string;
-        section_ref: string;
-        section_key?: string | undefined;
-    }[];
-    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[];
-    }[];
-    snapshot_digest: string;
-    dependencies: {
-        artifact_ref: string;
-        required?: boolean | undefined;
-        section_refs?: string[] | undefined;
-    }[];
-    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;
+        id: string;
+        references: {
+            source_ref: string;
+            locator: {
+                path: string;
+                start_line: number;
+                end_line: number;
+            };
+            content_digest: string;
+        }[];
     }[];
-    artifact_ref: string;
-    approved_content_digest: string;
-    source_versions: {
-        source_ref: string;
-        version: string;
-        module_ref: string | null;
-    }[];
-    primary_indexer_id?: string | undefined;
-    dependency_versions?: {
-        artifact_ref: string;
-        approved_content_digest: string;
-        projection_digest: string;
-    }[] | undefined;
 }>;
-export type IndexerApprovedKnowledge = z.infer<typeof indexerApprovedKnowledgeSchema>;
+export type IndexerApprovedKnowledge = ArticleStructureEntry;
 export declare function validateIndexerApprovedKnowledge(value: unknown): IndexerApprovedKnowledge;
-export declare function buildIndexerApprovedKnowledge(payload: Omit<IndexerApprovedKnowledge, "snapshot_digest">): IndexerApprovedKnowledge;
-export interface PendingKnowledgeDependency {
-    artifact_ref: string;
-    reason: "not-approved" | "approval-changed" | "section-unavailable" | "source-version-changed" | "dependency-cycle" | "same-group-dependency";
-    required: boolean;
-}
-/** Projection is an authority boundary. It never turns approved prose into a
- * source fact and never assigns the source members to the consuming subject. */
-export declare function projectIndexerApprovedKnowledge(input: {
-    dependencies: readonly IndexerKnowledgeDependency[];
-    snapshots: readonly IndexerApprovedKnowledge[];
-    approved_versions: ReadonlyMap<string, string>;
-    authorized_sources: readonly {
-        source_ref: string;
-        module_ref: string | null;
-        version: string;
-    }[];
-    evidence_kinds: ReadonlySet<string>;
-    subject_key: IndexerSubjectKey;
-}): {
-    status: "ready" | "waiting";
-    pending: PendingKnowledgeDependency[];
-    versions: {
-        artifact_ref: string;
-        approved_content_digest: string;
-        projection_digest: 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[];
-    }[];
-    reading_sections: {
-        artifact_ref: string;
-        section_ref: string;
-        approved_content_digest: string;
-        evidence_role: "approved-interpretation";
-        markdown: string;
-        evidence_refs: 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;
-    }[];
-};
+export declare function buildIndexerApprovedKnowledge(value: IndexerApprovedKnowledge): IndexerApprovedKnowledge;

package/indexerArticlePlan.d.ts

@@ -23,61 +23,38 @@ export declare const indexerArticlePlanSchema: z.ZodObject<{
         heading: string;
     }>, "many">;
     question_targets: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
-    knowledge_dependencies: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        artifact_ref: z.ZodString;
-        section_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
-        required: z.ZodDefault<z.ZodBoolean>;
-    }, "strict", z.ZodTypeAny, {
-        required: boolean;
-        artifact_ref: string;
-        section_refs: string[];
-    }, {
-        artifact_ref: string;
-        required?: boolean | undefined;
-        section_refs?: string[] | undefined;
-    }>, "many">>;
 }, "strict", z.ZodTypeAny, {
     title: string;
     key: string;
-    required: boolean;
     sections: {
         key: string;
         required: boolean;
         heading: string;
     }[];
+    required: boolean;
     reader_task: string;
     artifact_intent: string;
     question_targets: string[];
     template_id?: string | undefined;
-    knowledge_dependencies?: {
-        required: boolean;
-        artifact_ref: string;
-        section_refs: string[];
-    }[] | undefined;
 }, {
     title: string;
     key: string;
-    required: boolean;
     sections: {
         key: string;
         required: boolean;
         heading: string;
     }[];
+    required: boolean;
     reader_task: string;
     artifact_intent: string;
     template_id?: string | undefined;
     question_targets?: string[] | undefined;
-    knowledge_dependencies?: {
-        artifact_ref: string;
-        required?: boolean | undefined;
-        section_refs?: string[] | undefined;
-    }[] | undefined;
 }>;
 export type IndexerArticlePlan = z.infer<typeof indexerArticlePlanSchema>;
 export declare function validateIndexerArticlePlan(articles: readonly IndexerArticlePlan[], targets?: readonly string[]): void;
 export declare function indexerArticleSectionKey(article: string, section: string): string;
 /** Applies to both semantic submissions and programmatic Providers. */
-export declare function validateIndexerPlannedArticles(result: IndexerArtifactResult, articles: readonly IndexerArticlePlan[]): Array<{
+export declare function validateIndexerPlannedArticles(result: Pick<IndexerArtifactResult, "source_role" | "artifacts">, articles: readonly IndexerArticlePlan[]): Array<{
     code: string;
     message: string;
 }>;