@c4a/context 0.6.19 → 0.7.0

package/indexerToolSnapshot.d.ts

@@ -0,0 +1,431 @@
+import { z } from "zod";
+declare const toolSnapshotPageSchema: z.ZodObject<{
+    page_ref: z.ZodString;
+    cursor_in: z.ZodNullable<z.ZodString>;
+    cursor_out: z.ZodNullable<z.ZodString>;
+    item_count: z.ZodNumber;
+    response_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    page_ref: string;
+    cursor_in: string | null;
+    cursor_out: string | null;
+    item_count: number;
+    response_digest: string;
+}, {
+    page_ref: string;
+    cursor_in: string | null;
+    cursor_out: string | null;
+    item_count: number;
+    response_digest: string;
+}>;
+export declare const indexerToolSnapshotSchema: z.ZodEffects<z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.tool-snapshot/v1">;
+    tool: z.ZodObject<{
+        id: z.ZodEffects<z.ZodString, string, string>;
+        version: z.ZodString;
+        implementation_digest: z.ZodString;
+        authority_ref: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        version: string;
+        implementation_digest: string;
+        authority_ref: string;
+    }, {
+        id: string;
+        version: string;
+        implementation_digest: string;
+        authority_ref: string;
+    }>;
+    source: z.ZodObject<{
+        source_ref: z.ZodString;
+        module_ref: z.ZodNullable<z.ZodString>;
+        input_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        source_ref: string;
+        module_ref: string | null;
+        input_digest: string;
+    }, {
+        source_ref: string;
+        module_ref: string | null;
+        input_digest: string;
+    }>;
+    resource: z.ZodObject<{
+        provider: z.ZodEffects<z.ZodString, string, string>;
+        kind: z.ZodEffects<z.ZodString, string, string>;
+        identity: z.ZodString;
+        endpoint_type: z.ZodEffects<z.ZodString, string, string>;
+        protocol: z.ZodEffects<z.ZodString, string, string>;
+        resolved_revision: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: string;
+        protocol: string;
+        provider: string;
+        identity: string;
+        endpoint_type: string;
+        resolved_revision: string;
+    }, {
+        kind: string;
+        protocol: string;
+        provider: string;
+        identity: string;
+        endpoint_type: string;
+        resolved_revision: string;
+    }>;
+    location: z.ZodObject<{
+        site: z.ZodString;
+        region: z.ZodNullable<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        site: string;
+        region: string | null;
+    }, {
+        site: string;
+        region: string | null;
+    }>;
+    query: z.ZodObject<{
+        operation: z.ZodEffects<z.ZodString, string, string>;
+        arguments_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        operation: string;
+        arguments_digest: string;
+    }, {
+        operation: string;
+        arguments_digest: string;
+    }>;
+    pages: z.ZodArray<z.ZodObject<{
+        page_ref: z.ZodString;
+        cursor_in: z.ZodNullable<z.ZodString>;
+        cursor_out: z.ZodNullable<z.ZodString>;
+        item_count: z.ZodNumber;
+        response_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        page_ref: string;
+        cursor_in: string | null;
+        cursor_out: string | null;
+        item_count: number;
+        response_digest: string;
+    }, {
+        page_ref: string;
+        cursor_in: string | null;
+        cursor_out: string | null;
+        item_count: number;
+        response_digest: string;
+    }>, "many">;
+    completion: z.ZodObject<{
+        state: z.ZodEnum<["complete", "partial"]>;
+        next_cursor: z.ZodNullable<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        state: "complete" | "partial";
+        next_cursor: string | null;
+    }, {
+        state: "complete" | "partial";
+        next_cursor: string | null;
+    }>;
+    observation: z.ZodObject<{
+        observed_at: z.ZodString;
+        response_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        response_digest: string;
+        observed_at: string;
+    }, {
+        response_digest: string;
+        observed_at: string;
+    }>;
+    snapshot_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.tool-snapshot/v1";
+    source: {
+        source_ref: string;
+        module_ref: string | null;
+        input_digest: string;
+    };
+    pages: {
+        page_ref: string;
+        cursor_in: string | null;
+        cursor_out: string | null;
+        item_count: number;
+        response_digest: string;
+    }[];
+    tool: {
+        id: string;
+        version: string;
+        implementation_digest: string;
+        authority_ref: string;
+    };
+    resource: {
+        kind: string;
+        protocol: string;
+        provider: string;
+        identity: string;
+        endpoint_type: string;
+        resolved_revision: string;
+    };
+    location: {
+        site: string;
+        region: string | null;
+    };
+    query: {
+        operation: string;
+        arguments_digest: string;
+    };
+    completion: {
+        state: "complete" | "partial";
+        next_cursor: string | null;
+    };
+    observation: {
+        response_digest: string;
+        observed_at: string;
+    };
+    snapshot_digest: string;
+}, {
+    protocol: "context.indexer.tool-snapshot/v1";
+    source: {
+        source_ref: string;
+        module_ref: string | null;
+        input_digest: string;
+    };
+    pages: {
+        page_ref: string;
+        cursor_in: string | null;
+        cursor_out: string | null;
+        item_count: number;
+        response_digest: string;
+    }[];
+    tool: {
+        id: string;
+        version: string;
+        implementation_digest: string;
+        authority_ref: string;
+    };
+    resource: {
+        kind: string;
+        protocol: string;
+        provider: string;
+        identity: string;
+        endpoint_type: string;
+        resolved_revision: string;
+    };
+    location: {
+        site: string;
+        region: string | null;
+    };
+    query: {
+        operation: string;
+        arguments_digest: string;
+    };
+    completion: {
+        state: "complete" | "partial";
+        next_cursor: string | null;
+    };
+    observation: {
+        response_digest: string;
+        observed_at: string;
+    };
+    snapshot_digest: string;
+}>, {
+    protocol: "context.indexer.tool-snapshot/v1";
+    source: {
+        source_ref: string;
+        module_ref: string | null;
+        input_digest: string;
+    };
+    pages: {
+        page_ref: string;
+        cursor_in: string | null;
+        cursor_out: string | null;
+        item_count: number;
+        response_digest: string;
+    }[];
+    tool: {
+        id: string;
+        version: string;
+        implementation_digest: string;
+        authority_ref: string;
+    };
+    resource: {
+        kind: string;
+        protocol: string;
+        provider: string;
+        identity: string;
+        endpoint_type: string;
+        resolved_revision: string;
+    };
+    location: {
+        site: string;
+        region: string | null;
+    };
+    query: {
+        operation: string;
+        arguments_digest: string;
+    };
+    completion: {
+        state: "complete" | "partial";
+        next_cursor: string | null;
+    };
+    observation: {
+        response_digest: string;
+        observed_at: string;
+    };
+    snapshot_digest: string;
+}, {
+    protocol: "context.indexer.tool-snapshot/v1";
+    source: {
+        source_ref: string;
+        module_ref: string | null;
+        input_digest: string;
+    };
+    pages: {
+        page_ref: string;
+        cursor_in: string | null;
+        cursor_out: string | null;
+        item_count: number;
+        response_digest: string;
+    }[];
+    tool: {
+        id: string;
+        version: string;
+        implementation_digest: string;
+        authority_ref: string;
+    };
+    resource: {
+        kind: string;
+        protocol: string;
+        provider: string;
+        identity: string;
+        endpoint_type: string;
+        resolved_revision: string;
+    };
+    location: {
+        site: string;
+        region: string | null;
+    };
+    query: {
+        operation: string;
+        arguments_digest: string;
+    };
+    completion: {
+        state: "complete" | "partial";
+        next_cursor: string | null;
+    };
+    observation: {
+        response_digest: string;
+        observed_at: string;
+    };
+    snapshot_digest: string;
+}>;
+export type IndexerToolSnapshot = z.infer<typeof indexerToolSnapshotSchema>;
+export declare const indexerToolSnapshotReadReceiptSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.tool-snapshot-read-receipt/v1">;
+    handler: z.ZodString;
+    authority: z.ZodObject<{
+        ref: z.ZodString;
+        digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        ref: string;
+        digest: string;
+    }, {
+        ref: string;
+        digest: string;
+    }>;
+    request: z.ZodObject<{
+        source_ref: z.ZodString;
+        module_ref: z.ZodNullable<z.ZodString>;
+        input_digest: z.ZodString;
+        request_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        source_ref: string;
+        module_ref: string | null;
+        input_digest: string;
+        request_digest: string;
+    }, {
+        source_ref: string;
+        module_ref: string | null;
+        input_digest: string;
+        request_digest: string;
+    }>;
+    output: z.ZodObject<{
+        snapshot_digest: z.ZodString;
+        response_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        response_digest: string;
+        snapshot_digest: string;
+    }, {
+        response_digest: string;
+        snapshot_digest: string;
+    }>;
+    receipt_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.tool-snapshot-read-receipt/v1";
+    handler: string;
+    authority: {
+        ref: string;
+        digest: string;
+    };
+    output: {
+        response_digest: string;
+        snapshot_digest: string;
+    };
+    request: {
+        source_ref: string;
+        module_ref: string | null;
+        input_digest: string;
+        request_digest: string;
+    };
+    receipt_digest: string;
+}, {
+    protocol: "context.indexer.tool-snapshot-read-receipt/v1";
+    handler: string;
+    authority: {
+        ref: string;
+        digest: string;
+    };
+    output: {
+        response_digest: string;
+        snapshot_digest: string;
+    };
+    request: {
+        source_ref: string;
+        module_ref: string | null;
+        input_digest: string;
+        request_digest: string;
+    };
+    receipt_digest: string;
+}>;
+export type IndexerToolSnapshotReadReceipt = z.infer<typeof indexerToolSnapshotReadReceiptSchema>;
+export interface ExpectedIndexerToolSnapshotRead {
+    handler: string;
+    authority_ref: string;
+    authority_digest: string;
+    source_ref: string;
+    module_ref: string | null;
+    input_digest: string;
+}
+export declare function indexerToolSnapshotPageRef(input: {
+    resource_identity: string;
+    query_arguments_digest: string;
+    cursor_in: string | null;
+    response_digest: string;
+}): string;
+export declare function indexerToolSnapshotResponseDigest(pages: readonly Pick<z.infer<typeof toolSnapshotPageSchema>, "page_ref" | "item_count" | "response_digest">[]): string;
+export declare function indexerToolSnapshotDigest(value: Omit<IndexerToolSnapshot, "snapshot_digest">): string;
+export declare function indexerToolSnapshotReadRequestDigest(input: {
+    snapshot: IndexerToolSnapshot;
+    handler: string;
+    authority_ref: string;
+    authority_digest: string;
+}): string;
+export declare function indexerToolSnapshotReadReceiptDigest(value: Omit<IndexerToolSnapshotReadReceipt, "receipt_digest">): string;
+export declare function buildIndexerToolSnapshotReadReceipt(input: {
+    snapshot: unknown;
+    handler: string;
+    authority_digest: string;
+}): IndexerToolSnapshotReadReceipt;
+export declare function validateIndexerToolSnapshot(value: unknown): IndexerToolSnapshot;
+export declare function validateAuthorizedIndexerToolSnapshot(input: {
+    value: unknown;
+    receipt: unknown;
+    expected: ExpectedIndexerToolSnapshotRead;
+}): {
+    snapshot: IndexerToolSnapshot;
+    receipt: IndexerToolSnapshotReadReceipt;
+};
+export {};

