deepclause-sdk 0.0.89 → 0.1.1

package/dist/cli/config.d.ts

@@ -4,7 +4,7 @@
  * Handles configuration loading, validation, and management.
  */
 import { z } from 'zod';
-import type { CompactionOptions } from '../types.js';
+import type { CompactionSettings } from '../repl/compaction.js';
 import { type ModelSlot, type ResolvedModelConfig } from '../system/config/model-slots.js';
 export type { ModelSlot, Provider, ResolvedModelConfig } from '../system/config/model-slots.js';
 export { buildModelOverride } from '../system/config/model-slots.js';
@@ -14,8 +14,8 @@ declare const MCPServerSchema: z.ZodObject<{
     env: z.ZodDefault<z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>>;
 }, "strip", z.ZodTypeAny, {
     args: string[];
-    command: string;
     env: Record<string, string>;
+    command: string;
 }, {
     command: string;
     args?: string[] | undefined;
@@ -35,6 +35,29 @@ export declare const ConfigSchema: z.ZodObject<{
         gateway?: string | undefined;
         compile?: string | undefined;
     }>>;
+    backend: z.ZodDefault<z.ZodOptional<z.ZodObject<{
+        kind: z.ZodDefault<z.ZodOptional<z.ZodEnum<["env", "pi"]>>>;
+        agentDir: z.ZodOptional<z.ZodString>;
+        modelsPath: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        authPath: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        model: z.ZodOptional<z.ZodString>;
+        /** Thinking level for reasoning models: off|minimal|low|medium|high|xhigh|max. */
+        thinkingLevel: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "env" | "pi";
+        model?: string | undefined;
+        agentDir?: string | undefined;
+        thinkingLevel?: string | undefined;
+        modelsPath?: string | null | undefined;
+        authPath?: string | null | undefined;
+    }, {
+        model?: string | undefined;
+        kind?: "env" | "pi" | undefined;
+        agentDir?: string | undefined;
+        thinkingLevel?: string | undefined;
+        modelsPath?: string | null | undefined;
+        authPath?: string | null | undefined;
+    }>>>;
     temperatures: z.ZodDefault<z.ZodObject<{
         gateway: z.ZodDefault<z.ZodNumber>;
         run: z.ZodDefault<z.ZodNumber>;
@@ -204,8 +227,8 @@ export declare const ConfigSchema: z.ZodObject<{
             env: z.ZodDefault<z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>>;
         }, "strip", z.ZodTypeAny, {
             args: string[];
-            command: string;
             env: Record<string, string>;
+            command: string;
         }, {
             command: string;
             args?: string[] | undefined;
@@ -214,8 +237,8 @@ export declare const ConfigSchema: z.ZodObject<{
     }, "strip", z.ZodTypeAny, {
         servers: Record<string, {
             args: string[];
-            command: string;
             env: Record<string, string>;
+            command: string;
         }>;
     }, {
         servers?: Record<string, {
@@ -235,138 +258,231 @@ export declare const ConfigSchema: z.ZodObject<{
     shell: z.ZodDefault<z.ZodOptional<z.ZodObject<{
         wrapper: z.ZodDefault<z.ZodOptional<z.ZodEnum<["auto", "clean-room", "bwrap", "sandbox-exec"]>>>;
         strictIsolation: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        /** Wall-clock timeout for a single shell command, in ms (0 = disabled). */
+        timeoutMs: z.ZodOptional<z.ZodNumber>;
+        /** Kill a command that produces no output for this many ms (0 = disabled). */
+        idleTimeoutMs: z.ZodOptional<z.ZodNumber>;
     }, "strip", z.ZodTypeAny, {
         strictIsolation: boolean;
         wrapper: "auto" | "clean-room" | "bwrap" | "sandbox-exec";
+        timeoutMs?: number | undefined;
+        idleTimeoutMs?: number | undefined;
     }, {
         strictIsolation?: boolean | undefined;
+        timeoutMs?: number | undefined;
         wrapper?: "auto" | "clean-room" | "bwrap" | "sandbox-exec" | undefined;
+        idleTimeoutMs?: number | undefined;
     }>>>;
-    compaction: z.ZodOptional<z.ZodObject<{
-        enabled: z.ZodOptional<z.ZodBoolean>;
-        bindings: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            name: z.ZodOptional<z.ZodString>;
-            scope: z.ZodEnum<["session", "loop", "run"]>;
-            trigger: z.ZodEnum<["before_user_message", "before_model_call", "before_task", "after_task"]>;
-            compactor: z.ZodObject<{
-                source: z.ZodString;
-                sourceType: z.ZodOptional<z.ZodEnum<["inline", "file", "auto"]>>;
-                timeoutMs: z.ZodOptional<z.ZodNumber>;
-                gasLimit: z.ZodOptional<z.ZodNumber>;
-                model: z.ZodOptional<z.ZodString>;
-                provider: z.ZodOptional<z.ZodEnum<["openai", "anthropic", "google", "openrouter"]>>;
-                inheritTools: z.ZodOptional<z.ZodBoolean>;
-                toolPolicy: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-                    mode: z.ZodEnum<["whitelist", "blacklist"]>;
-                    tools: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
-                }, "strip", z.ZodTypeAny, {
-                    tools: string[];
-                    mode: "whitelist" | "blacklist";
-                }, {
-                    mode: "whitelist" | "blacklist";
-                    tools?: string[] | undefined;
-                }>>>;
-            }, "strip", z.ZodTypeAny, {
-                source: string;
-                model?: string | undefined;
-                provider?: "openai" | "anthropic" | "google" | "openrouter" | undefined;
-                gasLimit?: number | undefined;
-                toolPolicy?: {
-                    tools: string[];
-                    mode: "whitelist" | "blacklist";
-                } | null | undefined;
-                sourceType?: "inline" | "file" | "auto" | undefined;
-                timeoutMs?: number | undefined;
-                inheritTools?: boolean | undefined;
-            }, {
-                source: string;
-                model?: string | undefined;
-                provider?: "openai" | "anthropic" | "google" | "openrouter" | undefined;
-                gasLimit?: number | undefined;
-                toolPolicy?: {
-                    mode: "whitelist" | "blacklist";
-                    tools?: string[] | undefined;
-                } | null | undefined;
-                sourceType?: "inline" | "file" | "auto" | undefined;
-                timeoutMs?: number | undefined;
-                inheritTools?: boolean | undefined;
-            }>;
+    repl: z.ZodDefault<z.ZodOptional<z.ZodObject<{
+        exportOnExit: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        exportPath: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        frozen: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        locked: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        editMode: z.ZodDefault<z.ZodOptional<z.ZodEnum<["transactional", "direct"]>>>;
+        maxDepth: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+        maxModelCalls: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+        writeDepth: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+        /** Harness to edit by default (a project can hold several; default `main`). */
+        harness: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        promptPrefix: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        /** Interactive UI: auto (TUI on a TTY), on, or off (line mode). */
+        tui: z.ZodDefault<z.ZodOptional<z.ZodEnum<["auto", "on", "off"]>>>;
+        render: z.ZodOptional<z.ZodEnum<["rich", "plain", "json"]>>;
+        showReasoning: z.ZodDefault<z.ZodOptional<z.ZodEnum<["off", "summary", "full"]>>>;
+        showToolArgs: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        maxToolResultChars: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+        color: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        tools: z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString, "many">>>;
+        /** pi-style context compaction (TypeScript; replaces the DML compactor). */
+        compaction: z.ZodDefault<z.ZodOptional<z.ZodObject<{
+            enabled: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+            /** Compact automatically when the context crosses the threshold. */
+            auto: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+            reserveTokens: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+            keepRecentTokens: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+        }, "strip", z.ZodTypeAny, {
+            enabled: boolean;
+            auto: boolean;
+            reserveTokens: number;
+            keepRecentTokens: number;
+        }, {
+            enabled?: boolean | undefined;
+            auto?: boolean | undefined;
+            reserveTokens?: number | undefined;
+            keepRecentTokens?: number | undefined;
+        }>>>;
+        /** Media display + image generation (docs/DML_MEDIA.md). */
+        media: z.ZodDefault<z.ZodOptional<z.ZodObject<{
+            /** Workspace-relative directory for generated images. */
+            dir: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            maxBytes: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+            /** Image model as `provider:id`; default: first available. */
+            imageModel: z.ZodOptional<z.ZodString>;
+            /** Default generation size in px. */
+            size: z.ZodOptional<z.ZodNumber>;
+            /** Hand images to the OS viewer when the terminal cannot render them. */
+            open: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+            /** Include base64 image data in `--json` events (default true). */
+            inlineJson: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
         }, "strip", z.ZodTypeAny, {
-            scope: "session" | "loop" | "run";
-            trigger: "before_user_message" | "before_model_call" | "before_task" | "after_task";
-            compactor: {
-                source: string;
-                model?: string | undefined;
-                provider?: "openai" | "anthropic" | "google" | "openrouter" | undefined;
-                gasLimit?: number | undefined;
-                toolPolicy?: {
-                    tools: string[];
-                    mode: "whitelist" | "blacklist";
-                } | null | undefined;
-                sourceType?: "inline" | "file" | "auto" | undefined;
-                timeoutMs?: number | undefined;
-                inheritTools?: boolean | undefined;
-            };
-            name?: string | undefined;
+            open: boolean;
+            dir: string;
+            maxBytes: number;
+            inlineJson: boolean;
+            imageModel?: string | undefined;
+            size?: number | undefined;
         }, {
-            scope: "session" | "loop" | "run";
-            trigger: "before_user_message" | "before_model_call" | "before_task" | "after_task";
-            compactor: {
-                source: string;
-                model?: string | undefined;
-                provider?: "openai" | "anthropic" | "google" | "openrouter" | undefined;
-                gasLimit?: number | undefined;
-                toolPolicy?: {
-                    mode: "whitelist" | "blacklist";
-                    tools?: string[] | undefined;
-                } | null | undefined;
-                sourceType?: "inline" | "file" | "auto" | undefined;
-                timeoutMs?: number | undefined;
-                inheritTools?: boolean | undefined;
-            };
-            name?: string | undefined;
-        }>, "many">>;
+            open?: boolean | undefined;
+            dir?: string | undefined;
+            maxBytes?: number | undefined;
+            imageModel?: string | undefined;
+            size?: number | undefined;
+            inlineJson?: boolean | undefined;
+        }>>>;
+        /** Persistent session/trace/harness history (docs/DML_REPL_SESSION_HISTORY.md). */
+        history: z.ZodDefault<z.ZodOptional<z.ZodObject<{
+            enabled: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+            dir: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            trace: z.ZodDefault<z.ZodOptional<z.ZodEnum<["off", "summary", "full"]>>>;
+            maxEventBytes: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+            maxSessions: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+            maxVersions: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+            includeInExport: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+            redact: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            enabled: boolean;
+            trace: "summary" | "off" | "full";
+            dir: string;
+            maxEventBytes: number;
+            maxSessions: number;
+            maxVersions: number;
+            includeInExport: boolean;
+            redact?: string[] | undefined;
+        }, {
+            enabled?: boolean | undefined;
+            trace?: "summary" | "off" | "full" | undefined;
+            dir?: string | undefined;
+            maxEventBytes?: number | undefined;
+            maxSessions?: number | undefined;
+            maxVersions?: number | undefined;
+            includeInExport?: boolean | undefined;
+            redact?: string[] | undefined;
+        }>>>;
     }, "strip", z.ZodTypeAny, {
-        enabled?: boolean | undefined;
-        bindings?: {
-            scope: "session" | "loop" | "run";
-            trigger: "before_user_message" | "before_model_call" | "before_task" | "after_task";
-            compactor: {
-                source: string;
-                model?: string | undefined;
-                provider?: "openai" | "anthropic" | "google" | "openrouter" | undefined;
-                gasLimit?: number | undefined;
-                toolPolicy?: {
-                    tools: string[];
-                    mode: "whitelist" | "blacklist";
-                } | null | undefined;
-                sourceType?: "inline" | "file" | "auto" | undefined;
-                timeoutMs?: number | undefined;
-                inheritTools?: boolean | undefined;
-            };
-            name?: string | undefined;
-        }[] | undefined;
+        media: {
+            open: boolean;
+            dir: string;
+            maxBytes: number;
+            inlineJson: boolean;
+            imageModel?: string | undefined;
+            size?: number | undefined;
+        };
+        harness: string;
+        exportOnExit: boolean;
+        exportPath: string;
+        frozen: boolean;
+        locked: boolean;
+        editMode: "direct" | "transactional";
+        maxDepth: number;
+        maxModelCalls: number;
+        writeDepth: number;
+        promptPrefix: string;
+        tui: "auto" | "off" | "on";
+        showReasoning: "summary" | "off" | "full";
+        showToolArgs: boolean;
+        maxToolResultChars: number;
+        color: boolean;
+        compaction: {
+            enabled: boolean;
+            auto: boolean;
+            reserveTokens: number;
+            keepRecentTokens: number;
+        };
+        history: {
+            enabled: boolean;
+            trace: "summary" | "off" | "full";
+            dir: string;
+            maxEventBytes: number;
+            maxSessions: number;
+            maxVersions: number;
+            includeInExport: boolean;
+            redact?: string[] | undefined;
+        };
+        tools?: string[] | null | undefined;
+        render?: "rich" | "plain" | "json" | undefined;
     }, {
-        enabled?: boolean | undefined;
-        bindings?: {
-            scope: "session" | "loop" | "run";
-            trigger: "before_user_message" | "before_model_call" | "before_task" | "after_task";
-            compactor: {
-                source: string;
-                model?: string | undefined;
-                provider?: "openai" | "anthropic" | "google" | "openrouter" | undefined;
-                gasLimit?: number | undefined;
-                toolPolicy?: {
-                    mode: "whitelist" | "blacklist";
-                    tools?: string[] | undefined;
-                } | null | undefined;
-                sourceType?: "inline" | "file" | "auto" | undefined;
-                timeoutMs?: number | undefined;
-                inheritTools?: boolean | undefined;
-            };
-            name?: string | undefined;
-        }[] | undefined;
-    }>>;
+        media?: {
+            open?: boolean | undefined;
+            dir?: string | undefined;
+            maxBytes?: number | undefined;
+            imageModel?: string | undefined;
+            size?: number | undefined;
+            inlineJson?: boolean | undefined;
+        } | undefined;
+        tools?: string[] | null | undefined;
+        harness?: string | undefined;
+        exportOnExit?: boolean | undefined;
+        exportPath?: string | undefined;
+        frozen?: boolean | undefined;
+        locked?: boolean | undefined;
+        editMode?: "direct" | "transactional" | undefined;
+        maxDepth?: number | undefined;
+        maxModelCalls?: number | undefined;
+        writeDepth?: number | undefined;
+        promptPrefix?: string | undefined;
+        tui?: "auto" | "off" | "on" | undefined;
+        render?: "rich" | "plain" | "json" | undefined;
+        showReasoning?: "summary" | "off" | "full" | undefined;
+        showToolArgs?: boolean | undefined;
+        maxToolResultChars?: number | undefined;
+        color?: boolean | undefined;
+        compaction?: {
+            enabled?: boolean | undefined;
+            auto?: boolean | undefined;
+            reserveTokens?: number | undefined;
+            keepRecentTokens?: number | undefined;
+        } | undefined;
+        history?: {
+            enabled?: boolean | undefined;
+            trace?: "summary" | "off" | "full" | undefined;
+            dir?: string | undefined;
+            maxEventBytes?: number | undefined;
+            maxSessions?: number | undefined;
+            maxVersions?: number | undefined;
+            includeInExport?: boolean | undefined;
+            redact?: string[] | undefined;
+        } | undefined;
+    }>>>;
+    judgment: z.ZodDefault<z.ZodOptional<z.ZodObject<{
+        default: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        jev: z.ZodDefault<z.ZodOptional<z.ZodObject<{
+            enabled: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+            model: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            apiKeyEnv: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "strip", z.ZodTypeAny, {
+            enabled: boolean;
+            model: string;
+            apiKeyEnv: string;
+        }, {
+            enabled?: boolean | undefined;
+            model?: string | undefined;
+            apiKeyEnv?: string | undefined;
+        }>>>;
+    }, "strip", z.ZodTypeAny, {
+        default: string;
+        jev: {
+            enabled: boolean;
+            model: string;
+            apiKeyEnv: string;
+        };
+    }, {
+        default?: string | undefined;
+        jev?: {
+            enabled?: boolean | undefined;
+            model?: string | undefined;
+            apiKeyEnv?: string | undefined;
+        } | undefined;
+    }>>>;
     dmlBase: z.ZodDefault<z.ZodOptional<z.ZodString>>;
     workspace: z.ZodDefault<z.ZodOptional<z.ZodString>>;
     model: z.ZodOptional<z.ZodString>;
@@ -389,15 +505,20 @@ export declare const ConfigSchema: z.ZodObject<{
             maxOutputTokens?: number | undefined;
         } | undefined;
     };
-    agentvm: {
-        network: boolean;
+    backend: {
+        kind: "env" | "pi";
+        model?: string | undefined;
+        agentDir?: string | undefined;
+        thinkingLevel?: string | undefined;
+        modelsPath?: string | null | undefined;
+        authPath?: string | null | undefined;
     };
-    workspace: string;
     models: {
         run: string;
         gateway: string;
         compile: string;
     };
+    workspace: string;
     temperatures: {
         run: number;
         gateway: number;
@@ -424,38 +545,73 @@ export declare const ConfigSchema: z.ZodObject<{
     mcp: {
         servers: Record<string, {
             args: string[];
-            command: string;
             env: Record<string, string>;
+            command: string;
         }>;
     };
+    agentvm: {
+        network: boolean;
+    };
     shell: {
         strictIsolation: boolean;
         wrapper: "auto" | "clean-room" | "bwrap" | "sandbox-exec";
+        timeoutMs?: number | undefined;
+        idleTimeoutMs?: number | undefined;
+    };
+    repl: {
+        media: {
+            open: boolean;
+            dir: string;
+            maxBytes: number;
+            inlineJson: boolean;
+            imageModel?: string | undefined;
+            size?: number | undefined;
+        };
+        harness: string;
+        exportOnExit: boolean;
+        exportPath: string;
+        frozen: boolean;
+        locked: boolean;
+        editMode: "direct" | "transactional";
+        maxDepth: number;
+        maxModelCalls: number;
+        writeDepth: number;
+        promptPrefix: string;
+        tui: "auto" | "off" | "on";
+        showReasoning: "summary" | "off" | "full";
+        showToolArgs: boolean;
+        maxToolResultChars: number;
+        color: boolean;
+        compaction: {
+            enabled: boolean;
+            auto: boolean;
+            reserveTokens: number;
+            keepRecentTokens: number;
+        };
+        history: {
+            enabled: boolean;
+            trace: "summary" | "off" | "full";
+            dir: string;
+            maxEventBytes: number;
+            maxSessions: number;
+            maxVersions: number;
+            includeInExport: boolean;
+            redact?: string[] | undefined;
+        };
+        tools?: string[] | null | undefined;
+        render?: "rich" | "plain" | "json" | undefined;
+    };
+    judgment: {
+        default: string;
+        jev: {
+            enabled: boolean;
+            model: string;
+            apiKeyEnv: string;
+        };
     };
     dmlBase: string;
     model?: string | undefined;
     provider?: "openai" | "anthropic" | "google" | "openrouter" | undefined;
-    compaction?: {
-        enabled?: boolean | undefined;
-        bindings?: {
-            scope: "session" | "loop" | "run";
-            trigger: "before_user_message" | "before_model_call" | "before_task" | "after_task";
-            compactor: {
-                source: string;
-                model?: string | undefined;
-                provider?: "openai" | "anthropic" | "google" | "openrouter" | undefined;
-                gasLimit?: number | undefined;
-                toolPolicy?: {
-                    tools: string[];
-                    mode: "whitelist" | "blacklist";
-                } | null | undefined;
-                sourceType?: "inline" | "file" | "auto" | undefined;
-                timeoutMs?: number | undefined;
-                inheritTools?: boolean | undefined;
-            };
-            name?: string | undefined;
-        }[] | undefined;
-    } | undefined;
 }, {
     model?: string | undefined;
     modelOptions?: {
@@ -476,36 +632,20 @@ export declare const ConfigSchema: z.ZodObject<{
         } | undefined;
     } | undefined;
     provider?: "openai" | "anthropic" | "google" | "openrouter" | undefined;
-    agentvm?: {
-        network?: boolean | undefined;
-    } | undefined;
-    compaction?: {
-        enabled?: boolean | undefined;
-        bindings?: {
-            scope: "session" | "loop" | "run";
-            trigger: "before_user_message" | "before_model_call" | "before_task" | "after_task";
-            compactor: {
-                source: string;
-                model?: string | undefined;
-                provider?: "openai" | "anthropic" | "google" | "openrouter" | undefined;
-                gasLimit?: number | undefined;
-                toolPolicy?: {
-                    mode: "whitelist" | "blacklist";
-                    tools?: string[] | undefined;
-                } | null | undefined;
-                sourceType?: "inline" | "file" | "auto" | undefined;
-                timeoutMs?: number | undefined;
-                inheritTools?: boolean | undefined;
-            };
-            name?: string | undefined;
-        }[] | undefined;
+    backend?: {
+        model?: string | undefined;
+        kind?: "env" | "pi" | undefined;
+        agentDir?: string | undefined;
+        thinkingLevel?: string | undefined;
+        modelsPath?: string | null | undefined;
+        authPath?: string | null | undefined;
     } | undefined;
-    workspace?: string | undefined;
     models?: {
         run?: string | undefined;
         gateway?: string | undefined;
         compile?: string | undefined;
     } | undefined;
+    workspace?: string | undefined;
     temperatures?: {
         run?: number | undefined;
         gateway?: number | undefined;
@@ -536,9 +676,65 @@ export declare const ConfigSchema: z.ZodObject<{
             env?: Record<string, string> | undefined;
         }> | undefined;
     } | undefined;
+    agentvm?: {
+        network?: boolean | undefined;
+    } | undefined;
     shell?: {
         strictIsolation?: boolean | undefined;
+        timeoutMs?: number | undefined;
         wrapper?: "auto" | "clean-room" | "bwrap" | "sandbox-exec" | undefined;
+        idleTimeoutMs?: number | undefined;
+    } | undefined;
+    repl?: {
+        media?: {
+            open?: boolean | undefined;
+            dir?: string | undefined;
+            maxBytes?: number | undefined;
+            imageModel?: string | undefined;
+            size?: number | undefined;
+            inlineJson?: boolean | undefined;
+        } | undefined;
+        tools?: string[] | null | undefined;
+        harness?: string | undefined;
+        exportOnExit?: boolean | undefined;
+        exportPath?: string | undefined;
+        frozen?: boolean | undefined;
+        locked?: boolean | undefined;
+        editMode?: "direct" | "transactional" | undefined;
+        maxDepth?: number | undefined;
+        maxModelCalls?: number | undefined;
+        writeDepth?: number | undefined;
+        promptPrefix?: string | undefined;
+        tui?: "auto" | "off" | "on" | undefined;
+        render?: "rich" | "plain" | "json" | undefined;
+        showReasoning?: "summary" | "off" | "full" | undefined;
+        showToolArgs?: boolean | undefined;
+        maxToolResultChars?: number | undefined;
+        color?: boolean | undefined;
+        compaction?: {
+            enabled?: boolean | undefined;
+            auto?: boolean | undefined;
+            reserveTokens?: number | undefined;
+            keepRecentTokens?: number | undefined;
+        } | undefined;
+        history?: {
+            enabled?: boolean | undefined;
+            trace?: "summary" | "off" | "full" | undefined;
+            dir?: string | undefined;
+            maxEventBytes?: number | undefined;
+            maxSessions?: number | undefined;
+            maxVersions?: number | undefined;
+            includeInExport?: boolean | undefined;
+            redact?: string[] | undefined;
+        } | undefined;
+    } | undefined;
+    judgment?: {
+        default?: string | undefined;
+        jev?: {
+            enabled?: boolean | undefined;
+            model?: string | undefined;
+            apiKeyEnv?: string | undefined;
+        } | undefined;
     } | undefined;
     dmlBase?: string | undefined;
 }>;
@@ -556,9 +752,6 @@ export declare function initConfig(workspaceRoot: string, options?: {
     force?: boolean;
     model?: string;
 }): Promise<void>;
-export declare function ensureSystemOverrideSeeds(workspaceRoot: string, options?: {
-    overwrite?: boolean;
-}): Promise<void>;
 export declare function ensureWorkspaceDocSeeds(workspaceRoot: string, options?: {
     overwrite?: boolean;
 }): Promise<void>;
@@ -606,10 +799,24 @@ export declare function getDefaultConfig(): Config;
  * Update configuration with partial changes
  */
 export declare function updateConfig(workspaceRoot: string, updates: Partial<Config>): Promise<Config>;
-export declare function resolveCompactionConfig(config: Config, workspaceRoot: string): CompactionOptions | undefined;
+export interface ReplCompactionConfig extends CompactionSettings {
+    /** Whether compaction is applied automatically when the threshold is crossed. */
+    auto: boolean;
+}
+/** Resolve the REPL's TypeScript compaction settings. */
+export declare function resolveReplCompactionConfig(config: Config): ReplCompactionConfig;
 /**
  * Check if configuration exists
  */
+export type ReplConfig = Config['repl'];
+/**
+ * Load configuration for the REPL without requiring `.deepclause/` to exist.
+ *
+ * The REPL is a goal-mode-capable tool that must run from a clean checkout
+ * (see the plan's smoke test), so a missing config falls back to defaults
+ * rather than creating the workspace directory.
+ */
+export declare function loadReplConfig(workspaceRoot: string): Promise<Config>;
 export declare function configExists(workspaceRoot: string): Promise<boolean>;
 export declare function deepClauseDirExists(workspaceRoot: string): Promise<boolean>;
 /**