@c4a/context 0.7.5 → 0.7.9

package/indexerDependencyView.d.ts

@@ -28,7 +28,7 @@ export declare const indexerDependencyTargetSchema: z.ZodDiscriminatedUnion<"lev
     level: "section";
 }>]>;
 export type IndexerDependencyTarget = z.infer<typeof indexerDependencyTargetSchema>;
-export declare const indexerPositiveDependencyNodeInputSchema: z.ZodUnion<[z.ZodObject<{
+export declare const indexerPositiveDependencyNodeInputSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
     kind: z.ZodLiteral<"source-span">;
     evidence_ref: z.ZodString;
     source_ref: z.ZodString;
@@ -249,7 +249,7 @@ export declare const indexerPositiveDependencyNodeInputSchema: z.ZodUnion<[z.Zod
     logical_unit_ref: string;
     group_projection_digest: 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<{
@@ -281,7 +281,7 @@ export declare const indexerPositiveDependencyNodeInputSchema: z.ZodUnion<[z.Zod
         level: "section";
     }>]>, "many">;
 }, "strict", z.ZodTypeAny, {
-    kind: "template-policy-fragment" | "contract-metric";
+    kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
     targets: ({
         level: "logical-unit";
     } | {
@@ -295,7 +295,7 @@ export declare const indexerPositiveDependencyNodeInputSchema: z.ZodUnion<[z.Zod
     content_digest: string;
     target_ref: string;
 }, {
-    kind: "template-policy-fragment" | "contract-metric";
+    kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
     targets: ({
         level: "logical-unit";
     } | {
@@ -606,7 +606,7 @@ export declare const indexerLogicalUnitDependencyNodeSchema: z.ZodObject<{
     group_projection_digest: string;
 }>;
 export declare const indexerResourceDependencyNodeSchema: 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<{
@@ -640,7 +640,7 @@ export declare const indexerResourceDependencyNodeSchema: z.ZodObject<{
 } & {
     node_ref: z.ZodString;
 }, "strict", z.ZodTypeAny, {
-    kind: "template-policy-fragment" | "contract-metric";
+    kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
     targets: ({
         level: "logical-unit";
     } | {
@@ -655,7 +655,7 @@ export declare const indexerResourceDependencyNodeSchema: z.ZodObject<{
     target_ref: string;
     node_ref: string;
 }, {
-    kind: "template-policy-fragment" | "contract-metric";
+    kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
     targets: ({
         level: "logical-unit";
     } | {
@@ -670,7 +670,7 @@ export declare const indexerResourceDependencyNodeSchema: z.ZodObject<{
     target_ref: string;
     node_ref: string;
 }>;
-export declare const indexerPositiveDependencyNodeSchema: z.ZodUnion<[z.ZodObject<{
+export declare const indexerPositiveDependencyNodeSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
     kind: z.ZodLiteral<"source-span">;
     evidence_ref: z.ZodString;
     source_ref: z.ZodString;
@@ -903,7 +903,7 @@ export declare const indexerPositiveDependencyNodeSchema: z.ZodUnion<[z.ZodObjec
     node_ref: string;
     group_projection_digest: 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<{
@@ -937,7 +937,7 @@ export declare const indexerPositiveDependencyNodeSchema: z.ZodUnion<[z.ZodObjec
 } & {
     node_ref: z.ZodString;
 }, "strict", z.ZodTypeAny, {
-    kind: "template-policy-fragment" | "contract-metric";
+    kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
     targets: ({
         level: "logical-unit";
     } | {
@@ -952,7 +952,7 @@ export declare const indexerPositiveDependencyNodeSchema: z.ZodUnion<[z.ZodObjec
     target_ref: string;
     node_ref: string;
 }, {
-    kind: "template-policy-fragment" | "contract-metric";
+    kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
     targets: ({
         level: "logical-unit";
     } | {
@@ -1039,7 +1039,7 @@ export declare const indexerAuthorDependencyViewSchema: z.ZodObject<{
     source_ref: z.ZodString;
     module_ref: z.ZodNullable<z.ZodString>;
     logical_unit_ref: z.ZodString;
-    positive_nodes: z.ZodArray<z.ZodUnion<[z.ZodObject<{
+    positive_nodes: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
         kind: z.ZodLiteral<"source-span">;
         evidence_ref: z.ZodString;
         source_ref: z.ZodString;
@@ -1272,7 +1272,7 @@ export declare const indexerAuthorDependencyViewSchema: z.ZodObject<{
         node_ref: string;
         group_projection_digest: 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<{
@@ -1306,7 +1306,7 @@ export declare const indexerAuthorDependencyViewSchema: z.ZodObject<{
     } & {
         node_ref: z.ZodString;
     }, "strict", z.ZodTypeAny, {
-        kind: "template-policy-fragment" | "contract-metric";
+        kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
         targets: ({
             level: "logical-unit";
         } | {
@@ -1321,7 +1321,7 @@ export declare const indexerAuthorDependencyViewSchema: z.ZodObject<{
         target_ref: string;
         node_ref: string;
     }, {
-        kind: "template-policy-fragment" | "contract-metric";
+        kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
         targets: ({
             level: "logical-unit";
         } | {
@@ -1463,7 +1463,7 @@ export declare const indexerAuthorDependencyViewSchema: z.ZodObject<{
         node_ref: string;
         group_projection_digest: string;
     } | {
-        kind: "template-policy-fragment" | "contract-metric";
+        kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
         targets: ({
             level: "logical-unit";
         } | {
@@ -1554,7 +1554,7 @@ export declare const indexerAuthorDependencyViewSchema: z.ZodObject<{
         node_ref: string;
         group_projection_digest: string;
     } | {
-        kind: "template-policy-fragment" | "contract-metric";
+        kind: "template-policy-fragment" | "contract-metric" | "approved-knowledge";
         targets: ({
             level: "logical-unit";
         } | {

package/indexerEffectiveArtifact.d.ts

@@ -277,6 +277,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                     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>;
@@ -287,17 +288,17 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                         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>;
@@ -324,7 +325,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                         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[];
@@ -341,7 +342,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                         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[];
@@ -367,7 +368,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                         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[];
@@ -376,6 +377,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                             markdown: string;
                         })[];
                     }[];
+                    template_id?: string | undefined;
                 }, {
                     artifact_kind: string;
                     representation: "sections";
@@ -390,7 +392,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                         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[];
@@ -399,6 +401,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                             markdown: string;
                         })[];
                     }[];
+                    template_id?: string | undefined;
                 }>]>;
                 evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
                     ref: z.ZodString;
@@ -461,7 +464,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                         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[];
@@ -470,6 +473,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                             markdown: string;
                         })[];
                     }[];
+                    template_id?: string | undefined;
                 };
             }, {
                 evidence_refs: {
@@ -511,7 +515,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                         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[];
@@ -520,6 +524,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                             markdown: string;
                         })[];
                     }[];
+                    template_id?: string | undefined;
                 };
             }>, "many">;
         }, "strict", z.ZodTypeAny, {
@@ -564,7 +569,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                         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[];
@@ -573,6 +578,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                             markdown: string;
                         })[];
                     }[];
+                    template_id?: string | undefined;
                 };
             }[];
         }, {
@@ -617,7 +623,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                         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[];
@@ -626,6 +632,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                             markdown: string;
                         })[];
                     }[];
+                    template_id?: string | undefined;
                 };
             }[];
         }>]>;
@@ -724,7 +731,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                         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[];
@@ -733,6 +740,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                             markdown: string;
                         })[];
                     }[];
+                    template_id?: string | undefined;
                 };
             }[];
         };
@@ -821,7 +829,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                         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[];
@@ -830,6 +838,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                             markdown: string;
                         })[];
                     }[];
+                    template_id?: string | undefined;
                 };
             }[];
         };
@@ -961,7 +970,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                         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[];
@@ -970,6 +979,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                             markdown: string;
                         })[];
                     }[];