package/indexerWorksetRead.d.ts

@@ -0,0 +1,287 @@
+import { z } from "zod";
+export type IndexerReadJson = null | boolean | number | string | IndexerReadJson[] | {
+    [key: string]: IndexerReadJson;
+};
+export declare const indexerWorksetReadRequestSchema: z.ZodEffects<z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.workset-read-request/v1">;
+    workset_digest: z.ZodString;
+    read_kind: z.ZodEnum<["source", "evidence"]>;
+    requested_refs: z.ZodArray<z.ZodString, "many">;
+    request_digest: z.ZodString;
+    transport: z.ZodObject<{
+        cursor: z.ZodOptional<z.ZodString>;
+        page_size: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        page_size: number;
+        cursor?: string | undefined;
+    }, {
+        page_size: number;
+        cursor?: string | undefined;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.workset-read-request/v1";
+    workset_digest: string;
+    request_digest: string;
+    transport: {
+        page_size: number;
+        cursor?: string | undefined;
+    };
+    read_kind: "source" | "evidence";
+    requested_refs: string[];
+}, {
+    protocol: "context.indexer.workset-read-request/v1";
+    workset_digest: string;
+    request_digest: string;
+    transport: {
+        page_size: number;
+        cursor?: string | undefined;
+    };
+    read_kind: "source" | "evidence";
+    requested_refs: string[];
+}>, {
+    protocol: "context.indexer.workset-read-request/v1";
+    workset_digest: string;
+    request_digest: string;
+    transport: {
+        page_size: number;
+        cursor?: string | undefined;
+    };
+    read_kind: "source" | "evidence";
+    requested_refs: string[];
+}, {
+    protocol: "context.indexer.workset-read-request/v1";
+    workset_digest: string;
+    request_digest: string;
+    transport: {
+        page_size: number;
+        cursor?: string | undefined;
+    };
+    read_kind: "source" | "evidence";
+    requested_refs: string[];
+}>;
+export type IndexerWorksetReadRequest = z.infer<typeof indexerWorksetReadRequestSchema>;
+type ReadRequestIdentity = Pick<IndexerWorksetReadRequest, "protocol" | "workset_digest" | "read_kind" | "requested_refs">;
+export declare function indexerWorksetReadRequestDigest(value: ReadRequestIdentity): string;
+export declare function buildIndexerWorksetReadRequest(input: {
+    workset_digest: string;
+    read_kind: IndexerWorksetReadRequest["read_kind"];
+    requested_refs: readonly string[];
+    allowed_refs: readonly string[];
+    cursor?: string;
+    page_size: number;
+}): IndexerWorksetReadRequest;
+export declare function validateIndexerWorksetReadRequest(input: {
+    request: unknown;
+    expected_workset_digest: string;
+    allowed_refs: readonly string[];
+}): IndexerWorksetReadRequest;
+declare const readItemPayloadSchema: z.ZodObject<{
+    ref: z.ZodString;
+    value: z.ZodType<IndexerReadJson, z.ZodTypeDef, IndexerReadJson>;
+}, "strict", z.ZodTypeAny, {
+    ref: string;
+    value: IndexerReadJson;
+}, {
+    ref: string;
+    value: IndexerReadJson;
+}>;
+export declare const indexerWorksetReadResponseSchema: z.ZodEffects<z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.workset-read-response/v1">;
+    request_digest: z.ZodString;
+    workset_digest: z.ZodString;
+    read_kind: z.ZodEnum<["source", "evidence"]>;
+    items: z.ZodArray<z.ZodObject<{
+        ref: z.ZodString;
+        value: z.ZodType<IndexerReadJson, z.ZodTypeDef, IndexerReadJson>;
+    } & {
+        item_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        ref: string;
+        value: IndexerReadJson;
+        item_digest: string;
+    }, {
+        ref: string;
+        value: IndexerReadJson;
+        item_digest: string;
+    }>, "many">;
+    page_payload_digest: z.ZodString;
+    transport: z.ZodObject<{
+        request_cursor: z.ZodOptional<z.ZodString>;
+        next_cursor: z.ZodOptional<z.ZodString>;
+        complete: z.ZodBoolean;
+    }, "strict", z.ZodTypeAny, {
+        complete: boolean;
+        next_cursor?: string | undefined;
+        request_cursor?: string | undefined;
+    }, {
+        complete: boolean;
+        next_cursor?: string | undefined;
+        request_cursor?: string | undefined;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.workset-read-response/v1";
+    workset_digest: string;
+    request_digest: string;
+    transport: {
+        complete: boolean;
+        next_cursor?: string | undefined;
+        request_cursor?: string | undefined;
+    };
+    items: {
+        ref: string;
+        value: IndexerReadJson;
+        item_digest: string;
+    }[];
+    read_kind: "source" | "evidence";
+    page_payload_digest: string;
+}, {
+    protocol: "context.indexer.workset-read-response/v1";
+    workset_digest: string;
+    request_digest: string;
+    transport: {
+        complete: boolean;
+        next_cursor?: string | undefined;
+        request_cursor?: string | undefined;
+    };
+    items: {
+        ref: string;
+        value: IndexerReadJson;
+        item_digest: string;
+    }[];
+    read_kind: "source" | "evidence";
+    page_payload_digest: string;
+}>, {
+    protocol: "context.indexer.workset-read-response/v1";
+    workset_digest: string;
+    request_digest: string;
+    transport: {
+        complete: boolean;
+        next_cursor?: string | undefined;
+        request_cursor?: string | undefined;
+    };
+    items: {
+        ref: string;
+        value: IndexerReadJson;
+        item_digest: string;
+    }[];
+    read_kind: "source" | "evidence";
+    page_payload_digest: string;
+}, {
+    protocol: "context.indexer.workset-read-response/v1";
+    workset_digest: string;
+    request_digest: string;
+    transport: {
+        complete: boolean;
+        next_cursor?: string | undefined;
+        request_cursor?: string | undefined;
+    };
+    items: {
+        ref: string;
+        value: IndexerReadJson;
+        item_digest: string;
+    }[];
+    read_kind: "source" | "evidence";
+    page_payload_digest: string;
+}>;
+export type IndexerWorksetReadResponse = z.infer<typeof indexerWorksetReadResponseSchema>;
+type ReadItemPayload = z.infer<typeof readItemPayloadSchema>;
+export declare function indexerWorksetReadItemDigest(value: ReadItemPayload): string;
+type ReadPagePayload = Pick<IndexerWorksetReadResponse, "protocol" | "request_digest" | "workset_digest" | "read_kind" | "items">;
+export declare function indexerWorksetReadPagePayloadDigest(value: ReadPagePayload): string;
+export declare function buildIndexerWorksetReadResponse(input: {
+    request: IndexerWorksetReadRequest;
+    items: readonly ReadItemPayload[];
+    request_cursor?: string;
+    next_cursor?: string;
+}): IndexerWorksetReadResponse;
+export declare function validateIndexerWorksetReadResponse(input: {
+    response: unknown;
+    request: IndexerWorksetReadRequest;
+}): IndexerWorksetReadResponse;
+declare const readSetEntrySchema: z.ZodObject<{
+    ref: z.ZodString;
+    item_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    ref: string;
+    item_digest: string;
+}, {
+    ref: string;
+    item_digest: string;
+}>;
+export declare const indexerWorksetReadReceiptSchema: z.ZodEffects<z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.workset-read-receipt/v1">;
+    workset_digest: z.ZodString;
+    request_digest: z.ZodString;
+    read_kind: z.ZodEnum<["source", "evidence"]>;
+    read_set: z.ZodArray<z.ZodObject<{
+        ref: z.ZodString;
+        item_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        ref: string;
+        item_digest: string;
+    }, {
+        ref: string;
+        item_digest: string;
+    }>, "many">;
+    read_set_digest: z.ZodString;
+    page_payload_digests: z.ZodArray<z.ZodString, "many">;
+    receipt_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.workset-read-receipt/v1";
+    workset_digest: string;
+    request_digest: string;
+    receipt_digest: string;
+    read_kind: "source" | "evidence";
+    read_set: {
+        ref: string;
+        item_digest: string;
+    }[];
+    read_set_digest: string;
+    page_payload_digests: string[];
+}, {
+    protocol: "context.indexer.workset-read-receipt/v1";
+    workset_digest: string;
+    request_digest: string;
+    receipt_digest: string;
+    read_kind: "source" | "evidence";
+    read_set: {
+        ref: string;
+        item_digest: string;
+    }[];
+    read_set_digest: string;
+    page_payload_digests: string[];
+}>, {
+    protocol: "context.indexer.workset-read-receipt/v1";
+    workset_digest: string;
+    request_digest: string;
+    receipt_digest: string;
+    read_kind: "source" | "evidence";
+    read_set: {
+        ref: string;
+        item_digest: string;
+    }[];
+    read_set_digest: string;
+    page_payload_digests: string[];
+}, {
+    protocol: "context.indexer.workset-read-receipt/v1";
+    workset_digest: string;
+    request_digest: string;
+    receipt_digest: string;
+    read_kind: "source" | "evidence";
+    read_set: {
+        ref: string;
+        item_digest: string;
+    }[];
+    read_set_digest: string;
+    page_payload_digests: string[];
+}>;
+export type IndexerWorksetReadReceipt = z.infer<typeof indexerWorksetReadReceiptSchema>;
+type ReadReceiptPayload = Omit<IndexerWorksetReadReceipt, "receipt_digest">;
+export declare function indexerWorksetReadSetDigest(value: readonly z.infer<typeof readSetEntrySchema>[]): string;
+export declare function indexerWorksetReadReceiptDigest(value: ReadReceiptPayload): string;
+export declare function buildIndexerWorksetReadReceipt(input: {
+    request: IndexerWorksetReadRequest;
+    responses: readonly unknown[];
+}): IndexerWorksetReadReceipt;
+export declare function validateIndexerWorksetReadReceipt(value: unknown): IndexerWorksetReadReceipt;
+export {};