@c4a/context 0.7.4 → 0.7.8

package/indexerApprovedKnowledge.d.ts

@@ -0,0 +1,371 @@
+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;
+        }, {
+            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[];
+    }, {
+        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[];
+    }>, "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, {
+    path: string;
+    protocol: "context.indexer.approved-knowledge/v1";
+    subject_key: {
+        kind: string;
+        namespace: string;
+        protocol: "context.subject-key/v1";
+        local_key: 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: {
+        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;
+    };
+    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;
+    }[];
+    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 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;
+    }[];
+};

package/indexerArticlePlan.d.ts

@@ -0,0 +1,83 @@
+import { z } from "zod";
+import type { IndexerArtifactResult } from "./indexerArtifactResult.js";
+/** Reader titles can change; these keys remain stable across revisions. */
+export declare const indexerArticleKeySchema: z.ZodString;
+export declare const indexerArticlePlanSchema: z.ZodObject<{
+    key: z.ZodString;
+    title: z.ZodString;
+    reader_task: z.ZodString;
+    artifact_intent: z.ZodString;
+    template_id: z.ZodOptional<z.ZodString>;
+    required: z.ZodBoolean;
+    sections: z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        heading: z.ZodString;
+        required: z.ZodBoolean;
+    }, "strict", z.ZodTypeAny, {
+        key: string;
+        required: boolean;
+        heading: string;
+    }, {
+        key: string;
+        required: boolean;
+        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;
+    }[];
+    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;
+    }[];
+    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<{
+    code: string;
+    message: string;
+}>;

package/indexerArtifact.d.ts

