@artemiskit/core 0.5.3 → 0.6.1

package/dist/agent-workflow/schema.d.ts

@@ -0,0 +1,774 @@
+import { z } from 'zod';
+export type WorkflowJson = null | boolean | number | string | WorkflowJson[] | {
+    [key: string]: WorkflowJson;
+};
+/** Limit both recursive work and retained fixture size before schema parsing/cloning. */
+export declare function isWorkflowJson(value: unknown): value is WorkflowJson;
+export declare function isWorkflowRelativePath(value: string): boolean;
+export declare const WorkflowPolicySchema: z.ZodObject<{
+    network: z.ZodLiteral<"denied">;
+    side_effects: z.ZodEnum<["denied", "approval_required"]>;
+    permissions: z.ZodObject<{
+        documents: z.ZodOptional<z.ZodEnum<["read", "write"]>>;
+        records: z.ZodOptional<z.ZodEnum<["read", "write"]>>;
+        files: z.ZodOptional<z.ZodEnum<["read", "write"]>>;
+        workflow_state: z.ZodOptional<z.ZodEnum<["read", "write"]>>;
+        communication: z.ZodOptional<z.ZodEnum<["read", "write"]>>;
+        coordination: z.ZodOptional<z.ZodEnum<["read", "write"]>>;
+    }, "strict", z.ZodTypeAny, {
+        documents?: "read" | "write" | undefined;
+        records?: "read" | "write" | undefined;
+        files?: "read" | "write" | undefined;
+        workflow_state?: "read" | "write" | undefined;
+        communication?: "read" | "write" | undefined;
+        coordination?: "read" | "write" | undefined;
+    }, {
+        documents?: "read" | "write" | undefined;
+        records?: "read" | "write" | undefined;
+        files?: "read" | "write" | undefined;
+        workflow_state?: "read" | "write" | undefined;
+        communication?: "read" | "write" | undefined;
+        coordination?: "read" | "write" | undefined;
+    }>;
+    paths: z.ZodOptional<z.ZodObject<{
+        read: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+        write: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        read: string[];
+        write: string[];
+    }, {
+        read: string[];
+        write: string[];
+    }>>;
+    budgets: z.ZodObject<{
+        max_actions: z.ZodNumber;
+        max_model_requests: z.ZodOptional<z.ZodNumber>;
+        max_tool_calls: z.ZodOptional<z.ZodNumber>;
+        timeout_ms: z.ZodNumber;
+        max_tokens: z.ZodOptional<z.ZodNumber>;
+    }, "strict", z.ZodTypeAny, {
+        max_actions: number;
+        timeout_ms: number;
+        max_tokens?: number | undefined;
+        max_model_requests?: number | undefined;
+        max_tool_calls?: number | undefined;
+    }, {
+        max_actions: number;
+        timeout_ms: number;
+        max_tokens?: number | undefined;
+        max_model_requests?: number | undefined;
+        max_tool_calls?: number | undefined;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    network: "denied";
+    side_effects: "denied" | "approval_required";
+    permissions: {
+        documents?: "read" | "write" | undefined;
+        records?: "read" | "write" | undefined;
+        files?: "read" | "write" | undefined;
+        workflow_state?: "read" | "write" | undefined;
+        communication?: "read" | "write" | undefined;
+        coordination?: "read" | "write" | undefined;
+    };
+    budgets: {
+        max_actions: number;
+        timeout_ms: number;
+        max_tokens?: number | undefined;
+        max_model_requests?: number | undefined;
+        max_tool_calls?: number | undefined;
+    };
+    paths?: {
+        read: string[];
+        write: string[];
+    } | undefined;
+}, {
+    network: "denied";
+    side_effects: "denied" | "approval_required";
+    permissions: {
+        documents?: "read" | "write" | undefined;
+        records?: "read" | "write" | undefined;
+        files?: "read" | "write" | undefined;
+        workflow_state?: "read" | "write" | undefined;
+        communication?: "read" | "write" | undefined;
+        coordination?: "read" | "write" | undefined;
+    };
+    budgets: {
+        max_actions: number;
+        timeout_ms: number;
+        max_tokens?: number | undefined;
+        max_model_requests?: number | undefined;
+        max_tool_calls?: number | undefined;
+    };
+    paths?: {
+        read: string[];
+        write: string[];
+    } | undefined;
+}>;
+export type WorkflowPolicy = z.infer<typeof WorkflowPolicySchema>;
+/** V1 rejects unavailable authority/environment features rather than silently accepting them. */
+export declare const AgentWorkflowSchema: z.ZodPipeline<z.ZodEffects<z.ZodUnknown, unknown, unknown>, z.ZodEffects<z.ZodObject<{
+    version: z.ZodLiteral<"1">;
+    kind: z.ZodLiteral<"agent_workflow">;
+    name: z.ZodEffects<z.ZodString, string, string>;
+    description: z.ZodOptional<z.ZodString>;
+    target: z.ZodObject<{
+        provider: z.ZodString;
+        model: z.ZodString;
+        generation: z.ZodOptional<z.ZodObject<{
+            max_tokens: z.ZodOptional<z.ZodNumber>;
+            temperature: z.ZodOptional<z.ZodNumber>;
+        }, "strict", z.ZodTypeAny, {
+            temperature?: number | undefined;
+            max_tokens?: number | undefined;
+        }, {
+            temperature?: number | undefined;
+            max_tokens?: number | undefined;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        provider: string;
+        model: string;
+        generation?: {
+            temperature?: number | undefined;
+            max_tokens?: number | undefined;
+        } | undefined;
+    }, {
+        provider: string;
+        model: string;
+        generation?: {
+            temperature?: number | undefined;
+            max_tokens?: number | undefined;
+        } | undefined;
+    }>;
+    environment: z.ZodObject<{
+        type: z.ZodEnum<["simulated", "sandbox"]>;
+        policy: z.ZodObject<{
+            network: z.ZodLiteral<"denied">;
+            side_effects: z.ZodEnum<["denied", "approval_required"]>;
+            permissions: z.ZodObject<{
+                documents: z.ZodOptional<z.ZodEnum<["read", "write"]>>;
+                records: z.ZodOptional<z.ZodEnum<["read", "write"]>>;
+                files: z.ZodOptional<z.ZodEnum<["read", "write"]>>;
+                workflow_state: z.ZodOptional<z.ZodEnum<["read", "write"]>>;
+                communication: z.ZodOptional<z.ZodEnum<["read", "write"]>>;
+                coordination: z.ZodOptional<z.ZodEnum<["read", "write"]>>;
+            }, "strict", z.ZodTypeAny, {
+                documents?: "read" | "write" | undefined;
+                records?: "read" | "write" | undefined;
+                files?: "read" | "write" | undefined;
+                workflow_state?: "read" | "write" | undefined;
+                communication?: "read" | "write" | undefined;
+                coordination?: "read" | "write" | undefined;
+            }, {
+                documents?: "read" | "write" | undefined;
+                records?: "read" | "write" | undefined;
+                files?: "read" | "write" | undefined;
+                workflow_state?: "read" | "write" | undefined;
+                communication?: "read" | "write" | undefined;
+                coordination?: "read" | "write" | undefined;
+            }>;
+            paths: z.ZodOptional<z.ZodObject<{
+                read: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+                write: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+            }, "strict", z.ZodTypeAny, {
+                read: string[];
+                write: string[];
+            }, {
+                read: string[];
+                write: string[];
+            }>>;
+            budgets: z.ZodObject<{
+                max_actions: z.ZodNumber;
+                max_model_requests: z.ZodOptional<z.ZodNumber>;
+                max_tool_calls: z.ZodOptional<z.ZodNumber>;
+                timeout_ms: z.ZodNumber;
+                max_tokens: z.ZodOptional<z.ZodNumber>;
+            }, "strict", z.ZodTypeAny, {
+                max_actions: number;
+                timeout_ms: number;
+                max_tokens?: number | undefined;
+                max_model_requests?: number | undefined;
+                max_tool_calls?: number | undefined;
+            }, {
+                max_actions: number;
+                timeout_ms: number;
+                max_tokens?: number | undefined;
+                max_model_requests?: number | undefined;
+                max_tool_calls?: number | undefined;
+            }>;
+        }, "strict", z.ZodTypeAny, {
+            network: "denied";
+            side_effects: "denied" | "approval_required";
+            permissions: {
+                documents?: "read" | "write" | undefined;
+                records?: "read" | "write" | undefined;
+                files?: "read" | "write" | undefined;
+                workflow_state?: "read" | "write" | undefined;
+                communication?: "read" | "write" | undefined;
+                coordination?: "read" | "write" | undefined;
+            };
+            budgets: {
+                max_actions: number;
+                timeout_ms: number;
+                max_tokens?: number | undefined;
+                max_model_requests?: number | undefined;
+                max_tool_calls?: number | undefined;
+            };
+            paths?: {
+                read: string[];
+                write: string[];
+            } | undefined;
+        }, {
+            network: "denied";
+            side_effects: "denied" | "approval_required";
+            permissions: {
+                documents?: "read" | "write" | undefined;
+                records?: "read" | "write" | undefined;
+                files?: "read" | "write" | undefined;
+                workflow_state?: "read" | "write" | undefined;
+                communication?: "read" | "write" | undefined;
+                coordination?: "read" | "write" | undefined;
+            };
+            budgets: {
+                max_actions: number;
+                timeout_ms: number;
+                max_tokens?: number | undefined;
+                max_model_requests?: number | undefined;
+                max_tool_calls?: number | undefined;
+            };
+            paths?: {
+                read: string[];
+                write: string[];
+            } | undefined;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        type: "simulated" | "sandbox";
+        policy: {
+            network: "denied";
+            side_effects: "denied" | "approval_required";
+            permissions: {
+                documents?: "read" | "write" | undefined;
+                records?: "read" | "write" | undefined;
+                files?: "read" | "write" | undefined;
+                workflow_state?: "read" | "write" | undefined;
+                communication?: "read" | "write" | undefined;
+                coordination?: "read" | "write" | undefined;
+            };
+            budgets: {
+                max_actions: number;
+                timeout_ms: number;
+                max_tokens?: number | undefined;
+                max_model_requests?: number | undefined;
+                max_tool_calls?: number | undefined;
+            };
+            paths?: {
+                read: string[];
+                write: string[];
+            } | undefined;
+        };
+    }, {
+        type: "simulated" | "sandbox";
+        policy: {
+            network: "denied";
+            side_effects: "denied" | "approval_required";
+            permissions: {
+                documents?: "read" | "write" | undefined;
+                records?: "read" | "write" | undefined;
+                files?: "read" | "write" | undefined;
+                workflow_state?: "read" | "write" | undefined;
+                communication?: "read" | "write" | undefined;
+                coordination?: "read" | "write" | undefined;
+            };
+            budgets: {
+                max_actions: number;
+                timeout_ms: number;
+                max_tokens?: number | undefined;
+                max_model_requests?: number | undefined;
+                max_tool_calls?: number | undefined;
+            };
+            paths?: {
+                read: string[];
+                write: string[];
+            } | undefined;
+        };
+    }>;
+    tools: z.ZodArray<z.ZodEnum<["search", "read_document", "query_records", "read_file", "write_file", "calculator", "get_workflow_state", "request_approval", "record_decision", "draft_message", "delegate_task", "get_task_status"]>, "many">;
+    workflow: z.ZodObject<{
+        system_instructions: z.ZodString;
+        initial_state: z.ZodUnion<[z.ZodEffects<z.ZodString, string, string>, z.ZodEffects<z.ZodType<WorkflowJson, z.ZodTypeDef, WorkflowJson>, WorkflowJson, WorkflowJson>]>;
+        turns: z.ZodArray<z.ZodObject<{
+            role: z.ZodLiteral<"user">;
+            content: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            role: "user";
+            content: string;
+        }, {
+            role: "user";
+            content: string;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        system_instructions: string;
+        initial_state: WorkflowJson;
+        turns: {
+            role: "user";
+            content: string;
+        }[];
+    }, {
+        system_instructions: string;
+        initial_state: WorkflowJson;
+        turns: {
+            role: "user";
+            content: string;
+        }[];
+    }>;
+    outcomes: z.ZodObject<{
+        deterministic: z.ZodArray<z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+            type: z.ZodLiteral<"workflow_state">;
+            path: z.ZodEffects<z.ZodString, string, string>;
+            equals: z.ZodType<WorkflowJson, z.ZodTypeDef, WorkflowJson>;
+        }, "strict", z.ZodTypeAny, {
+            path: string;
+            type: "workflow_state";
+            equals: WorkflowJson;
+        }, {
+            path: string;
+            type: "workflow_state";
+            equals: WorkflowJson;
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"tool_trace">;
+            tool: z.ZodEnum<["search", "read_document", "query_records", "read_file", "write_file", "calculator", "get_workflow_state", "request_approval", "record_decision", "draft_message", "delegate_task", "get_task_status"]>;
+            minimum_calls: z.ZodNumber;
+            maximum_calls: z.ZodOptional<z.ZodNumber>;
+        }, "strict", z.ZodTypeAny, {
+            tool: "search" | "read_document" | "query_records" | "read_file" | "write_file" | "calculator" | "get_workflow_state" | "request_approval" | "record_decision" | "draft_message" | "delegate_task" | "get_task_status";
+            type: "tool_trace";
+            minimum_calls: number;
+            maximum_calls?: number | undefined;
+        }, {
+            tool: "search" | "read_document" | "query_records" | "read_file" | "write_file" | "calculator" | "get_workflow_state" | "request_approval" | "record_decision" | "draft_message" | "delegate_task" | "get_task_status";
+            type: "tool_trace";
+            minimum_calls: number;
+            maximum_calls?: number | undefined;
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"policy">;
+            rule: z.ZodEnum<["no_undeclared_tool", "permissions_respected", "network_denied", "budgets_respected", "no_external_side_effects"]>;
+            expected: z.ZodLiteral<"passed">;
+        }, "strict", z.ZodTypeAny, {
+            expected: "passed";
+            type: "policy";
+            rule: "no_undeclared_tool" | "permissions_respected" | "network_denied" | "budgets_respected" | "no_external_side_effects";
+        }, {
+            expected: "passed";
+            type: "policy";
+            rule: "no_undeclared_tool" | "permissions_respected" | "network_denied" | "budgets_respected" | "no_external_side_effects";
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"file">;
+            path: z.ZodEffects<z.ZodString, string, string>;
+            exists: z.ZodBoolean;
+            equals: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            path: string;
+            type: "file";
+            exists: boolean;
+            equals?: string | undefined;
+        }, {
+            path: string;
+            type: "file";
+            exists: boolean;
+            equals?: string | undefined;
+        }>]>, "many">;
+        semantic: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            type: z.ZodLiteral<"llm_judge">;
+            rubric: z.ZodString;
+            mode: z.ZodLiteral<"strict_assurance">;
+        }, "strict", z.ZodTypeAny, {
+            type: "llm_judge";
+            rubric: string;
+            mode: "strict_assurance";
+        }, {
+            type: "llm_judge";
+            rubric: string;
+            mode: "strict_assurance";
+        }>, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        deterministic: ({
+            path: string;
+            type: "workflow_state";
+            equals: WorkflowJson;
+        } | {
+            tool: "search" | "read_document" | "query_records" | "read_file" | "write_file" | "calculator" | "get_workflow_state" | "request_approval" | "record_decision" | "draft_message" | "delegate_task" | "get_task_status";
+            type: "tool_trace";
+            minimum_calls: number;
+            maximum_calls?: number | undefined;
+        } | {
+            expected: "passed";
+            type: "policy";
+            rule: "no_undeclared_tool" | "permissions_respected" | "network_denied" | "budgets_respected" | "no_external_side_effects";
+        } | {
+            path: string;
+            type: "file";
+            exists: boolean;
+            equals?: string | undefined;
+        })[];
+        semantic?: {
+            type: "llm_judge";
+            rubric: string;
+            mode: "strict_assurance";
+        }[] | undefined;
+    }, {
+        deterministic: ({
+            path: string;
+            type: "workflow_state";
+            equals: WorkflowJson;
+        } | {
+            tool: "search" | "read_document" | "query_records" | "read_file" | "write_file" | "calculator" | "get_workflow_state" | "request_approval" | "record_decision" | "draft_message" | "delegate_task" | "get_task_status";
+            type: "tool_trace";
+            minimum_calls: number;
+            maximum_calls?: number | undefined;
+        } | {
+            expected: "passed";
+            type: "policy";
+            rule: "no_undeclared_tool" | "permissions_respected" | "network_denied" | "budgets_respected" | "no_external_side_effects";
+        } | {
+            path: string;
+            type: "file";
+            exists: boolean;
+            equals?: string | undefined;
+        })[];
+        semantic?: {
+            type: "llm_judge";
+            rubric: string;
+            mode: "strict_assurance";
+        }[] | undefined;
+    }>;
+    evidence: z.ZodObject<{
+        trace: z.ZodLiteral<"summary">;
+        artifacts: z.ZodLiteral<"checksums">;
+        redact: z.ZodLiteral<true>;
+    }, "strict", z.ZodTypeAny, {
+        trace: "summary";
+        artifacts: "checksums";
+        redact: true;
+    }, {
+        trace: "summary";
+        artifacts: "checksums";
+        redact: true;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    name: string;
+    version: "1";
+    tools: ("search" | "read_document" | "query_records" | "read_file" | "write_file" | "calculator" | "get_workflow_state" | "request_approval" | "record_decision" | "draft_message" | "delegate_task" | "get_task_status")[];
+    environment: {
+        type: "simulated" | "sandbox";
+        policy: {
+            network: "denied";
+            side_effects: "denied" | "approval_required";
+            permissions: {
+                documents?: "read" | "write" | undefined;
+                records?: "read" | "write" | undefined;
+                files?: "read" | "write" | undefined;
+                workflow_state?: "read" | "write" | undefined;
+                communication?: "read" | "write" | undefined;
+                coordination?: "read" | "write" | undefined;
+            };
+            budgets: {
+                max_actions: number;
+                timeout_ms: number;
+                max_tokens?: number | undefined;
+                max_model_requests?: number | undefined;
+                max_tool_calls?: number | undefined;
+            };
+            paths?: {
+                read: string[];
+                write: string[];
+            } | undefined;
+        };
+    };
+    evidence: {
+        trace: "summary";
+        artifacts: "checksums";
+        redact: true;
+    };
+    target: {
+        provider: string;
+        model: string;
+        generation?: {
+            temperature?: number | undefined;
+            max_tokens?: number | undefined;
+        } | undefined;
+    };
+    workflow: {
+        system_instructions: string;
+        initial_state: WorkflowJson;
+        turns: {
+            role: "user";
+            content: string;
+        }[];
+    };
+    kind: "agent_workflow";
+    outcomes: {
+        deterministic: ({
+            path: string;
+            type: "workflow_state";
+            equals: WorkflowJson;
+        } | {
+            tool: "search" | "read_document" | "query_records" | "read_file" | "write_file" | "calculator" | "get_workflow_state" | "request_approval" | "record_decision" | "draft_message" | "delegate_task" | "get_task_status";
+            type: "tool_trace";
+            minimum_calls: number;
+            maximum_calls?: number | undefined;
+        } | {
+            expected: "passed";
+            type: "policy";
+            rule: "no_undeclared_tool" | "permissions_respected" | "network_denied" | "budgets_respected" | "no_external_side_effects";
+        } | {
+            path: string;
+            type: "file";
+            exists: boolean;
+            equals?: string | undefined;
+        })[];
+        semantic?: {
+            type: "llm_judge";
+            rubric: string;
+            mode: "strict_assurance";
+        }[] | undefined;
+    };
+    description?: string | undefined;
+}, {
+    name: string;
+    version: "1";
+    tools: ("search" | "read_document" | "query_records" | "read_file" | "write_file" | "calculator" | "get_workflow_state" | "request_approval" | "record_decision" | "draft_message" | "delegate_task" | "get_task_status")[];
+    environment: {
+        type: "simulated" | "sandbox";
+        policy: {
+            network: "denied";
+            side_effects: "denied" | "approval_required";
+            permissions: {
+                documents?: "read" | "write" | undefined;
+                records?: "read" | "write" | undefined;
+                files?: "read" | "write" | undefined;
+                workflow_state?: "read" | "write" | undefined;
+                communication?: "read" | "write" | undefined;
+                coordination?: "read" | "write" | undefined;
+            };
+            budgets: {
+                max_actions: number;
+                timeout_ms: number;
+                max_tokens?: number | undefined;
+                max_model_requests?: number | undefined;
+                max_tool_calls?: number | undefined;
+            };
+            paths?: {
+                read: string[];
+                write: string[];
+            } | undefined;
+        };
+    };
+    evidence: {
+        trace: "summary";
+        artifacts: "checksums";
+        redact: true;
+    };
+    target: {
+        provider: string;
+        model: string;
+        generation?: {
+            temperature?: number | undefined;
+            max_tokens?: number | undefined;
+        } | undefined;
+    };
+    workflow: {
+        system_instructions: string;
+        initial_state: WorkflowJson;
+        turns: {
+            role: "user";
+            content: string;
+        }[];
+    };
+    kind: "agent_workflow";
+    outcomes: {
+        deterministic: ({
+            path: string;
+            type: "workflow_state";
+            equals: WorkflowJson;
+        } | {
+            tool: "search" | "read_document" | "query_records" | "read_file" | "write_file" | "calculator" | "get_workflow_state" | "request_approval" | "record_decision" | "draft_message" | "delegate_task" | "get_task_status";
+            type: "tool_trace";
+            minimum_calls: number;
+            maximum_calls?: number | undefined;
+        } | {
+            expected: "passed";
+            type: "policy";
+            rule: "no_undeclared_tool" | "permissions_respected" | "network_denied" | "budgets_respected" | "no_external_side_effects";
+        } | {
+            path: string;
+            type: "file";
+            exists: boolean;
+            equals?: string | undefined;
+        })[];
+        semantic?: {
+            type: "llm_judge";
+            rubric: string;
+            mode: "strict_assurance";
+        }[] | undefined;
+    };
+    description?: string | undefined;
+}>, {
+    name: string;
+    version: "1";
+    tools: ("search" | "read_document" | "query_records" | "read_file" | "write_file" | "calculator" | "get_workflow_state" | "request_approval" | "record_decision" | "draft_message" | "delegate_task" | "get_task_status")[];
+    environment: {
+        type: "simulated" | "sandbox";
+        policy: {
+            network: "denied";
+            side_effects: "denied" | "approval_required";
+            permissions: {
+                documents?: "read" | "write" | undefined;
+                records?: "read" | "write" | undefined;
+                files?: "read" | "write" | undefined;
+                workflow_state?: "read" | "write" | undefined;
+                communication?: "read" | "write" | undefined;
+                coordination?: "read" | "write" | undefined;
+            };
+            budgets: {
+                max_actions: number;
+                timeout_ms: number;
+                max_tokens?: number | undefined;
+                max_model_requests?: number | undefined;
+                max_tool_calls?: number | undefined;
+            };
+            paths?: {
+                read: string[];
+                write: string[];
+            } | undefined;
+        };
+    };
+    evidence: {
+        trace: "summary";
+        artifacts: "checksums";
+        redact: true;
+    };
+    target: {
+        provider: string;
+        model: string;
+        generation?: {
+            temperature?: number | undefined;
+            max_tokens?: number | undefined;
+        } | undefined;
+    };
+    workflow: {
+        system_instructions: string;
+        initial_state: WorkflowJson;
+        turns: {
+            role: "user";
+            content: string;
+        }[];
+    };
+    kind: "agent_workflow";
+    outcomes: {
+        deterministic: ({
+            path: string;
+            type: "workflow_state";
+            equals: WorkflowJson;
+        } | {
+            tool: "search" | "read_document" | "query_records" | "read_file" | "write_file" | "calculator" | "get_workflow_state" | "request_approval" | "record_decision" | "draft_message" | "delegate_task" | "get_task_status";
+            type: "tool_trace";
+            minimum_calls: number;
+            maximum_calls?: number | undefined;
+        } | {
+            expected: "passed";
+            type: "policy";
+            rule: "no_undeclared_tool" | "permissions_respected" | "network_denied" | "budgets_respected" | "no_external_side_effects";
+        } | {
+            path: string;
+            type: "file";
+            exists: boolean;
+            equals?: string | undefined;
+        })[];
+        semantic?: {
+            type: "llm_judge";
+            rubric: string;
+            mode: "strict_assurance";
+        }[] | undefined;
+    };
+    description?: string | undefined;
+}, {
+    name: string;
+    version: "1";
+    tools: ("search" | "read_document" | "query_records" | "read_file" | "write_file" | "calculator" | "get_workflow_state" | "request_approval" | "record_decision" | "draft_message" | "delegate_task" | "get_task_status")[];
+    environment: {
+        type: "simulated" | "sandbox";
+        policy: {
+            network: "denied";
+            side_effects: "denied" | "approval_required";
+            permissions: {
+                documents?: "read" | "write" | undefined;
+                records?: "read" | "write" | undefined;
+                files?: "read" | "write" | undefined;
+                workflow_state?: "read" | "write" | undefined;
+                communication?: "read" | "write" | undefined;
+                coordination?: "read" | "write" | undefined;
+            };
+            budgets: {
+                max_actions: number;
+                timeout_ms: number;
+                max_tokens?: number | undefined;
+                max_model_requests?: number | undefined;
+                max_tool_calls?: number | undefined;
+            };
+            paths?: {
+                read: string[];
+                write: string[];
+            } | undefined;
+        };
+    };
+    evidence: {
+        trace: "summary";
+        artifacts: "checksums";
+        redact: true;
+    };
+    target: {
+        provider: string;
+        model: string;
+        generation?: {
+            temperature?: number | undefined;
+            max_tokens?: number | undefined;
+        } | undefined;
+    };
+    workflow: {
+        system_instructions: string;
+        initial_state: WorkflowJson;
+        turns: {
+            role: "user";
+            content: string;
+        }[];
+    };
+    kind: "agent_workflow";
+    outcomes: {
+        deterministic: ({
+            path: string;
+            type: "workflow_state";
+            equals: WorkflowJson;
+        } | {
+            tool: "search" | "read_document" | "query_records" | "read_file" | "write_file" | "calculator" | "get_workflow_state" | "request_approval" | "record_decision" | "draft_message" | "delegate_task" | "get_task_status";
+            type: "tool_trace";
+            minimum_calls: number;
+            maximum_calls?: number | undefined;
+        } | {
+            expected: "passed";
+            type: "policy";
+            rule: "no_undeclared_tool" | "permissions_respected" | "network_denied" | "budgets_respected" | "no_external_side_effects";
+        } | {
+            path: string;
+            type: "file";
+            exists: boolean;
+            equals?: string | undefined;
+        })[];
+        semantic?: {
+            type: "llm_judge";
+            rubric: string;
+            mode: "strict_assurance";
+        }[] | undefined;
+    };
+    description?: string | undefined;
+}>>;
+export type AgentWorkflow = z.infer<typeof AgentWorkflowSchema>;
+//# sourceMappingURL=schema.d.ts.map