deepclause-sdk 0.0.88 → 0.1.0

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,187 @@ 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, {
-            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;
+            enabled: boolean;
+            auto: boolean;
+            reserveTokens: number;
+            keepRecentTokens: number;
         }, {
-            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">>;
+            enabled?: boolean | undefined;
+            auto?: boolean | undefined;
+            reserveTokens?: number | undefined;
+            keepRecentTokens?: number | 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;
+        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;
-    }>>;
+        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,8 +461,13 @@ 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: {
@@ -424,38 +501,65 @@ 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: {
+        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,29 +580,13 @@ 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?: {
@@ -536,9 +624,57 @@ 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?: {
+        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 +692,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 +739,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>;
 /**

package/dist/cli/config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/cli/config.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAaxB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EAOL,KAAK,SAAS,EAEd,KAAK,mBAAmB,EACzB,MAAM,iCAAiC,CAAC;AAEzC,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAChG,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAMrE,QAAA,MAAM,eAAe;;;;;;;;;;;;EAInB,CAAC;AAgFH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAzEvB,gEAAgE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsFhE,CAAC;AAEH,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAClD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAiDxD,wBAAgB,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,wBAAgB,aAAa,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,wBAAgB,WAAW,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAEzD;AAED,wBAAgB,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,wBAAgB,UAAU,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAExD;AAMD;;GAEG;AACH,wBAAsB,UAAU,CAC9B,aAAa,EAAE,MAAM,EACrB,OAAO,GAAE;IAAE,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAO,GAChD,OAAO,CAAC,IAAI,CAAC,CAwDf;AAED,wBAAsB,yBAAyB,CAC7C,aAAa,EAAE,MAAM,EACrB,OAAO,GAAE;IAAE,SAAS,CAAC,EAAE,OAAO,CAAA;CAAO,GACpC,OAAO,CAAC,IAAI,CAAC,CAIf;AAmGD,wBAAsB,uBAAuB,CAC3C,aAAa,EAAE,MAAM,EACrB,OAAO,GAAE;IAAE,SAAS,CAAC,EAAE,OAAO,CAAA;CAAO,GACpC,OAAO,CAAC,IAAI,CAAC,CAIf;AA4BD;;GAEG;AACH,wBAAsB,UAAU,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CA0BvE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAkBtD;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE5D;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEzD;AAED;;;GAGG;AACH,wBAAsB,QAAQ,CAC5B,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,MAAM,EACnB,IAAI,CAAC,EAAE,SAAS,GACf,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,SAAS,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAyBvE;AAED;;GAEG;AACH,wBAAsB,SAAS,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9D,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAClC,YAAY,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACxC,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC,CAkBD;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,SAAS,EACf,SAAS,GAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAO,GACzD,mBAAmB,CAErB;AAED,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,mBAAmB,GAAG,IAAI,CAmB7E;AAED,wBAAgB,gBAAgB,IAAI,MAAM,CAqBzC;AAED;;GAEG;AACH,wBAAsB,YAAY,CAChC,aAAa,EAAE,MAAM,EACrB,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,GACvB,OAAO,CAAC,MAAM,CAAC,CA2BjB;AA4GD,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,MAAM,GACpB,iBAAiB,GAAG,SAAS,CAoB/B;AAED;;GAEG;AACH,wBAAsB,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAO1E;AAED,wBAAsB,mBAAmB,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAOjF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAEvE"}
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/cli/config.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAOxB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAOL,KAAK,SAAS,EAEd,KAAK,mBAAmB,EACzB,MAAM,iCAAiC,CAAC;AAEzC,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAChG,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAMrE,QAAA,MAAM,eAAe;;;;;;;;;;;;EAInB,CAAC;AAuIH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;QApBvB,kFAAkF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA5GlF,gEAAgE;;;;;;;;;;QAOhE,2EAA2E;;QAE3E,8EAA8E;;;;;;;;;;;;;;;;;;;;;;QA8D9E,+EAA+E;;;QAG/E,mEAAmE;;;;;;;;QAQnE,4EAA4E;;;YA3B5E,oEAAoE;;;;;;;;;;;;;;;QA6BpE,mFAAmF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA2DnF,CAAC;AAEH,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAClD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AA2DxD,wBAAgB,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,wBAAgB,aAAa,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,wBAAgB,WAAW,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAEzD;AAED,wBAAgB,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,wBAAgB,UAAU,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAExD;AAMD;;GAEG;AACH,wBAAsB,UAAU,CAC9B,aAAa,EAAE,MAAM,EACrB,OAAO,GAAE;IAAE,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAO,GAChD,OAAO,CAAC,IAAI,CAAC,CAqDf;AAED,wBAAsB,uBAAuB,CAC3C,aAAa,EAAE,MAAM,EACrB,OAAO,GAAE;IAAE,SAAS,CAAC,EAAE,OAAO,CAAA;CAAO,GACpC,OAAO,CAAC,IAAI,CAAC,CAIf;AA4BD;;GAEG;AACH,wBAAsB,UAAU,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAwBvE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAkBtD;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE5D;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEzD;AAED;;;GAGG;AACH,wBAAsB,QAAQ,CAC5B,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,MAAM,EACnB,IAAI,CAAC,EAAE,SAAS,GACf,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,SAAS,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAyBvE;AAED;;GAEG;AACH,wBAAsB,SAAS,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9D,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAClC,YAAY,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACxC,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC,CAkBD;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,SAAS,EACf,SAAS,GAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAO,GACzD,mBAAmB,CAErB;AAED,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,mBAAmB,GAAG,IAAI,CAmB7E;AAED,wBAAgB,gBAAgB,IAAI,MAAM,CAezC;AAED;;GAEG;AACH,wBAAsB,YAAY,CAChC,aAAa,EAAE,MAAM,EACrB,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,GACvB,OAAO,CAAC,MAAM,CAAC,CAoBjB;AA4GD,MAAM,WAAW,oBAAqB,SAAQ,kBAAkB;IAC9D,iFAAiF;IACjF,IAAI,EAAE,OAAO,CAAC;CACf;AAED,yDAAyD;AACzD,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,MAAM,GAAG,oBAAoB,CAQhF;AAED;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;AAExC;;;;;;GAMG;AACH,wBAAsB,cAAc,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAK3E;AAED,wBAAsB,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAO1E;AAED,wBAAsB,mBAAmB,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAOjF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAEvE"}