@@ -94,6 +94,7 @@ export declare const indexerArtifactSchema: z.ZodDiscriminatedUnion<"representat
     artifact_policy_variant: string;
 }>, z.ZodObject<{
     representation: z.ZodLiteral<"sections">;
+    template_id: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
     sections: z.ZodArray<z.ZodObject<{
         section_key: z.ZodEffects<z.ZodString, string, string>;
         owner_indexer_id: z.ZodEffects<z.ZodString, string, string>;
@@ -104,17 +105,17 @@ export declare const indexerArtifactSchema: z.ZodDiscriminatedUnion<"representat
         blocks: z.ZodArray<z.ZodDiscriminatedUnion<"layer", [z.ZodObject<{
             block_id: z.ZodEffects<z.ZodString, string, string>;
             layer: z.ZodLiteral<"deterministic-block">;
-            renderer: z.ZodEnum<["bullet-list", "key-value-table", "json-code-block"]>;
+            renderer: z.ZodEnum<["bullet-list", "key-value-table", "multi-column-table", "public-contract-table", "json-code-block"]>;
             fact_refs: z.ZodArray<z.ZodString, "many">;
         }, "strict", z.ZodTypeAny, {
             block_id: string;
             layer: "deterministic-block";
-            renderer: "bullet-list" | "key-value-table" | "json-code-block";
+            renderer: "bullet-list" | "key-value-table" | "multi-column-table" | "public-contract-table" | "json-code-block";
             fact_refs: string[];
         }, {
             block_id: string;
             layer: "deterministic-block";
-            renderer: "bullet-list" | "key-value-table" | "json-code-block";
+            renderer: "bullet-list" | "key-value-table" | "multi-column-table" | "public-contract-table" | "json-code-block";
             fact_refs: string[];
         }>, z.ZodObject<{
             block_id: z.ZodEffects<z.ZodString, string, string>;
@@ -141,7 +142,7 @@ export declare const indexerArtifactSchema: z.ZodDiscriminatedUnion<"representat
         blocks: ({
             block_id: string;
             layer: "deterministic-block";
-            renderer: "bullet-list" | "key-value-table" | "json-code-block";
+            renderer: "bullet-list" | "key-value-table" | "multi-column-table" | "public-contract-table" | "json-code-block";
             fact_refs: string[];
         } | {
             evidence_refs: string[];
@@ -158,7 +159,7 @@ export declare const indexerArtifactSchema: z.ZodDiscriminatedUnion<"representat
         blocks: ({
             block_id: string;
             layer: "deterministic-block";
-            renderer: "bullet-list" | "key-value-table" | "json-code-block";
+            renderer: "bullet-list" | "key-value-table" | "multi-column-table" | "public-contract-table" | "json-code-block";
             fact_refs: string[];
         } | {
             evidence_refs: string[];
@@ -184,7 +185,7 @@ export declare const indexerArtifactSchema: z.ZodDiscriminatedUnion<"representat
         blocks: ({
             block_id: string;
             layer: "deterministic-block";
-            renderer: "bullet-list" | "key-value-table" | "json-code-block";
+            renderer: "bullet-list" | "key-value-table" | "multi-column-table" | "public-contract-table" | "json-code-block";
             fact_refs: string[];
         } | {
             evidence_refs: string[];
@@ -193,6 +194,7 @@ export declare const indexerArtifactSchema: z.ZodDiscriminatedUnion<"representat
             markdown: string;
         })[];
     }[];
+    template_id?: string | undefined;
 }, {
     artifact_kind: string;
     representation: "sections";
@@ -207,7 +209,7 @@ export declare const indexerArtifactSchema: z.ZodDiscriminatedUnion<"representat
         blocks: ({
             block_id: string;
             layer: "deterministic-block";
-            renderer: "bullet-list" | "key-value-table" | "json-code-block";
+            renderer: "bullet-list" | "key-value-table" | "multi-column-table" | "public-contract-table" | "json-code-block";
             fact_refs: string[];
         } | {
             evidence_refs: string[];
@@ -216,6 +218,7 @@ export declare const indexerArtifactSchema: z.ZodDiscriminatedUnion<"representat
             markdown: string;
         })[];
     }[];
+    template_id?: string | undefined;
 }>]>;
 export type IndexerArtifact = z.infer<typeof indexerArtifactSchema>;
 export type IndexerArtifactSectionProjection = z.infer<typeof indexerArtifactSectionProjectionSchema>;

package/indexerArtifactDependencies.d.ts

@@ -256,7 +256,7 @@ export declare const indexerArtifactDependencySetSchema: z.ZodObject<{
         group_projection_digest: string;
         dependency_ref: string;
     }>, z.ZodObject<{
-        kind: z.ZodEnum<["template-policy-fragment", "contract-metric"]>;
+        kind: z.ZodEnum<["template-policy-fragment", "contract-metric", "approved-knowledge"]>;
         target_ref: z.ZodString;
         content_digest: z.ZodString;
         targets: z.ZodArray<z.ZodDiscriminatedUnion<"level", [z.ZodObject<{
@@ -292,7 +292,7 @@ export declare const indexerArtifactDependencySetSchema: z.ZodObject<{
     } & {
         dependency_ref: z.ZodString;
     }, "strict", z.ZodTypeAny, {
-        kind: "template-policy-fragment" | "contract-metric";
+        kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
         targets: ({
             level: "logical-unit";
         } | {
@@ -308,7 +308,7 @@ export declare const indexerArtifactDependencySetSchema: z.ZodObject<{
         node_ref: string;
         dependency_ref: string;
     }, {
-        kind: "template-policy-fragment" | "contract-metric";
+        kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
         targets: ({
             level: "logical-unit";
         } | {
@@ -521,7 +521,7 @@ export declare const indexerArtifactDependencySetSchema: z.ZodObject<{
         group_projection_digest: string;
         dependency_ref: string;
     } | {
-        kind: "template-policy-fragment" | "contract-metric";
+        kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
         targets: ({
             level: "logical-unit";
         } | {
@@ -634,7 +634,7 @@ export declare const indexerArtifactDependencySetSchema: z.ZodObject<{
         group_projection_digest: string;
         dependency_ref: string;
     } | {
-        kind: "template-policy-fragment" | "contract-metric";
+        kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
         targets: ({
             level: "logical-unit";
         } | {
@@ -675,6 +675,7 @@ export declare function buildIndexerArtifactDependencySet(input: {
     workset: IndexerMainAuthorWorkset;
     run_envelope: unknown;
     dependency_view: unknown;
+    composition_input?: unknown;
     authorized_evidence_targets?: readonly IndexerAuthorizedEvidenceTarget[];
 }): IndexerArtifactDependencySet;
 export declare function validateIndexerArtifactDependencySet(input: {
@@ -683,6 +684,7 @@ export declare function validateIndexerArtifactDependencySet(input: {
     workset: IndexerMainAuthorWorkset;
     run_envelope: unknown;
     dependency_view: unknown;
+    composition_input?: unknown;
     authorized_evidence_targets?: readonly IndexerAuthorizedEvidenceTarget[];
 }): IndexerArtifactDependencySet;
 export declare function validateIndexerArtifactDependencyViewBinding(input: {