deepclause-sdk 0.1.1 → 0.1.3

package/dist/cli/repl.d.ts

@@ -8,9 +8,10 @@
  */
 import type { Command } from 'commander';
 import { type HarnessRepl } from '../repl/index.js';
-import { ReplRenderer } from '../repl/render.js';
+import { type ReplEventRenderer } from '../repl/render.js';
 import { type ReplStatusSnapshot } from '../repl/status.js';
 import { type ReplToolset } from '../repl/toolset.js';
+import { type ModelResolver } from '../repl/model-resolver.js';
 import type { ImageBackend } from '../types.js';
 import { type DiagramMode, type GraphicsMode } from '../visualize/index.js';
 export interface ReplCliOptions {
@@ -52,6 +53,8 @@ export interface ReplCliOptions {
     tools?: string;
     noTools?: boolean;
     sandbox?: boolean;
+    /** Refuse to start unless the effective shell backend is a sandbox. */
+    requireSandbox?: boolean;
     noAsk?: boolean;
     answer?: string;
     interactiveInput?: boolean;
@@ -83,6 +86,11 @@ export type ReplInput = {
 } | {
     kind: 'model';
     model?: string;
+} | {
+    kind: 'reasoning';
+    level?: string;
+} | {
+    kind: 'show-reasoning';
 } | {
     kind: 'export';
     path?: string;
@@ -139,7 +147,7 @@ export declare function classifyReplInput(line: string): ReplInput;
 /** Run one goal and render its solutions. Returns a process exit code. */
 export declare function runGoalWithRenderer(repl: HarnessRepl, goal: string, options: {
     first?: boolean;
-    renderer: ReplRenderer;
+    renderer: ReplEventRenderer;
     signal?: AbortSignal;
 }): Promise<number>;
 /**
@@ -151,7 +159,8 @@ export declare function runGoalWithRenderer(repl: HarnessRepl, goal: string, opt
 export declare function buildCliOnInput(options: ReplCliOptions): ((prompt: string, choices?: string[]) => Promise<string | undefined>) | undefined;
 export interface ReplRuntime {
     repl: HarnessRepl;
-    renderer: ReplRenderer;
+    /** String renderer for plain/json output, or the TUI's component renderer. */
+    renderer: ReplEventRenderer;
     workspace: string;
     promptPrefix: string;
     toolset: ReplToolset;
@@ -163,6 +172,14 @@ export interface ReplRuntime {
     /** Active model capabilities (pi backend), used by the status bar. */
     contextWindow?: number;
     reasoning: boolean;
+    /** How much model reasoning the renderer shows (the picker changes this live). */
+    reasoningMode: 'off' | 'summary' | 'full';
+    /** Models this session can switch to, for the model picker. */
+    modelResolver?: ModelResolver;
+    /** The backend, so a picker can change the reasoning level live. */
+    llmBackend?: import('../types.js').LLMBackend;
+    /** Set the reasoning level shown in the status bar. */
+    setThinkingLevel?: (level: string | undefined) => void;
     thinkingLevel?: string;
     /** Session id of this run. */
     sessionId: string;
@@ -196,7 +213,7 @@ export declare function dispatchReplInput(runtime: ReplRuntime, input: ReplInput
     exportPath?: string;
     signal?: AbortSignal;
 }): Promise<boolean>;
-export declare function runInteractiveGoal(repl: HarnessRepl, renderer: ReplRenderer, goal: string, options: ReplCliOptions, ask: (query: string) => Promise<string | null>, signal?: AbortSignal): Promise<void>;
+export declare function runInteractiveGoal(repl: HarnessRepl, renderer: ReplEventRenderer, goal: string, options: ReplCliOptions, ask: (query: string) => Promise<string | null>, signal?: AbortSignal): Promise<void>;
 /**
  * Interactive TUI for the REPL: a scrolling transcript, a fixed editor, and a
  * fixed status bar below the input. It reuses `ReplRenderer` (rich mode) for all

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

@@ -1 +1 @@
-{"version":3,"file":"repl.d.ts","sourceRoot":"","sources":["../../src/cli/repl.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAMzC,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAGvE,OAAO,EAAE,YAAY,EAAmB,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAqB,KAAK,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAQ/E,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGzE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAGhD,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,YAAY,EAClB,MAAM,uBAAuB,CAAC;AAE/B,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,mDAAmD;IACnD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mFAAmF;IACnF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC;IACvB,2DAA2D;IAC3D,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,8DAA8D;IAC9D,aAAa,CAAC,EAAE,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC;IAC3C,oEAAoE;IACpE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qFAAqF;IACrF,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,8DAA8D;IAC9D,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,+CAA+C;IAC/C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,4EAA4E;IAC5E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,yEAAyE;IACzE,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,uDAAuD;IACvD,GAAG,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;CAC7B;AAED,MAAM,MAAM,SAAS,GACjB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,YAAY,CAAA;CAAE,GAC1E;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAM9C,8EAA8E;AAC9E,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,YAAY,CAAA;CAAE,CA6BvG;AAED,oFAAoF;AACpF,wBAAgB,eAAe,CAAC,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAE1F;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAgGzD;AAED,0EAA0E;AAC1E,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,WAAW,EACjB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE;IAAE,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,YAAY,CAAC;IAAC,MAAM,CAAC,EAAE,WAAW,CAAA;CAAE,GACzE,OAAO,CAAC,MAAM,CAAC,CAqBjB;AAQD;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,cAAc,GACtB,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,GAAG,SAAS,CAoBnF;AAWD,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,EAAE,YAAY,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;IACrB,oDAAoD;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,+DAA+D;IAC/D,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,KAAK,GAAG,IAAI,CAAC;IACtB,sEAAsE;IACtE,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,OAAO,CAAC;IACnB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,8BAA8B;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,+DAA+D;IAC/D,WAAW,EAAE,MAAM,CAAC;IACpB,0DAA0D;IAC1D,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,yEAAyE;IACzE,cAAc,EAAE,OAAO,CAAC;IACxB,gFAAgF;IAChF,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,6DAA6D;IAC7D,cAAc,IAAI,kBAAkB,CAAC;IACrC,+EAA+E;IAC/E,OAAO,EAAE,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;IAC/B,8EAA8E;IAC9E,UAAU,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,GAAG,IAAI,CAAC;IAC/F,6EAA6E;IAC7E,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,0DAA0D;IAC1D,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AASD,qDAAqD;AACrD,wBAAsB,iBAAiB,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,WAAW,CAAC,CAwPrF;AAED,+EAA+E;AAC/E,eAAO,MAAM,eAAe,EAAE,MAQ1B,CAAC;AAwFL,8EAA8E;AAC9E,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,WAAW,EACpB,KAAK,EAAE,SAAS,EAChB,OAAO,GAAE;IAAE,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,WAAW,CAAA;CAAO,GAC3G,OAAO,CAAC,OAAO,CAAC,CAqKlB;AAoMD,wBAAsB,kBAAkB,CACtC,IAAI,EAAE,WAAW,EACjB,QAAQ,EAAE,YAAY,EACtB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,cAAc,EACvB,GAAG,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,EAC9C,MAAM,CAAC,EAAE,WAAW,GACnB,OAAO,CAAC,IAAI,CAAC,CA2Cf;AAED;;;;;;;;GAQG;AACH,wBAAsB,MAAM,CAC1B,OAAO,EAAE,WAAW,EACpB,OAAO,EAAE,cAAc,EACvB,MAAM,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,EAC5B,MAAM,GAAE,MAAM,EAAO,GACpB,OAAO,CAAC,MAAM,CAAC,CA8MjB;AAED,yCAAyC;AACzC,wBAAsB,SAAS,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAoGxE;AAED,sDAAsD;AACtD,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA6F1D;AAMD,kFAAkF;AAClF,wBAAgB,oBAAoB,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAKtE"}
+{"version":3,"file":"repl.d.ts","sourceRoot":"","sources":["../../src/cli/repl.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAMzC,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAGvE,OAAO,EAAiC,KAAK,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAQ1F,OAAO,EAAqB,KAAK,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAc/E,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGzE,OAAO,EAAqC,KAAK,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAClG,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAGhD,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,YAAY,EAClB,MAAM,uBAAuB,CAAC;AAE/B,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,mDAAmD;IACnD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mFAAmF;IACnF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC;IACvB,2DAA2D;IAC3D,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,8DAA8D;IAC9D,aAAa,CAAC,EAAE,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC;IAC3C,oEAAoE;IACpE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qFAAqF;IACrF,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,8DAA8D;IAC9D,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,+CAA+C;IAC/C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,uEAAuE;IACvE,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,4EAA4E;IAC5E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,yEAAyE;IACzE,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,uDAAuD;IACvD,GAAG,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;CAC7B;AAED,MAAM,MAAM,SAAS,GACjB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAC1B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,YAAY,CAAA;CAAE,GAC1E;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAM9C,8EAA8E;AAC9E,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,YAAY,CAAA;CAAE,CA6BvG;AAED,oFAAoF;AACpF,wBAAgB,eAAe,CAAC,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAE1F;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAsGzD;AAED,0EAA0E;AAC1E,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,WAAW,EACjB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE;IAAE,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,iBAAiB,CAAC;IAAC,MAAM,CAAC,EAAE,WAAW,CAAA;CAAE,GAC9E,OAAO,CAAC,MAAM,CAAC,CAqBjB;AAQD;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,cAAc,GACtB,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,GAAG,SAAS,CAoBnF;AAWD,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,WAAW,CAAC;IAClB,8EAA8E;IAC9E,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;IACrB,oDAAoD;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,+DAA+D;IAC/D,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,KAAK,GAAG,IAAI,CAAC;IACtB,sEAAsE;IACtE,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,OAAO,CAAC;IACnB,kFAAkF;IAClF,aAAa,EAAE,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC;IAC1C,+DAA+D;IAC/D,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,oEAAoE;IACpE,UAAU,CAAC,EAAE,OAAO,aAAa,EAAE,UAAU,CAAC;IAC9C,uDAAuD;IACvD,gBAAgB,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,KAAK,IAAI,CAAC;IACvD,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,8BAA8B;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,+DAA+D;IAC/D,WAAW,EAAE,MAAM,CAAC;IACpB,0DAA0D;IAC1D,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,yEAAyE;IACzE,cAAc,EAAE,OAAO,CAAC;IACxB,gFAAgF;IAChF,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,6DAA6D;IAC7D,cAAc,IAAI,kBAAkB,CAAC;IACrC,+EAA+E;IAC/E,OAAO,EAAE,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;IAC/B,8EAA8E;IAC9E,UAAU,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,GAAG,IAAI,CAAC;IAC/F,6EAA6E;IAC7E,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,0DAA0D;IAC1D,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AASD,qDAAqD;AACrD,wBAAsB,iBAAiB,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,WAAW,CAAC,CAuQrF;AAED,+EAA+E;AAC/E,eAAO,MAAM,eAAe,EAAE,MAQ1B,CAAC;AAwFL,8EAA8E;AAC9E,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,WAAW,EACpB,KAAK,EAAE,SAAS,EAChB,OAAO,GAAE;IAAE,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,WAAW,CAAA;CAAO,GAC3G,OAAO,CAAC,OAAO,CAAC,CAqKlB;AAoMD,wBAAsB,kBAAkB,CACtC,IAAI,EAAE,WAAW,EACjB,QAAQ,EAAE,iBAAiB,EAC3B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,cAAc,EACvB,GAAG,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,EAC9C,MAAM,CAAC,EAAE,WAAW,GACnB,OAAO,CAAC,IAAI,CAAC,CA2Cf;AAED;;;;;;;;GAQG;AACH,wBAAsB,MAAM,CAC1B,OAAO,EAAE,WAAW,EACpB,OAAO,EAAE,cAAc,EACvB,MAAM,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,EAC5B,MAAM,GAAE,MAAM,EAAO,GACpB,OAAO,CAAC,MAAM,CAAC,CAyZjB;AAED,yCAAyC;AACzC,wBAAsB,SAAS,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CA+GxE;AAED,sDAAsD;AACtD,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAgG1D;AAMD,kFAAkF;AAClF,wBAAgB,oBAAoB,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAKtE"}

package/dist/cli/repl.js

@@ -14,15 +14,22 @@ import { createHarnessRepl } from '../repl/index.js';
 import { HistoryStore } from '../repl/history.js';
 import { resolveReplJudgeSelection } from '../repl/judge.js';
 import { ReplRenderer } from '../repl/render.js';
+import { TranscriptDocument } from '../repl/tui/document.js';
+import { ChoicePicker } from '../repl/tui/picker.js';
+import { TuiRenderer } from '../repl/tui/renderer.js';
+import { WorkingLine } from '../repl/tui/working-line.js';
+import { createReplAutocomplete } from '../repl/tui/autocomplete.js';
+import { initTuiTheme, scrollbarStyles } from '../repl/tui/theme.js';
+import { SizedTerminal } from '../repl/tui/terminal.js';
 import { ReplStatusTracker } from '../repl/status.js';
-import { LineSink, TranscriptComponent } from '../repl/tui/transcript.js';
 import { StatusBarComponent } from '../repl/tui/status-bar.js';
-import { Container, ProcessTerminal, Spacer, TuiMainScreen, matchesKey } from '@earendil-works/pi-tui';
+import { Container, ScrollView, Spacer, TuiAltScreen, VStack, matchesKey, } from '@earendil-works/pi-tui';
 import { editorTheme, formatInputAnswer } from '../repl/tui/theme.js';
 import { PromptEditor } from '../repl/tui/editor.js';
 import { loadProjectContext } from '../repl/project-context.js';
-import { createPiBackend } from '../repl/backend.js';
+import { createPiBackend, THINKING_LEVELS } from '../repl/backend.js';
 import { createReplToolset } from '../repl/toolset.js';
+import { takeStartupPrologMessages } from '../prolog/loader.js';
 import { createPiImageBackend } from '../repl/imagegen.js';
 import { EnvModelResolver, PiModelResolver } from '../repl/model-resolver.js';
 import { parseModelId, resolveModelSlotConfig } from '../system/config/model-slots.js';
@@ -112,6 +119,12 @@ export function classifyReplInput(line) {
                 return { kind: 'export', path: arg || undefined };
             case 'model':
                 return { kind: 'model', model: arg || undefined };
+            case 'reasoning':
+            case 'reasoning-level':
+                return { kind: 'reasoning', level: arg || undefined };
+            case 'show-reasoning':
+            case 'reasoning-summary':
+                return { kind: 'show-reasoning' };
             case 'freeze':
                 return { kind: 'freeze' };
             case 'unfreeze':
@@ -294,6 +307,13 @@ export async function createReplRuntime(options) {
             }
         },
     });
+    // The CLI counterpart of `:- require_sandbox.`: enforce it without editing the
+    // harness, for CI and for a run you do not want to be quietly unsandboxed.
+    if (options.requireSandbox && !toolset.environment.sandboxed) {
+        throw new Error(`--require-sandbox: the effective shell backend is ${toolset.environment.backendLabel}, `
+            + 'which is not sandboxed. Install bubblewrap (Linux), grant sandbox-exec (macOS), '
+            + 'or run with --sandbox (AgentVM).');
+    }
     const backendKind = options.backend ?? config.backend?.kind ?? 'pi';
     let llmBackend;
     let harnessModel = resolved.model;
@@ -429,6 +449,7 @@ export async function createReplRuntime(options) {
         maxModelCalls: options.maxModelCalls ?? config.repl.maxModelCalls,
         tools: toolset.tools,
         hostToolsCatalog: toolset.catalog,
+        executionBackend: toolset.environment.kind,
         llmBackend,
         judgeSelection,
         imageBackend,
@@ -475,6 +496,10 @@ export async function createReplRuntime(options) {
         backend: backendKind,
         contextWindow,
         reasoning,
+        reasoningMode: options.showReasoning ?? config.repl.showReasoning,
+        modelResolver,
+        llmBackend,
+        setThinkingLevel: (level) => statusTracker.setThinkingLevel(level),
         thinkingLevel,
         sessionId: repl.session.getSessionId(),
         harnessName,
@@ -765,23 +790,23 @@ async function executeLoad(runtime, files) {
             return 1;
         }
         runtime.renderer.writeLine(`loaded ${file}`);
+        for (const warning of result.warnings ?? []) {
+            runtime.renderer.writeErrorLine(`warning: ${warning}`);
+        }
     }
     return 0;
 }
 /** Non-interactive mode: read classified inputs line by line until EOF. */
 /**
- * Route Ctrl-C to the active turn. While a turn is running the first Ctrl-C
- * aborts it (the session then saves the harness to a temp file); a Ctrl-C while
- * idle exits.
+ * Ctrl-C exits, in every mode: this is the plain/readline path, where there is no
+ * raw key to distinguish Escape from an editing sequence, so the TUI's
+ * "Esc interrupts, Ctrl-C exits" cannot be mirrored exactly. A running turn is
+ * aborted first, so nothing keeps writing after the UI is gone.
  */
-function installSigint(runtime, holder, rl, onExit) {
+function installSigint(holder, rl, onExit) {
     const handler = () => {
-        if (holder.turn) {
-            holder.turn.abort(new Error('cancelled by user'));
-            runtime.renderer.writeErrorLine('(cancelling current turn… press Ctrl-C again to exit)');
-        }
-        else if (onExit) {
-            // Save the harness before exiting (Ctrl-C while idle).
+        holder.turn?.abort(new Error('cancelled by user'));
+        if (onExit) {
             void onExit().finally(() => process.exit(130));
         }
         else {
@@ -799,7 +824,7 @@ async function runNonInteractive(runtime, options, onExit) {
     let exitCode = 0;
     const rl = readline.createInterface({ input: process.stdin, crlfDelay: Infinity });
     const holder = { turn: null };
-    const removeSigint = installSigint(runtime, holder, rl, onExit);
+    const removeSigint = installSigint(holder, rl, onExit);
     try {
         for await (const line of rl) {
             const input = classifyReplInput(line);
@@ -869,7 +894,7 @@ async function runInteractive(runtime, options, onExit) {
         return answer === null ? undefined : answer;
     });
     const holder = { turn: null };
-    const removeSigint = installSigint(runtime, holder, rl, onExit);
+    const removeSigint = installSigint(holder, rl, onExit);
     try {
         while (true) {
             const line = await ask(promptPrefix);
@@ -964,10 +989,33 @@ export async function runInteractiveGoal(repl, renderer, goal, options, ask, sig
  * input prompts never fight the main prompt for stdin.
  */
 export async function runTui(runtime, options, onExit, loaded = []) {
-    const terminal = new ProcessTerminal();
-    const tui = new TuiMainScreen(terminal);
-    const transcript = new TranscriptComponent();
-    const sink = new LineSink(transcript);
+    initTuiTheme();
+    // Sized, because pi-tui falls back to a hard 24 rows when the stream reports no
+    // size, which leaves the bottom of a taller terminal untouched.
+    const terminal = new SizedTerminal();
+    // Fullscreen: an application-owned viewport (ScrollView) with the editor and
+    // status bar pinned in a dock. In this mode pi-tui hands scrolling, mouse wheel,
+    // text selection and search to the viewport, and reassigns layout on resize —
+    // which is what makes the transcript scroll inside the app and the input box
+    // behave when the terminal changes size.
+    const tui = new TuiAltScreen(terminal, undefined, undefined, {
+        mouse: true,
+        wheelScrollLines: 'auto',
+        copyOnSelect: true,
+    });
+    const document = new TranscriptDocument();
+    const transcript = document;
+    // The TUI renders components rather than lines: tool calls become panes and
+    // streamed text becomes markdown. There is no external sink to wire.
+    const working = new WorkingLine(tui);
+    const renderer = new TuiRenderer({
+        document,
+        onWorking: (label) => {
+            working.set(label);
+            tui.requestRender();
+        },
+    });
+    runtime.renderer = renderer;
     const runState = { running: false, steerable: false };
     /** Lines typed during a goal query, consumed by the solution pager. */
     const bufferedInput = [];
@@ -981,12 +1029,14 @@ export async function runTui(runtime, options, onExit, loaded = []) {
         isRunning: () => runState.running,
     });
     transcript.onChange = () => tui.requestRender();
-    // Redirect the renderer into the transcript (including error lines).
-    runtime.renderer.setSink((text) => sink.write(text), (text) => sink.write(text));
-    runtime.renderer.setImageSink((lines) => transcript.appendImageLines(lines));
-    runtime.renderer.setWidth(terminal.columns);
+    renderer.setImageSink((lines) => document.appendImageLines(lines));
+    renderer.setWidth(terminal.columns);
+    // pi-tui re-renders on resize but does not invalidate the component tree, and a
+    // component that caches by width (a tool pane, markdown) would draw stale lines.
     const onResize = () => {
-        runtime.renderer.setWidth(terminal.columns);
+        terminal.refreshSize();
+        renderer.setWidth(terminal.columns);
+        tui.invalidate();
         tui.requestRender();
     };
     process.stdout.on('resize', onResize);
@@ -1015,7 +1065,9 @@ export async function runTui(runtime, options, onExit, loaded = []) {
                 }
                 else if (activePrompt === runtime.promptPrefix) {
                     // A user turn: separate it from the previous output and from the
-                    // response that follows; render it as a pi-style blue block.
+                    // response that follows; render it as a pi-style blue block. The previous
+                    // turn's text block is closed first, so the new response starts below this.
+                    runtime.renderer.endTextBlock?.();
                     if (transcript.getLines().length > 0)
                         transcript.append('');
                     transcript.append(text, 'user');
@@ -1026,6 +1078,7 @@ export async function runTui(runtime, options, onExit, loaded = []) {
         else if (text.trim()) {
             // No pending ask means a turn is running.
             if (runState.steerable) {
+                runtime.renderer.endTextBlock?.();
                 transcript.append(text, 'steer');
                 runtime.repl.steer(text);
             }
@@ -1047,6 +1100,7 @@ export async function runTui(runtime, options, onExit, loaded = []) {
     };
     const createEditor = () => {
         editor = new PromptEditor(tui, editorTheme());
+        editor.setAutocompleteProvider(createReplAutocomplete(runtime.workspace));
         editor.onSubmit = handleSubmit;
         editorContainer.clear();
         editorContainer.addChild(editor);
@@ -1085,40 +1139,206 @@ export async function runTui(runtime, options, onExit, loaded = []) {
         const answer = await ask(`${prompt}${suffix}`, true);
         return answer === null ? undefined : answer;
     });
-    const cancelTurn = () => {
-        if (holder.turn) {
-            holder.turn.abort(new Error('cancelled by user'));
-            transcript.append('(cancelling current turn… press Ctrl-C again to exit)');
-            tui.requestRender();
-            return;
-        }
+    /** Interrupt the running turn, if any. Returns whether there was one. */
+    const interruptTurn = () => {
+        if (!holder.turn)
+            return false;
+        holder.turn.abort(new Error('cancelled by user'));
+        transcript.append('(interrupted — Ctrl-C exits)');
+        tui.requestRender();
+        return true;
+    };
+    /** Leave the REPL, aborting anything still running so nothing outlives the UI. */
+    const exitRepl = () => {
+        holder.turn?.abort(new Error('cancelled by user'));
         void (onExit ? onExit() : Promise.resolve()).finally(() => {
             tui.stop();
             process.exit(130);
         });
     };
-    // Ctrl-C aborts the current turn; Ctrl-D (on an empty editor) exits. Use pi's
-    // key matcher so kitty/meta key encodings are recognized, not just raw bytes.
+    // Esc interrupts, Ctrl-C exits, Ctrl-D (on an empty editor) exits. Escape is
+    // left alone while a completion list or an overlay owns it, so it keeps its
+    // usual meaning there. Use pi's key matcher so kitty/meta encodings are
+    // recognized, not just raw bytes.
     tui.addInputListener((data) => {
         if (matchesKey(data, 'ctrl+c')) {
-            cancelTurn();
+            exitRepl();
             return { consume: true };
         }
         if (matchesKey(data, 'ctrl+d') && !holder.turn && (editor?.getText().length ?? 0) === 0) {
-            cancelTurn();
+            exitRepl();
             return { consume: true };
         }
+        if (matchesKey(data, 'escape')
+            && !tui.hasOverlay()
+            && !(editor?.isShowingAutocomplete() ?? false)) {
+            if (interruptTurn())
+                return { consume: true };
+            return undefined;
+        }
+        // ctrl+o expands or collapses the most recent tool call, the way pi reveals
+        // full tool output on demand.
+        if (matchesKey(data, 'ctrl+o')) {
+            if (renderer.toggleLastPane())
+                return { consume: true };
+            return undefined;
+        }
         return undefined;
     });
-    // Fallback for terminals/raw-mode setups that deliver SIGINT instead of \x03.
-    process.on('SIGINT', cancelTurn);
+    // Fallback for terminals/raw-mode setups that deliver SIGINT instead of \x03:
+    // the terminal's own Ctrl-C, which now exits.
+    process.on('SIGINT', exitRepl);
     createEditor();
     for (const line of runtime.inputHistory)
         editor?.addToHistory(line);
-    tui.addChild(transcript);
-    tui.addChild(new Spacer(1));
-    tui.addChild(editorContainer);
-    tui.addChild(statusBar);
+    /**
+     * Show a chooser over the transcript and resolve when it closes.
+     *
+     * The overlay owns input while it is up (pi-tui routes keys to the focused
+     * overlay), so the editor does not see the keys the list is using.
+     */
+    const choose = (build) => {
+        return new Promise((resolve) => {
+            let handle;
+            const done = (picked) => {
+                handle?.hide();
+                if (editor)
+                    tui.setFocus(editor);
+                tui.requestRender();
+                resolve(picked);
+            };
+            const picker = build(done);
+            handle = tui.showOverlay(picker, {
+                anchor: 'center',
+                width: '70%',
+                maxHeight: picker.contentHeight + 2,
+            });
+        });
+    };
+    const pickReasoningMode = async () => {
+        const modes = ['off', 'summary', 'full'];
+        const picked = await choose((done) => new ChoicePicker({
+            title: 'Reasoning',
+            hint: 'How much of the model\'s thinking to show in the transcript',
+            current: runtime.reasoningMode,
+            items: [
+                { value: 'off', label: 'off', description: 'hide reasoning entirely' },
+                { value: 'summary', label: 'summary', description: 'a bounded preview' },
+                { value: 'full', label: 'full', description: 'everything the model emits' },
+            ].filter((item) => modes.includes(item.value)),
+            onSelect: (item) => done(item.value),
+            onCancel: () => done(),
+        }));
+        if (!picked)
+            return;
+        const mode = picked;
+        runtime.reasoningMode = mode;
+        runtime.renderer.setReasoningMode?.(mode);
+        await persistSetting({ repl: { showReasoning: mode } }, 'reasoning display');
+        renderer.writeLine(`reasoning display: ${mode}`);
+    };
+    /**
+     * The model's reasoning level (its thinking effort), as opposed to how much of
+     * that reasoning is displayed — `/show-reasoning` is the other one.
+     */
+    /**
+     * Persist a setting, but never let that failure stop it applying.
+     *
+     * `updateConfig` requires an existing config file (`deepclause init`), and a
+     * picker that threw before applying the change left the selection doing nothing at
+     * all — which read as "I cannot adjust the reasoning".
+     */
+    const persistSetting = async (patch, label) => {
+        try {
+            await updateConfig(runtime.workspace, patch);
+        }
+        catch (error) {
+            const message = error instanceof Error ? error.message : String(error);
+            renderer.writeLine(`${label} applied to this session, but not saved: ${message.split('\n')[0]}`);
+        }
+    };
+    const pickReasoningLevel = async (level) => {
+        const backend = runtime.llmBackend;
+        const supported = (backend?.supportedThinkingLevels?.() ?? THINKING_LEVELS.slice());
+        const apply = async (chosen) => {
+            backend?.setThinkingLevel?.(chosen);
+            runtime.thinkingLevel = chosen;
+            runtime.setThinkingLevel?.(chosen);
+            await persistSetting({ backend: { kind: 'pi', thinkingLevel: chosen } }, 'reasoning level');
+            renderer.writeLine(`reasoning level: ${chosen}`);
+        };
+        if (level) {
+            if (!supported.includes(level)) {
+                renderer.writeLine(`unknown reasoning level '${level}'; supported: ${supported.join(', ')}`);
+                return;
+            }
+            await apply(level);
+            return;
+        }
+        const chosen = await choose((done) => new ChoicePicker({
+            title: 'Reasoning level',
+            hint: 'How hard the model is asked to think (not how much is shown)',
+            current: runtime.thinkingLevel,
+            items: supported.map((value) => ({
+                value,
+                label: value,
+                description: value === 'off' ? 'no reasoning requested' : undefined,
+            })),
+            onSelect: (item) => done(item.value),
+            onCancel: () => done(),
+        }));
+        if (chosen)
+            await apply(chosen);
+    };
+    const pickModel = async () => {
+        const catalog = runtime.modelResolver?.catalog() ?? [];
+        if (catalog.length === 0) {
+            renderer.writeLine(`model: ${runtime.model} (no catalog to choose from; set one in config)`);
+            return;
+        }
+        const current = runtime.model.includes(':') ? runtime.model : undefined;
+        const picked = await choose((done) => new ChoicePicker({
+            title: 'Model',
+            hint: 'The default for this workspace (applies to the next session)',
+            current,
+            items: catalog.map((entry) => ({
+                value: entry.model,
+                label: entry.model,
+                description: entry.inputCost !== undefined
+                    ? `$${entry.inputCost}/$${entry.outputCost ?? '?'} per 1M in/out`
+                    : (entry.contextWindow ? `${Math.round(entry.contextWindow / 1000)}k context` : undefined),
+            })),
+            onSelect: (item) => done(item.value),
+            onCancel: () => done(),
+        }));
+        if (!picked)
+            return;
+        await persistSetting({ backend: { kind: 'pi', model: picked } }, 'model');
+        renderer.writeLine(`default model set to ${picked} (takes effect on the next start)`);
+    };
+    // Transcript grows and scrolls; everything below it stays put.
+    const scroll = new ScrollView(document, {
+        follow: 'end',
+        primary: true,
+        scrollbar: 'auto',
+        scrollbarTrackStyle: scrollbarStyles.track,
+        scrollbarThumbStyle: scrollbarStyles.thumb,
+    });
+    // Margins: a blank row above the transcript and one between it and the editor, so
+    // the first and last line of output are not jammed against the chrome. Fixed
+    // spacers rather than padding inside the scroll view: they do not scroll away and
+    // do not consume scrollback.
+    const dock = new VStack([
+        { component: working, basis: 'auto', grow: 0, shrink: 1, minSize: 0 },
+        { component: new Spacer(1), basis: 'auto', grow: 0, shrink: 1, minSize: 1 },
+        { component: editorContainer, basis: 'auto', grow: 0, shrink: 1, minSize: 1 },
+        { component: statusBar, basis: 'auto', grow: 0, shrink: 1, minSize: 1 },
+    ]);
+    tui.setLayoutRoot(new VStack([
+        { component: new Spacer(1), basis: 'auto', grow: 0, shrink: 1, minSize: 1 },
+        { component: scroll, basis: 0, grow: 1, shrink: 1, minSize: 1 },
+        { component: dock, basis: 'auto', grow: 0, shrink: 1, minSize: 1 },
+    ]));
     tui.start();
     await printBanner(runtime, loaded);
     tui.requestRender();
@@ -1130,6 +1350,20 @@ export async function runTui(runtime, options, onExit, loaded = []) {
             const input = classifyReplInput(line);
             if (input.kind === 'halt')
                 break;
+            // The pickers are overlays over the transcript, so they need the TUI and are
+            // handled here rather than in the command dispatcher the readline path shares.
+            if (input.kind === 'model' && !input.model) {
+                await pickModel();
+                continue;
+            }
+            if (input.kind === 'reasoning') {
+                await pickReasoningLevel(input.level);
+                continue;
+            }
+            if (input.kind === 'show-reasoning') {
+                await pickReasoningMode();
+                continue;
+            }
             const controller = new AbortController();
             holder.turn = controller;
             runState.running = true;
@@ -1159,8 +1393,9 @@ export async function runTui(runtime, options, onExit, loaded = []) {
     }
     finally {
         tui.stop();
-        process.off('SIGINT', cancelTurn);
+        process.off('SIGINT', exitRepl);
         process.stdout.off('resize', onResize);
+        working.stop();
         // Restore stdout so the exit footer and any later output are visible.
         runtime.renderer.setSink((text) => process.stdout.write(text), (text) => process.stderr.write(text));
     }
@@ -1171,6 +1406,17 @@ export async function startRepl(options) {
     let runtime;
     try {
         runtime = await createReplRuntime(options);
+        // Diagnostics from loading the runtime itself, rendered once and through the
+        // renderer. Before this they were printed by Emscripten straight to the
+        // terminal, in the middle of whatever the UI was drawing.
+        for (const message of takeStartupPrologMessages()) {
+            runtime.renderer.render({
+                type: message.channel === 'stdout' ? 'output' : 'log',
+                content: message.text,
+                level: message.level,
+                channel: message.channel,
+            });
+        }
     }
     catch (error) {
         process.stderr.write(`ERROR: ${error.message}\n`);
@@ -1216,7 +1462,7 @@ export async function startRepl(options) {
         if (goals.length > 0) {
             let exitCode = 0;
             const controller = new AbortController();
-            const removeSigint = installSigint(runtime, { turn: controller });
+            const removeSigint = installSigint({ turn: controller });
             try {
                 for (const goal of goals) {
                     if (controller.signal.aborted)
@@ -1306,6 +1552,7 @@ export function registerReplCommand(program) {
         .option('--tools <list>', 'comma-separated capability host tools (default: bash)')
         .option('--no-tools', 'register no capability host tools')
         .option('--sandbox', 'run shell tools in AgentVM')
+        .option('--require-sandbox', 'refuse to run unless the shell is sandboxed (bwrap/AgentVM/sandbox-exec)')
         .option('--no-ask', 'make ask_user / input/2 fail instead of prompting')
         .option('--image-model <provider:id>', 'image model for generation (default: first available)')
         .option('--no-open', 'do not hand images to the OS viewer on terminals without inline images')
@@ -1329,6 +1576,7 @@ export function registerReplCommand(program) {
             goal: options.goal,
             load: options.load,
             session: options.session,
+            harness: options.harness,
             first: options.first,
             plain: options.plain,
             json: options.json,
@@ -1349,6 +1597,7 @@ export function registerReplCommand(program) {
             tools: typeof options.tools === 'string' ? options.tools : undefined,
             noTools: options.tools === false,
             sandbox: options.sandbox,
+            requireSandbox: options.requireSandbox,
             noAsk: options.ask === false,
             imageModel: options.imageModel,
             open: options.open,