+                    template_id?: string | undefined;
                 };
             }[];
         };
@@ -1079,7 +1089,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                         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[];
@@ -1088,6 +1098,7 @@ export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
                             markdown: string;
                         })[];
                     }[];
+                    template_id?: string | undefined;
                 };
             }[];
         };

package/indexerExampleFactDependencies.d.ts

@@ -0,0 +1,17 @@
+import type { IndexerArtifactResult } from "./indexerArtifactResult.js";
+import { type IndexerAuthorDependencyView } from "./indexerDependencyView.js";
+import type { IndexerMainAuthorWorkset } from "./indexerMainWorkset.js";
+/** An Agent can identify a scenario in supplied source. This only attests its
+ * source coordinates and identity; it does not verify the example's behavior. */
+export declare function exampleFactDependencies(input: {
+    workset: IndexerMainAuthorWorkset;
+    dependency_view: IndexerAuthorDependencyView;
+    result: IndexerArtifactResult;
+}): {
+    node_ref: string;
+    kind: "selected-fact";
+    fact_ref: string;
+    fact_digest: string;
+    source_span_node_refs: string[];
+    targets: never[];
+}[];

package/indexerExampleIdentityAudit.d.ts

@@ -29,7 +29,6 @@ export declare const indexerExampleIdentityAuditSchema: z.ZodObject<{
 }, "strict", z.ZodTypeAny, {
     protocol: "context.indexer.example-identity-audit/v1";
     inventory_digest: string;
-    audit_digest: string;
     collisions: {
         example_ref: string;
         public_target_ref: string;
@@ -41,10 +40,10 @@ export declare const indexerExampleIdentityAuditSchema: z.ZodObject<{
     unique_example_count: number;
     collision_count: number;
     pass: boolean;
+    audit_digest: string;
 }, {
     protocol: "context.indexer.example-identity-audit/v1";
     inventory_digest: string;
-    audit_digest: string;
     collisions: {
         example_ref: string;
         public_target_ref: string;
@@ -56,6 +55,7 @@ export declare const indexerExampleIdentityAuditSchema: z.ZodObject<{
     unique_example_count: number;
     collision_count: number;
     pass: boolean;
+    audit_digest: string;
 }>;
 export type IndexerExampleIdentityAudit = z.infer<typeof indexerExampleIdentityAuditSchema>;
 export declare function indexerExampleIdentityAuditDigest(value: Omit<IndexerExampleIdentityAudit, "audit_digest">): string;