@c4a/context 0.7.1 → 0.7.4

package/indexerPrimaryProjection.d.ts

@@ -20,7 +20,6 @@ export declare const indexerPrimaryRegistryProjectionSchema: z.ZodObject<{
     customization: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>>>;
     projection_digest: z.ZodString;
 }, "strict", z.ZodTypeAny, {
-    operation: "main-index";
     protocol: "context.indexer.primary-registry-projection/v1";
     requirement_bindings: Record<string, IndexerJson>[];
     read_scope: Record<string, IndexerJson>;
@@ -29,11 +28,11 @@ export declare const indexerPrimaryRegistryProjectionSchema: z.ZodObject<{
         additional: Record<string, IndexerJson>[];
     };
     customization: Record<string, IndexerJson> | null;
+    operation: "main-index";
     indexer_id: string;
     provider_layers: Record<string, IndexerJson>[];
     projection_digest: string;
 }, {
-    operation: "main-index";
     protocol: "context.indexer.primary-registry-projection/v1";
     requirement_bindings: Record<string, IndexerJson>[];
     read_scope: Record<string, IndexerJson>;
@@ -42,6 +41,7 @@ export declare const indexerPrimaryRegistryProjectionSchema: z.ZodObject<{
         additional: Record<string, IndexerJson>[];
     };
     customization: Record<string, IndexerJson> | null;
+    operation: "main-index";
     indexer_id: string;
     provider_layers: Record<string, IndexerJson>[];
     projection_digest: string;
@@ -67,14 +67,14 @@ declare const primaryResourceBindingSchema: z.ZodObject<{
     ref: z.ZodString;
     digest: z.ZodString;
 }, "strict", z.ZodTypeAny, {
-    kind: string;
     ref: string;
+    kind: string;
     digest: string;
     layer_ref: string;
     phase: "primary" | "pre-authority";
 }, {
-    kind: string;
     ref: string;
+    kind: string;
     digest: string;
     layer_ref: string;
     phase: "primary" | "pre-authority";
@@ -96,14 +96,14 @@ export declare const indexerPrimaryExecutionProjectionSchema: z.ZodEffects<z.Zod
         ref: z.ZodString;
         digest: z.ZodString;
     }, "strict", z.ZodTypeAny, {
-        kind: string;
         ref: string;
+        kind: string;
         digest: string;
         layer_ref: string;
         phase: "primary" | "pre-authority";
     }, {
-        kind: string;
         ref: string;
+        kind: string;
         digest: string;
         layer_ref: string;
         phase: "primary" | "pre-authority";
@@ -146,8 +146,8 @@ export declare const indexerPrimaryExecutionProjectionSchema: z.ZodEffects<z.Zod
     config_digest: string;
     cli_contract_digest: string;
     resources: {
-        kind: string;
         ref: string;
+        kind: string;
         digest: string;
         layer_ref: string;
         phase: "primary" | "pre-authority";
@@ -173,8 +173,8 @@ export declare const indexerPrimaryExecutionProjectionSchema: z.ZodEffects<z.Zod
     config_digest: string;
     cli_contract_digest: string;
     resources: {
-        kind: string;
         ref: string;
+        kind: string;
         digest: string;
         layer_ref: string;
         phase: "primary" | "pre-authority";
@@ -200,8 +200,8 @@ export declare const indexerPrimaryExecutionProjectionSchema: z.ZodEffects<z.Zod
     config_digest: string;
     cli_contract_digest: string;
     resources: {
-        kind: string;
         ref: string;
+        kind: string;
         digest: string;
         layer_ref: string;
         phase: "primary" | "pre-authority";
@@ -227,8 +227,8 @@ export declare const indexerPrimaryExecutionProjectionSchema: z.ZodEffects<z.Zod
     config_digest: string;
     cli_contract_digest: string;
     resources: {
-        kind: string;
         ref: string;
+        kind: string;
         digest: string;
         layer_ref: string;
         phase: "primary" | "pre-authority";

package/indexerPrimaryResultView.d.ts

@@ -0,0 +1,435 @@
+import { z } from "zod";
+import { type IndexerArtifactResult } from "./indexerArtifactResult.js";
+import type { IndexerJson } from "./indexerRegistry.js";
+declare const primaryFactSchema: z.ZodObject<{
+    fact_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;
+    }>;
+    fact_kind: z.ZodEffects<z.ZodString, string, string>;
+    value: z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>;
+    evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
+        ref: z.ZodString;
+        kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+        source_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        ref: string;
+        kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_digest: string;
+    }, {
+        ref: string;
+        kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_digest: string;
+    }>, "many">, {
+        ref: string;
+        kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_digest: string;
+    }[], {
+        ref: string;
+        kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_digest: string;
+    }[]>;
+}, "strict", z.ZodTypeAny, {
+    value: IndexerJson;
+    fact_ref: string;
+    fact_kind: string;
+    subject_key: {
+        kind: string;
+        namespace: string;
+        protocol: "context.subject-key/v1";
+        local_key: string;
+    };
+    evidence_refs: {
+        ref: string;
+        kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_digest: string;
+    }[];
+}, {
+    value: IndexerJson;
+    fact_ref: string;
+    fact_kind: string;
+    subject_key: {
+        kind: string;
+        namespace: string;
+        protocol: "context.subject-key/v1";
+        local_key: string;
+    };
+    evidence_refs: {
+        ref: string;
+        kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_digest: string;
+    }[];
+}>;
+declare const primaryArtifactSchema: z.ZodObject<{
+    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;
+    }>;
+    artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+    artifact_policy_variant: z.ZodEffects<z.ZodString, string, string>;
+    variables: z.ZodRecord<z.ZodString, z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>>;
+    evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
+        ref: z.ZodString;
+        kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+        source_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        ref: string;
+        kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_digest: string;
+    }, {
+        ref: string;
+        kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_digest: string;
+    }>, "many">, {
+        ref: string;
+        kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_digest: string;
+    }[], {
+        ref: string;
+        kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_digest: string;
+    }[]>;
+}, "strict", z.ZodTypeAny, {
+    subject_key: {
+        kind: string;
+        namespace: string;
+        protocol: "context.subject-key/v1";
+        local_key: string;
+    };
+    evidence_refs: {
+        ref: string;
+        kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_digest: string;
+    }[];
+    artifact_kind: string;
+    variables: Record<string, IndexerJson>;
+    artifact_policy_variant: string;
+    artifact_ref: string;
+}, {
+    subject_key: {
+        kind: string;
+        namespace: string;
+        protocol: "context.subject-key/v1";
+        local_key: string;
+    };
+    evidence_refs: {
+        ref: string;
+        kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        source_digest: string;
+    }[];
+    artifact_kind: string;
+    variables: Record<string, IndexerJson>;
+    artifact_policy_variant: string;
+    artifact_ref: string;
+}>;
+export declare const indexerPrimaryResultViewSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.primary-result-view/v1">;
+    workset_digest: z.ZodString;
+    primary_result_digest: z.ZodString;
+    primary_result_protocol: z.ZodLiteral<"context.indexer.main-result/v1">;
+    facts: z.ZodArray<z.ZodObject<{
+        fact_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;
+        }>;
+        fact_kind: z.ZodEffects<z.ZodString, string, string>;
+        value: z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>;
+        evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
+            ref: z.ZodString;
+            kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+            source_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }, {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }>, "many">, {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }[], {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }[]>;
+    }, "strict", z.ZodTypeAny, {
+        value: IndexerJson;
+        fact_ref: string;
+        fact_kind: string;
+        subject_key: {
+            kind: string;
+            namespace: string;
+            protocol: "context.subject-key/v1";
+            local_key: string;
+        };
+        evidence_refs: {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }[];
+    }, {
+        value: IndexerJson;
+        fact_ref: string;
+        fact_kind: string;
+        subject_key: {
+            kind: string;
+            namespace: string;
+            protocol: "context.subject-key/v1";
+            local_key: string;
+        };
+        evidence_refs: {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }[];
+    }>, "many">;
+    artifacts: z.ZodArray<z.ZodObject<{
+        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;
+        }>;
+        artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+        artifact_policy_variant: z.ZodEffects<z.ZodString, string, string>;
+        variables: z.ZodRecord<z.ZodString, z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>>;
+        evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
+            ref: z.ZodString;
+            kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+            source_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }, {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }>, "many">, {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }[], {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }[]>;
+    }, "strict", z.ZodTypeAny, {
+        subject_key: {
+            kind: string;
+            namespace: string;
+            protocol: "context.subject-key/v1";
+            local_key: string;
+        };
+        evidence_refs: {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }[];
+        artifact_kind: string;
+        variables: Record<string, IndexerJson>;
+        artifact_policy_variant: string;
+        artifact_ref: string;
+    }, {
+        subject_key: {
+            kind: string;
+            namespace: string;
+            protocol: "context.subject-key/v1";
+            local_key: string;
+        };
+        evidence_refs: {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }[];
+        artifact_kind: string;
+        variables: Record<string, IndexerJson>;
+        artifact_policy_variant: string;
+        artifact_ref: string;
+    }>, "many">;
+    view_digest: z.ZodString;
+    materialization_receipt: z.ZodObject<{
+        protocol: z.ZodLiteral<"context.indexer.primary-result-view-materialization-receipt/v1">;
+        workset_digest: z.ZodString;
+        primary_result_digest: z.ZodString;
+        view_digest: z.ZodString;
+        validator_contract_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+        workset_digest: string;
+        validator_contract_digest: string;
+        view_digest: string;
+        primary_result_digest: string;
+    }, {
+        protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+        workset_digest: string;
+        validator_contract_digest: string;
+        view_digest: string;
+        primary_result_digest: string;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.primary-result-view/v1";
+    facts: {
+        value: IndexerJson;
+        fact_ref: string;
+        fact_kind: string;
+        subject_key: {
+            kind: string;
+            namespace: string;
+            protocol: "context.subject-key/v1";
+            local_key: string;
+        };
+        evidence_refs: {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }[];
+    }[];
+    workset_digest: string;
+    materialization_receipt: {
+        protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+        workset_digest: string;
+        validator_contract_digest: string;
+        view_digest: string;
+        primary_result_digest: string;
+    };
+    view_digest: string;
+    artifacts: {
+        subject_key: {
+            kind: string;
+            namespace: string;
+            protocol: "context.subject-key/v1";
+            local_key: string;
+        };
+        evidence_refs: {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }[];
+        artifact_kind: string;
+        variables: Record<string, IndexerJson>;
+        artifact_policy_variant: string;
+        artifact_ref: string;
+    }[];
+    primary_result_digest: string;
+    primary_result_protocol: "context.indexer.main-result/v1";
+}, {
+    protocol: "context.indexer.primary-result-view/v1";
+    facts: {
+        value: IndexerJson;
+        fact_ref: string;
+        fact_kind: string;
+        subject_key: {
+            kind: string;
+            namespace: string;
+            protocol: "context.subject-key/v1";
+            local_key: string;
+        };
+        evidence_refs: {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }[];
+    }[];
+    workset_digest: string;
+    materialization_receipt: {
+        protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+        workset_digest: string;
+        validator_contract_digest: string;
+        view_digest: string;
+        primary_result_digest: string;
+    };
+    view_digest: string;
+    artifacts: {
+        subject_key: {
+            kind: string;
+            namespace: string;
+            protocol: "context.subject-key/v1";
+            local_key: string;
+        };
+        evidence_refs: {
+            ref: string;
+            kind: "code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            source_digest: string;
+        }[];
+        artifact_kind: string;
+        variables: Record<string, IndexerJson>;
+        artifact_policy_variant: string;
+        artifact_ref: string;
+    }[];
+    primary_result_digest: string;
+    primary_result_protocol: "context.indexer.main-result/v1";
+}>;
+export type IndexerPrimaryFactView = z.infer<typeof primaryFactSchema>;
+export type IndexerPrimaryArtifactView = z.infer<typeof primaryArtifactSchema>;
+export type IndexerPrimaryResultView = z.infer<typeof indexerPrimaryResultViewSchema>;
+type PrimaryResultViewContent = Omit<IndexerPrimaryResultView, "view_digest" | "materialization_receipt">;
+export declare function indexerPrimaryResultViewDigest(view: PrimaryResultViewContent): string;
+export declare function materializeIndexerPrimaryResultView(input: {
+    workset_digest: string;
+    primary_result_digest: string;
+    facts: readonly IndexerPrimaryFactView[];
+    artifacts: readonly IndexerPrimaryArtifactView[];
+    validator_contract_digest: string;
+}): IndexerPrimaryResultView;
+export declare function validateIndexerPrimaryArtifactResult(value: unknown): IndexerArtifactResult;
+export declare function materializeIndexerPrimaryResultViewFromArtifactResult(input: {
+    artifact_result: unknown;
+    primary_result_digest: string;
+    validator_contract_digest: string;
+}): IndexerPrimaryResultView;
+export declare function validateIndexerPrimaryResultView(value: unknown): IndexerPrimaryResultView;
+export {};