@petepetrash/circuit 0.1.0

package/dist/schemas/policy-envelope.d.ts

@@ -0,0 +1,1655 @@
+import { z } from 'zod';
+export declare const Provider: z.ZodEnum<{
+    custom: "custom";
+    openai: "openai";
+    anthropic: "anthropic";
+    gemini: "gemini";
+}>;
+export type Provider = z.infer<typeof Provider>;
+export declare const PolicyConnectorReference: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"builtin">;
+    name: z.ZodEnum<{
+        "claude-code": "claude-code";
+        codex: "codex";
+        "cursor-agent": "cursor-agent";
+    }>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"named">;
+    name: z.ZodString;
+}, z.core.$strict>], "kind">;
+export type PolicyConnectorReference = z.infer<typeof PolicyConnectorReference>;
+export declare const PolicySelectionRequest: z.ZodObject<{
+    model: z.ZodOptional<z.ZodObject<{
+        provider: z.ZodEnum<{
+            custom: "custom";
+            openai: "openai";
+            anthropic: "anthropic";
+            gemini: "gemini";
+        }>;
+        model: z.ZodString;
+    }, z.core.$strict>>;
+    effort: z.ZodOptional<z.ZodEnum<{
+        low: "low";
+        medium: "medium";
+        high: "high";
+        none: "none";
+        minimal: "minimal";
+        xhigh: "xhigh";
+        max: "max";
+    }>>;
+    skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        mode: z.ZodLiteral<"inherit">;
+    }, z.core.$strict>, z.ZodObject<{
+        mode: z.ZodLiteral<"replace">;
+        skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+    }, z.core.$strict>, z.ZodObject<{
+        mode: z.ZodLiteral<"append">;
+        skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+    }, z.core.$strict>, z.ZodObject<{
+        mode: z.ZodLiteral<"remove">;
+        skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+    }, z.core.$strict>], "mode">>;
+    depth: z.ZodOptional<z.ZodEnum<{
+        low: "low";
+        medium: "medium";
+        high: "high";
+        tournament: "tournament";
+        autonomous: "autonomous";
+    }>>;
+    invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+}, z.core.$strict>;
+export type PolicySelectionRequest = z.infer<typeof PolicySelectionRequest>;
+declare const ConnectorRules: z.ZodObject<{
+    allow: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    deny: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    deny_for_write: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    registry: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+        kind: z.ZodLiteral<"custom">;
+        name: z.ZodString;
+        command: z.ZodArray<z.ZodString>;
+        prompt_transport: z.ZodEnum<{
+            "prompt-file": "prompt-file";
+        }>;
+        output: z.ZodObject<{
+            kind: z.ZodLiteral<"output-file">;
+        }, z.core.$strict>;
+        capabilities: z.ZodObject<{
+            filesystem: z.ZodEnum<{
+                "read-only": "read-only";
+                "trusted-write": "trusted-write";
+                "isolated-write": "isolated-write";
+            }>;
+            structured_output: z.ZodEnum<{
+                json: "json";
+            }>;
+            tool_scope: z.ZodDefault<z.ZodEnum<{
+                none: "none";
+                "allow-list": "allow-list";
+            }>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type ConnectorRules = z.infer<typeof ConnectorRules>;
+declare const ModelRules: z.ZodObject<{
+    deny_providers: z.ZodDefault<z.ZodArray<z.ZodEnum<{
+        custom: "custom";
+        openai: "openai";
+        anthropic: "anthropic";
+        gemini: "gemini";
+    }>>>;
+    require_provider_for_connector: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodEnum<{
+        custom: "custom";
+        openai: "openai";
+        anthropic: "anthropic";
+        gemini: "gemini";
+    }>>>;
+}, z.core.$strict>;
+export type ModelRules = z.infer<typeof ModelRules>;
+declare const WriteRules: z.ZodObject<{
+    auto_apply: z.ZodOptional<z.ZodBoolean>;
+    require_checkpoint_globs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export type WriteRules = z.infer<typeof WriteRules>;
+declare const SkillRules: z.ZodObject<{
+    deny: z.ZodDefault<z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
+}, z.core.$strict>;
+export type SkillRules = z.infer<typeof SkillRules>;
+declare const ProofRules: z.ZodObject<{
+    require_independent_review_for: z.ZodDefault<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export type ProofRules = z.infer<typeof ProofRules>;
+export declare const PolicyRules: z.ZodObject<{
+    connectors: z.ZodDefault<z.ZodObject<{
+        allow: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        deny: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        deny_for_write: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        registry: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+            kind: z.ZodLiteral<"custom">;
+            name: z.ZodString;
+            command: z.ZodArray<z.ZodString>;
+            prompt_transport: z.ZodEnum<{
+                "prompt-file": "prompt-file";
+            }>;
+            output: z.ZodObject<{
+                kind: z.ZodLiteral<"output-file">;
+            }, z.core.$strict>;
+            capabilities: z.ZodObject<{
+                filesystem: z.ZodEnum<{
+                    "read-only": "read-only";
+                    "trusted-write": "trusted-write";
+                    "isolated-write": "isolated-write";
+                }>;
+                structured_output: z.ZodEnum<{
+                    json: "json";
+                }>;
+                tool_scope: z.ZodDefault<z.ZodEnum<{
+                    none: "none";
+                    "allow-list": "allow-list";
+                }>>;
+            }, z.core.$strict>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+    models: z.ZodDefault<z.ZodObject<{
+        deny_providers: z.ZodDefault<z.ZodArray<z.ZodEnum<{
+            custom: "custom";
+            openai: "openai";
+            anthropic: "anthropic";
+            gemini: "gemini";
+        }>>>;
+        require_provider_for_connector: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodEnum<{
+            custom: "custom";
+            openai: "openai";
+            anthropic: "anthropic";
+            gemini: "gemini";
+        }>>>;
+    }, z.core.$strict>>;
+    writes: z.ZodDefault<z.ZodObject<{
+        auto_apply: z.ZodOptional<z.ZodBoolean>;
+        require_checkpoint_globs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>;
+    skills: z.ZodDefault<z.ZodObject<{
+        deny: z.ZodDefault<z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
+    }, z.core.$strict>>;
+    proof: z.ZodDefault<z.ZodObject<{
+        require_independent_review_for: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type PolicyRules = z.infer<typeof PolicyRules>;
+export declare const PolicyLimits: z.ZodObject<{
+    max_attempts_per_step: z.ZodOptional<z.ZodNumber>;
+    max_wall_clock_ms: z.ZodOptional<z.ZodNumber>;
+    max_effort: z.ZodOptional<z.ZodEnum<{
+        low: "low";
+        medium: "medium";
+        high: "high";
+        none: "none";
+        minimal: "minimal";
+        xhigh: "xhigh";
+        max: "max";
+    }>>;
+    max_tournament_n: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>;
+export type PolicyLimits = z.infer<typeof PolicyLimits>;
+declare const RelayRolePreference: z.ZodObject<{
+    prefer_connector: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"builtin">;
+        name: z.ZodEnum<{
+            "claude-code": "claude-code";
+            codex: "codex";
+            "cursor-agent": "cursor-agent";
+        }>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"named">;
+        name: z.ZodString;
+    }, z.core.$strict>], "kind">;
+}, z.core.$strict>;
+export type RelayRolePreference = z.infer<typeof RelayRolePreference>;
+declare const FlowConnectorHint: z.ZodObject<{
+    flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+    prefer_connector: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"builtin">;
+        name: z.ZodEnum<{
+            "claude-code": "claude-code";
+            codex: "codex";
+            "cursor-agent": "cursor-agent";
+        }>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"named">;
+        name: z.ZodString;
+    }, z.core.$strict>], "kind">;
+}, z.core.$strict>;
+export type FlowConnectorHint = z.infer<typeof FlowConnectorHint>;
+declare const RelayPreferences: z.ZodObject<{
+    roles: z.ZodDefault<z.ZodRecord<z.ZodEnum<{
+        researcher: "researcher";
+        implementer: "implementer";
+        reviewer: "reviewer";
+    }> & z.core.$partial, z.ZodObject<{
+        prefer_connector: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"builtin">;
+            name: z.ZodEnum<{
+                "claude-code": "claude-code";
+                codex: "codex";
+                "cursor-agent": "cursor-agent";
+            }>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"named">;
+            name: z.ZodString;
+        }, z.core.$strict>], "kind">;
+    }, z.core.$strict>>>;
+    flow_connector_hints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+        prefer_connector: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"builtin">;
+            name: z.ZodEnum<{
+                "claude-code": "claude-code";
+                codex: "codex";
+                "cursor-agent": "cursor-agent";
+            }>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"named">;
+            name: z.ZodString;
+        }, z.core.$strict>], "kind">;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type RelayPreferences = z.infer<typeof RelayPreferences>;
+declare const FlowSelectionHint: z.ZodObject<{
+    flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+    selection: z.ZodObject<{
+        model: z.ZodOptional<z.ZodObject<{
+            provider: z.ZodEnum<{
+                custom: "custom";
+                openai: "openai";
+                anthropic: "anthropic";
+                gemini: "gemini";
+            }>;
+            model: z.ZodString;
+        }, z.core.$strict>>;
+        effort: z.ZodOptional<z.ZodEnum<{
+            low: "low";
+            medium: "medium";
+            high: "high";
+            none: "none";
+            minimal: "minimal";
+            xhigh: "xhigh";
+            max: "max";
+        }>>;
+        skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            mode: z.ZodLiteral<"inherit">;
+        }, z.core.$strict>, z.ZodObject<{
+            mode: z.ZodLiteral<"replace">;
+            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+        }, z.core.$strict>, z.ZodObject<{
+            mode: z.ZodLiteral<"append">;
+            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+        }, z.core.$strict>, z.ZodObject<{
+            mode: z.ZodLiteral<"remove">;
+            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+        }, z.core.$strict>], "mode">>;
+        depth: z.ZodOptional<z.ZodEnum<{
+            low: "low";
+            medium: "medium";
+            high: "high";
+            tournament: "tournament";
+            autonomous: "autonomous";
+        }>>;
+        invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type FlowSelectionHint = z.infer<typeof FlowSelectionHint>;
+declare const SkillPreferences: z.ZodObject<{
+    slot_bindings: z.ZodDefault<z.ZodRecord<z.core.$ZodBranded<z.ZodString, "SkillSlotId", "out">, z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
+    flow_slot_bindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+        bindings: z.ZodRecord<z.core.$ZodBranded<z.ZodString, "SkillSlotId", "out">, z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type SkillPreferences = z.infer<typeof SkillPreferences>;
+declare const PrototypeVariantModelHint: z.ZodObject<{
+    flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+    id: z.ZodString;
+    label: z.ZodString;
+    connector: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"builtin">;
+        name: z.ZodEnum<{
+            "claude-code": "claude-code";
+            codex: "codex";
+            "cursor-agent": "cursor-agent";
+        }>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"named">;
+        name: z.ZodString;
+    }, z.core.$strict>], "kind">>;
+    selection: z.ZodObject<{
+        model: z.ZodOptional<z.ZodObject<{
+            provider: z.ZodEnum<{
+                custom: "custom";
+                openai: "openai";
+                anthropic: "anthropic";
+                gemini: "gemini";
+            }>;
+            model: z.ZodString;
+        }, z.core.$strict>>;
+        effort: z.ZodOptional<z.ZodEnum<{
+            low: "low";
+            medium: "medium";
+            high: "high";
+            none: "none";
+            minimal: "minimal";
+            xhigh: "xhigh";
+            max: "max";
+        }>>;
+        skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            mode: z.ZodLiteral<"inherit">;
+        }, z.core.$strict>, z.ZodObject<{
+            mode: z.ZodLiteral<"replace">;
+            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+        }, z.core.$strict>, z.ZodObject<{
+            mode: z.ZodLiteral<"append">;
+            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+        }, z.core.$strict>, z.ZodObject<{
+            mode: z.ZodLiteral<"remove">;
+            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+        }, z.core.$strict>], "mode">>;
+        depth: z.ZodOptional<z.ZodEnum<{
+            low: "low";
+            medium: "medium";
+            high: "high";
+            tournament: "tournament";
+            autonomous: "autonomous";
+        }>>;
+        invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type PrototypeVariantModelHint = z.infer<typeof PrototypeVariantModelHint>;
+export declare const PolicyPreferences: z.ZodObject<{
+    relay: z.ZodDefault<z.ZodObject<{
+        roles: z.ZodDefault<z.ZodRecord<z.ZodEnum<{
+            researcher: "researcher";
+            implementer: "implementer";
+            reviewer: "reviewer";
+        }> & z.core.$partial, z.ZodObject<{
+            prefer_connector: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"builtin">;
+                name: z.ZodEnum<{
+                    "claude-code": "claude-code";
+                    codex: "codex";
+                    "cursor-agent": "cursor-agent";
+                }>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"named">;
+                name: z.ZodString;
+            }, z.core.$strict>], "kind">;
+        }, z.core.$strict>>>;
+        flow_connector_hints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+            prefer_connector: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"builtin">;
+                name: z.ZodEnum<{
+                    "claude-code": "claude-code";
+                    codex: "codex";
+                    "cursor-agent": "cursor-agent";
+                }>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"named">;
+                name: z.ZodString;
+            }, z.core.$strict>], "kind">;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+    selection: z.ZodDefault<z.ZodObject<{
+        flow_hints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+            selection: z.ZodObject<{
+                model: z.ZodOptional<z.ZodObject<{
+                    provider: z.ZodEnum<{
+                        custom: "custom";
+                        openai: "openai";
+                        anthropic: "anthropic";
+                        gemini: "gemini";
+                    }>;
+                    model: z.ZodString;
+                }, z.core.$strict>>;
+                effort: z.ZodOptional<z.ZodEnum<{
+                    low: "low";
+                    medium: "medium";
+                    high: "high";
+                    none: "none";
+                    minimal: "minimal";
+                    xhigh: "xhigh";
+                    max: "max";
+                }>>;
+                skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    mode: z.ZodLiteral<"inherit">;
+                }, z.core.$strict>, z.ZodObject<{
+                    mode: z.ZodLiteral<"replace">;
+                    skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    mode: z.ZodLiteral<"append">;
+                    skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    mode: z.ZodLiteral<"remove">;
+                    skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                }, z.core.$strict>], "mode">>;
+                depth: z.ZodOptional<z.ZodEnum<{
+                    low: "low";
+                    medium: "medium";
+                    high: "high";
+                    tournament: "tournament";
+                    autonomous: "autonomous";
+                }>>;
+                invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+            }, z.core.$strict>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+    skills: z.ZodDefault<z.ZodObject<{
+        slot_bindings: z.ZodDefault<z.ZodRecord<z.core.$ZodBranded<z.ZodString, "SkillSlotId", "out">, z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
+        flow_slot_bindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+            bindings: z.ZodRecord<z.core.$ZodBranded<z.ZodString, "SkillSlotId", "out">, z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+    invocation: z.ZodDefault<z.ZodObject<{
+        selection_request: z.ZodOptional<z.ZodObject<{
+            model: z.ZodOptional<z.ZodObject<{
+                provider: z.ZodEnum<{
+                    custom: "custom";
+                    openai: "openai";
+                    anthropic: "anthropic";
+                    gemini: "gemini";
+                }>;
+                model: z.ZodString;
+            }, z.core.$strict>>;
+            effort: z.ZodOptional<z.ZodEnum<{
+                low: "low";
+                medium: "medium";
+                high: "high";
+                none: "none";
+                minimal: "minimal";
+                xhigh: "xhigh";
+                max: "max";
+            }>>;
+            skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                mode: z.ZodLiteral<"inherit">;
+            }, z.core.$strict>, z.ZodObject<{
+                mode: z.ZodLiteral<"replace">;
+                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+            }, z.core.$strict>, z.ZodObject<{
+                mode: z.ZodLiteral<"append">;
+                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+            }, z.core.$strict>, z.ZodObject<{
+                mode: z.ZodLiteral<"remove">;
+                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+            }, z.core.$strict>], "mode">>;
+            depth: z.ZodOptional<z.ZodEnum<{
+                low: "low";
+                medium: "medium";
+                high: "high";
+                tournament: "tournament";
+                autonomous: "autonomous";
+            }>>;
+            invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    prototype: z.ZodDefault<z.ZodObject<{
+        variant_model_hints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+            id: z.ZodString;
+            label: z.ZodString;
+            connector: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"builtin">;
+                name: z.ZodEnum<{
+                    "claude-code": "claude-code";
+                    codex: "codex";
+                    "cursor-agent": "cursor-agent";
+                }>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"named">;
+                name: z.ZodString;
+            }, z.core.$strict>], "kind">>;
+            selection: z.ZodObject<{
+                model: z.ZodOptional<z.ZodObject<{
+                    provider: z.ZodEnum<{
+                        custom: "custom";
+                        openai: "openai";
+                        anthropic: "anthropic";
+                        gemini: "gemini";
+                    }>;
+                    model: z.ZodString;
+                }, z.core.$strict>>;
+                effort: z.ZodOptional<z.ZodEnum<{
+                    low: "low";
+                    medium: "medium";
+                    high: "high";
+                    none: "none";
+                    minimal: "minimal";
+                    xhigh: "xhigh";
+                    max: "max";
+                }>>;
+                skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    mode: z.ZodLiteral<"inherit">;
+                }, z.core.$strict>, z.ZodObject<{
+                    mode: z.ZodLiteral<"replace">;
+                    skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    mode: z.ZodLiteral<"append">;
+                    skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    mode: z.ZodLiteral<"remove">;
+                    skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                }, z.core.$strict>], "mode">>;
+                depth: z.ZodOptional<z.ZodEnum<{
+                    low: "low";
+                    medium: "medium";
+                    high: "high";
+                    tournament: "tournament";
+                    autonomous: "autonomous";
+                }>>;
+                invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+            }, z.core.$strict>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type PolicyPreferences = z.infer<typeof PolicyPreferences>;
+export declare const PolicyDefaults: z.ZodObject<{
+    connector: z.ZodOptional<z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"builtin">;
+        name: z.ZodEnum<{
+            "claude-code": "claude-code";
+            codex: "codex";
+            "cursor-agent": "cursor-agent";
+        }>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"named">;
+        name: z.ZodString;
+    }, z.core.$strict>], "kind">, z.ZodLiteral<"auto">]>>;
+    selection: z.ZodOptional<z.ZodObject<{
+        model: z.ZodOptional<z.ZodObject<{
+            provider: z.ZodEnum<{
+                custom: "custom";
+                openai: "openai";
+                anthropic: "anthropic";
+                gemini: "gemini";
+            }>;
+            model: z.ZodString;
+        }, z.core.$strict>>;
+        effort: z.ZodOptional<z.ZodEnum<{
+            low: "low";
+            medium: "medium";
+            high: "high";
+            none: "none";
+            minimal: "minimal";
+            xhigh: "xhigh";
+            max: "max";
+        }>>;
+        skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            mode: z.ZodLiteral<"inherit">;
+        }, z.core.$strict>, z.ZodObject<{
+            mode: z.ZodLiteral<"replace">;
+            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+        }, z.core.$strict>, z.ZodObject<{
+            mode: z.ZodLiteral<"append">;
+            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+        }, z.core.$strict>, z.ZodObject<{
+            mode: z.ZodLiteral<"remove">;
+            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+        }, z.core.$strict>], "mode">>;
+        depth: z.ZodOptional<z.ZodEnum<{
+            low: "low";
+            medium: "medium";
+            high: "high";
+            tournament: "tournament";
+            autonomous: "autonomous";
+        }>>;
+        invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+    }, z.core.$strict>>;
+    proof_profile: z.ZodOptional<z.ZodEnum<{
+        strict: "strict";
+        standard: "standard";
+    }>>;
+}, z.core.$strict>;
+export type PolicyDefaults = z.infer<typeof PolicyDefaults>;
+export declare const PolicyEnvelopeV2: z.ZodObject<{
+    schema_version: z.ZodLiteral<2>;
+    policy: z.ZodObject<{
+        rules: z.ZodDefault<z.ZodObject<{
+            connectors: z.ZodDefault<z.ZodObject<{
+                allow: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                deny: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                deny_for_write: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                registry: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+                    kind: z.ZodLiteral<"custom">;
+                    name: z.ZodString;
+                    command: z.ZodArray<z.ZodString>;
+                    prompt_transport: z.ZodEnum<{
+                        "prompt-file": "prompt-file";
+                    }>;
+                    output: z.ZodObject<{
+                        kind: z.ZodLiteral<"output-file">;
+                    }, z.core.$strict>;
+                    capabilities: z.ZodObject<{
+                        filesystem: z.ZodEnum<{
+                            "read-only": "read-only";
+                            "trusted-write": "trusted-write";
+                            "isolated-write": "isolated-write";
+                        }>;
+                        structured_output: z.ZodEnum<{
+                            json: "json";
+                        }>;
+                        tool_scope: z.ZodDefault<z.ZodEnum<{
+                            none: "none";
+                            "allow-list": "allow-list";
+                        }>>;
+                    }, z.core.$strict>;
+                }, z.core.$strict>>>;
+            }, z.core.$strict>>;
+            models: z.ZodDefault<z.ZodObject<{
+                deny_providers: z.ZodDefault<z.ZodArray<z.ZodEnum<{
+                    custom: "custom";
+                    openai: "openai";
+                    anthropic: "anthropic";
+                    gemini: "gemini";
+                }>>>;
+                require_provider_for_connector: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodEnum<{
+                    custom: "custom";
+                    openai: "openai";
+                    anthropic: "anthropic";
+                    gemini: "gemini";
+                }>>>;
+            }, z.core.$strict>>;
+            writes: z.ZodDefault<z.ZodObject<{
+                auto_apply: z.ZodOptional<z.ZodBoolean>;
+                require_checkpoint_globs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            }, z.core.$strict>>;
+            skills: z.ZodDefault<z.ZodObject<{
+                deny: z.ZodDefault<z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
+            }, z.core.$strict>>;
+            proof: z.ZodDefault<z.ZodObject<{
+                require_independent_review_for: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        limits: z.ZodDefault<z.ZodObject<{
+            max_attempts_per_step: z.ZodOptional<z.ZodNumber>;
+            max_wall_clock_ms: z.ZodOptional<z.ZodNumber>;
+            max_effort: z.ZodOptional<z.ZodEnum<{
+                low: "low";
+                medium: "medium";
+                high: "high";
+                none: "none";
+                minimal: "minimal";
+                xhigh: "xhigh";
+                max: "max";
+            }>>;
+            max_tournament_n: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        preferences: z.ZodDefault<z.ZodObject<{
+            relay: z.ZodDefault<z.ZodObject<{
+                roles: z.ZodDefault<z.ZodRecord<z.ZodEnum<{
+                    researcher: "researcher";
+                    implementer: "implementer";
+                    reviewer: "reviewer";
+                }> & z.core.$partial, z.ZodObject<{
+                    prefer_connector: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"builtin">;
+                        name: z.ZodEnum<{
+                            "claude-code": "claude-code";
+                            codex: "codex";
+                            "cursor-agent": "cursor-agent";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"named">;
+                        name: z.ZodString;
+                    }, z.core.$strict>], "kind">;
+                }, z.core.$strict>>>;
+                flow_connector_hints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+                    prefer_connector: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"builtin">;
+                        name: z.ZodEnum<{
+                            "claude-code": "claude-code";
+                            codex: "codex";
+                            "cursor-agent": "cursor-agent";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"named">;
+                        name: z.ZodString;
+                    }, z.core.$strict>], "kind">;
+                }, z.core.$strict>>>;
+            }, z.core.$strict>>;
+            selection: z.ZodDefault<z.ZodObject<{
+                flow_hints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+                    selection: z.ZodObject<{
+                        model: z.ZodOptional<z.ZodObject<{
+                            provider: z.ZodEnum<{
+                                custom: "custom";
+                                openai: "openai";
+                                anthropic: "anthropic";
+                                gemini: "gemini";
+                            }>;
+                            model: z.ZodString;
+                        }, z.core.$strict>>;
+                        effort: z.ZodOptional<z.ZodEnum<{
+                            low: "low";
+                            medium: "medium";
+                            high: "high";
+                            none: "none";
+                            minimal: "minimal";
+                            xhigh: "xhigh";
+                            max: "max";
+                        }>>;
+                        skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            mode: z.ZodLiteral<"inherit">;
+                        }, z.core.$strict>, z.ZodObject<{
+                            mode: z.ZodLiteral<"replace">;
+                            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            mode: z.ZodLiteral<"append">;
+                            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            mode: z.ZodLiteral<"remove">;
+                            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                        }, z.core.$strict>], "mode">>;
+                        depth: z.ZodOptional<z.ZodEnum<{
+                            low: "low";
+                            medium: "medium";
+                            high: "high";
+                            tournament: "tournament";
+                            autonomous: "autonomous";
+                        }>>;
+                        invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+                    }, z.core.$strict>;
+                }, z.core.$strict>>>;
+            }, z.core.$strict>>;
+            skills: z.ZodDefault<z.ZodObject<{
+                slot_bindings: z.ZodDefault<z.ZodRecord<z.core.$ZodBranded<z.ZodString, "SkillSlotId", "out">, z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
+                flow_slot_bindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+                    bindings: z.ZodRecord<z.core.$ZodBranded<z.ZodString, "SkillSlotId", "out">, z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                }, z.core.$strict>>>;
+            }, z.core.$strict>>;
+            invocation: z.ZodDefault<z.ZodObject<{
+                selection_request: z.ZodOptional<z.ZodObject<{
+                    model: z.ZodOptional<z.ZodObject<{
+                        provider: z.ZodEnum<{
+                            custom: "custom";
+                            openai: "openai";
+                            anthropic: "anthropic";
+                            gemini: "gemini";
+                        }>;
+                        model: z.ZodString;
+                    }, z.core.$strict>>;
+                    effort: z.ZodOptional<z.ZodEnum<{
+                        low: "low";
+                        medium: "medium";
+                        high: "high";
+                        none: "none";
+                        minimal: "minimal";
+                        xhigh: "xhigh";
+                        max: "max";
+                    }>>;
+                    skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        mode: z.ZodLiteral<"inherit">;
+                    }, z.core.$strict>, z.ZodObject<{
+                        mode: z.ZodLiteral<"replace">;
+                        skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        mode: z.ZodLiteral<"append">;
+                        skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        mode: z.ZodLiteral<"remove">;
+                        skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                    }, z.core.$strict>], "mode">>;
+                    depth: z.ZodOptional<z.ZodEnum<{
+                        low: "low";
+                        medium: "medium";
+                        high: "high";
+                        tournament: "tournament";
+                        autonomous: "autonomous";
+                    }>>;
+                    invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            prototype: z.ZodDefault<z.ZodObject<{
+                variant_model_hints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+                    id: z.ZodString;
+                    label: z.ZodString;
+                    connector: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"builtin">;
+                        name: z.ZodEnum<{
+                            "claude-code": "claude-code";
+                            codex: "codex";
+                            "cursor-agent": "cursor-agent";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"named">;
+                        name: z.ZodString;
+                    }, z.core.$strict>], "kind">>;
+                    selection: z.ZodObject<{
+                        model: z.ZodOptional<z.ZodObject<{
+                            provider: z.ZodEnum<{
+                                custom: "custom";
+                                openai: "openai";
+                                anthropic: "anthropic";
+                                gemini: "gemini";
+                            }>;
+                            model: z.ZodString;
+                        }, z.core.$strict>>;
+                        effort: z.ZodOptional<z.ZodEnum<{
+                            low: "low";
+                            medium: "medium";
+                            high: "high";
+                            none: "none";
+                            minimal: "minimal";
+                            xhigh: "xhigh";
+                            max: "max";
+                        }>>;
+                        skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            mode: z.ZodLiteral<"inherit">;
+                        }, z.core.$strict>, z.ZodObject<{
+                            mode: z.ZodLiteral<"replace">;
+                            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            mode: z.ZodLiteral<"append">;
+                            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            mode: z.ZodLiteral<"remove">;
+                            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                        }, z.core.$strict>], "mode">>;
+                        depth: z.ZodOptional<z.ZodEnum<{
+                            low: "low";
+                            medium: "medium";
+                            high: "high";
+                            tournament: "tournament";
+                            autonomous: "autonomous";
+                        }>>;
+                        invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+                    }, z.core.$strict>;
+                }, z.core.$strict>>>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        defaults: z.ZodDefault<z.ZodObject<{
+            connector: z.ZodOptional<z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"builtin">;
+                name: z.ZodEnum<{
+                    "claude-code": "claude-code";
+                    codex: "codex";
+                    "cursor-agent": "cursor-agent";
+                }>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"named">;
+                name: z.ZodString;
+            }, z.core.$strict>], "kind">, z.ZodLiteral<"auto">]>>;
+            selection: z.ZodOptional<z.ZodObject<{
+                model: z.ZodOptional<z.ZodObject<{
+                    provider: z.ZodEnum<{
+                        custom: "custom";
+                        openai: "openai";
+                        anthropic: "anthropic";
+                        gemini: "gemini";
+                    }>;
+                    model: z.ZodString;
+                }, z.core.$strict>>;
+                effort: z.ZodOptional<z.ZodEnum<{
+                    low: "low";
+                    medium: "medium";
+                    high: "high";
+                    none: "none";
+                    minimal: "minimal";
+                    xhigh: "xhigh";
+                    max: "max";
+                }>>;
+                skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    mode: z.ZodLiteral<"inherit">;
+                }, z.core.$strict>, z.ZodObject<{
+                    mode: z.ZodLiteral<"replace">;
+                    skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    mode: z.ZodLiteral<"append">;
+                    skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    mode: z.ZodLiteral<"remove">;
+                    skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                }, z.core.$strict>], "mode">>;
+                depth: z.ZodOptional<z.ZodEnum<{
+                    low: "low";
+                    medium: "medium";
+                    high: "high";
+                    tournament: "tournament";
+                    autonomous: "autonomous";
+                }>>;
+                invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+            }, z.core.$strict>>;
+            proof_profile: z.ZodOptional<z.ZodEnum<{
+                strict: "strict";
+                standard: "standard";
+            }>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type PolicyEnvelopeV2 = z.infer<typeof PolicyEnvelopeV2>;
+export declare const PolicyLayerSource: z.ZodEnum<{
+    "user-global": "user-global";
+    project: "project";
+    invocation: "invocation";
+    "built-in": "built-in";
+}>;
+export type PolicyLayerSource = z.infer<typeof PolicyLayerSource>;
+export declare const PolicyLayer: z.ZodObject<{
+    source: z.ZodEnum<{
+        "user-global": "user-global";
+        project: "project";
+        invocation: "invocation";
+        "built-in": "built-in";
+    }>;
+    source_path: z.ZodOptional<z.ZodString>;
+    envelope: z.ZodObject<{
+        schema_version: z.ZodLiteral<2>;
+        policy: z.ZodObject<{
+            rules: z.ZodDefault<z.ZodObject<{
+                connectors: z.ZodDefault<z.ZodObject<{
+                    allow: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    deny: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                    deny_for_write: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                    registry: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+                        kind: z.ZodLiteral<"custom">;
+                        name: z.ZodString;
+                        command: z.ZodArray<z.ZodString>;
+                        prompt_transport: z.ZodEnum<{
+                            "prompt-file": "prompt-file";
+                        }>;
+                        output: z.ZodObject<{
+                            kind: z.ZodLiteral<"output-file">;
+                        }, z.core.$strict>;
+                        capabilities: z.ZodObject<{
+                            filesystem: z.ZodEnum<{
+                                "read-only": "read-only";
+                                "trusted-write": "trusted-write";
+                                "isolated-write": "isolated-write";
+                            }>;
+                            structured_output: z.ZodEnum<{
+                                json: "json";
+                            }>;
+                            tool_scope: z.ZodDefault<z.ZodEnum<{
+                                none: "none";
+                                "allow-list": "allow-list";
+                            }>>;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>>>;
+                }, z.core.$strict>>;
+                models: z.ZodDefault<z.ZodObject<{
+                    deny_providers: z.ZodDefault<z.ZodArray<z.ZodEnum<{
+                        custom: "custom";
+                        openai: "openai";
+                        anthropic: "anthropic";
+                        gemini: "gemini";
+                    }>>>;
+                    require_provider_for_connector: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodEnum<{
+                        custom: "custom";
+                        openai: "openai";
+                        anthropic: "anthropic";
+                        gemini: "gemini";
+                    }>>>;
+                }, z.core.$strict>>;
+                writes: z.ZodDefault<z.ZodObject<{
+                    auto_apply: z.ZodOptional<z.ZodBoolean>;
+                    require_checkpoint_globs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                }, z.core.$strict>>;
+                skills: z.ZodDefault<z.ZodObject<{
+                    deny: z.ZodDefault<z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
+                }, z.core.$strict>>;
+                proof: z.ZodDefault<z.ZodObject<{
+                    require_independent_review_for: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            limits: z.ZodDefault<z.ZodObject<{
+                max_attempts_per_step: z.ZodOptional<z.ZodNumber>;
+                max_wall_clock_ms: z.ZodOptional<z.ZodNumber>;
+                max_effort: z.ZodOptional<z.ZodEnum<{
+                    low: "low";
+                    medium: "medium";
+                    high: "high";
+                    none: "none";
+                    minimal: "minimal";
+                    xhigh: "xhigh";
+                    max: "max";
+                }>>;
+                max_tournament_n: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strict>>;
+            preferences: z.ZodDefault<z.ZodObject<{
+                relay: z.ZodDefault<z.ZodObject<{
+                    roles: z.ZodDefault<z.ZodRecord<z.ZodEnum<{
+                        researcher: "researcher";
+                        implementer: "implementer";
+                        reviewer: "reviewer";
+                    }> & z.core.$partial, z.ZodObject<{
+                        prefer_connector: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            kind: z.ZodLiteral<"builtin">;
+                            name: z.ZodEnum<{
+                                "claude-code": "claude-code";
+                                codex: "codex";
+                                "cursor-agent": "cursor-agent";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"named">;
+                            name: z.ZodString;
+                        }, z.core.$strict>], "kind">;
+                    }, z.core.$strict>>>;
+                    flow_connector_hints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                        flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+                        prefer_connector: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            kind: z.ZodLiteral<"builtin">;
+                            name: z.ZodEnum<{
+                                "claude-code": "claude-code";
+                                codex: "codex";
+                                "cursor-agent": "cursor-agent";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"named">;
+                            name: z.ZodString;
+                        }, z.core.$strict>], "kind">;
+                    }, z.core.$strict>>>;
+                }, z.core.$strict>>;
+                selection: z.ZodDefault<z.ZodObject<{
+                    flow_hints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                        flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+                        selection: z.ZodObject<{
+                            model: z.ZodOptional<z.ZodObject<{
+                                provider: z.ZodEnum<{
+                                    custom: "custom";
+                                    openai: "openai";
+                                    anthropic: "anthropic";
+                                    gemini: "gemini";
+                                }>;
+                                model: z.ZodString;
+                            }, z.core.$strict>>;
+                            effort: z.ZodOptional<z.ZodEnum<{
+                                low: "low";
+                                medium: "medium";
+                                high: "high";
+                                none: "none";
+                                minimal: "minimal";
+                                xhigh: "xhigh";
+                                max: "max";
+                            }>>;
+                            skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                mode: z.ZodLiteral<"inherit">;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"replace">;
+                                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"append">;
+                                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"remove">;
+                                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                            }, z.core.$strict>], "mode">>;
+                            depth: z.ZodOptional<z.ZodEnum<{
+                                low: "low";
+                                medium: "medium";
+                                high: "high";
+                                tournament: "tournament";
+                                autonomous: "autonomous";
+                            }>>;
+                            invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>>>;
+                }, z.core.$strict>>;
+                skills: z.ZodDefault<z.ZodObject<{
+                    slot_bindings: z.ZodDefault<z.ZodRecord<z.core.$ZodBranded<z.ZodString, "SkillSlotId", "out">, z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
+                    flow_slot_bindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                        flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+                        bindings: z.ZodRecord<z.core.$ZodBranded<z.ZodString, "SkillSlotId", "out">, z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                    }, z.core.$strict>>>;
+                }, z.core.$strict>>;
+                invocation: z.ZodDefault<z.ZodObject<{
+                    selection_request: z.ZodOptional<z.ZodObject<{
+                        model: z.ZodOptional<z.ZodObject<{
+                            provider: z.ZodEnum<{
+                                custom: "custom";
+                                openai: "openai";
+                                anthropic: "anthropic";
+                                gemini: "gemini";
+                            }>;
+                            model: z.ZodString;
+                        }, z.core.$strict>>;
+                        effort: z.ZodOptional<z.ZodEnum<{
+                            low: "low";
+                            medium: "medium";
+                            high: "high";
+                            none: "none";
+                            minimal: "minimal";
+                            xhigh: "xhigh";
+                            max: "max";
+                        }>>;
+                        skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            mode: z.ZodLiteral<"inherit">;
+                        }, z.core.$strict>, z.ZodObject<{
+                            mode: z.ZodLiteral<"replace">;
+                            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            mode: z.ZodLiteral<"append">;
+                            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            mode: z.ZodLiteral<"remove">;
+                            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                        }, z.core.$strict>], "mode">>;
+                        depth: z.ZodOptional<z.ZodEnum<{
+                            low: "low";
+                            medium: "medium";
+                            high: "high";
+                            tournament: "tournament";
+                            autonomous: "autonomous";
+                        }>>;
+                        invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+                prototype: z.ZodDefault<z.ZodObject<{
+                    variant_model_hints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                        flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+                        id: z.ZodString;
+                        label: z.ZodString;
+                        connector: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            kind: z.ZodLiteral<"builtin">;
+                            name: z.ZodEnum<{
+                                "claude-code": "claude-code";
+                                codex: "codex";
+                                "cursor-agent": "cursor-agent";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"named">;
+                            name: z.ZodString;
+                        }, z.core.$strict>], "kind">>;
+                        selection: z.ZodObject<{
+                            model: z.ZodOptional<z.ZodObject<{
+                                provider: z.ZodEnum<{
+                                    custom: "custom";
+                                    openai: "openai";
+                                    anthropic: "anthropic";
+                                    gemini: "gemini";
+                                }>;
+                                model: z.ZodString;
+                            }, z.core.$strict>>;
+                            effort: z.ZodOptional<z.ZodEnum<{
+                                low: "low";
+                                medium: "medium";
+                                high: "high";
+                                none: "none";
+                                minimal: "minimal";
+                                xhigh: "xhigh";
+                                max: "max";
+                            }>>;
+                            skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                mode: z.ZodLiteral<"inherit">;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"replace">;
+                                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"append">;
+                                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"remove">;
+                                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                            }, z.core.$strict>], "mode">>;
+                            depth: z.ZodOptional<z.ZodEnum<{
+                                low: "low";
+                                medium: "medium";
+                                high: "high";
+                                tournament: "tournament";
+                                autonomous: "autonomous";
+                            }>>;
+                            invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            defaults: z.ZodDefault<z.ZodObject<{
+                connector: z.ZodOptional<z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"builtin">;
+                    name: z.ZodEnum<{
+                        "claude-code": "claude-code";
+                        codex: "codex";
+                        "cursor-agent": "cursor-agent";
+                    }>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"named">;
+                    name: z.ZodString;
+                }, z.core.$strict>], "kind">, z.ZodLiteral<"auto">]>>;
+                selection: z.ZodOptional<z.ZodObject<{
+                    model: z.ZodOptional<z.ZodObject<{
+                        provider: z.ZodEnum<{
+                            custom: "custom";
+                            openai: "openai";
+                            anthropic: "anthropic";
+                            gemini: "gemini";
+                        }>;
+                        model: z.ZodString;
+                    }, z.core.$strict>>;
+                    effort: z.ZodOptional<z.ZodEnum<{
+                        low: "low";
+                        medium: "medium";
+                        high: "high";
+                        none: "none";
+                        minimal: "minimal";
+                        xhigh: "xhigh";
+                        max: "max";
+                    }>>;
+                    skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        mode: z.ZodLiteral<"inherit">;
+                    }, z.core.$strict>, z.ZodObject<{
+                        mode: z.ZodLiteral<"replace">;
+                        skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        mode: z.ZodLiteral<"append">;
+                        skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        mode: z.ZodLiteral<"remove">;
+                        skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                    }, z.core.$strict>], "mode">>;
+                    depth: z.ZodOptional<z.ZodEnum<{
+                        low: "low";
+                        medium: "medium";
+                        high: "high";
+                        tournament: "tournament";
+                        autonomous: "autonomous";
+                    }>>;
+                    invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+                }, z.core.$strict>>;
+                proof_profile: z.ZodOptional<z.ZodEnum<{
+                    strict: "strict";
+                    standard: "standard";
+                }>>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type PolicyLayer = z.infer<typeof PolicyLayer>;
+export declare const RejectedPolicyAuthority: z.ZodObject<{
+    path: z.ZodString;
+    field: z.ZodString;
+    reason: z.ZodString;
+}, z.core.$strict>;
+export type RejectedPolicyAuthority = z.infer<typeof RejectedPolicyAuthority>;
+export declare const PolicyEnvelopeProjectionV0: z.ZodObject<{
+    schema_version: z.ZodLiteral<0>;
+    source: z.ZodEnum<{
+        "user-global": "user-global";
+        project: "project";
+        invocation: "invocation";
+        "built-in": "built-in";
+    }>;
+    policy_envelope: z.ZodObject<{
+        schema_version: z.ZodLiteral<2>;
+        policy: z.ZodObject<{
+            rules: z.ZodDefault<z.ZodObject<{
+                connectors: z.ZodDefault<z.ZodObject<{
+                    allow: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    deny: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                    deny_for_write: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                    registry: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+                        kind: z.ZodLiteral<"custom">;
+                        name: z.ZodString;
+                        command: z.ZodArray<z.ZodString>;
+                        prompt_transport: z.ZodEnum<{
+                            "prompt-file": "prompt-file";
+                        }>;
+                        output: z.ZodObject<{
+                            kind: z.ZodLiteral<"output-file">;
+                        }, z.core.$strict>;
+                        capabilities: z.ZodObject<{
+                            filesystem: z.ZodEnum<{
+                                "read-only": "read-only";
+                                "trusted-write": "trusted-write";
+                                "isolated-write": "isolated-write";
+                            }>;
+                            structured_output: z.ZodEnum<{
+                                json: "json";
+                            }>;
+                            tool_scope: z.ZodDefault<z.ZodEnum<{
+                                none: "none";
+                                "allow-list": "allow-list";
+                            }>>;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>>>;
+                }, z.core.$strict>>;
+                models: z.ZodDefault<z.ZodObject<{
+                    deny_providers: z.ZodDefault<z.ZodArray<z.ZodEnum<{
+                        custom: "custom";
+                        openai: "openai";
+                        anthropic: "anthropic";
+                        gemini: "gemini";
+                    }>>>;
+                    require_provider_for_connector: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodEnum<{
+                        custom: "custom";
+                        openai: "openai";
+                        anthropic: "anthropic";
+                        gemini: "gemini";
+                    }>>>;
+                }, z.core.$strict>>;
+                writes: z.ZodDefault<z.ZodObject<{
+                    auto_apply: z.ZodOptional<z.ZodBoolean>;
+                    require_checkpoint_globs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                }, z.core.$strict>>;
+                skills: z.ZodDefault<z.ZodObject<{
+                    deny: z.ZodDefault<z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
+                }, z.core.$strict>>;
+                proof: z.ZodDefault<z.ZodObject<{
+                    require_independent_review_for: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            limits: z.ZodDefault<z.ZodObject<{
+                max_attempts_per_step: z.ZodOptional<z.ZodNumber>;
+                max_wall_clock_ms: z.ZodOptional<z.ZodNumber>;
+                max_effort: z.ZodOptional<z.ZodEnum<{
+                    low: "low";
+                    medium: "medium";
+                    high: "high";
+                    none: "none";
+                    minimal: "minimal";
+                    xhigh: "xhigh";
+                    max: "max";
+                }>>;
+                max_tournament_n: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strict>>;
+            preferences: z.ZodDefault<z.ZodObject<{
+                relay: z.ZodDefault<z.ZodObject<{
+                    roles: z.ZodDefault<z.ZodRecord<z.ZodEnum<{
+                        researcher: "researcher";
+                        implementer: "implementer";
+                        reviewer: "reviewer";
+                    }> & z.core.$partial, z.ZodObject<{
+                        prefer_connector: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            kind: z.ZodLiteral<"builtin">;
+                            name: z.ZodEnum<{
+                                "claude-code": "claude-code";
+                                codex: "codex";
+                                "cursor-agent": "cursor-agent";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"named">;
+                            name: z.ZodString;
+                        }, z.core.$strict>], "kind">;
+                    }, z.core.$strict>>>;
+                    flow_connector_hints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                        flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+                        prefer_connector: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            kind: z.ZodLiteral<"builtin">;
+                            name: z.ZodEnum<{
+                                "claude-code": "claude-code";
+                                codex: "codex";
+                                "cursor-agent": "cursor-agent";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"named">;
+                            name: z.ZodString;
+                        }, z.core.$strict>], "kind">;
+                    }, z.core.$strict>>>;
+                }, z.core.$strict>>;
+                selection: z.ZodDefault<z.ZodObject<{
+                    flow_hints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                        flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+                        selection: z.ZodObject<{
+                            model: z.ZodOptional<z.ZodObject<{
+                                provider: z.ZodEnum<{
+                                    custom: "custom";
+                                    openai: "openai";
+                                    anthropic: "anthropic";
+                                    gemini: "gemini";
+                                }>;
+                                model: z.ZodString;
+                            }, z.core.$strict>>;
+                            effort: z.ZodOptional<z.ZodEnum<{
+                                low: "low";
+                                medium: "medium";
+                                high: "high";
+                                none: "none";
+                                minimal: "minimal";
+                                xhigh: "xhigh";
+                                max: "max";
+                            }>>;
+                            skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                mode: z.ZodLiteral<"inherit">;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"replace">;
+                                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"append">;
+                                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"remove">;
+                                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                            }, z.core.$strict>], "mode">>;
+                            depth: z.ZodOptional<z.ZodEnum<{
+                                low: "low";
+                                medium: "medium";
+                                high: "high";
+                                tournament: "tournament";
+                                autonomous: "autonomous";
+                            }>>;
+                            invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>>>;
+                }, z.core.$strict>>;
+                skills: z.ZodDefault<z.ZodObject<{
+                    slot_bindings: z.ZodDefault<z.ZodRecord<z.core.$ZodBranded<z.ZodString, "SkillSlotId", "out">, z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
+                    flow_slot_bindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                        flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+                        bindings: z.ZodRecord<z.core.$ZodBranded<z.ZodString, "SkillSlotId", "out">, z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                    }, z.core.$strict>>>;
+                }, z.core.$strict>>;
+                invocation: z.ZodDefault<z.ZodObject<{
+                    selection_request: z.ZodOptional<z.ZodObject<{
+                        model: z.ZodOptional<z.ZodObject<{
+                            provider: z.ZodEnum<{
+                                custom: "custom";
+                                openai: "openai";
+                                anthropic: "anthropic";
+                                gemini: "gemini";
+                            }>;
+                            model: z.ZodString;
+                        }, z.core.$strict>>;
+                        effort: z.ZodOptional<z.ZodEnum<{
+                            low: "low";
+                            medium: "medium";
+                            high: "high";
+                            none: "none";
+                            minimal: "minimal";
+                            xhigh: "xhigh";
+                            max: "max";
+                        }>>;
+                        skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            mode: z.ZodLiteral<"inherit">;
+                        }, z.core.$strict>, z.ZodObject<{
+                            mode: z.ZodLiteral<"replace">;
+                            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            mode: z.ZodLiteral<"append">;
+                            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            mode: z.ZodLiteral<"remove">;
+                            skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                        }, z.core.$strict>], "mode">>;
+                        depth: z.ZodOptional<z.ZodEnum<{
+                            low: "low";
+                            medium: "medium";
+                            high: "high";
+                            tournament: "tournament";
+                            autonomous: "autonomous";
+                        }>>;
+                        invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+                prototype: z.ZodDefault<z.ZodObject<{
+                    variant_model_hints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                        flow_id: z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">;
+                        id: z.ZodString;
+                        label: z.ZodString;
+                        connector: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            kind: z.ZodLiteral<"builtin">;
+                            name: z.ZodEnum<{
+                                "claude-code": "claude-code";
+                                codex: "codex";
+                                "cursor-agent": "cursor-agent";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"named">;
+                            name: z.ZodString;
+                        }, z.core.$strict>], "kind">>;
+                        selection: z.ZodObject<{
+                            model: z.ZodOptional<z.ZodObject<{
+                                provider: z.ZodEnum<{
+                                    custom: "custom";
+                                    openai: "openai";
+                                    anthropic: "anthropic";
+                                    gemini: "gemini";
+                                }>;
+                                model: z.ZodString;
+                            }, z.core.$strict>>;
+                            effort: z.ZodOptional<z.ZodEnum<{
+                                low: "low";
+                                medium: "medium";
+                                high: "high";
+                                none: "none";
+                                minimal: "minimal";
+                                xhigh: "xhigh";
+                                max: "max";
+                            }>>;
+                            skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                mode: z.ZodLiteral<"inherit">;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"replace">;
+                                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"append">;
+                                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"remove">;
+                                skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                            }, z.core.$strict>], "mode">>;
+                            depth: z.ZodOptional<z.ZodEnum<{
+                                low: "low";
+                                medium: "medium";
+                                high: "high";
+                                tournament: "tournament";
+                                autonomous: "autonomous";
+                            }>>;
+                            invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            defaults: z.ZodDefault<z.ZodObject<{
+                connector: z.ZodOptional<z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"builtin">;
+                    name: z.ZodEnum<{
+                        "claude-code": "claude-code";
+                        codex: "codex";
+                        "cursor-agent": "cursor-agent";
+                    }>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"named">;
+                    name: z.ZodString;
+                }, z.core.$strict>], "kind">, z.ZodLiteral<"auto">]>>;
+                selection: z.ZodOptional<z.ZodObject<{
+                    model: z.ZodOptional<z.ZodObject<{
+                        provider: z.ZodEnum<{
+                            custom: "custom";
+                            openai: "openai";
+                            anthropic: "anthropic";
+                            gemini: "gemini";
+                        }>;
+                        model: z.ZodString;
+                    }, z.core.$strict>>;
+                    effort: z.ZodOptional<z.ZodEnum<{
+                        low: "low";
+                        medium: "medium";
+                        high: "high";
+                        none: "none";
+                        minimal: "minimal";
+                        xhigh: "xhigh";
+                        max: "max";
+                    }>>;
+                    skills: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        mode: z.ZodLiteral<"inherit">;
+                    }, z.core.$strict>, z.ZodObject<{
+                        mode: z.ZodLiteral<"replace">;
+                        skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        mode: z.ZodLiteral<"append">;
+                        skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        mode: z.ZodLiteral<"remove">;
+                        skills: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+                    }, z.core.$strict>], "mode">>;
+                    depth: z.ZodOptional<z.ZodEnum<{
+                        low: "low";
+                        medium: "medium";
+                        high: "high";
+                        tournament: "tournament";
+                        autonomous: "autonomous";
+                    }>>;
+                    invocation_options: z.ZodDefault<z.ZodType<import("./json.js").JsonObject, unknown, z.core.$ZodTypeInternals<import("./json.js").JsonObject, unknown>>>;
+                }, z.core.$strict>>;
+                proof_profile: z.ZodOptional<z.ZodEnum<{
+                    strict: "strict";
+                    standard: "standard";
+                }>>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    rejected_old_authority: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        field: z.ZodString;
+        reason: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type PolicyEnvelopeProjectionV0 = z.infer<typeof PolicyEnvelopeProjectionV0>;
+export declare const ComposedPolicyHardConstraints: z.ZodObject<{
+    connectors: z.ZodObject<{
+        allow: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        deny: z.ZodArray<z.ZodString>;
+        deny_for_write: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>;
+    models: z.ZodObject<{
+        deny_providers: z.ZodArray<z.ZodEnum<{
+            custom: "custom";
+            openai: "openai";
+            anthropic: "anthropic";
+            gemini: "gemini";
+        }>>;
+        require_provider_for_connector: z.ZodRecord<z.ZodString, z.ZodEnum<{
+            custom: "custom";
+            openai: "openai";
+            anthropic: "anthropic";
+            gemini: "gemini";
+        }>>;
+    }, z.core.$strict>;
+    writes: z.ZodObject<{
+        auto_apply: z.ZodOptional<z.ZodBoolean>;
+        require_checkpoint_globs: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>;
+    skills: z.ZodObject<{
+        deny: z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>;
+    }, z.core.$strict>;
+    proof: z.ZodObject<{
+        require_independent_review_for: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>;
+    limits: z.ZodObject<{
+        max_attempts_per_step: z.ZodOptional<z.ZodNumber>;
+        max_wall_clock_ms: z.ZodOptional<z.ZodNumber>;
+        max_effort: z.ZodOptional<z.ZodEnum<{
+            low: "low";
+            medium: "medium";
+            high: "high";
+            none: "none";
+            minimal: "minimal";
+            xhigh: "xhigh";
+            max: "max";
+        }>>;
+        max_tournament_n: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type ComposedPolicyHardConstraints = z.infer<typeof ComposedPolicyHardConstraints>;
+export type PolicyConnectorRef = z.infer<typeof PolicyConnectorReference>;
+export {};
+//# sourceMappingURL=policy-envelope.d.ts.map