@c4a/context 0.7.5 → 0.7.9

package/indexerAgentStepProtocol.d.ts

@@ -48,16 +48,19 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
             repair_intent: z.ZodOptional<z.ZodObject<{
                 target_ref: z.ZodString;
                 instruction: z.ZodString;
+                current_markdown: z.ZodOptional<z.ZodString>;
             } & {
                 intent_digest: z.ZodString;
             }, "strict", z.ZodTypeAny, {
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             }, {
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             }>>;
         }, "strict", z.ZodTypeAny, {
             source_ref: string;
@@ -93,6 +96,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         }, {
             source_ref: string;
@@ -128,6 +132,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         }>, {
             source_ref: string;
@@ -163,6 +168,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         }, {
             source_ref: string;
@@ -198,6 +204,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         }>, z.ZodEffects<z.ZodObject<{
             stage: z.ZodLiteral<"author">;
@@ -403,16 +410,19 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
             repair_intent: z.ZodOptional<z.ZodObject<{
                 target_ref: z.ZodString;
                 instruction: z.ZodString;
+                current_markdown: z.ZodOptional<z.ZodString>;
             } & {
                 intent_digest: z.ZodString;
             }, "strict", z.ZodTypeAny, {
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             }, {
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             }>>;
         }, "strict", z.ZodTypeAny, {
             source_ref: string;
@@ -446,6 +456,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -504,6 +515,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -562,6 +574,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -620,6 +633,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -683,6 +697,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         } | {
             source_ref: string;
@@ -716,6 +731,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -779,6 +795,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         } | {
             source_ref: string;
@@ -812,6 +829,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -903,6 +921,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         } | {
             source_ref: string;
@@ -936,6 +955,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -1013,6 +1033,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         } | {
             source_ref: string;
@@ -1046,6 +1067,7 @@ declare const indexerMainAgentStepInputSchema: z.ZodObject<{
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -1182,16 +1204,19 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
             repair_intent: z.ZodOptional<z.ZodObject<{
                 target_ref: z.ZodString;
                 instruction: z.ZodString;
+                current_markdown: z.ZodOptional<z.ZodString>;
             } & {
                 intent_digest: z.ZodString;
             }, "strict", z.ZodTypeAny, {
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             }, {
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             }>>;
         }, "strict", z.ZodTypeAny, {
             source_ref: string;
@@ -1227,6 +1252,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         }, {
             source_ref: string;
@@ -1262,6 +1288,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         }>, {
             source_ref: string;
@@ -1297,6 +1324,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         }, {
             source_ref: string;
@@ -1332,6 +1360,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         }>, z.ZodEffects<z.ZodObject<{
             stage: z.ZodLiteral<"author">;
@@ -1537,16 +1566,19 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
             repair_intent: z.ZodOptional<z.ZodObject<{
                 target_ref: z.ZodString;
                 instruction: z.ZodString;
+                current_markdown: z.ZodOptional<z.ZodString>;
             } & {
                 intent_digest: z.ZodString;
             }, "strict", z.ZodTypeAny, {
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             }, {
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             }>>;
         }, "strict", z.ZodTypeAny, {
             source_ref: string;
@@ -1580,6 +1612,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -1638,6 +1671,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -1696,6 +1730,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -1754,6 +1789,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -1817,6 +1853,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         } | {
             source_ref: string;
@@ -1850,6 +1887,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -1913,6 +1951,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         } | {
             source_ref: string;
@@ -1946,6 +1985,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -2037,6 +2077,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         } | {
             source_ref: string;
@@ -2070,6 +2111,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({
@@ -2147,6 +2189,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
         } | {
             source_ref: string;
@@ -2180,6 +2223,7 @@ export declare const indexerAgentStepInputSchema: z.ZodDiscriminatedUnion<"stage
                 target_ref: string;
                 instruction: string;
                 intent_digest: string;
+                current_markdown?: string | undefined;
             } | undefined;
             target_resolution_view?: {
                 entries: ({

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;
+    }[];
+};